提问人：francisC 提问时间：10/15/2023 最后编辑：francisC 更新时间：10/15/2023 访问量：139
如何防止函数模板参数推导
How to prevent function template argument deduction
问：
这是一个玩具的例子，但它说明了我猜的观点...... 我需要确保仅当指定参数类型时才调用模板化函数（可以是类成员），因为对于几种选择的类型，专用化将有所不同。
template<typename T>
void ff(T x) { cout << "NO WAY!!! : " << x << endl; }
template<>
void ff(uint16_t x) { cout << "uint16_t thing: " << x << endl; }
template<>
void ff(uint32_t x) { cout << "uint32_t thing: " << x << endl; }
// ----------------------------------------------------------
编译并运行该示例，它会产生：
ff<uint16_t>(10); // -> uint16_t thing: 10
ff(10); // -> NO WAY!!! : 10 ... This is the case I'm trying to avoid ...
为了禁止编译第二个函数调用，我已将第一个声明替换为：
template<typename T>
void ff(std::type_identity_t<T> && x) { cout << "NO NO NO! : " << x << endl; }
但它无法编译......
error: template-id ‘ff<>’ for ‘void ff(uint16_t)’ does not match any template declaration
（GCC 12.3.0）
怎么做呢？
谢谢！
答：
4赞
francisC
10/15/2023
#1
怎么做...
PS：您的评论让我走上了正确的轨道！
当然，没有必要在简单的函数上使用模板，但是如果我们有一个带有模板成员函数的类，它会很方便;-）
唯一缺少的是专业化的模板 arg 类型......ff<T>()
#include <type_traits>
template<typename T>
void ff(std::type_identity_t<T> x) { /* force arg type */ }
template<>
void ff<uint16_t>(uint16_t x) { cout << "uint16_t thing: " << x << endl; }
template<>
void ff<uint32_t>(uint32_t x) { cout << "uint32_t thing: " << x << endl; }
现在，让我们编译：
ff(10) // no template arg type -> ERROR
ff<uint16_t>(10); // Ok! it compiles :-)
是的，如果缺少模板类型，我想编译器给出错误，迫使我指定它，它现在做了一些事情。
谢谢大家，你们一直很有帮助！
cppreference.com 处的 type_traits 的简短链接如下：
上一个：无法推断模板参数 [重复]
评论
ff_uint16ff_uint32void ff(auto&& x) = delete;fuint16_tuint32_tff(10u);uint32_tunsigned int&&ff<uint16_t>(uint16_t x)ff(uint16_t x)