Question

我用一个模板化函数包装一个变体的get函数，该函数返回一个在别名类型的结构中定义的类型。我应该能够在模板中输入别名类型，并让函数返回该类型的值，但是该类型无法匹配并返回“ void”。为什么会这样？

#include <iostream>
#include <type_traits>
#include <utility>
#include <string>
#include <variant>

using namespace std;

struct Type
{
    using String = std::string;
    using Int = int;
};

template<typename T>
using TType = enable_if_t<
    is_same<T, Type::String>::value ||
    is_same<T, Type::Int>::value
>;

template<typename T> TType<T> getValue(variant<Type::String, Type::Int> const& value)
{
    return get<T>(value);
}

int main()
{
    variant<Type::String, Type::Int> value = "";
    cout << getValue<Type::String>(value) << endl;
}

Answer 1

enable_if_t采用两个参数。第二个是将启用的类型，默认情况下为void。将您的TType声明更改为

template<typename T>
using TType = enable_if_t<
    is_same<T, Type::String>::value ||
    is_same<T, Type::Int>::value,
    T
>;

（在您的病情之后添加, T）。

为什么此模板定义了一组与void匹配的别名类型？

1 个答案: