这个问题和我的另一篇文章有关:为什么 allocate_shared 和 make_shared 这么慢
在这里我可以更清楚地描述这个问题。
考虑下面的代码:
struct A {
char data_[0x10000];
};
class C {
public:
C() : a_() { }
A a_;
};
int main() {
C c;
return 0;
}
我找到了代码C() : a_()
,编译器使用memset(addr,0,0x10000)
作为 A 的构造函数。如果类型 A 有一个空构造函数,则 asm 代码是正确的。
为了更清楚地描述问题,我写了一些测试代码:
#include <stdlib.h>
struct A {
//A() {}
char data_[0x10000];
void dummy() { // avoid optimize erase by compiler
data_[rand() % sizeof(data_)] = 1;
}
int dummy2() { // avoid optimize erase by compiler
return data_[0];
}
};
class B {
public:
template<class ... T> B(T&...t)
: a_(std::forward<T>(t)...) {
}
A a_;
};
class C {
public:
C() : a_() {
}
A a_;
};
template<class ... T>
int test(T&...t) {
A a(t...);
a.dummy();
return a.dummy2();
}
int main() {
A a;
a.dummy();
auto r1 = a.dummy2();
auto r2 = test();
B b;
b.a_.dummy();
auto r3 = b.a_.dummy2();
C c;
c.a_.dummy();
auto r4 = c.a_.dummy2();
return r1 + r2 + r3 + r4;
}
我使用 vs2017 在 Windows 10 x86 发行版本中编译了代码。
然后我检查了asm代码:
template<class ... T>
int test(T&...t) {
00E510B8 call _chkstk (0E51CE0h)
00E510BD mov eax,dword ptr [__security_cookie (0E53004h)]
00E510C2 xor eax,ebp
00E510C4 mov dword ptr [ebp-4],eax
A a(t...);
00E510C7 push 10000h
00E510CC lea eax,[a]
00E510D2 push 0
00E510D4 push eax
00E510D5 call _memset (0E51C3Ah)
00E510DA add esp,0Ch
a.dummy();
00E510DD call dword ptr [__imp__rand (0E520B4h)]
}
00E510E3 mov ecx,dword ptr [ebp-4]
功能很清楚了test()
calls memset(p, 0, 0x10000)
.
如果我在 A 中添加一个空构造函数(行A(){}
),编译器删除 memset。
那么为什么当类型 A 没有构造函数时代码会调用 memset 而当 A 有构造函数时代码不会调用 memset 呢?
它是 C++ 标准的一部分,还是只是一个编译器错误?
显然 memset(p, 0, sizeof(T)) 是无用且有害的,它会减慢程序速度。我该如何解决这个问题?