请考虑以下代码段。类test
有一个const成员a
和一个成员函数fun
,该函数返回a
。初始化列表用于初始化构造函数中的a
。但是,在初始化列表中,lambda用于使用返回的fun值初始化a
。根据优化级别,这会导致在编译和运行时clang和gcc的行为不同。在代码段下方,列出了在编译和运行时的不同输出。这是gcc和clang的预期行为吗?
#include <iostream>
class test{
public:
const int a;
test(): a([this](){return fun();}()) {}
int fun()
{
return a;
}
};
int main()
{
auto t = test();
std::cout << t.a << '\n';
return 0;
}
编译时间:
clang++-5.0 -std=c++17 -Wall -Wextra -Weverything
lambda_in_initializer_list.cpp:7:15: warning: lambda expressions are incompatible with C++98
[-Wc++98-compat]
test(): a([this](){return fun();}()) {}
^
warning: 'auto' type specifier is incompatible with C++98 [-Wc++98-compat]
lambda_in_initializer_list.cpp:17:5: warning: 'auto' type specifier is incompatible with C++98
[-Wc++98-compat]
auto t = test();
^~~~
3 warnings generated.
clang++-5.0 -std=c++17 -Wall -Wextra -Weverything -O1
lambda_in_initializer_list.cpp:7:15: warning: lambda expressions are incompatible with C++98
[-Wc++98-compat]
test(): a([this](){return fun();}()) {}
^
warning: 'auto' type specifier is incompatible with C++98 [-Wc++98-compat]
lambda_in_initializer_list.cpp:17:5: warning: 'auto' type specifier is incompatible with C++98
[-Wc++98-compat]
auto t = test();
^~~~
g++ -std=c++17 -Wall -Wextra -Wpedantic
No output
g++ -std=c++17 -Wall -Wextra -Wpedantic -O1
lambda_in_initializer_list.cpp: In function ‘int main()’:
lambda_in_initializer_list.cpp:18:20: warning: ‘t.test::a’ is used uninitialized in this function [-Wuninitialized]
std::cout << t.a << '\n';
~~^
运行时:
clang++-5.0 -std=c++17 -Wall -Wextra -Weverything
0
clang++-5.0 -std=c++17 -Wall -Wextra -Weverything -O1
4196112
g++ -std=c++17 -Wall -Wextra -Wpedantic
Non deterministic output.
g++ -std=c++17 -Wall -Wextra -Wpedantic -O1
0
答案 0 :(得分:3)
我不太理解一个问题,但是似乎您实际上在问“为什么gcc在您启动优化之前没有警告您”。
这是已知的事情。在复杂情况下,检测未定义的行为需要在编译器方面进行大量工作,并且通常仅在优化代码时才能完成(因为编译器无论如何都要进行大量工作)。与现实生活中的编译器打交道时要牢记一些事情。
答案 1 :(得分:2)
您的行为不确定。在初始化之前,请使用a
的值。如果您希望程序有效,请在使用变量之前对其进行初始化。
struct test {
int a;
test(): a(0) { // Effectively return the value of a,
// which is 0 at this point.
// ~~~~~~~v~~~~
a = [this]{ return fun(); }();
}
int fun()
{
return a;
}
};
int main()
{
auto t = test();
std::cout << t.a << '\n';
return 0;
}
您的编译器甚至警告您有关代码。听他们说。警告是正确的,您的代码无效。