C++模板如何按类型参数调用对应C API create函数无需显式特化

实现结论 #

该需求可以实现，仅需要配合预处理器宏完成类型与C创建函数的绑定，再通过SFINAE机制实现重载优先级选择即可，无需为每个类型手动编写完整的create函数特化。

核心限制说明 #

你示例中用到的T##_create语法无法直接在模板中生效：##是预处理器运算符，仅在预处理阶段执行，此时模板参数T还未被实例化为具体类型，预处理器只会直接拼接出T_create字符串，无法和实际的类型名关联，因此需要先做一层轻量的类型-函数绑定。

C++11 兼容实现方案 #

步骤1：定义类型特征模板与注册宏 #

// 基础特征模板，默认无自定义C创建函数
template<typename T>
struct c_api_creator {};

// 批量注册宏，一键完成类型与对应C创建函数的绑定
#define REGISTER_C_API_TYPE(T) \
template<> \
struct c_api_creator<T> { \
    static T* invoke() { \
        return T##_create(); \
    } \
};

// 给现有C API对应的类型做注册，仅需一行 per 类型
REGISTER_C_API_TYPE(A)
REGISTER_C_API_TYPE(B)

步骤2：实现带优先级的create重载 #

利用int参数优先级高于long的规则，优先匹配存在C创建函数的版本，匹配失败则回退到通用new版本：

// 优先级1：存在绑定的C创建函数时走该分支
template<typename T>
auto create(int) -> decltype(c_api_creator<T>::invoke()) {
    return c_api_creator<T>::invoke();
}

// 优先级2：无C创建函数时的回退分支
template<typename T>
T* create(long) {
    return new T;
}

// 对外统一调用接口
template<typename T>
T* create() {
    // 传入int类型的0，优先触发高优先级重载
    return create<T>(0);
}

使用示例 #

A* pa = create<A>(); // 自动调用A_create()
B* pb = create<B>(); // 自动调用B_create()
// 未注册的C类型自动回退到new
C* pc = create<C>(); // 等价于new C

C++17 简化实现（if constexpr 版本） #

如果可用C++17及以上标准，可以省略重载逻辑，代码更简洁：

#include <type_traits>

template<typename T>
struct c_api_creator {};

#define REGISTER_C_API_TYPE(T) \
template<> \
struct c_api_creator<T> { \
    static T* invoke() { \
        return T##_create(); \
    } \
};

REGISTER_C_API_TYPE(A)
REGISTER_C_API_TYPE(B)

// 辅助检测变量：判断类型是否注册了C创建函数
template<typename T, typename = void>
constexpr bool has_c_creator_v = false;

template<typename T>
constexpr bool has_c_creator_v<T, std::void_t<decltype(c_api_creator<T>::invoke())>> = true;

template<typename T>
T* create() {
    if constexpr (has_c_creator_v<T>) {
        return c_api_creator<T>::invoke();
    } else {
        return new T;
    }
}

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