为何C++最令人头疼的解析在`A a(A());`示例中成立？

这就是C++里臭名昭著的最令人头疼的解析（Most Vexing Parse），核心原因是编译器的语法优先级规则：当一段代码既可以被解析为变量定义，又可以被解析为函数声明时，编译器会优先选择函数声明。

为什么A()会被当成函数类型？ #

你可能以为A()是临时对象的构造，但在函数声明的参数列表语境里，A()是一个函数类型的写法——它表示“返回A类型、不接受任何参数的函数”。就像我们写void func(int());时，这里的int()就是指“返回int、无参的函数”，编译器会自动把它转换成对应的函数指针类型（int(*)()）。

回到你的代码A a(A());，编译器会把它解析成：

声明一个名为a的函数，该函数的参数是一个指向“返回A、无参的函数”的指针，函数a的返回值类型是A。

换句话说，它等价于：

A a(A (*)());

为什么你查cppreference没找到相关说明？ #

其实在函数声明的参数部分，允许使用函数类型作为参数（会隐式转为函数指针），而返回类型()就是无参函数类型的合法写法。你可以把它理解成参数列表里的类型缩写——A()确实是一个合法的函数类型声明，用于描述参数的类型。

怎么避免这种解析？ #

有两种常用方式：

• 用大括号初始化代替小括号：A a{A()};，大括号语法不会被解析为函数声明
• 给临时对象的构造加一层括号：A a((A()));，额外的括号会让编译器明确这是一个表达式，而非函数参数的类型声明

内容的提问来源于stack exchange，提问作者Autechre