std常用的模板元编程

std::conditional_t

std::conditional_t 是 C++ 标准库中的一个模板类，用于实现条件编译。它使用一个布尔类型的常量表达式作为条件，如果条件为 true，则该模板类指定为第二个参数；否则指定为第三个参数。这个模板类可以方便地在编译期间进行类型选择，并返回相应的类型。

#include <iostream>
#include <type_traits>

template <typename T, bool UseFloat>
struct MyType
{
    using type = std::conditional_t<UseFloat, float, T>;
};

int main()
{
    MyType<int, false>::type a = 42;
    MyType<long, true>::type b = 3.14f;
    std::cout << "a = " << a << ", b = " << b << std::endl;
    return 0;
}

在这个示例中，我们定义了一个模板类 MyType，它有两个模板参数：T 表示原始类型，UseFloat 表示是否需要使用浮点类型。在这个模板类中，我们使用了 std::conditional_t 宏，如果 UseFloat 为 true，则选择 float 类型，否则选择原始类型 T。最终，我们分别使用 MyType<int, false>::type 和 MyType<long, true>::type 定义 a 和 b 两个变量，并输出它们的值。

根据上述代码，a 的类型为 int，其值为 42；b 的类型为 float，其值为 3.14。这个示例演示了 std::conditional_t 的用法和作用，可以方便地实现编译期间的类型选择。

std::is_same

std::is_same 是 C++ 标准库中的一个类型特性类模板，可以用于判断两个类型是否相同。如果两个类型相同，则 std::is_same 的 value 成员常量为 true；否则为 false

#include <iostream>
#include <type_traits>

int main()
{
    bool is_same1 = std::is_same<int, long>::value; // false
    bool is_same2 = std::is_same<int, int>::value; // true
    bool is_same3 = std::is_same<std::string, const char*>::value; // false
    bool is_same4 = std::is_same<std::string, std::string>::value; // true

    std::cout << std::boolalpha; // 输出 true/false，而不是 1/0
    std::cout << "is_same1: " << is_same1 << std::endl;
    std::cout << "is_same2: " << is_same2 << std::endl;
    std::cout << "is_same3: " << is_same3 << std::endl;
    std::cout << "is_same4: " << is_same4 << std::endl;

    return 0;
}

在这个示例中，我们使用 std::is_same 分别对四组类型进行判断。第一组是 int 和 long，显然两个类型不同，所以 is_same1 的值为 false；第二组是 int 和 int，两个类型相同，所以 is_same2 的值为 true；第三组是 std::string 和 const char*，它们虽然有一些相似之处，但它们并不是同一种类型，所以 is_same3 的值为 false；最后一组是 std::string 和 std::string，它们的类型完全相同，所以 is_same4 的值为 true。

同时，还有一个 std::is_same_v 的辅助函数版本，可以更加方便地使用

bool is_same1 = std::is_same_v<int, long>; // false

std::enable_if

std::enable_if 是 C++ 标准库中的一个模板元编程工具，用于根据特定条件来选择函数模板的实现。它被设计用于在编译期间判断一个布尔表达式是否为 true，如果为 true，则启用指定的函数模板实现；否则，禁用该实现。

std::enable_if 常用于函数模板的重载

#include <iostream>
#include <type_traits>

template <typename T,
          typename std::enable_if<std::is_integral<T>::value, int>::type = 0>
void print_integral(T value)
{
    std::cout << "This is an integral: " << value << std::endl;
}

template <typename T,
          typename std::enable_if<!std::is_integral<T>::value, int>::type = 0>
void print_integral(T value)
{
    std::cout << "This is not an integral: " << value << std::endl;
}

int main()
{
    print_integral(42);         // This is an integral: 42
    print_integral(3.14);       // This is not an integral: 3.14
    print_integral("Hello");    // This is not an integral: Hello

    return 0;
}