static const と static constexpr の違いについて

Question

struct S{
  array<int, 1000> vals;
  constexpr S(int _val) :vals({_val}) {}
};

struct T{
  int val;
  static constexpr S stk = S(100);
  // static const S stk = S(100);
  T(int i) :val(stk.vals[i]) {}
  void set(int i) { val = stk.vals[i]; }
};

上のコードについて、static const S stk = S(100); が利用できないのは分かるのですが、static constexpr S stk = S(100); を使ってもエラーにならない理由がわかりませんでした。

• static constexpr S stk = S(100); は実行時に存在しますか？
• T::stk は 2 箇所で使われていますが、2箇所に array<int, 1000> vals が生成されるのでしょうか。

Answer 1

static constexpr S stk = S(100); は実行時に存在しますか？

stkがODR-useされている(書き込まれる、アドレスが取られる、または参照を束縛される)ならば存在します。されていないならば存在しないかもしれません。
なお、参照取らずに書き込むのは不可能だった気がするので実質参照を束縛するかアドレスを取るかした場合ODR-useという事になるかと思います。
static constexprは暗黙にinline指定されるため実体は1つです。

参考

Comments

[maai]

書き込まれる場合は滅多に無さそうですが、参照を取ると存在するようになるんですね。実体が1つなら特にパフォーマンス等気にする必要は無さそうです。ありがとございます。