C++如何不使用if constexpr实现整型、浮点、char*类型的模板特化

采用SFINAE+模板重载的方案，完全避免if constexpr，所有分支通过编译期重载决议匹配，各类型分组的实现完全独立，新增类型不需要修改原有代码。

完整代码示例 #

#include <type_traits>
#include <cstdint>

// 你现有的C API
void createString(const char *);
void createInt(int);
void createFloat(float);
struct CustomStruct {};
void createSomeCustomStuff(CustomStruct);

// 主模板，无默认实现，不匹配的类型会直接编译报错
template<typename T, typename = void>
void create(T&& val);

// 字符串分组：匹配char*、const char*、字符串字面量
template<typename T>
std::enable_if_t<
    std::is_same_v<std::decay_t<T>, const char*>
    || std::is_same_v<std::decay_t<T>, char*>
> create(T&& val) {
    createString(val);
}

// 整型分组：匹配所有整型类型（排除char避免和字符串逻辑冲突）
template<typename T>
std::enable_if_t<
    std::is_integral_v<std::decay_t<T>>
    && !std::is_same_v<std::decay_t<T>, char>
    && !std::is_same_v<std::decay_t<T>, unsigned char>
    && !std::is_same_v<std::decay_t<T>, signed char>
> create(T&& val) {
    // 按需调整强转逻辑，这里统一转int传入C API
    createInt(static_cast<int>(val));
}

// 浮点分组：匹配float、double等所有浮点类型
template<typename T>
std::enable_if_t<
    std::is_floating_point_v<std::decay_t<T>>
> create(T&& val) {
    createFloat(static_cast<float>(val));
}

// 自定义类型分组：新增类型只要加对应重载即可，无需修改原有代码
template<typename T>
std::enable_if_t<
    std::is_same_v<std::decay_t<T>, CustomStruct>
> create(T&& val) {
    createSomeCustomStuff(val);
}

调用测试（完全符合要求的调用方式） #

// 支持显式指定模板参数
create<const char*>("hello");
// 支持自动推导
create("world");
create(0ull); // 无符号长整型匹配整型分组
create(double(100)); // double匹配浮点分组

方案符合要求的说明 #

• 无if constexpr：所有逻辑通过编译期重载决议匹配，每个分组的实现独立拆分，不会生成大体积的多分支函数，可读性和可维护性更高
• 易扩展：新增类型分组或者独立类型时，只需要在任意位置新增对应约束的模板重载即可，不需要修改原有代码
• 支持显式指定参数：所有实现都是模板函数，显式指定模板参数时会按约束匹配对应实现，避免自动推导不符合预期
• 编译期校验：不匹配的类型会因为找不到对应重载，触发主模板的实例化失败，直接在编译期报错

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