C++模板参数强转时为何()语法被识别为实例化而非函数调用

你碰到的是C++里有名的**最令人烦恼的解析（Most Vexing Parse, 简称MVP）**问题，核心规则和你疑惑的点可以拆成这几部分说：

• 首先纠正你一个小的认知偏差：C++不是看到()就默认当成函数，而是标准里写死了一条解析优先级：如果某段代码从语法上既可以解释成声明，也可以解释成表达式，编译器必须优先按声明解析。
• 你写的is_callable<Lambda>()会被误判，完全是因为它刚好符合函数声明的语法：可以被解读为「返回is_callable<Lambda>类型、参数为空的函数」，刚好踩中MVP的触发条件，编译器就会直接把它认成函数声明，而不是构造is_callable<Lambda>临时对象的表达式。
• 加了(bool)强转之后歧义消失的原因也很直白：C++根本不存在「开头带C风格类型转换的声明」这种语法。(bool)作为类型转换运算符的时候，后面跟的必须是表达式，你不可能声明一个实体，前面还套个(bool)的转换。这时候从语法层面就堵死了解析成声明的可能，MVP规则连触发的前提都没有，编译器自然会把后面的is_callable<Lambda>()认成构造临时对象的表达式，再调用你写的constexpr operator bool()在编译期算出布尔值，传给enable_if当非类型模板参数。

你可以用个极简的例子验证这个逻辑：

struct Test {};

// 触发MVP：被解析为“返回Test、无参的函数声明”，不是创建临时对象
void case1() {
    Test();
}

// 无任何歧义：(Test)是类型转换操作，后面的()是表达式调用，不可能是声明
void case2() {
    (Test)();
}

你一开始用的is_callable<Lambda>{}是C++11之后推荐的标准MVP规避写法——花括号初始化从语法设计上就和函数声明完全不重叠，不会出任何解析歧义。

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