decltype 应该如何与运算符一起使用，

Question

decltype 应该产生其参数的类型。 逗号表达式应该具有其右侧操作数的类型。在下面的示例中，当使用 VS2010 编译时，除了 c2 之外的所有内容都是 false。当谈到 c1 时，这对我来说很奇怪，但显然符合标准，而对于 c4 和 c5 我不确定......这是正确的，还是编译器错误？遗憾的是，我的真实代码至少在 c4 中依赖 is_reference 返回 true。

函数的最后两行按预期编译，这表明逗号表达式的实际计算有效。

#include <type_traits>

void comma()
{
 int str = 1;

 bool c1 = std::is_reference<decltype(str)>::value;
 bool c2 = std::is_reference<decltype((str))>::value;
 bool c3 = std::is_reference<decltype((str, str))>::value;
 bool c4 = std::is_reference<decltype((str, str))>::value;
 bool c5 = std::is_reference<decltype((str, (str)))>::value;

 int& s2 = (1, str);
 s2 = 2;
}

Answer 1

据我所知，您是正确的 decltype((str, str)) 和 decltype((str, (str))) 都应该表示 int& 作为具有逗号运算符的表达式，应与第二个操作数具有相同的值和值类别，并且 str 是左值。

我认为这是 VS2010 中 C++0x 支持的一个错误。