C2070 - bất hợp pháp sizeof toán hạng

Question

Các mã sau đây có vẻ tốt đẹp với tôi:

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

Nhưng khi tôi biên dịch với VC9 tôi nhận được lỗi sau

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

Tôi mong chờ mã này để biên dịch. Tui bỏ lỡ điều gì vậy? Có ai biết một cách để sửa chữa hành vi kỳ lạ này (lưu ý rằng điều tương tự chính xác mà không có mẫu biên dịch tốt và đầu ra 3).

Lưu ý rằng việc xóa mẫu không phải là một tùy chọn, tôi đã tạo ví dụ này để tạo lại sự cố mà tôi đang gặp phải trong mã mà tôi cần loại chứa mảng làm mẫu.

Cảm ơn

Answer 1

http://ideone.com/3ssVi

nó biên dịch tốt với G ++.

Theo như tôi có thể nhìn thấy nó có thể liên quan đến lỗi này:

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

Answer 2

Nó được xác định rõ. Lưu ý rằng trong định nghĩa lớp, m_kA được khai báo với loại float[], là loại không đầy đủ và không thể được sử dụng song song với sizeof. Trong định nghĩa của m_kA, nó được redeclared để có loại float[3], sau đó nó là okay để sử dụng sizeof. (8.3.4 chỉnh việc ý nghĩa của tờ khai mảng.)

Từ 3.4.6 Sử dụng-chỉ thị và bí danh namespace [basic.lookup.udir]:

10 Sau khi tất cả các điều chỉnh các loại (trong đó Typedefs (7.1.3) được thay thế bởi các định nghĩa của chúng), các kiểu được chỉ định bởi tất cả các khai báo tham chiếu đến một biến hoặc hàm nhất định phải giống nhau, ngoại trừ các khai báo cho một đối tượng mảng có thể xác định loại mảng khác nhau. mảng bị ràng buộc (8.3.4). Vi phạm quy tắc này về nhận dạng loại không yêu cầu chẩn đoán.

Từ 3.9.2 loại Compound [basic.compound]:

6 [...] Các loại tuyên bố của một đối tượng mảng có thể là một mảng có kích thước không rõ và do đó không đầy đủ tại một điểm trong một đơn vị dịch thuật và hoàn thành sau này; các kiểu mảng tại hai điểm đó (“mảng không xác định của T” và “mảng của N T”) là các kiểu khác nhau. [...]

Giải pháp cho các sự cố biên dịch của bạn sẽ là khai báo m_kA với kiểu hoàn toàn hoàn chỉnh. Một thành viên tĩnh khác có kích thước cũng có thể hữu ích.

[Tôi trích dẫn từ C++ 11 nhưng theo sự hiểu biết tốt nhất của tôi, C++ 03 tuân theo cùng các quy tắc. ]