如何根据std :: is_same检查返回不同的类型

时间:2018-06-05 16:11:10

标签: c++ templates

请考虑以下代码:

template<typename T>
T foo() {
    if (std::is_same<T, int>::value)
        return 5;

    if (std::is_same<T, std::string>::value)
        return std::string("bar");

    throw std::exception();
}

使用foo<int>()进行调用时,会引发错误cannot convert ‘std::__cxx11::string {aka std::__cxx11::basic_string<char>}’ to ‘int’ in return

我知道解决方案是使用模板专业化,但是我问是否可以通过std::is_same保持当前机制并检查类型?

2 个答案:

答案 0 :(得分:12)

if的两个分支必须在编译时有效,即使其中一个分支从未执行过。

如果您有权访问C ++ 17,请将if更改为if constexpr

template<typename T>
T foo() {
    if constexpr (std::is_same<T, int>::value)
        return 5;

    if constexpr (std::is_same<T, std::string>::value)
        return std::string("bar");

    throw std::exception();
}

在C ++ 17之前,您必须使用模板专业化来模拟它:

template<typename T>
T foo()
{
    throw std::exception();
}

template <>
int foo<int>() {
    return 5;
}

template <>
std::string foo<std::string>() {
    return "bar";
}

如果你的真实foo比这个例子做得更多,并且专门化它会导致代码重复,你可以引入一个辅助函数,它只封装return / throw语句,并专注于。

答案 1 :(得分:4)

在pre-C ++ 17编译器中,您可以使用标记调度来获得所需的内容。

template <typename T> tag_t {};

int foo(tag_t<int> t) { return 5; }

std::string foo(tag_t<std::string> t) { return "bar"; }

template<typename T>
T foo() {
    return foo(tag_t<T>());
}