如何传递一个名称方便使用元组?

Question

我想改进代码，以便与它进行交互。

struct prototype {
template <class... T1>
prototype(T1&&... args) {
auto p = std::tie(args...);
std::cout << std::get<0>(p) << std::endl;
if constexpr(std::tuple_size_v<decltype(p)> >= 3) {
std::cout << std::get<2>(p) << std::endl;
}
}
};
int option_1 = 10;
std::string option_2 = "test2";
auto option_3 = 0.41;
std::vector<int> option_4(10);
int main() {
prototype p1(option_1, option_2, option_3, option_4);
prototype p2(option_1, option_2, option_3);
prototype p3(option_1, option_2);
prototype p4(option_1);
}

我想这样做

std::cout << option_1 << std::endl;
if constexpr (std::tuple_size_v<decltype(p)> >= 3) {
std::cout << option_2 << std::endl;
}

我不喜欢这个选项std::get<0>(p)

任何想法如何替换调用元组?

您也可以在https://godbolt.org/z/bT4Wzjco8

上看到该选项。

Answer 1

你可以用lambda创建一个变量模板。在一天结束的时候，你想要的只是一个编译时间常量传递给std::get:

template <std::size_t N>
constexpr auto option =  [] (auto p) -> auto&& { return std::get<N-1>(p); };

这个<<p> strong> 用作option<1>(p)

演示

---

lambda的模板语法似乎是另一种选择:

constexpr auto option = []<std::size_t N>(auto p) { return std::get<N-1>(p); };

在这里，std::get的参数作为非类型模板参数传递。正如@Davis Herring所提到的，不幸的是，这并不意味着lambda将被用作option<1>(p)。原因是lambda本身不是模板，它的函数调用操作符是。该提议对lambda本身的模板性没有任何改变。因此，上面的lambda可以调用为

option.operator()<1>(p)

演示