在这种特定情况下,使用成员初始化列表和在构造函数中分配值之间是否存在差异？

Question

在内部和关于生成的代码,是否有真正的区别:

MyClass::MyClass(): _capacity(15), _data(NULL), _len(0)
{
}

和

MyClass::MyClass()
{
  _capacity=15;
  _data=NULL;
  _len=0
}

谢谢...

Answer 1

您需要使用初始化列表来初始化常量成员,引用和基类

当您需要初始化常量成员,引用并将参数传递给基类构造函数时,如注释中所述,您需要使用初始化列表.

struct aa
{
    int i;
    const int ci;       // constant member

    aa() : i(0) {} // will fail, constant member not initialized
};

struct aa
{
    int i;
    const int ci;

    aa() : i(0) { ci = 3;} // will fail, ci is constant
};

struct aa
{
    int i;
    const int ci;

    aa() : i(0), ci(3) {} // works
};

示例(非详尽)类/结构包含引用:

struct bb {};

struct aa
{
    bb& rb;
    aa(bb& b ) : rb(b) {}
};

// usage:

bb b;
aa a(b);

以及初始化需要参数的基类的示例(例如,没有默认构造函数):

struct bb {};

struct dd
{
    char c;
    dd(char x) : c(x) {}
};

struct aa : dd
{
    bb& rb;
    aa(bb& b ) : dd('a'), rb(b) {}
};

Answer 2

假设这些值是原始类型,那么不,没有区别.只有在将对象作为成员时,初始化列表才会有所不同,因为初始化列表不是使用默认初始化,而是使用赋值,而是允许您将对象初始化为其最终值.这实际上可以明显更快.

Answer 3

是.在第一种情况下,您可以声明_capacity,_data并_len作为常量:

class MyClass
{
private:
    const int _capacity;
    const void *_data;
    const int _len;
// ...
};

如果要const在运行时计算它们的值时确保这些实例变量的性能,这将非常重要,例如:

MyClass::MyClass() :
    _capacity(someMethod()),
    _data(someOtherMethod()),
    _len(yetAnotherMethod())
{
}

const必须在初始化程序列表中初始化实例,或者基础类型必须提供公共无参数构造函数(基元类型可以).

Answer 4

我认为这个链接http://www.cplusplus.com/forum/articles/17820/提供了一个很好的解释 - 特别是对于那些刚接触C++的人.

intialiser列表更有效的原因是在构造函数体内,只进行赋值,而不是初始化.因此,如果您正在处理非内置类型,则在输入构造函数的主体之前已经调用了该对象的默认构造函数.在构造函数体内,您要为该对象赋值.

实际上,这是对默认构造函数的调用,然后是对复制赋值运算符的调用.初始化列表允许您直接调用复制构造函数,这有时会明显更快(回想一下初始化列表在构造函数的主体之前)

Answer 5

我将补充一点,如果你有类类型的成员没有可用的默认构造函数,初始化是构建类的唯一方法.