将C++17的if constexpr代码移植到C++14遇编译错误求助

你的报错原因是错误地将std::enable_if结构体直接作为模板非类型参数，而非类型模板参数要求是编译期常量类型（如bool、指针等），std::enable_if本身是模板结构体，不符合要求。下面给出两种可行的替代方案，适配C++14标准：

方案一：函数重载 + SFINAE（推荐） #

通过enable_if控制函数模板的重载可见性，实现分支逻辑：

#include <type_traits>
#include <iostream>

// 分支1：处理整数类型（排除bool）
template<typename T>
std::enable_if_t<std::is_integral<T>::value && !std::is_same<T, bool>::value>
process(T val) {
    std::cout << "Integer type: " << val << std::endl;
}

// 分支2：处理浮点类型
template<typename T>
std::enable_if_t<std::is_floating_point<T>::value>
process(T val) {
    std::cout << "Floating point type: " << val << std::endl;
}

// 分支3：处理其他类型（包括bool）
template<typename T>
std::enable_if_t<!std::is_integral<T>::value || std::is_same<T, bool>::value>
process(T val) {
    std::cout << "Other type" << std::endl;
}

说明： #

• std::enable_if_t是C++14新增的类型别名，等价于typename std::enable_if<Condition>::type，简化代码书写
• 确保各分支的enable_if条件互斥，避免编译期二义性错误
• 需包含<type_traits>头文件，否则无法使用类型判断模板

方案二：类模板特化（适用于类内逻辑分支） #

如果原代码是模板类中的分支逻辑，可通过类模板特化实现：

#include <type_traits>
#include <iostream>

// 默认模板分支：处理其他类型
template<typename T, typename = void>
struct Processor {
    static void process(T val) {
        std::cout << "Other type" << std::endl;
    }
};

// 特化分支1：整数类型（排除bool）
template<typename T>
struct Processor<T, std::enable_if_t<std::is_integral<T>::value && !std::is_same<T, bool>::value>> {
    static void process(T val) {
        std::cout << "Integer type: " << val << std::endl;
    }
};

// 特化分支2：浮点类型
template<typename T>
struct Processor<T, std::enable_if_t<std::is_floating_point<T>::value>> {
    static void process(T val) {
        std::cout << "Floating point type: " << val << std::endl;
    }
};

// 使用方式
int main() {
    Processor<int>::process(42);
    Processor<double>::process(3.14);
    Processor<bool>::process(true);
    return 0;
}

注意事项： #

• 模板特化的第二个参数用void作为占位符，通过enable_if_t生成的void类型匹配特化版本
• 同样需要保证各特化分支的条件互斥

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