Визначення статичних const цілих членів у визначенні класу

Я розумію, що C ++ дозволяє визначати статичні члени const всередині класу, якщо це цілий тип.

Чому, таким чином, наступний код дає мені помилку лінкера?

#include <algorithm>
#include <iostream>

class test
{
public:
    static const int N = 10;
};

int main()
{
    std::cout << test::N << "\n";
    std::min(9, test::N);
}

Я отримую помилку:

test.cpp:(.text+0x130): undefined reference to `test::N'
collect2: ld returned 1 exit status

Цікаво, що якщо я коментую виклик до std :: min, код компілюється і посилається просто чудово (навіть якщо тест :: N також посилається на попередній рядок).

Будь-яка ідея, що відбувається?

Мій компілятор - gcc 4.4 в Linux.

Я розумію, що C ++ дозволяє визначати статичні члени const всередині класу, якщо це цілий тип.

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

http://publib.boulder.ibm.com/infocenter/comphelp/v8v101/index.jsp?topic=/com.ibm.xlcpp8a.doc/language/ref/cplr038.htm

Цікаво, що якщо я коментую виклик до std :: min, код компілюється і посилається просто чудово (навіть якщо тест :: N також посилається на попередній рядок).

Будь-яка ідея, що відбувається?

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

Ось розділ / вірш:

9.4.2 / 4 - Якщо staticчлен даних має constінтегральний чи constперелічуючий тип, його декларація у визначенні класу може визначати константа-ініціалізатор, яка має бути інтегральним постійним виразом (5.19). У цьому випадку член може з'являтися в цілісних постійних виразах. Член все ж повинен бути визначений в області простору імен, якщо він використовується в програмі, а визначення сфери простору імен не повинно містити ініціалізатор .

Дивіться відповідь Чу для можливого вирішення.

Приклад Bjarne Stroustrup у своєму FAQ + щодо C ++ підказує, що ви правильні, і вам потрібне визначення лише тоді, коли ви приймете адресу.

class AE {
    // ...
public:
    static const int c6 = 7;
    static const int c7 = 31;
};

const int AE::c7;   // definition

int f()
{
    const int* p1 = &AE::c6;    // error: c6 not an lvalue
    const int* p2 = &AE::c7;    // ok
    // ...
}

Він каже: "Ви можете взяти адресу статичного члена, якщо (і лише якщо) він має позакласне визначення" . Що говорить про те, що це діятиме інакше. Можливо, ваша функція min викликає адреси якось поза кадром.

Ще один спосіб зробити це для цілих типів у будь-якому випадку - це визначити константи як перерахунки в класі:

class test
{
public:
    enum { N = 10 };
};

Не тільки інт. Але ви не можете визначити значення в декларації класу. Якщо у вас є:

class classname
{
    public:
       static int const N;
}

у файлі .h тоді ви повинні мати:

int const classname::N = 10;

у файлі .cpp.

Ось ще один спосіб вирішити проблему:

std::min(9, int(test::N));

(Я думаю, що відповідь Божевільного Едді правильно описує, чому існує проблема.)

Станом на C ++ 11 ви можете використовувати:

static constexpr int N = 10;

Це теоретично все-таки вимагає від вас визначити константу у .cpp-файлі, але поки ви не приймете його адресу, Nмалоймовірно, що будь-яка реалізація компілятора призведе до помилки;).

C ++ дозволяє визначати статичні члени const всередині класу

Ні, 3.1 §2 сказано:

Декларація - це визначення, якщо воно не декларує функцію, не вказуючи тіло функції (8.4), воно містить специфікатор зовнішнього (7.1.1) або специфікацію зв'язку (7.5) і не ініціалізатор, ані тіло функції, воно не оголошує статичні дані член у визначенні класу (9.4), це декларація імені класу (9.1), це непрозора декларація enum (7.2), або це декларація typedef (7.1.3), декларація використання (7.3). 3) або користувачу-розпорядження (7.3.4).