使用成员函数初始化数据成员

Question

我今天学习了 C++ 11 非常有用的新特性，它允许在类声明中直接初始化数据成员：

class file_name
{
    public:
    file_name(const char *input_file_name);
    ~file_name();

    private:
    char *file_name=nullptr;  //data_member is initialized to nullptr;
    char *Allocator(int buffer_size);  //code to dynamically allocate requested
                                       //size block of memory.
};

是否可以通过新的 v11 规则更进一步，并使用成员函数的输出来初始化数据成员：

class file_name
{
    public:
    file_name(const char *input_file_name);
    ~file_name();

    private:
    char *file_name=Allocator(MAX_PATH);  //data_member is initialized with a block of
                                          //dynamic memory of sufficient size to hold
                                          //and valid file name.;
    char *Allocator(int buffer_size);  //code to dynamically allocate requested
                                       //size block of memory.
};

这会导致问题吗？

Answer 1

非静态成员函数（通常）以某种方式依赖于调用它的对象的状态。如果不是这种情况，就没有理由将其设为非静态成员函数。现在你想调用一个依赖于你的对象状态的函数之前说对象被完全构造，即它的函数可能依赖的不变量不一定已经建立。所以使用这样的功能是有潜在危险的，因为例如该函数可能会访问未初始化的变量。考虑这个例子：

class Fail {
    int a = fun() , b;
    int fun() {return b;}
};

这里a 在b 之前初始化，但具有b 的（未定义）值。 不过静态成员函数应该没问题。

Answer 2

用于成员初始化的大括号或相等初始化器在标准中定义，在第 9.2 节。第 4 点说 “大括号或等式初始化器应仅出现在数据成员的声明中。”

构造过程中成员的初始化在第 12.6.2 节中描述。​​
第 10 点描述了顺序：1）大多数派生基类，2）直接基类初始化器，3）非静态数据成员 4）构造函数的复合语句。

这意味着当你的数据成员括号或相等初始化器被调用时，基类（你的类）总是被初始化。

该部分的第 13 点说：“可以为正在构建的对象调用成员函数（包括虚成员函数）。”...“但是，如果这些操作在 ctor-initializer 中执行（或在直接调用的函数中 或间接来自 ctor-initializer) 在基类的所有 mem-initializers 完成之前，操作的结果是未定义的。 "。最后一个例外不应该发生在你的情况下。

所以是的，这种说法应该是有效的。

编辑： 根据 12.6.2 pt.8，仅当对象的构造函数没有成员的 mem-initializer（即具有“：”语法的初始化器）时，才使用大括号或相等初始化器