C++ constexpr 生成 std::vector

Question

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

考虑：

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的提议，这是一种在编译时获取一个数组的方法，而你的程序员不一定能预见到这个数组的大小； 因此，请查看是否可以将类似的解决方案应用于您的问题。