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

Question

在下面的代码中，我尝试存储对另一个 class:

的 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 的副本，我真的只想要一个引用或（智能）指针。所以：

1. 为什么 s1 不是常量表达式？
2. 处理此问题的最佳做法是什么？

非常感谢！

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};
}