C++11中如何声明仅接受数值类型与字符串的模板？

嘿，这个需求我之前也帮人解决过——在C11里给模板类加上类型限制，只让指定的数值类型（int、long、float、double）和字符串类型能实例化对吧？下面给你两种实用的实现方案，都是纯C11特性，不需要额外依赖：

方法一：静态断言（Static Assert）——直观的编译期错误提示 #

这种方式最直接，在编译阶段就会抛出明确的错误信息，让使用者一眼就知道哪里错了。我们可以借助C++11标准库<type_traits>里的类型判断工具，配合static_assert来实现：

#include <type_traits>
#include <string>

template<typename T>
class CustomClass {
public:
    T data;

    // 编译期检查：仅允许算术类型或字符串类型
    static_assert(
        std::is_arithmetic<T>::value || 
        std::is_same<T, std::string>::value ||
        std::is_same<T, const char*>::value ||
        std::is_same<T, char*>::value,
        "CustomClass 仅支持数值类型（int/long/float/double等）或字符串类型（std::string/char*/const char*）"
    );
};

说明： #

• std::is_arithmetic<T>::value会匹配所有内置数值类型（包括你提到的int、long、float、double，还有short、long long等）；
• 如果只想严格限制你指定的四个数值类型，可以把std::is_arithmetic<T>::value替换成逐个判断：

  std::is_same<T, int>::value ||
  std::is_same<T, long>::value ||
  std::is_same<T, float>::value ||
  std::is_same<T, double>::value
  

• 字符串类型我们覆盖了std::string、char*和const char*，基本能满足日常字符串使用场景；
• 一旦使用者尝试用不符合的类型（比如bool、自定义类、容器等）实例化，编译器会直接抛出我们写的错误提示。

方法二：SFINAE 技巧——隐蔽的类型过滤 #

如果你希望不符合条件的类型直接无法找到模板实例（而不是抛出断言错误），可以用C++11的SFINAE（Substitution Failure Is Not An Error）特性，通过模板特化来实现：

#include <type_traits>
#include <string>

// 主模板：默认不定义，用于过滤不符合条件的类型
template<typename T, typename = void>
class CustomClass;

// 特化模板：仅对符合条件的类型启用
template<typename T>
class CustomClass<T, typename std::enable_if<
    std::is_arithmetic<T>::value || 
    std::is_same<T, std::string>::value ||
    std::is_same<T, const char*>::value ||
    std::is_same<T, char*>::value
>::type> {
public:
    T data;
};

说明： #

• 我们先声明一个默认的主模板，但不提供定义；
• 然后通过std::enable_if来启用符合条件的特化版本，只有当类型满足判断条件时，这个特化模板才会被编译器匹配到；
• 如果使用者用了不符合的类型，编译器会因为找不到合适的模板实例而报错，这种方式更适合库开发，不会暴露自定义的断言提示。

测试示例 #

下面是合法和非法的实例化示例，你可以直接测试：

// 合法的实例化（都能通过编译）
CustomClass<int> int_instance;
CustomClass<double> double_instance;
CustomClass<std::string> str_instance;
CustomClass<const char*> cstr_instance;

// 非法的实例化（编译会报错）
// CustomClass<bool> bool_instance; // 若使用精确数值类型判断，bool会被拒绝
// CustomClass<std::vector<int>> vec_instance; // 容器类型不符合要求
// CustomClass<MyCustomClass> custom_instance; // 自定义类不符合要求

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