C2070 - 違法のsizeofのオペランド

Question

次のコードは、私には罰金になります。

#include <stdio.h> 

    template <typename T> 
    struct A 
    { 
     static float m_kA[]; 
    }; 

    template <typename T> 
    float A<T>::m_kA[] = {1.0f, 2.0f, 3.0f}; 

    int main() 
    { 
     printf("%d\n", 
      sizeof(A<unsigned int>::m_kA)/
      sizeof(A<unsigned int>::m_kA[0])); 
     return 0; 
    } 

しかし、私はVC9でコンパイルするとき、私は次のエラー

error C2070: 'float []': illegal sizeof operand 

を取得し、私はこのコードをコンパイルすることを期待します。何か不足していますか？誰もがこの奇妙な動作を修正する方法を知っていますか？テンプレートなしで全く同じことがうまくコンパイルされ、3が出力されます。

テンプレートを削除することはオプションではないことに注意してください。この例では、配列を含む型がテンプレートである必要があるコードで発生している問題を再現しました。

おかげ

Answer 1

http://ideone.com/3ssVi

それはG ++でコンパイル罰金。私の知る限り、それは、このバグに関連することができます見ることができるよう

：

http://connect.microsoft.com/VisualStudio/feedback/details/759407/can-not-get-size-of-static-array-defined-in-class-template

Answer 2

これはよく定義されています。クラス定義でm_kAがタイプfloat[]で宣言されていることに注意してください。これは不完全な型であり、sizeofと一緒に使用することはできません。 m_kAの定義では、タイプfloat[3]に再宣言されます。その後、sizeofを使用しても問題ありません。 （8.3.4は、配列宣言の意味を支配する。）

を3.4.6の[basic.lookup.udir]と名前空間エイリアス・ディレクティブを使用する：タイプのすべての調整後

10（のtypedefこの間（7.1.3）がそれらの定義に置き換えられている）、配列オブジェクトの宣言がメジャーの有無によって異なる配列型を指定できる点を除けば、与えられた変数または関数を参照するすべての宣言によって指定される型は同一でなければならない配列境界（8.3.4）。型識別に関するこの規則の違反は、診断を必要としない。 3.9.2化合物のタイプ[basic.compound]から

：

6 [...]配列オブジェクトの宣言された型は、未知のサイズの配列であるので、1で不完全であるかもしれません翻訳単位を指し、後で完結する。それら2つの点（「Tの未知の配列の配列」および「N Tの配列」）における配列タイプは、異なるタイプである。 [...]

コンパイラの問題を回避するには、m_kAを完全な型で完全に宣言することです。サイズを保持している別の静的メンバーも役に立ちます。

[私はC++ 11から引用していますが、私の知る限りC++ 03は同じ規則に従っています。 ]