constexpr ラムダと、キャプチャ可能な変数について

Question

こんにちは！よろしくお願いします。

はじめに、constexpr ラムダにクラス型の変数をキャプチャさせる際、クラスにメンバなどが存在しない場合は、そのクラスの変数に constexpr 修飾をしなくてもキャプチャをすることができるようです。例えば、次のコードはコンパイルが通ります。

#include <iostream>

struct s {};

int main()
{
   s s_{};
   constexpr auto lambda = [s_]{};
}

wandbox

しかし、ここにメンバを追加すると、キャプチャすることはできないようでした。例えば、次のコードはエラーになります。

#include <iostream>

struct s { int i; }; // int i; を追加

int main()
{
   s s_{};
   constexpr auto lambda = [s_]{}; // エラー
}

wandbox

ここで、上記の変数 s_ を constexpr で修飾すると、コンパイルは通るようになるようです。

#include <iostream>

struct s { int i; };

int main()
{
   constexpr s s_{}; // constexpr を追加
   constexpr auto lambda = [s_]{};
}

wandbox

これは、gcc でも clang でも同様でした。

これらの挙動の違いは、どのような理由によるものなのでしょうか。

ご教授いただければ幸いです。

Answer 1

単純に、キャプチャーするものがコンパイル時に定まらないからでは？

Comments

[alphya]

yumetodo さん、いつも回答ありがとうございます！

コンパイル時に値が定まらないというのは、確かだと思います。ですが、コンパイル時に値は定まらないのでキャプチャーできないとすると、一番目の例で constexpr 指定なしに定数式となれるのは不思議でした。空のクラスの変数が、constexpr 指定なしで定数式で使用可能といった記述が、規格で見つかればいいのですが...

[yumetodo]

ああ、なるほど、やっと質問の意図を理解しました。odr-usedとか絡むのだろうか(何もわかってない

[alphya]

返信ありがとうございます！ odr-used、どうなのでしょうか... (私も何もわかっていないです...