用C语言对未命名的临时对象进行括号

Question

请考虑以下代码:

struct Foo
{
};

struct Bar
{
  explicit Bar(const Foo&)
  {
  }
};

int main()
{
  Foo foo;

  Bar bar(foo); // Okay.
  Bar(foo);     // Will not compile.
  (Bar(foo));   // Okay. Unnamed temporary requires parenthesis.
}

为什么需要临时版本的括号？他们解决了什么含糊之处？

我的预感是:我认为编译器看作Bar(foo)是一个函数的声明,但我不确定为什么会出现这种情况,因为foo(实例)不是一个类型.因此,括号强制将上述内容视为表达,而不是前瞻性声明.

Answer 1

恭喜发现最令人烦恼的解析.

Scott Meyers将其描述如下:

一般来说,[C++]语言(不幸的是,感谢它的历史)将试图解释任何像这样的声明作为函数的声明.

在您的情况下,引入括号消除了解析的歧义,迫使它成为本地.