如何在编译时查询constexpr std::tuple？
如何在编译时查询constexpr std::tuple？
提问于 2011-02-23 13:34:03
在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);不?
非常感谢！-拉尔斯
回答 3
Stack Overflow用户
回答已采纳
发布于 2011-02-24 06:31:21
std::get没有被标记为constexpr，因此您不能使用它从constexpr上下文中的元组中检索值，即使该元组本身为constexpr。
不幸的是，std::tuple的实现是不透明的，因此您也不能编写自己的访问器。
Stack Overflow用户
发布于 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};
}Stack Overflow用户
发布于 2011-02-24 05:38:54
我还没有使用过C++0x，但在我看来std::get()是一个函数，而不是编译器可以直接解释的表达式。因此，除了在函数本身被编译之后的运行时之外，它没有任何意义。
页面原文内容由Stack Overflow提供。腾讯云小微IT领域专用引擎提供翻译支持
原文链接：
https://stackoverflow.com/questions/5087364
复制相关文章
相似问题