C++中的std :: make_signed与示例

在 C++ 中，std::make_signed 是一个模板类，它将无符号整数类型转换为有符号整数类型。它返回一个与输入类型大小相同的数据类型，但有符号的。如果输入类型已经是有符号的，则返回相同的类型。

template <typename T>
struct make_signed {
    using type = /* signed version of T */;
};

下面是一个示例：

#include <iostream>
#include <type_traits>

int main() {
    std::cout << std::is_same<std::make_signed<unsigned int>::type, signed int>::value << std::endl; // true
    std::cout << std::is_same<std::make_signed<int>::type, int>::value << std::endl; // true
    std::cout << std::is_same<std::make_signed<unsigned char>::type, signed char>::value << std::endl; // true
    return 0;
}

在这个示例中，我们包含了头文件 iostream 和 type_traits，以使用 is_same 和 make_signed。make_signed 模板函数接受一个类型 T，并返回一个被签名的 T（如果 T 是无符号的），或者 T（如果 T 已经是被签名的）。在主函数中，我们使用 is_same 函数进行比较，判断 make_signed 函数是否产生了我们期望的输出类型。

在首次调用 make_signed 函数时，我们传递了无符号整数类型 unsigned int。make_signed 函数返回了有符号的 int 类型。因此，std::is_same<std::make_signed::type, signed int>::value 为 true。

然而，在第二个调用中，我们传递的是有符号的 int 类型。由于这个类型已经是被签名的，make_signed 函数返回的是相同的类型。因此，std::is_same<std::make_signed::type, int>::value 为 true。

第三个调用中，我们传递了无符号的 char 类型 unsigned char。make_signed 函数返回了被签名的 char 类型 signed char。因此，std::is_same<std::make_signed::type, signed char>::value 为 true。

总之，std::make_signed 可以很方便地将无符号整数类型转换为有符号整数类型，是一个非常实用的函数。