C++中传入无参函数模板时编译器为何推导并实例化空参X

以下代码可复现题目描述的编译报错：

template <typename... T>
struct X {
    static_assert(sizeof...(T) != 0);
};

template <typename... T>
void f(const X<T...> &) {}

template <typename T>
void inner() {}

int main() {
    f(inner);
}

编译上述代码时，会直接触发X内部的static_assert失败，而非抛出“模板使用未提供实参”类的错误。

所有编译行为均由C++标准明确规定，不存在编译器自定义的特殊逻辑，核心规则如下：

• 类模板和函数模板的名称语义存在本质区别：
  • 类模板名本身不代表任何具体类型，除了类作用域内的注入类名场景，使用类模板名时必须显式提供模板实参，否则直接非法。这也是将inner替换为结构体模板时，编译器直接抛出如下报错的原因：

    use of class template 'inner' requires template arguments

  • 函数模板名可以在调用场景下隐式匹配对应实例的函数指针：当函数模板名作为实参传递给其他函数时，编译器会主动执行模板实参推导，尝试匹配形参要求的类型，不会直接报“未提供模板实参”的错误。
• 空参数包的推导结果符合规则：示例中f的形参类型是const X<T...>&，传入的实参是无函数形参的函数模板inner，整个推导过程中没有任何信息可以约束可变参数包T...的内容。按照模板推导规则，没有约束的可变参数包会被推导为空集合，因此最终匹配的类型是X<>。
• static_assert触发是隐式实例化的必然结果：当模板推导确定类模板的实参列表后，会触发类模板的隐式实例化。这里推导得到X<>后，编译器会实例化该类型，类内定义的static_assert(sizeof...(T) != 0)会在实例化阶段执行检查，此时参数包长度为0，自然触发断言失败。

提到的另外几种写法的报错同样符合标准规则：

• 形参写为const X &时：在类模板外部、非注入类名的场景下，直接使用不带实参的可变参类模板名，属于未展开参数包的非法写法，编译器会直接在f的声明处抛出如下错误：

  declaration type contains unexpanded parameter pack 'T'
  由于错误在函数声明阶段就被检出，没有走到调用点的推导流程，因此报错位置在被调用方，直观性较差。

• 形参写为const X<T> &时：此处的T是单个类型形参而非可变参数包，传入的实参是函数模板名inner，没有任何有效类型信息可以用来推导T的具体值，编译器无法匹配到可行的f实例，因此抛出如下错误：

  candidate template ignored: couldn't infer template argument 'T'.

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