如何在C++模板函数体内将模板类型转为无符号类型？

给出的C++代码片段如下：

template<class T>
void foo(T s)
{
    unsigned T x = -1;
    //...
}

{
   int x = 129;
   foo(x);
}

如何将模板类型修改为无符号类型？

我清楚这属于不良实践，因为并非所有类型都能被声明为无符号，但在特定场景下这一操作是合理的。我不想将修改后的类型作为模板参数传递，而是希望直接在函数体内修改该类型。

你可以借助C++标准库的std::make_unsigned模板（需包含<type_traits>头文件），直接在函数体内获取对应类型的无符号版本：

#include <type_traits>

template<class T>
void foo(T s)
{
    // C++11及以上版本写法
    typename std::make_unsigned<T>::type x = -1;
    // C++14及以后可简化为更简洁的写法：
    // std::make_unsigned_t<T> x = -1;
    //...
}

如果需要避免非整数类型触发编译错误（贴合你提到的特定场景约束），可以用std::enable_if搭配std::is_integral来限制模板仅接受整数类型：

#include <type_traits>

template<class T, typename = std::enable_if_t<std::is_integral_v<T>>>
void foo(T s)
{
    std::make_unsigned_t<T> x = -1;
    //...
}

这种方式不需要额外传递模板参数，完全在函数体内完成类型转换，同时能在一定程度上控制模板的适用范围，符合你的需求。

内容的提问来源于stack exchange，提问作者AnnikGet