获取常量字符的constexpr函数*

Question

我使用MSVC v141和< code>/std:c 17进行编译。

constexpr const char* test(const char* foo) {
    return foo + 1;
}

constexpr const char* bc = test("abc");

编译得很好，而

constexpr const char* test(const char* foo) {
    constexpr auto bar = foo;
    return bar + 1;
}

constexpr const char* bc = test("abc");

失败原因：

错误C2131：表达式未计算为常量

失败是由在其生命周期之外读取变量引起的

注意：请参阅“FOO”的用法

这是正确的行为还是 MSVC 中的错误？

Answer 1

对我来说，这似乎是预期的行为。用＜code＞constexpr＜/code＞声明的函数意味着它可以在编译时求值，但不是必须的。因此，函数在运行时求值时也应该有效。这是问题线

constexpr auto bar = foo;

因为它试图从一个非constexpr对象创建一个constexpr对象。