如何包含非参数的{c + 4}模板类型

Question

我想在下面的代码中使用T_signed等模板中的类型

template <typename T_unsigned, typename T_signed> bool foo(T_unsigned input)
{
    T_signed temp= ((T_signed) input)-100;    
    //use temp for calculations to figure out myBool
    return myBool;
}

虽然以上是我正在编写的实际代码的简化，并且非常相信它正在阻止代码编译。如何让编译器根据类型输入隐式地找出T_signed的类型？任何帮助表示赞赏。

Answer 1

like this使用std::make_signed：

#include <iostream>
#include <type_traits>

template <typename Tu>
bool foo(Tu input) {
    std::cout << std::is_signed<Tu>::value << std::endl;

    typedef typename std::make_signed<Tu>::type Ts;
    Ts temp = input - 100;

    return (temp < 0);
}

int main() {
    std::cout << foo(32u) << std::endl;
}

您还可以添加std::enable_if或static_assert，以确保传入的类型确实是无符号的。