C++ 理解歧义消解示例代码

以下代码引用自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));

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

---

非常感谢。

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

T1(a) = 3

是一个有效的声明，它声明一个类型为

T1

的对象

a

，从值

3

初始化（而不是构造一个类型为

T1

的临时对象，然后将

3

分配给该临时对象）。事实上，这相当于：

T1 a = 3

现在剩下的声明器：

T2(4)

此处，

T2

是从值

4

初始化的类型为

T1

的对象的名称，如下所示：

T1 a = 3, T2(4)

因此，

T2

是对象的名称，而不是类型，类似于以下情况：

int x = 42, y(1729)

其中，

x

是从

42

初始化的

int

类型的对象，

y

是从值

1729

初始化的

int

类型的另一个对象

---

最后一个声明符无法正确解析，因为

T2

不是类型的名称，而是对象的名称。

+1非常感谢，Andy。但我如何理解这个

（*（*b）（T2（c））（int（d））

？@taocp:不客气：）您可能不理解这一点，因为

T2

不是类型的名称（因为前面的声明）。这就是我见过的最好的解释的例子。@SChepurin：很高兴你发现它有用：）@Andy Prowl好的，我觉得很奇怪，我甚至不知道怎么读出来。你的意思是因为它不是一个有效的东西，所以我应该忽略它？看一看：这个例子是模糊的，但你可以找到同样属于同一类别的不太模糊的例子。@johndilling谢谢，这很有帮助。