为何C++中变量可省略模板占位符，函数声明却编译失败？

先看示例代码：

template <typename T = int>
class type {
    T data;
};

void fun1(type      arg); // 错误：此上下文不允许使用模板占位符
void fun2(type<>    arg); // 正常
void fun3(type<int> arg); // 正常

type      ret1(); // 错误：函数返回类型中使用推导类类型'type'
type<>    ret2(); // 正常
type<int> ret3(); // 正常

int main() {
    type      var1;  // 正常！！！！
    type<>    var2;  // 正常
    type<int> var3;  // 正常
}

1. 为何var1可编译通过，而fun1和ret1不行？ #

这是C++标准对模板名称在不同上下文的处理规则差异导致的：

• 变量声明场景：type var1;属于类模板的隐式实例化。标准允许在声明变量时，直接使用不带模板参数列表的类模板名，编译器会自动套用模板的默认参数（此处为int）完成实例化。这是为了简化代码，让默认参数的使用更便捷直观。
• 函数参数/返回值场景：type arg或type ret1()这种写法不符合标准要求。在函数声明的上下文中，必须明确指定模板实例的具体类型——要么用type<>显式表示使用默认参数，要么用type<int>指定具体类型。这么规定是为了避免歧义，同时保证函数接口的明确性，让编译器和调用者都能清晰知晓参数、返回值的具体类型。

2. 这种不一致行为是否存在逻辑依据？ #

存在明确的逻辑依据，核心是不同上下文对类型确定性的需求不同：

• 变量声明的目标是直接创建具体对象，此时使用默认参数实例化模板不存在歧义，默认参数的设计初衷就是为了这种场景下简化代码，所以标准允许隐式套用默认参数。
• 函数声明属于接口定义，需要保证稳定性和明确性。函数的参数、返回值是接口的核心部分，如果允许不带参数列表的模板名，后续若修改模板的默认参数，会直接改变函数接口的含义，破坏代码的稳定性。另外，函数重载解析依赖明确的类型信息，模糊的类型会导致编译器无法正确匹配重载版本，因此标准强制要求在函数参数/返回值中必须显式指定模板实例的类型。

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