構造体/クラスのstatic const intを使用する

Question

struct A { 
    static const int a = 5; 

    struct B { 
     static const int b = a; 
    }; 

}; 

int main() { 
    return A::B::b; 
} 

上記のコードがコンパイルされます。しかし、スコット・マイヤーズ（Scott Myers）のEffective C++の本（14ページ）を読んだら、 宣言に加えて、aの定義が必要です。 これは例外である理由を誰でも説明できますか？

Answer 1

C++コンパイラでは、静的なconst整数（および整数のみ）は、宣言された場所で指定された値を持つことができます。これは、変数が本質的に必要ではなく、コード内にのみ存在するためです（通常はコンパイルされます）。

他の変数型（static const char *など）は、通常、宣言されている場所では定義できません。別の定義が必要です。

もう少し詳しく説明するには、グローバル変数にアクセスするには、通常、下位レベルのコードでアドレス参照を行う必要があります。しかし、あなたのグローバル変数は整数であり、これは典型的にはアドレスのサイズに近いサイズであり、コンパイラはそれが決して変わらないことを認識しているので、ポインタ抽象化を追加するのはどうしてですか？

Answer 2

本当にペダンティックなルールでは、あなたのコードではその静的整数の定義が必要です。 実際のルールと、すべてのコンパイラが実装しているのは、C++ 03の規則がどのように意図されているのかということです。いいえ、定義は必要ありません。

このような静的定数の規則は、値がすぐに読み取られるような状況でのみ整数が使用され、静的メンバーが定数式で使用できる場合に定義を省略できるようにしています。

リターンステートメントでは、メンバーの値がただちに読み込まれるため、静的定数メンバの唯一の使用であれば静的定数メンバの定義を省略できます。ただし、次のような状況では定義が必要です。

struct A { 
    static const int a = 5; 

    struct B { 
     static const int b = a; 
    }; 

}; 

int main() { 
    int *p = &A::B::b; 
} 

ここで値は読み取られませんが、代わりにアドレスが使用されます。したがって、C++ 03標準の目的は、いくつかの実装ファイルで次のようなメンバの定義を提供する必要があるということです。

const int A::B::b; 

注C++ 03標準に現れる実際ルールは、変数が使用される場合にのみ定数式は、がを要求される定義が必要とされないと言うこと。しかし、この規則は厳格に適用されれば、厳格すぎる。配列次元のような状況の定義を省略することができますが、return文のような場合には定義が必要になります。対応する欠陥報告はhereです。

C++ 0xの言葉は、その欠陥報告の解決を含むように更新され、あなたのコードを書かれたものとして許可します。一般的に

Answer 3

、ほとんどの（最近の）C++コンパイラは、静的定数は、あなただけの幸運、おそらくない

をint型許します。 gcc 2.0のような古いコンパイラを試してみてください。そうすれば、あまりにもきれいなエラーメッセージであなたを激しく罰するでしょう。

Answer 4

あなたは静的constsを「定義」することなく、三元オペランドをしようとした場合しかし、あなたはGCC 4倍速でのリンカエラーを取得：

だから、

http://gcc.gnu.org/bugzilla/show_bug.cgi?id=13795

、int k = A::CONSTVAL;ような構築物は、現在の標準では違法であるが、彼らはサポートされています。しかし、三項オペランドはそうではありません。あなたが私のドリフトを得るならば、いくつかの演算子は他のものよりも同等です。

「怠惰な」ルールのための多くのこと。私はあなたが驚きをしたくない場合は、標準に準拠したコードを書くことをお勧めします。