static_assertの使い方がわからない

Question

前提・実現したいこと

教科書を参考に以下のようなコードを作ると，エラーが出ます。
どこが悪いのか，わかりません。おそらく簡単なミスで，勘違いがあると思うのですが，発見できません。
お分かりになる方，どうかご教示願います。

発生している問題・エラーメッセージ

Static_assert expression is not an integral constant expression

該当のソースコード

template<int N>
struct Foo{
    static constexpr int order= N;
    
    template<int M>
    void func(Foo<M>& t){
        static_assert(t.order == N,"");
    }
};

int main (){
    Foo<2> t2;
    Foo<2> t1;
    t2.func(t1);
    return 0;
}

補足情報（FW/ツールのバージョンなど）

clang++
C++17

Answer 1

N は静的メンバなのでクラス名でアクセスする必要がありますね。

つまり

static_assert(Foo<M>::order == N,"");

です。

Comments

[jbe00214]

そうでした。言われて指摘されれば思い出しました。でもある有名な著者の教科書に掲載されているコードなのですよね。ありがとうございました。

[SaitoAtsushi]

gcc だとかなり古いバージョン (4.6.4) でも最新バージョン (10.1.0) でも通ってしまうようですね。
意図的な拡張なのかバグなのかわかりませんが、その本の著者が gcc で動作確認していたらそういうこともあるのかもしれないですね。

[jbe00214]

そうなんですね。でもその著者はC++の標準化に関わっている人なんです。仕様通りに書いてくれてもよいのにと思いました。

Answer 2

自分のmingw g++ --std=c++17でコンパイルしたら、期待通りのコンパイル結果が得られました。
clangは仕様に厳格、gccは仕様外にも拡張対応されているようで、参考書はgcc前提で書かれている可能性があります。
お手元の参考書を通して学ぶのであればgcc環境に変えたほうがスムーズに学習が進むかもしれません。

Comments

[jbe00214]

参考情報ありがとうございます。そもそも，clangのエラーメッセージってわかりやすいのかって感じがあります。今回のエラーも「整数定数式ではない」というメッセージですが，もっと別の言い方があるでしょと思いませんか？