原文

新的索引式访问方式

当前,要定义一个参数包变量,需要借助std::tuple;要索引式访问参数包元素,需要借助std::get和std::tuple_element;要解包,需要借助std::apply.
而借助这些新的特性,以后可直接写出此代码:

template <typename... Ts>
class Tuple {
public:constexpr Tuple(Ts&&... ts): elems(std::forward<Ts>(ts))...{ }template <size_t I>auto get() const&-> Ts...[I] const& {return elems...[I]; //包索引}
private:Ts... elems; //可变包
};
template <size_t I, typename... Ts>
struct std::tuple_element<I,Tuple<Ts...>>{using type = Ts...[I]; //包索引
};
int main() {Tuple<int, char> tup(1, 'c');return tup.get<0>();
}

该实现元组的方式借助了包索引和变量包(尚未入标准),它比ReflectionforC++中介绍的反射方式还要直接了当,是最简洁的实现方式.

语法解析

深思熟虑过后,最终包索引的语法为:

包名 ... [常表达式]

这样可直接访问指定位置的参数包,示例:

template <typename... T>
constexpr auto first_plus_last(T... values) -> T...[0] {return T...[0](values...[0] + values...[sizeof...(values)-1]);
}
static_assert(first_plus_last(1,2,10) ==11 );

T...[N]针对的是类型,而values...[N]针对的是值.参数包的首位元素加末位元素,返回一个编译期常量值.

尚未完善
虽然包索引已进C++,但还未完善.更多见原文!