c – 为什么“Foo f(Bar());”可以是一个函数的声明,它接受类型Bar并返回类型Foo？

Foo f(Bar());

函数f实际上将一个函数指针指向不带参数的函数,并给出一个Bar. f的参数类型为Bar(*)().

该代码无法编译(我们可以看到错误消息中的参数的实际类型)：

class Foo { };
class Bar { };

Foo f(Bar());

int main() {
  Bar b;
  f(b);
  return 0;
}

但是这个代码编译：

class Foo { };
class Bar { };

Foo f(Bar());

Bar g();

int main() {
  f(g);
  return 0;
}

正如您在问题中所说的那样,它可以具有的第二个含义是,您正在创建一个名为f的新Foo对象,您正在使用Bar()(Bar的新实例)调用构造函数.这将类似于：

Foo f = Foo(Bar());

在这种情况下,Foo(Bar());但是,编译器会选择第一个解释.

有点混乱,如果你添加另一组括号,如同

Foo f((Bar()));

编译器选择第二个解释.