在辅助方法中包装 std::get<>

Question

我有一个 class 这样的：

template<typename ...Els>
class Istr {
    std::tuple<Els...> Vals 
}

class Istr1 : public Istr<std::string> {
     void Do() { std::get<0>(Vals) = "Meh."; }
}

有没有办法定义一个我可以像这样使用的函数模板？

Tok(0) = "Meh."
Istr i; i.Tok(0) = "Meh."

或者，如果不可能，像这样？

Tok<0>() = "Meh."

在我天真的方法中，我想出了一个错误的代码：

template<typename T>
T Tok(size_t i) { return std::get<i>(Vals); }

当我使用它隐式实例化模板时，编译器实际上无法推断出 T 的类型。

Answer 1

template<size_t i>
auto Tok() -> decltype( std::get<i>(Vals) ) {
    return std::get<i>(Vals);
}

Live demo

Answer 2

// Deduce `TI` thanks to the function argument.
template<typename TTuple, typename TI>
auto my_get(TTuple tuple, TI) 
{
    // `TI` needs to be an `std::integral_constant`.
    return std::get<TI{}>(tuple);
}

// `constexpr` variable template.
// `sz_v<0>` is `std::integral_constant<std::size_t, 0>{}`.
template<std::size_t TI>
constexpr std::integral_constant<std::size_t, TI> sz_v{};

// Example call.
// Results in `std::get<0>(some_tuple)`.
my_get(some_tuple, sz_v<0>);

如果定义为方法，可以这样调用：

struct some_struct
{ 
    std::tuple<...> some_tuple; 
};

some_struct s;
s.my_get(sz_v<0>);

在辅助方法中包装 std::get<>

Wrap std::get<> in helper method

c++

templates

variadic-templates

stdtuple