时间戳

首页 > 解决方案 > 在编译时确保特定的 std::array 位置

c++ - 在编译时确保特定的 std::array 位置

问题描述

根据我的类在编译时std::array的特定位置，我有一个我想要的条目：indexVariable

#include <string_view>
#include <array>

struct Variable
{
  size_t index;
  std::string_view name;
}

constexpr std::array<Variable, 3> myarray {{{0, "myvar1"},
                                            {1, "myvar2"},
                                            {2, "myvar3"}}};

现在我可以使用静态断言在编译时确保位置：

static_assert(myarray[0].index == 0);
static_assert(myarray[1].index == 1);
static_assert(myarray[2].index == 2);

这样可以避免键入错误：

constexpr std::array<Variable, 3> myarray {{{0, "myvar1"},
                                            {2, "myvar2"}, // wrong index for array position 1
                                            {2, "myvar3"}}};

但这容易出错，违反了“单一事实来源”的原则。我想要的是例如相反的std::get<T>：

constexpr std::size_t index0 = 0;
std::set<index0>(myarray, {index0, "singen"});

但这不存在，我将如何在 C++17 中实现这一点？

标签： c++c++17std

解决方案

您可以将std::get其用于您的假设std::set<index0>(myarray, {index0, "singen"})：

constexpr std::size_t index0 = 0;
std::get<index0>(myarray) = {index0, "singen"};

但似乎更容易重新创建数组：

constexpr std::array<Variable, 3> make_myarray()
{
    std::array<Variable, 3> res{};
    std::array<std::string_view, 3> strings = {"myvar1", "myvar2", "myvar3"};

    for (std::size_t i = 0; i != res.size(); ++i) {
        res[i] = {i, strings[i]};
    }
    return res;
}

接着

constexpr std::array<Variable, 3> myarray = make_myarray();

演示

您甚至可以创建 lambda 而不是常规函数并直接调用它：

constexpr std::array<Variable, 3> myarray = [](){
    std::array<Variable, 3> res{};
    std::array<std::string_view, 3> strings = {"myvar1", "myvar2", "myvar3"};

    for (std::size_t i = 0; i != res.size(); ++i) {
        res[i] = {i, strings[i]};
    }
    return res;
}();

演示

甚至创建您的检查功能

template <std::size_t N>
constexpr bool is_valid(const std::array<Variable, N>& a) {
    for (std::size_t i = 0; i != a.size(); ++i) {
        if (a[i].index != i) {
            return false;
        }
    }
    return true;
}

constexpr std::array<Variable, 3> myarray {{{0, "myvar1"},
                                            {2, "myvar2"}, // wrong index for array position 1
                                            {2, "myvar3"}}};

static_assert(is_valid(myarray)); // Trigger here.

演示

推荐阅读