Невизначена посилання на статичний член класу

Чи може хтось пояснити, чому наступний код не компілюється? Принаймні, на g ++ 4.2.4.

І ще цікавіше, чому він складатиметься, коли я відкидаю MEMBER до 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;
}

Вам потрібно десь визначити статичний член (після визначення класу). Спробуйте це:

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

const int Foo::MEMBER;

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

Це повинно позбутися невизначеної посилання.

Проблема виникає через цікаве зіткнення нових функцій C ++ та те, що ви намагаєтесь зробити. Спочатку давайте подивимось на push_backпідпис:

void push_back(const 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;
}

Це тому, що десь є фактичний об’єкт, який має це значення, збережене в ньому. Якщо, однак, ви переходите на новий метод визначення статичних членів const, як у вас вище, Foo::MEMBERбільше не є об'єктом. Це константа, дещо схожа на:

#define MEMBER 1

Але без головних болів препроцесорного макроса (і з безпекою типу). Це означає, що вектор, який очікує посилання, не може отримати його.

Стандарт C ++ вимагає визначення вашого статичного члена const, якщо визначення якимось чином необхідне.

Визначення потрібно, наприклад, якщо використовується його адреса. push_backприймає його параметр за посиланням const, і так суворо компілятору потрібна адреса вашого члена, і вам потрібно визначити його в просторі імен.

Коли ви явно передаєте константу, ви створюєте тимчасову, і саме ця тимчасова пов'язана з посиланням (згідно спеціальних правил у стандарті).

Це справді цікавий випадок, і я насправді думаю, що варто поставити питання, щоб змінити std, щоб мати таку саму поведінку для вашого постійного члена!

Хоча, дивним чином, це можна розглядати як легітимне використання одинарного оператора "+". В основному результатом значення unary +є оцінку, тому застосовуються правила прив'язки rvalues ​​до const посилань, і ми не використовуємо адресу нашого статичного члена const:

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;

Не маю ідеї, чому працює акторський склад, але Foo :: MEMBER не виділяється до першого завантаження Foo, і оскільки ви ніколи не завантажуєте його, він ніколи не виділяється. Якби ви десь мали посилання на Foo, це, мабуть, спрацювало б.

З C ++ 11, вищезгадане було б можливим для основних типів як

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

constexprЧастина створює статичне вираження на відміну від статичної змінної - і що поводиться так само , як дуже просте визначення методу рядний. Підхід виявився дещо хитким із конспектами C-string у класах шаблонів.

Щодо другого питання: push_ref приймає посилання як параметр, і ви не можете мати посилання на статичний const memeber класу / структури. Після виклику static_cast створюється тимчасова змінна. І посилання на цей об’єкт можна передати, все працює просто чудово.

Або принаймні мій колега, який вирішив це, сказав так.