C++最令人烦恼的解析

Question

直接来自http://herbsutter.com/2013/05/09/gotw-1-solution/

虽然widget w();对我来说很清楚,但我不知道下面的代码如何成为函数声明？

// same problem (gadget and doodad are types)
//
widget w( gadget(), doodad() );  // pitfall: not a variable declaration

这怎么可能？

Answer 1

在函数声明中,类型数组的参数衰减为指向第一个元素的指针,函数类型的参数衰减为函数指针,因此签名将是:

widget w( gadget(*)(), doodad(*)() );

也就是说,一个函数将第一个参数作为一个指向函数的指针,该函数不带参数并返回gadget,它将第二个参数作为一个指向函数的指针,该函数不带参数并返回a doodad并且函数本身返回一个widget

还有更多有趣或令人困惑的案例,例如:

// assume 'x' is a variable defined somewhere:
widget w(gadget(x));

怎么可能是被解释为函数声明？我的意思是,x是一个变量,对吗？那么,声明变量时,你可以添加额外的括号,所以gadget x;和gadget (x);这两个声明相同的变量x.这同样适用于函数参数,因此上面的代码看起来像一个函数的声明,它接受一个名为xtype 的第一个参数gadget并返回一个widget...