【现代C++】编译时if的用法

现代C++（特别是C++17及其之后的版本）引入了编译时if（if constexpr），这是一种在编译时进行条件判断的特性，主要用于模板编程中。if constexpr允许编译器在编译时根据模板参数决定代码块是否编译，从而实现编译时的条件分支。这样可以减少模板实例化时不必要的编译分支，提高编译效率，减少编译产物大小。以下是if constexpr的详细介绍和示例代码：

1. 基本用法

使用if constexpr进行编译时条件判断。

#include <iostream>
#include <type_traits>

template<typename T>
void func(T t) {
    if constexpr (std::is_integral<T>::value) {
        std::cout << t << " is an integral type." << std::endl;
    } else {
        std::cout << t << " is not an integral type." << std::endl;
    }
}

void basicUsage() {
    func(10);    // 输出：10 is an integral type.
    func(3.14);  // 输出：3.14 is not an integral type.
}

2. 与模板结合

if constexpr特别适合用于模板代码中，它可以基于模板参数在编译时做出决策。

#include <iostream>

template<typename T>
void printTypeInformation() {
    if constexpr (std::is_integral<T>::value) {
        std::cout << "Integral type" << std::endl;
    } else if constexpr (std::is_floating_point<T>::value) {
        std::cout << "Floating point type" << std::endl;
    } else {
        std::cout << "Other type" << std::endl;
    }
}

void templateCombination() {
    printTypeInformation<int>();    // 输出：Integral type
    printTypeInformation<double>(); // 输出：Floating point type
    printTypeInformation<char*>();  // 输出：Other type
}

3. 递归模板元编程

if constexpr可以用于简化递归模板元编程的代码。

#include <iostream>

template<int N>
constexpr int factorial() {
    if constexpr (N == 0) return 1;
    else return N * factorial<N - 1>();
}

void recursiveTemplateMetaprogramming() {
    std::cout << "Factorial of 5: " << factorial<5>() << std::endl; // 输出：Factorial of 5: 120
}

4. 类型分派

if constexpr可以在编译时根据类型选择不同的代码路径，实现类型分派。

#include <iostream>
#include <string>

template<typename T>
void process(T value) {
    if constexpr (std::is_same<T, std::string>::value) {
        std::cout << "Processing string: " << value << std::endl;
    } else {
        std::cout << "Processing value: " << value << std::endl;
    }
}

void typeDispatch() {
    process(10);            // 输出：Processing value: 10
    process(std::string("Hello")); // 输出：Processing string: Hello
}

通过这些示例，你可以看到if constexpr如何在现代C++中用于不同的场景，特别是在模板编程中，它如何提高代码的灵活性和效率。