C++ constexpr 生成 std​​::vector

Question

我想基于 lambda 中的代码为 vector 生成代码。我想也许有一种方法可以用 constexpr 来做到这一点，但我认为这需要一些特别聪明的东西。类似于 this似乎相关，但我想要生成它的方式比提供的方式更不透明。一个代码示例将清楚地说明这一点:

考虑:

auto a = [&]() {
    if(!mem_retire_port->empty() && occupied) {
        auto addr = mem_retire_port->peek()->data.addr;
        if(addr == insns[idx]->ws.pc) {
            occupied = false;
            mem_retire_port->pop();
            insn_decode_port->push(new insn_decode_event_t(insns[idx]));
            idx = (idx + 1) % insns.size();
        }
    }
});

我想生成一个 std::vector 的形式

std::vector<std::function<std::string()>> generated_vector = {mem_retire_port->get_name, insn_decode_port->get_name};

此信息显然可供程序员使用，但我想知道是否可以在编译时以编程方式确定此信息。可能是 operator-> 上的 constexpr 或确定变量是否在 lambda 中的东西。

这个问题更多的是解决我的好奇心，而不是提供一个完美的解决方案。我只是觉得看看它是否可以完成会很有趣。

Answer 1

这是不可能的，因为 std::vector 被设计为不是 constexpr，目前没有计划在任何即将发布的 C++ 标准版本中更改它.

从理论上讲，您尝试做的事情是可以理解的:std::vector 默认情况下使用动态分配的内存，但可以为其提供一个从静态内存分配内存的分配器;在这样做的过程中，理论上可以(有条件地)使整个类constexpr；或至少相关部分。

但是。这现在根本不可能。如果你想要一个大小根据编译条件可变的 constexpr 容器，你需要自己卷起一些东西，因为 std::vector 根本不适合这个目的。

也许做一些研究来弄清楚你是否可以使用 std::array 和一些模板元编程黑魔法来获得你需要的东西。已经有关于 std::make_array 的提案这是一种在编译时获取程序员不一定预见到的数组大小的方法；因此，请查看是否可以将类似的解决方案应用于您的问题。