类成员的内部初始化

在C++98标准里,只有static const声明的整型成员能在类内部初始化,并且初始化值必须是常量表达式。这些限制确保了初始化操作可以在编译时期进行。例如:

int var = 7;
class X {
    static const int m1 = 7;   // 正确
    const int m2 = 7;    // 错误:无static
    static int m3 = 7;              // 错误:无const
    static const int m4 = var;  // 错误:初始化值不是常量表达式
    static const string m5 = “odd”; //错误:非整型
    // …
};

C++11的基本思想是,允许非静态(non-static)数据成员在其声明处(在其所属类内部)进行初始化。这样,在运行时,需要初始值时构造函数可以使用这个初始值。考虑下面的代码:

class A {
public:
    int a = 7;
};

这等同于:

class A {
public:
    int a;
    A() : a(7) {}
};

单纯从代码来看,这样只是省去了一些文字输入,其实它的真正永无之地在于拥有多个构造函数的类。因为大多情况下,对于同一个成员,多个构造函数应使用相同的值去初始化。例如:

class A {
public:
     A(): a(7), b(5), hash_algorithm(“MD5″),
       s(“Constructor run”) {}
    A(int a_val) :
      a(a_val), b(5), hash_algorithm(“MD5″),
      s(“Constructor run”)
      {}
    A(D d) : a(7), b(g(d)),
        hash_algorithm(“MD5″), s(“Constructor run”)
        {}
    int a, b;
private:
    // 哈希加密函数可应用于类A的所有实例
    HashingFunction hash_algorithm;
    std::string s;  // 用以指明对象正处于生命周期内何种状态的字符串
};

对于每一个构造函数,程序员必须使用完全一样的字面值来来初始化hash_algorithm和s这两个成员。但是并不是所有人都记得严格遵守这条规则,一旦出现纰漏,程序将难以维护。C++11给出了解决之道:可在成员声明的地方直接赋以初值:

class A {
public:
    A(): a(7), b(5) {}
    A(int a_val) : a(a_val), b(5) {}
    A(D d) : a(7), b(g(d)) {}
    int a, b;
private:
    //哈希加密函数可应用于类A的所有实例
    HashingFunction hash_algorithm{“MD5″};
    //用以指明对象正处于生命周期内何种状态的字符串
    std::string s{“Constructor run”};
};

如果一个成员同时在类内部初始化时和构造函数内被初始化,则只有构造函数的初始化有效(这个初始化值“优先于”默认值)(译注:可以认为,类内部初始化先于构造函数初始化进行,如果是对同一个变量进行初始化,构造函数初始化会覆盖类内部初始化)。因此,我们可以进一步简化:

class A {
public:
    A() {}
    A(int a_val) : a(a_val) {}
    A(D d) : b(g(d)) {}
    int a = 7;
    int b = 5;
private:
    //哈希加密函数可应用于类A的所有实例
    HashingFunction hash_algorithm{“MD5″};
    //用以指明对象正处于生命周期内何种状态的字符串
    std::string s{“Constructor run”};
};

参考文献:

(翻译:lianggang jiang)