【c++】必须在类初始化列表中初始化的几种情况

本文转载自 http://www.cnblogs.com/kaituorensheng/p/3477630.html，感谢作者分享

1. 类成员为const类型

2. 类成员为引用类型

#include <iostream>
using namespace std;

class A
{
    public:
        A(int &v) : i(v), p(v), j(v) {}
        void print_val() { cout << "hello:" << i << "  " << j << endl;}
    private:
        const int i;
        int p;
        int &j;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}

究其因

const对象或引用只能初始化但是不能赋值。构造函数的函数体内只能做赋值而不是初始化，因此初始化const对象或引用的唯一机会是构造函数函数体之前的初始化列表中。

从无到有叫初始化，初始化（调用拷贝构造函数）创建了新对象；赋值（调用赋值操作符）没有创建新对象，而是对已有的对象赋值。

#include <iostream>
using namespace std;

class Base
{
    public:
    Base(){cout << "Base()" << endl;}
        Base(int a) : val(a) {cout << "Base(int a) : val(a)" << endl;}
    private:
        int val;
};

class A
{
    public:
        A(int v) : p(v),b(v) {cout << "A(int v) : p(v), b(v)" << endl;}
        void print_val() { cout << "hello:" << p << endl;}
    private:
        int p;
        Base b;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}

#include <iostream>
using namespace std;

class Base
{
    public:
    Base(){cout << "Base()" << endl;}
        Base(int a) : val(a) {cout << "Base(int a) : val(a)" << endl;}
    private:
        int val;
};

class A : public Base
{
    public:
        A(int v) : p(v) {cout << "A(int v) : p(v), Base(v)" << endl;}
        void print_val() { cout << "hello:" << p << endl;}
    private:
        int p;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}

#include <iostream>
using namespace std;

class Base
{
    public:
    //Base(){cout << "Base()" << endl;}
        Base(int a) : val(a) {cout << "Base(int a) : val(a)" << endl;}
    private:
        int val;
};

class A : public Base
{
    public:
        A(int v) : p(v),Base(v) {cout << "A(int v) : p(v), Base(v)" << endl;}
        void print_val() { cout << "hello:" << p << endl;}
    private:
        int p;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}

3. 类成员为没有默认构造函数的类类型

#include <iostream>
using namespace std;

class Base
{
    public:
        Base(int a) : val(a) {}
    private:
        int val;
};

class A
{
    public:
        A(int v) : p(v), b(v) {}//因为Base有自定义的带参构造函数,就不会产生无参构造函数,就无法产生类对象了
        void print_val() { cout << "hello:" << p << endl;}
    private:
        int p;
        Base b;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}

原因同样是创建对象时，要初始类成员的每一个成员

4. 如果类存在继承关系，派生类必须在其初始化列表中调用基类的构造函数

#include <iostream>
using namespace std;

class Base
{
    public:
        Base(int a) : val(a) {}
    private:
        int val;
};

class A : public Base
{
    public:
        A(int v) : p(v), Base(v) {}
        void print_val() { cout << "hello:" << p << endl;}
    private:
        int p;
};

int main(int argc ,char **argv)
{
    int pp = 45;
    A b(pp);
    b.print_val();
}