C++ : std::is_same和std::is_same_v

std::is_same和std::is_same_v是C++标准库中的类型特性，用于在编译时检查两个类型是否相同。它们都属于<type_traits>头文件。这两个工具非常有用，特别是在模板编程和编译时类型检查中，它们可以帮助实现基于类型的条件编译和编译时决策。

std::is_same

std::is_same是一个模板结构体，它提供了一种方式来判断两个类型是否完全相同。std::is_same接受两个类型作为模板参数，并提供一个静态成员变量value，当两个类型相同时，value为true，否则为false。

用法示例：

#include <type_traits>

bool same = std::is_same<int, int>::value; // true
bool notSame = std::is_same<int, float>::value; // false

std::is_same通常与静态断言（static_assert）一起使用，用于编译时检查类型。

std::is_same_v

std::is_same_v是C++17中引入的模板变量模板，是std::is_same<T, U>::value的简写。它提供了一种更简洁的方式来执行相同的类型比较，无需使用::value语法。

用法示例：

#include <type_traits>

bool same = std::is_same_v<int, int>; // true
bool notSame = std::is_same_v<int, float>; // false

由于std::is_same_v是C++17中引入的特性，使用它需要编译器支持C++17或更高的标准。

使用场景

这两个工具在模板编程中特别有用，它们可以帮助开发者编写根据类型不同而行为不同的代码。例如，你可以在模板函数或类中使用它们来提供特定于类型的实现，或者在编译时排除不支持的类型组合。

示例：使用std::is_same和std::is_same_v

#include <iostream>
#include <type_traits>

template<typename T>
void checkType() {
    if constexpr (std::is_same_v<T, int>) {
        std::cout << "Type is int" << std::endl;
    } else if constexpr (std::is_same_v<T, float>) {
        std::cout << "Type is float" << std::endl;
    } else {
        std::cout << "Type is something else" << std::endl;
    }
}

int main() {
    checkType<int>();    // Output: Type is int
    checkType<float>();  // Output: Type is float
    checkType<double>(); // Output: Type is something else
}

在这个例子中，checkType函数使用if constexpr和std::is_same_v来根据模板参数的类型在编译时选择不同的代码路径。

总之，std::is_same和std::is_same_v是处理类型信息时非常有用的工具，特别是在模板编程和编译时类型判断中。它们提供了一种类型安全的方式来执行基于类型的逻辑，有助于编写更灵活、更可维护的代码。