如何强制程序员实例化指定模板参数的模板函数？

这里有两种实用的C++实现方案，完全满足你的需求：

方案一：用static_assert做编译期类型校验 #

在模板函数内部加入编译期断言，直接限制模板参数必须为int：

#include <type_traits>

template <class T> constexpr void function() {
    static_assert(std::is_same_v<T, int>, "错误：function仅允许以int作为模板参数实例化");
}

• 当用户尝试用int以外的类型（比如function<double>()）实例化时，编译器会触发你自定义的错误提示，直接终止编译。
• 完全支持你示例中的显式实例化声明：template void function<int>();

方案二：删除主模板，仅提供允许类型的显式特化 #

先将通用主模板标记为删除，再为允许的int类型编写显式特化版本：

// 通用主模板被删除，禁止任何非指定类型的实例化
template <class T> constexpr void function() = delete;

// 仅开放int类型的显式特化
template <> constexpr void function<int>() {
    // 此处编写函数的具体实现逻辑
}

• 这种方式语义更直接：任何非int的实例化尝试都会触发编译器“使用已删除函数”的错误。
• 同样兼容template void function<int>();这类显式实例化写法。

两种方案各有侧重：方案一的错误提示更友好，方案二的限制逻辑更直白，可根据实际需求选择。

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