C++ 为什么不能使用 constexpr 创建具有 const 引用成员变量的类？

Question

在以下代码中，我尝试存储对另一个类的 const 引用:

struct A {
};

struct B {
    constexpr B(A const & _a) : a(_a) {}
        
    A const &  a;
};

int main() {
    constexpr A s1;
    constexpr B s2{s1};
}

然而，编译器(gcc 11.1)提示:

cctest.cpp: In function ‘int main()’:
cctest.cpp:12:22: error: ‘B{s1}’ is not a constant expression
   12 |     constexpr B s2{s1};
      |

我不知道为什么 s1不被视为常量表达式。 s1本身是代码中的 constexpr。我知道这可能与引用的生命周期有关，但我无法弄清楚逻辑。在这个例子的代码中，我不想存储 A 的拷贝，我真的只想要一个引用或(智能)指针。所以:

为什么是 s1不是一个常量表达式？

处理此问题的最佳实践方法是什么？

非常感谢!

Answer 1

Clang 12.0.0+ gives a descriptive note about the issue :

note: address of non-static constexpr variable 's1' may differ on each invocation of the enclosing function; add 'static' to give it a constant address

所以你需要添加一个 static这里:

struct A {
};

struct B {
    constexpr B(A const & _a) : a(_a) {}
        
    A const &  a;
};

int main() {
    constexpr static A s1;
    constexpr B s2{s1};
}