C++函数模板参数未出现在参数列表时是否合法可用？

• 你写的这个函数模板是完全合法的，C++没有要求函数模板的所有模板参数都必须出现在函数形参列表里。
• 模板参数的作用域覆盖整个函数模板的定义，包括函数体内部，因此你完全可以在函数体内用T定义变量、执行相关逻辑，这一用法符合C++标准要求。

注意调用规则：因为T没有出现在形参列表中，编译器无法通过调用时传入的实参自动推导T的类型，你调用时必须显式指定模板实参，示例如下：

// 合法调用，显式指定T的类型
create<int>(); 
create<std::vector<double>>();

// 错误调用，编译器无法推导T的类型，会直接报错
// create();

这类用法在C++标准库中也很常见，比如工具函数std::declval<T>()就是典型的模板参数不出现于形参列表的设计，调用时必须显式指定类型，属于常规的合法用法。

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