为什么我的 C 20 `constexpr` `std::vector` 和 `std::string` 不工作？

C 20 constexpr Vector 和 String 不工作

在此问题中，程序员尝试创建 std::string 和 std 的 constexpr 对象::向量，但遇到编译器错误，指出表达式必须具有常量值。尽管使用最新的 Microsoft Visual Studio 2019 版本，该版本支持 constexpr 字符串和向量，但仍然出现此问题。

问题说明

该错误源于有限的 constexpr 分配支持C 20，仅允许瞬时分配。瞬时分配要求在常量求值结束时完全释放已分配的内存。

无效代码示例

以下示例说明了错误：

int main() {
    constexpr std::vector<int> v = {1, 2, 3};
}

这里，v 的分配仍然存在，使其成为非暂时性的。编译器正确地生成错误，指示表达式未求值为常量，因为 v 在常量求值期间保留堆分配。

有效代码示例

但是，在 constexpr 时间内使用 std::vector 可以通过瞬态分配来实现。

constexpr int f() {
    std::vector<int> v = {1, 2, 3};
    return v.size();
}

static_assert(f() == 3);

在此示例中，v 的分配是暂时的，因为当 f() 返回时内存被释放。这允许在 constexpr 时间内使用 std::vector。

以上是为什么我的 C 20 `constexpr` `std::vector` 和 `std::string` 不工作？的详细内容。更多信息请关注PHP中文网其他相关文章！