在帮助程序方法中包装 std：：get<>

Wrap std::get<> in helper method

本文关键字：get gt lt std 帮助程序 方法 包装      更新时间：2023-10-16

我有一个这样的类：

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的类型

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

实时演示

// 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>);
相关文章：