如何在编译时使用std :: make_tuple

How can I use std::make_tuple at compile time?

本文关键字：std make tuple 编译      更新时间：2023-10-16

返回std::array<std:tuple<uint32_t, uint32_t, uint32_t>, size_t>的constexpr函数由于使用std :: make_tuple而在编译时间内不起作用。有什么方法可以克服这一点？

当我尝试删除constexpr指定时。它正常工作。但是，我们项目的目的是在编译时提供此类功能评估。

我有以下错误：

在通话部分：

error: call to non-constexpr function ‘std::tuple<_Elements>& std::tuple<_Elements>::operator=(std::tuple<_Elements>&&) [with _Elements = {unsigned int, unsigned int, unsigned int}]’

在功能部分：

error: ‘constexpr std::array<std::tuple<unsigned int, unsigned int, unsigned int>, SIZE> GenArrayTuple() [with long unsigned int SIZE = 128]’ called in a constant expression

代码在下面。

template<std::size_t SIZE>
constexpr std::array<std::tuple<uint32_t, uint32_t, uint32_t>, SIZE> 
GenArrayTuple() {
  std::array<std::tuple<uint32_t, uint32_t, uint32_t>, SIZE> array;
  for (uint32_t i = 0; i < SIZE; ++i) {
    // FIXME constexpr
    arr[2*i] = std::make_tuple(i, i * 2, i * 3 + 1);
  }
  return array;
}
constexpr uint32_t n = 128; 
constexpr auto array_tuple = GenArrayTuple<n>();

在C 14或更高版本中使用std::make_tuple实际上没有问题，因为C 14将其更改为constexpr。因此，只要任何用于初始化元组元素的类构造函数评估为有效的常数表达式（当您的元素类型都是 std::uint32_t等标量时，就没有这样的构造函数。

，但可以更好地查看错误消息。它抱怨的功能是（删除一些细节）tuple& tuple::operator=(tuple&&)。事实证明，std::tuple的分配运算符在当前C 版本中未标记为constexpr，这意味着tuple对象的任何分配都不是有效的常数表达式。（cppreference.com指出，它们将在C 20中标记为constexpr；这通常反映了相应C 工作组已经接受的建议的变化。）

为了解决此问题，您需要一次初始化array，而不是在循环中分配其元素。可能最简单的方法是借助std::make_integer_sequence：

#include <tuple>
#include <array>
#include <cstdint>
#include <utility>
template <std::uint32_t ... I>
constexpr std::array<std::tuple<std::uint32_t, std::uint32_t, std::uint32_t>,
                     sizeof...(I)>
GenArrayTuple_helper(std::integer_sequence<std::uint32_t, I...>) {
    return { std::make_tuple(I, I * 2, I * 3 + 1) ... };
}
template <std::size_t SIZE>
constexpr std::array<std::tuple<std::uint32_t, std::uint32_t, std::uint32_t>,
                     SIZE> 
GenArrayTuple() {
    return GenArrayTuple_helper(std::make_integer_sequence<std::uint32_t, SIZE>{});
}
相关文章：