我对这里发生的事情有一个模糊的想法......这与this但我想知道为什么 clang++ 和 g++ 处理这个问题的方式不同。这里未定义的行为在哪里?注意:这与模板无关 - 我只是使用它们来使示例更加紧凑。这都是关于类型的whatever
.
#include <iostream>
#include <vector>
template <typename T>
void test()
{
T whatever = 'c';
const char a = 'a';
std::cout << "begin: " << (void*)&a << std::endl;
const char & me = (true ? a : whatever);
std::cout << "ref: " << (void*)&me << std::endl;
}
int main(int argc, char**argv)
{
test<const char>();
test<char>();
return 0;
}
gcc 输出(测试到 4.9.3):
begin: 0x7fffe504201f
ref: 0x7fffe504201f
begin: 0x7fffe504201e
ref: 0x7fffe504201f
clang 3.7.0 输出:
begin: 0x7ffed7b6bb97
ref: 0x7ffed7b6bb97
begin: 0x7ffed7b6bb97
ref: 0x7ffed7b6bb97
我的回答来自今天的另一个问题详细介绍您的案例。我将避免重复自己,只是进行总结。
如果我们分解出模板,就会有两种情况。情况1:
const char whatever = 'c';
const char a = 'a';
const char & me = (true ? a : whatever);
条件运算符的第二个和第三个操作数都是“类型的左值”const char
”,所以结果是“类型的左值const char
" 指定选定的操作数。最后,const char &
直接绑定到“类型的左值”const char
", so &me
== &a
.
对于情况2:
char whatever = 'c';
const char a = 'a';
const char & me = (true ? a : whatever);
第二个和第三个操作数是“类型的左值”char
" 和 "类型的左值const char
”。其结果是“类型的左值const char
" 指定选定的操作数。和以前一样,const char &me
直接绑定到类型的左值const char
, so &me == &a
.
如果编译器打印不同的地址me
and a
无论哪种情况,这都是编译器错误。
本文内容由网友自发贡献,版权归原作者所有,本站不承担相应法律责任。如您发现有涉嫌抄袭侵权的内容,请联系:hwhale#tublm.com(使用前将#替换为@)