c++ - 理解歧义解决的示例代码

Question

以下代码引用自C++11标准N3485 Section 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));

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

非常感谢。

Answer 1

意思是当某物可以被解析为声明时，它就应该被解析为声明。在这种情况下，

T1(a) = 3

是一个有效的声明，它声明了一个 T1 类型的对象 a，从值 3 初始化(而不是构造一个临时的T1 类型从 a 初始化，然后将 3 分配给该临时对象)。实际上，这等同于以下内容:

T1 a = 3

现在剩下的声明符:

T2(4)

此处 T2 是从值 4 初始化的 T1 类型对象的名称，如:

T1 a = 3, T2(4)

因此 T2 是对象的名称，而不是类型，类似于下面的情况:

int x = 42, y(1729)

其中x是从42初始化的int类型的对象，y是另一个类型的对象int 从值 1729 初始化。

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