在C++0x中,可以创建一个constexpr std::tuple,例如
#include <tuple>
constexpr int i = 10;
constexpr float f = 2.4f;
constexpr double d = -10.4;
constexpr std::tuple<int, float, double> tup(i, f, d);
还可以在运行时查询std::tuple,例如通过
int i2 = std::get<0>(tup);
但是不可能在编译时查询它,例如,
constexpr int i2 = std::get<0>(tup);
将抛出编译错误(至少对于最新的g++快照2011-02-19)。
是否有其他方法可以在编译时查询常量time std::tuple?
如果不是,是否有概念上的原因不应该查询它?
(我知道避免使用std:: tuple,例如,使用boost::mpl或boost::fusion,但不知何故,在新标准中不使用tuple类听起来是错误的……)。
顺便问一下,有谁知道为什么
constexpr std::tuple<int, float, double> tup(i, f, d);
编译正常,但是
constexpr std::tuple<int, float, double> tup(10, 2.4f, -10.4);
不?
非常感谢!-拉尔斯
发布于 2011-02-24 06:31:21
std::get
没有被标记为constexpr
,因此您不能使用它从constexpr
上下文中的元组中检索值,即使该元组本身为constexpr
。
不幸的是,std::tuple
的实现是不透明的,因此您也不能编写自己的访问器。
发布于 2020-01-29 01:35:15
现在,std::get<>是一个常量表达式函数。如果我使用的是gcc c++ 11或更高版本,下面的代码会为我编译。
constexpr int i2 = std::get<0>(tup);
constexpr std::tuple<int, float, double> tup(10, 2.4f, -10.4);
此外,您可以在编译时使用make_index_sequence (c++14或更高版本)生成数字列表并访问元组。
constexpr auto size = std::tuple_size<decltype(tup)>::value;
for_sequence(std::make_index_sequence<size>{}, [&](auto i){
constexpr auto property = std::get<i>(tup);
std::cout<<property<<std::endl;
});
template <typename T, T... S, typename F>
constexpr void for_sequence(std::integer_sequence<T, S...>, F&& f) {
using unpack_t = int[];
(void)unpack_t{(static_cast<void>(f(std::integral_constant<T, S>{})), 0)..., 0};
}
发布于 2011-02-24 05:38:54
我还没有使用过C++0x,但在我看来std::get()是一个函数,而不是编译器可以直接解释的表达式。因此,除了在函数本身被编译之后的运行时之外,它没有任何意义。
https://stackoverflow.com/questions/5087364
复制相似问题