C2070 - nielegalne sizeof operand

Question

Poniższy kod wygląda dobrze do mnie:

#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; 
    } 

Ale kiedy mogę skompilować z VC9 otrzymuję następujący błąd

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

Spodziewam się ten kod do kompilacji. Czy coś mi brakuje? Czy ktoś wie sposób naprawić to dziwne zachowanie (należy pamiętać, że dokładnie to samo bez szablonu kompiluje dobrze i wyjścia 3).

Zauważ, że usunięcie szablonu nie jest opcją, zrobiłem ten przykład, aby odtworzyć problem, który mam w kodzie, gdzie potrzebuję typu zawierającego tablicę jako szablon.

Dzięki

Answer 1

http://ideone.com/3ssVi

kompiluje grzywny z G ++.

O ile widzę to może być związane z tym błędem:

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

Answer 2

Jest dobrze zdefiniowane. Należy zauważyć, że w definicji klasy zadeklarowano typ m_kA z typem float[], który jest niekompletnym typem i nie można go używać w połączeniu z sizeof. W definicji m_kA jest ponownie zadeklarowany, aby mieć typ float[3], po czym można używać sizeof. (8.3.4 reguluje znaczenie zgłoszeń tablicy).

Z 3.4.6 Stosując dyrektyw i aliasy namespace [basic.lookup.udir]:

10. Po wszystkich zmian rodzajów (w którym typedef (7.1.3) są zastępowane ich definicjami), typy określone przez wszystkie deklaracje odnoszące się do danej zmiennej lub funkcji muszą być identyczne, z wyjątkiem tego, że deklaracje dla obiektu tablicy mogą określać typy tablic różniące się obecnością lub nieobecnością związane z tablicą (8.3.4). Naruszenie tej zasady w odniesieniu do tożsamości typu nie wymaga diagnozy.

Z 3.9.2 rodzaju związku [basic.compound]:

6 [...] Deklarowany typ obiektu tablicy może być tablicą o nieznanej wielkości i dlatego może być niekompletna w jednym wskaż jednostkę tłumaczeniową i ukończ ją później; typy tablicowe w tych dwóch punktach ("tablica nieznanego ograniczenia T" i "tablica N T") są różnymi typami. [...]

Rozwiązaniem twoich problemów kompilatora byłoby zadeklarować m_kA kompletną typu wprost. Pomocny może też być inny statyczny członek posiadający rozmiar.

[Cytuję z C++ 11, ale zgodnie z moją najlepszą wiedzą C++ 03 działa według tych samych zasad. ]