Question

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

在这种情况下意味着什么？你能解释一下吗？这个示例代码对我来说似乎很模糊。

非常感谢。

Answer 1

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

T1(a) = 3

是一个有效的声明，它声明了一个a类型的对象T1，它是从值3初始化的（而不是构造一个从T1初始化的临时类型a 3，然后将T1 a = 3分配给该临时用户。事实上，这相当于以下内容：

T2(4)

现在剩下的声明者：

T2

此处T1是从值4初始化的T1 a = 3, T2(4)类型对象的名称，如：

T2

所以int x = 42, y(1729)是对象的名称，而不是类型，类似于下面的情况：

x

其中int是从42初始化的y类型的对象，而int是从值{{1}初始化的另一个1729类型的对象}}

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

理解模糊度解析的示例代码

1 个答案: