constexpr if：让你的代码在编译期起飞的秘密

template<typename T>
void printValue(const T& value) {
    if constexpr (std::is_pointer_v<T>) {
        std::cout << *value; // 指针类型就解引用 🎯
    } else {
        std::cout << value;  // 普通类型直接打印 ✨
    }
}
1.
2.
3.
4.
5.
6.
7.
8.

template<typename T, typename... Args>
void print_all(T first, Args... rest) {
    std::cout << first;
    
    if constexpr (sizeof...(rest) > 0) {  // 🔍 编译期检查是否还有剩余参数
        std::cout << ", ";                // 🎯 打印分隔符
        print_all(rest...);               // ♻️ 递归处理剩余参数
    }
}
1.
2.
3.
4.
5.
6.
7.
8.
9.

print_all(1, "hello", 3.14); // 输出: 1, hello, 3.14
1.

template<typename Container>
auto getSize(const Container& c) {
1.
2.

    if constexpr (std::is_array_v<Container>) {
        return std::extent_v<Container>;
    }
1.
2.
3.

    else if constexpr (requires { c.size(); }) {
        return c.size();
    }
1.
2.
3.

    else {
        return 1;
    }
1.
2.
3.

template<typename T>
void must_be_integer() {
    // 🔍 在编译期检查类型是否为整数
    if constexpr (!std::is_integral_v<T>) {
        // ⚠️ 当类型不是整数时触发编译错误
        static_assert(false, "Type must be integer!"); 
    }
    // ✅ 如果是整数类型,函数体为空,完美通过编译
}
1.
2.
3.
4.
5.
6.
7.
8.
9.

// ✅ 正确使用 - 整数类型
must_be_integer<int>();      // 编译通过
must_be_integer<long>();     // 编译通过

// ❌ 错误使用 - 非整数类型
must_be_integer<float>();    // 编译错误: Type must be integer!
must_be_integer<string>();   // 编译错误: Type must be integer!
1.
2.
3.
4.
5.
6.
7.

template<typename T>
auto serialize(const T& obj) {
    // 🔍 首先检查对象是否有 to_json 方法
    if constexpr (has_to_json_method<T>) {
        return obj.to_json();  // ✨ 直接调用对象自己的序列化方法
    } 
    // 📦 其次检查是否为简单类型(如 int, float 等)
    elseifconstexpr (is_simple_type<T>) {
        returnstd::to_string(obj);  // 🎯 简单类型转换为字符串
    } 
    // 🔄 最后处理复杂对象类型
    else {
        return serialize_as_object(obj);  // 🎨 使用通用对象序列化方法
    }
}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.

template<typename Container>
void optimized_clear(Container& c) {
    // 最优方案:同时支持 clear 和 shrink_to_fit
    if constexpr (has_clear_and_minimize<Container>) {
        c.clear();           // 🗑️ 清空内容
        c.shrink_to_fit();   // 📦 释放内存
    } 
    // 次优方案:只支持 clear
    elseifconstexpr (has_clear<Container>) {
        c.clear();           // 🧹 仅清空
    } 
    // 兜底方案
    else {
        c = Container{};     // ♻️ 重置容器
    }
}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.

template<typename Config>
void initialize_system() {
    // 🔍 编译期检查是否为调试模式
    if constexpr (Config::debug_mode) {
        setup_debug_logging();    // 📝 设置调试日志
        enable_debug_checks();    // ✅ 启用调试检查
    }
    
    // 🖥️ 根据平台进行特定初始化
    if constexpr (Config::platform == "windows") {
        init_windows_specific();  // 🪟 Windows 平台特定初始化
    } elseifconstexpr (Config::platform == "linux") {
        init_linux_specific();    // 🐧 Linux 平台特定初始化
    }
    // 💡 编译器会在编译期决定执行路径,未使用的代码分支不会被编译
}
1.
2.
3.
4.
5.
6.
7.
8.
9.
10.
11.
12.
13.
14.
15.
16.