理解歧义解决的示例代码

Understanding example code of ambiguity resolution

本文关键字：代码 解决 歧义      更新时间：2023-10-16

以下代码引用自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初始化(而不是构造一个从a初始化的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不是类型的名称，而是对象的名称。

相关文章：