假设我有以下代码
class C {
public:
explicit C() :
member()
{}
private:
int member;
};
我想member() 值将我的member 变量初始化为零。
我的问题是：这在运行时是否有任何开销？还是在编译时以某种特定方式完成？
【问题讨论】：
标签： c++
简而言之：开销很小但编译器很聪明！
长版：
内存必须清零，这需要一些工作。可以看到当你compile your class to assembly时，加上一个简单的驱动函数
int main() { C c; }
使用-O1 优化。
然后没有成员初始化，生成的代码是这样的
main: # @main
push rax
mov rdi, rsp
call C::C() [base object constructor]
xor eax, eax
pop rcx
ret
C::C() [base object constructor]: # @C::C() [base object constructor]
ret
在最后两行中，您可以看到构造函数是微不足道的。当你用括号添加成员初始化时，它变成了
C::C() [base object constructor]: # @C::C() [base object constructor]
mov qword ptr [rdi], 0
ret
mov 指令将某个特定内存位置的DWORD 设置为零。 DWORD 是 32 位的。
编译器可能能够组合初始化。例如，如果您添加第二个int：
class C {
public:
explicit C()
: member(), anotherMember()
{}
private:
int member;
int anotherMember; // <====
};
int main() {
C c;
}
然后DWORD 更改为QWORD，因此它实际上同时将两个整数归零。即使使用更高的优化级别，您也会看到这一点，例如，当您添加编译器无法优化的内容时，例如从 stdin 和 compile this with -O2 读取的内容时
#include <iostream>
class C {
public:
explicit C()
: member()
{}
int member;
};
int main() {
int x;
C c;
std::cin >> c.member;
}
然后构造函数体将被内联到主函数中，但你仍然会找到零指令
mov dword ptr [rsp], 0
还要注意，根据实例化后的代码，编译器可能会进一步优化。例如，如果您查看
的输出C c;
c.member = expression;
然后你会看到零赋值将从输出中删除。
【讨论】：
这取决于编译器及其优化。假设优化级别为none，那么编译器很可能会为init 成员变量生成一些指令。此代码已优化，例如使用 -O1 时的 gcc。
比较成员初始化和不初始化的区别：
https://godbolt.org/g/ZE62PP vs https://godbolt.org/g/msRQtp
【讨论】：