c++ - 如何包含不是参数的 C++ 模板类型

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以确保传入的类型确实是无符号的。