C++模板默认参数：为何无法推导类模板类型调用成员模板？

你遇到的编译错误本质是C++语法规则的限制：类模板的默认参数不会在限定名（::）前的上下文里自动触发模板实例化。

核心原因 #

Example本身是一个类模板名，不是具体的类型；只有当你显式实例化它（比如Example<int>或Example<>），它才会变成一个可访问成员的具体类类型。

即使类模板声明了默认参数U=int，编译器也不会在Example::这种写法里自动补全默认参数来实例化模板——因为语法上，Example::会被编译器解析为试图引用模板本身的静态成员，但你的execute是实例化后的类的成员模板，不属于未实例化的模板Example。

解决方法 #

有两种合法的写法可以调用成员模板：

1. 显式指定类模板的类型参数：

   Example<int>::execute<float>();
   

2. 使用空的<>触发默认参数实例化（等价于Example<int>）：

   Example<>::execute<float>();
   

修正后的完整代码：

// g++ -std=c++20 example.cpp
#include <iostream>

template <typename U = int>
struct Example {
    template <typename T>
    static void execute() {
        std::cout << "Hey" << std::endl;
    }
};

int main() {
    Example<>::execute<float>(); // 利用默认参数实例化类模板
    Example<int>::execute<float>(); // 显式指定类模板参数
}

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