c++ - 编译器不同意在 constexpr 上下文中使用 std::vector

Question

以下代码可以使用 gcc 和 MSVC 编译，但不能使用 clang。

#include <array>
#include <vector>

consteval void foo(auto func) {
    std::array<int, func().size()> f;
}

int main() {
    foo([](){ return std::vector<int>{1,2,3,4,5};});
}

Compiler Explorer

如果我明白the rules常量表达式中动态内存分配的正确性，这应该是允许的，因为内存会立即释放。这是 clang 中的错误吗？甚至是未定义的行为？

Answer 1

这只是 Clang 中的一个错误。它似乎没有将表达式末尾发生的释放视为模板参数，作为常量(完整)表达式的一部分。当使用 constexpr 变量而不是模板参数来存储大小时，Clang 也接受它。

一个简化的测试用例(不依赖于 std::vector constexpr 支持):

struct V {
    int* v = new int[10];
    constexpr ~V() { delete[] v; }
    constexpr int size() { return 10; }
};

template<auto>
struct A {};

int main() {
    constexpr auto x = V{}.size(); //1
    using T = A<V{}.size()>;       //2
}

Clang 接受//1，但不接受//2。

快速浏览 https://github.com/llvm/llvm-project/issues我找不到匹配的问题，因此报告它可能有意义。