Tham chiếu không xác định đến thành viên lớp tĩnh

Bất cứ ai có thể giải thích tại sao mã sau sẽ không biên dịch? Ít nhất là trên g ++ 4.2.4.

Và thú vị hơn, tại sao nó sẽ biên dịch khi tôi chọn MEMBER thành int?

#include <vector>

class Foo {  
public:  
    static const int MEMBER = 1;  
};

int main(){  
    vector<int> v;  
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

Bạn cần thực sự định nghĩa thành viên tĩnh ở đâu đó (sau định nghĩa lớp). Thử cái này:

class Foo { /* ... */ };

const int Foo::MEMBER;

int main() { /* ... */ }

Điều đó sẽ thoát khỏi các tài liệu tham khảo không xác định.

Vấn đề xảy ra là do sự xung đột thú vị của các tính năng C ++ mới và những gì bạn đang cố gắng thực hiện. Trước tiên, hãy xem push_backchữ ký:

void push_back(const T&)

Đó là mong đợi một tham chiếu đến một đối tượng của loại T. Theo hệ thống khởi tạo cũ, một thành viên như vậy tồn tại. Ví dụ, đoạn mã sau sẽ biên dịch tốt:

#include <vector>

class Foo {
public:
    static const int MEMBER;
};

const int Foo::MEMBER = 1; 

int main(){
    std::vector<int> v;
    v.push_back( Foo::MEMBER );       // undefined reference to `Foo::MEMBER'
    v.push_back( (int) Foo::MEMBER ); // OK  
    return 0;
}

Điều này là do có một đối tượng thực tế ở đâu đó có giá trị đó được lưu trữ trong đó. Tuy nhiên, nếu bạn chuyển sang phương pháp mới chỉ định các thành viên const tĩnh, như bạn có ở trên, Foo::MEMBERkhông còn là một đối tượng. Nó là một hằng số, hơi giống với:

#define MEMBER 1

Nhưng không có sự đau đầu của một macro tiền xử lý (và với loại an toàn). Điều đó có nghĩa là vectơ, đang mong đợi một tài liệu tham khảo, không thể có được một.

Tiêu chuẩn C ++ yêu cầu một định nghĩa cho thành viên const tĩnh của bạn nếu định nghĩa đó là cần thiết.

Định nghĩa là bắt buộc, ví dụ nếu địa chỉ của nó được sử dụng. push_backlấy tham số của nó bằng tham chiếu const, và vì vậy, trình biên dịch cần địa chỉ của thành viên của bạn và bạn cần xác định nó trong không gian tên.

Khi bạn sử dụng hằng số một cách rõ ràng, bạn đang tạo tạm thời và đây là tạm thời ràng buộc với tham chiếu (theo các quy tắc đặc biệt trong tiêu chuẩn).

Đây là một trường hợp thực sự thú vị và tôi thực sự nghĩ rằng đáng để nêu ra một vấn đề để std được thay đổi để có hành vi tương tự cho thành viên liên tục của bạn!

Mặc dù, theo một cách kỳ lạ, điều này có thể được coi là một cách sử dụng hợp pháp của toán tử '+' đơn nhất. Về cơ bản, kết quả của giá trị unary +là một giá trị và do đó, các quy tắc ràng buộc giá trị với tham chiếu const được áp dụng và chúng tôi không sử dụng địa chỉ của thành viên const tĩnh:

v.push_back( +Foo::MEMBER );

Aaa.h

class Aaa {

protected:

    static Aaa *defaultAaa;

};

Aaa.cpp

// You must define an actual variable in your program for the static members of the classes

static Aaa *Aaa::defaultAaa;

Không biết tại sao dàn diễn viên hoạt động, nhưng Foo :: MEMBER không được phân bổ cho đến khi Foo được tải lần đầu tiên và vì bạn không bao giờ tải nó, nên nó không bao giờ được phân bổ. Nếu bạn có một tham chiếu đến một Foo ở đâu đó, nó có thể sẽ hoạt động.

Với C ++ 11, ở trên có thể áp dụng cho các loại cơ bản như

class Foo {
public:  
  static constexpr int MEMBER = 1;  
};

Phần này constexprtạo ra một biểu thức tĩnh trái ngược với một biến tĩnh - và nó hoạt động giống như một định nghĩa phương thức nội tuyến cực kỳ đơn giản. Tuy nhiên, cách tiếp cận đã chứng minh một chút chao đảo với các constexprs chuỗi C bên trong các lớp mẫu.

Liên quan đến câu hỏi thứ hai: Push_Vf lấy tham chiếu làm tham số và bạn không thể có tham chiếu đến bộ nhớ const const tĩnh của một lớp / struct. Khi bạn gọi static_cast, một biến tạm thời được tạo. Và một tham chiếu đến đối tượng này có thể được thông qua, mọi thứ đều hoạt động tốt.

Hoặc ít nhất là đồng nghiệp của tôi, người đã giải quyết điều này đã nói như vậy.