什么是decltype（0 + 0）？

Question

（由an answer提示。）

鉴于N3290，§7.1.6.2p4，这里的列表项是无编号，但编号在这里为我们的方便：

通过decltype表示的类型（E ）被定义为如下：

1. 如果e是一个括号的ID-表达或加括号的类的成员访问（5.2.5），decltype（e）是通过e命名实体的类型。如果没有这样的实体，或者如果e名称是一组重载函数，则该程序是不合格的;如果e是x值，则decltype（e）是T & &，其中T是e的类型;否则，如果e是左值，则decltype（e）是T &，其中T是e的类型;如果e是左值，则decltype（e）是T &，其中T是e的类型;
2. 否则，decltype（e）是e的类型。

decltype（0 + 0）指定的类型是什么？

第1项不适用，2可能，但如果不适用，则3不适用，4将是结果。那么，什么是xvalue，是0 + 0还是xvalue？

§3.10p1：

的x值（一个“到期”值）也指一个对象，通常接近其寿命的末尾（使得其资源可以被移动，例如）。 xvalue是涉及右值引用的某些表达式的结果（8.3.2）。

我没有在§8.3.2中看到任何有用的东西，但我知道“0 + 0”不涉及任何右值引用。文字0是一个prvalue，它是“不是一个xvalue的右值”（§3.10p1）。我相信“0 + 0”也是一个价值。如果是这样，“decltype（0 + 0）”将是int（不是int & &）。

我错过了我的解释？这段代码是否合格？

decltype(0 + 0) x; // Not initialized. 

代码在GCC 4.7.0 20110427和Clang 2.9（中继线126116）上编译。例如，如果decltype指定了一个int & &类型，那么它将不会完好。

Answer 1

从5.19 [expr.const]，每常量表达式是prvalue 。

甲常量表达式是文本类型的prvalue核心常量表达式，但是没有指针类型。 积分常量表达式是积分或非范围枚举类型的文字常量表达式。

因此规则4适用于所有文字常量表达式。

Answer 2

GCC说int -

代码：

#include <iostream> 
#include <typeinfo> 

int 
main() 
{ 
    int n; 
    decltype(0 + 0) x; 
    std::cout << "Type of `n': " << typeid(n).name() << std::endl; 
    std::cout << "Type of `x': " << typeid(x).name() << std::endl; 
} 

输出：

我

我

编辑：根据第4点它是有道理的，但我不能肯定地说第2点实际上并不是实际的效果。根据我所知，0 + 0评估为0，而0的类型为int，因此这是已声明的类型。

Answer 3

您的推理是正确的。仅涉及常量的表达式本身就是一个常量。因此

decltype(0 + 0) x; 

等于

decltype(0) x; 

其等于

int x; 

Answer 4

0 + 0是二prvalues的表达，（n3290参数3.10），其适用于内置operator+，其中，每13.6/12是LR operator+(L,R)，这是一个返回非参考值的函数。表达的结果也是一个价值（按3.10）。

因此，0 + 0的结果是一个prvalue，0是int，因此0 + 0的结果是一个int

Answer 5

这绝对是一个int：

#include <iostream> 
#include <typeinfo> 

template<typename T> 
struct ref_depth 
{ 
     enum { value = 0 }; 
}; 

template<typename T> 
struct ref_depth<T&> 
{ 
     enum { value = 1 }; 
}; 

template<typename T> 
struct ref_depth<T&&> 
{ 
     enum { value = 2 }; 
}; 

int main() { 

    std::cout 
    << "int: " << typeid(int).name() << "\n" 
     "decltype(0 + 0): " << typeid(decltype(0 + 0)).name() << "\n" 
     "int&&: " << typeid(int&&).name() << "\n"; 
    std::cout 
    << "ref_depth: int: " << ref_depth<int>::value << "\n" 
     "ref_depth: decltype(0 + 0): " << ref_depth<decltype(0 + 0)>::value << "\n" 
     "ref_depth: int&&: " << ref_depth<int&&>::value << "\n"; 

} 

输出：

int: i 
decltype(0 + 0): i 
int&&: i 
ref_depth: int: 0 
ref_depth: decltype(0 + 0): 0 
ref_depth: int&&: 2