3

以下代码引用自 C++11 标准 N3485 第 6.8.3 节关于歧义解决的内容：

struct T1 {
   T1 operator()(int x) 
   { 
        return T1(x); 
   }
   int operator=(int x) 
   { 
       return x; 
   }
   T1(int) { }
};
struct T2 
{ 
    T2(int){ } 
};

int a, (*(*b)(T2))(int), c, d;

void f() {
    // disambiguation requires this to be parsed as a declaration:
    T1(a) = 3,
    T2(4),                   // T2 will be declared as
    (*(*b)(T2(c)))(int(d)); // a variable of type T1
                            // but this will not allow
                            // the last part of the
                            // declaration to parse
                            // properly since it depends
                            // on T2 being a type-name
}

我不知道如何解析这段代码：

 T1(a) = 3,
        T2(4),                  
        (*(*b)(T2(c)))(int(d));

在这种情况下是什么意思？你能给我解释一下吗？这个示例代码对我来说似乎相当模糊。

非常感谢。

4

1 回答 1

5

这意味着当某些东西可以被解析为声明时，它应该被解析为声明。在这种情况下，

T1(a) = 3

是一个有效的声明，它声明了一个从值初始化a的类型的对象（而不是构造一个从 初始化的临时类型，然后分配给该临时对象）。这实际上等价于以下内容：T13T1a3

T1 a = 3

现在剩下的声明符：

T2(4)

这是从 value 初始化T2的类型对象的名称，如下所示：T14

T1 a = 3, T2(4)

objectT2的名称也是如此，而不是类型的名称，类似于以下情况：

int x = 42, y(1729)

wherex是int从 初始化的类型的对象42，并且是从 value 初始化的y另一个类型的对象。int1729

那么最后一个声明符就无法正确解析，因为T2不是类型名，而是对象名。

于 2013-05-23T15:38:55.470 回答