c++ - 通过 ENUM 查找返回元组值(不同类型)的模板函数

Question

下面的代码产生

"error: invalid operands of types '' and 'const size_t {aka const long unsigned int}' to binary 'operator<'" (gcc-4.9.1)

我只想要一个查找不同类型默认值的函数。这应该有效吗？

#include <iostream>
#include <string>
#include <tuple>

// IDs
enum class ID : size_t
{
    AAA, // 0
    BBB, // 1
    CCC, // 2
    DDD  // 3
};

// default values for each ID
const auto defaultValsForIDs = std::make_tuple(
        int(1),             // 0
        std::string("bbb"), // 1 
        double(3.5),        // 2
        int(-5)             // 3
);


//------------------------------------------------------
// HERE IS WHERE IT GETS MESSY:
//------------------------------------------------------
// default values for each deviceID
template<typename EnumT>
using underlayingEnumT = typename std::underlying_type<EnumT>::type;

template<typename EnumT>
constexpr underlayingEnumT<EnumT> to_underlying(EnumT e) 
{
    return static_cast<underlayingEnumT<EnumT>>(e);
}

template<typename EnumT>
auto getDefaultValue(const EnumT e) 
-> decltype(std::get<to_underlying<EnumT>(e)>(defaultValsForIDs)) // <- THIS WON'T WORK
{
    return std::get<to_underlying<EnumT>(e)>(defaultValsForIDs);
}


//------------------------------------------------------
// THIS DOES NOT COMPILE AS WELL
//------------------------------------------------------
template<>
auto getDefaultValue(const size_t xx) 
-> decltype(std::get<xx>(defaultValsForIDs)) // <- THIS WON'T WORK
{
    return std::get<xx>(defaultValsForIDs);
}

int main(int , char** )
{
    std::cout << getDefaultValue(ID::AAA) << std::endl;

    return 0;
}

我是不是在某处遗漏了一个模板？ 看 Where and why do I have to put the "template" and "typename" keywords? 或者 Compile error: unresolved overloaded function type

$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$$
按照 Piotr 的建议进行编辑:

改变了:

template<typename EnumT, EnumT e>
auto getDefaultValue() 
-> decltype(std::get<to_underlying<EnumT>(e)>(defaultValsForIDs))
{
    return std::get<to_underlying<EnumT>(e)>(defaultValsForIDs);
}

并为 ID 添加实例:

template<ID id>
auto getDefaultValForID() 
-> decltype(getDefaultValue<ID, id>())
{
    return getDefaultValue<ID,id>();
}

然后:

int main()
{
    std::cout << getDefaultValForID<ID::BBB>() << std::endl;

    return 0;
}

很有魅力。

Answer 1

函数参数不是常量表达式，因此不能用作非类型模板参数。相反，您需要将其提升为模板参数列表:

template <std::size_t xx>
auto getDefaultValue() 
    -> decltype(std::get<xx>(defaultValsForIDs))
{
    return std::get<xx>(defaultValsForIDs);
}

template <typename EnumT, EnumT e>
auto getDefaultValue() 
    -> decltype(std::get<to_underlying<EnumT>(e)>(defaultValsForIDs))
{
    return std::get<to_underlying<EnumT>(e)>(defaultValsForIDs);
}

然后像这样使用它:

getDefaultValue<ID, ID::AAA>()

或

getDefaultValue<0>() 

DEMO