我倾向于使用我的构造函数的成员初始化列表…但我早就忘了这背后的原因了……
在构造函数中使用成员初始化列表吗?如果有,为什么?如果不是,为什么不是?
我倾向于使用我的构造函数的成员初始化列表…但我早就忘了这背后的原因了……
在构造函数中使用成员初始化列表吗?如果有,为什么?如果不是,为什么不是?
对于POD的成员来说,这没有什么区别,只是风格的问题。对于属于类的类成员,则避免不必要地调用默认构造函数。考虑:
class A
{
public:
A() { x = 0; }
A(int x_) { x = x_; }
int x;
};
class B
{
public:
B()
{
a.x = 3;
}
private:
A a;
};
在这种情况下,B的构造函数将调用A的默认构造函数,然后将A .x初始化为3。更好的方法是让B的构造函数直接在初始化列表中调用A的构造函数:
B()
: a(3)
{
}
这将只调用A的A(int)构造函数,而不调用其默认构造函数。在这个例子中,差异可以忽略不计,但是想象一下A的默认构造函数做了更多的工作,比如分配内存或打开文件。你不会想做不必要的事情。
此外,如果一个类没有默认构造函数,或者你有一个const成员变量,你必须使用初始化列表:
class A
{
public:
A(int x_) { x = x_; }
int x;
};
class B
{
public:
B() : a(3), y(2) // 'a' and 'y' MUST be initialized in an initializer list;
{ // it is an error not to do so
}
private:
A a;
const int y;
};
除了性能问题,还有一个非常重要的问题,我称之为代码可维护性和可扩展性。
如果T是POD,并且你开始倾向于初始化列表,那么如果有一次T将改变为非POD类型,你不需要改变初始化周围的任何东西,以避免不必要的构造函数调用,因为它已经优化了。
如果类型T确实有默认构造函数和一个或多个用户定义构造函数,并且有一次您决定删除或隐藏默认构造函数,那么如果使用了初始化列表,则不需要更新用户定义构造函数的代码,因为它们已经正确实现了。
与const成员或引用成员一样,假设最初的T定义如下:
struct T
{
T() { a = 5; }
private:
int a;
};
接下来,你决定将a限定为const,如果你从一开始就使用初始化列表,那么这是一个单行更改,但有了上面定义的T,它还需要挖掘构造函数定义以删除赋值:
struct T
{
T() : a(5) {} // 2. that requires changes here too
private:
const int a; // 1. one line change
};
如果代码不是由“代码猴子”编写的,而是由工程师根据对所做事情的深入考虑来做决定,那么维护就会更容易,更不容易出错,这不是什么秘密。
在运行构造函数体之前,调用父类的所有构造函数,然后调用其字段的所有构造函数。默认情况下,调用无参数构造函数。初始化列表允许您选择调用哪个构造函数以及该构造函数接收哪些参数。
如果有引用或const字段,或者使用的类中有一个没有默认构造函数,则必须使用初始化列表。
// Without Initializer List
class MyClass {
Type variable;
public:
MyClass(Type a) { // Assume that Type is an already
// declared class and it has appropriate
// constructors and operators
variable = a;
}
};
编译器遵循以下步骤创建MyClass类型的对象:
类型的构造函数首先为“a”调用。 “Type”的赋值操作符在MyClass()构造函数体中被调用以赋值。
variable = a;
最后,Type的析构函数被调用为a,因为它超出了作用域。
现在考虑MyClass()构造函数带有初始化列表的相同代码:
// With Initializer List
class MyClass {
Type variable;
public:
MyClass(Type a):variable(a) { // Assume that Type is an already
// declared class and it has appropriate
// constructors and operators
}
};
使用初始化器列表,编译器执行以下步骤:
调用Type类的复制构造函数初始化:variable(a)。初始化器列表中的参数用于直接复制构造“variable”。 “Type”的析构函数被调用为“a”,因为它超出了作用域。
基类的初始化
使用构造函数初始化列表的一个重要原因是基类的初始化,这里的回答中没有提到。
根据构造顺序,基类应该在子类之前构造。没有构造函数初始化列表,如果你的基类有默认构造函数,它将在进入子类的构造函数之前被调用,这是可能的。
但是,如果基类只有参数化的构造函数,则必须使用构造函数初始化列表来确保基类在子类之前初始化。
只有参数化构造函数的子对象的初始化 效率
使用构造函数初始化列表,将数据成员初始化为代码中需要的确切状态,而不是先将它们初始化为默认状态,然后再将它们的状态更改为代码中需要的状态。
初始化非静态const数据成员
如果类中的非静态const数据成员具有默认构造函数,并且你不使用构造函数初始化列表,你将无法将它们初始化为预期状态,因为它们将初始化为默认状态。
初始化引用数据成员
引用数据成员必须在编译器进入构造函数时初始化,因为引用不能在以后声明和初始化。这只有在构造函数初始化列表中才可能实现。
语法:
class Sample
{
public:
int Sam_x;
int Sam_y;
Sample(): Sam_x(1), Sam_y(2) /* Classname: Initialization List */
{
// Constructor body
}
};
初始化需求列表:
class Sample
{
public:
int Sam_x;
int Sam_y;
Sample() */* Object and variables are created - i.e.:declaration of variables */*
{ // Constructor body starts
Sam_x = 1; */* Defining a value to the variable */*
Sam_y = 2;
} // Constructor body ends
};
在上面的程序中,当类的构造函数被执行时,Sam_x和Sam_y被创建。然后在构造函数体中定义这些成员数据变量。
用例:
类中的Const和Reference变量
在C语言中,变量必须在创建过程中定义。同样的,在c++中,我们必须在创建对象时使用Initialization list初始化Const和Reference变量。如果在对象创建后进行初始化(在构造函数内部),则会得到编译时错误。
Sample1(基)类的成员对象没有默认构造函数 类Sample1 { int我; 公众: Sample1 (int temp) { I = temp; } }; //类Sample2包含Sample1的对象 类Sample2 { Sample1; 公众: Sample2 (int x):必须使用一个(x) /*初始化列表*/ { } };
在为派生类创建对象时,该对象将在内部调用派生类构造函数和基类构造函数(默认)。如果基类没有默认构造函数,用户将得到编译时错误。为了避免,我们必须有任何一种
1. Default constructor of Sample1 class
2. Initialization list in Sample2 class which will call the parametric constructor of Sample1 class (as per above program)
Class constructor’s parameter name and Data member of a Class are same: class Sample3 { int i; /* Member variable name : i */ public: Sample3 (int i) /* Local variable name : i */ { i = i; print(i); /* Local variable: Prints the correct value which we passed in constructor */ } int getI() const { print(i); /*global variable: Garbage value is assigned to i. the expected value should be which we passed in constructor*/ return i; } };
我们都知道,如果两个变量名称相同,则局部变量优先级最高,全局变量优先级次之。在这种情况下,程序考虑“i”值{既是左变量也是右变量。例如:i = i}作为Sample3()构造函数中的局部变量,Class成员变量(i)被重写。为了避免,我们必须使用任何一种方法
1. Initialization list
2. this operator.
只是添加一些额外的信息,以演示成员初始化列表可以产生多大的不同。在leetcode 303 Range Sum Query - Immutable, https://leetcode.com/problems/range-sum-query-immutable/中,您需要构造一个具有一定大小的向量并将其初始化为零。这里是两种不同的实现方式和速度的比较。
没有成员初始化列表,获得AC花费了我大约212毫秒。
class NumArray {
public:
vector<int> preSum;
NumArray(vector<int> nums) {
preSum = vector<int>(nums.size()+1, 0);
int ps = 0;
for (int i = 0; i < nums.size(); i++)
{
ps += nums[i];
preSum[i+1] = ps;
}
}
int sumRange(int i, int j) {
return preSum[j+1] - preSum[i];
}
};
现在使用成员初始化列表,获得AC的时间大约是108毫秒。通过这个简单的例子,很明显,成员初始化列表更加有效。所有的测量都来自LC的运行时间。
class NumArray {
public:
vector<int> preSum;
NumArray(vector<int> nums) : preSum(nums.size()+1, 0) {
int ps = 0;
for (int i = 0; i < nums.size(); i++)
{
ps += nums[i];
preSum[i+1] = ps;
}
}
int sumRange(int i, int j) {
return preSum[j+1] - preSum[i];
}
};