Definieren statischer const integer-Elemente in der Klassendefinition

Nach meinem Verständnis können in C ++ statische const-Mitglieder innerhalb einer Klasse definiert werden, sofern es sich um einen Integer-Typ handelt.

Warum gibt mir der folgende Code dann einen Linkerfehler?

#include <algorithm>
#include <iostream>

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

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

Der Fehler, den ich bekomme, ist:

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

Interessanterweise kompiliert und verknüpft der Code, wenn ich den Aufruf von std :: min auskommentiere, einwandfrei (obwohl auf test :: N auch in der vorherigen Zeile verwiesen wird).

Irgendeine Idee, was los ist?

Mein Compiler ist gcc 4.4 unter Linux.

Nach meinem Verständnis können in C ++ statische const-Mitglieder innerhalb einer Klasse definiert werden, sofern es sich um einen Integer-Typ handelt.

Du bist irgendwie richtig. Sie dürfen statische const-Integrale in der Klassendeklaration initialisieren, dies ist jedoch keine Definition.

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

Interessanterweise kompiliert und verknüpft der Code, wenn ich den Aufruf von std :: min auskommentiere, einwandfrei (obwohl auf test :: N auch in der vorherigen Zeile verwiesen wird).

Irgendeine Idee, was los ist?

std :: min nimmt seine Parameter als const-Referenz. Wenn sie nach Wert genommen würden, hätten Sie dieses Problem nicht, aber da Sie eine Referenz benötigen, benötigen Sie auch eine Definition.

Hier ist Kapitel / Vers:

9.4.2 / 4 - Wenn ein staticDatenelement vom constIntegral- oder constAufzählungstyp ist, kann seine Deklaration in der Klassendefinition einen Konstanteninitialisierer angeben , der ein integraler Konstantenausdruck sein soll (5.19). In diesem Fall kann das Element in ganzzahligen konstanten Ausdrücken erscheinen. Das Mitglied muss weiterhin in einem Namespace-Bereich definiert sein, wenn es im Programm verwendet wird, und die Namespace-Bereichsdefinition darf keinen Initialisierer enthalten .

Eine mögliche Problemumgehung finden Sie in Chus Antwort.

Das Beispiel von Bjarne Stroustrup in seinen C ++ - FAQ legt nahe, dass Sie korrekt sind und nur dann eine Definition benötigen, wenn Sie die Adresse verwenden.

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
    // ...
}

Er sagt : „Sie können die Adresse eines statischen Element nehmen , wenn (und nur dann) ist es eine out-of-Class - Definition hat“ . Was darauf hindeutet, dass es anders funktionieren würde. Vielleicht ruft Ihre Min-Funktion hinter den Kulissen Adressen auf.

Eine andere Möglichkeit, dies für Ganzzahltypen zu tun, besteht darin, Konstanten als Aufzählungen in der Klasse zu definieren:

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

Nicht nur int's. Sie können den Wert jedoch nicht in der Klassendeklaration definieren. Wenn Sie haben:

class classname
{
    public:
       static int const N;
}

In der .h-Datei müssen Sie dann haben:

int const classname::N = 10;

in der CPP-Datei.

Hier ist eine andere Möglichkeit, das Problem zu umgehen:

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

(Ich denke, Crazy Eddies Antwort beschreibt richtig, warum das Problem besteht.)

Ab C ++ 11 können Sie Folgendes verwenden:

static constexpr int N = 10;

Dies erfordert theoretisch immer noch, dass Sie die Konstante in einer CPP-Datei definieren, aber solange Sie nicht die Adresse Ndavon verwenden, ist es sehr unwahrscheinlich, dass eine Compiler-Implementierung einen Fehler erzeugt;).

Mit C ++ können statische const-Mitglieder innerhalb einer Klasse definiert werden

Nein, 3.1 §2 sagt:

Eine Deklaration ist eine Definition, es sei denn, sie deklariert eine Funktion ohne Angabe des Funktionskörpers (8.4), enthält den externen Bezeichner (7.1.1) oder eine Verknüpfungsspezifikation (7.5) und deklariert weder einen Initialisierer noch einen Funktionskörper statische Daten Mitglied in einer Klassendefinition (9.4), es ist eine Klassennamendeklaration (9.1), es ist eine opake-enum-Deklaration (7.2) oder es ist eine typedef-Deklaration (7.1.3), eine using-Deklaration (7.3). 3) oder eine Verwendungsrichtlinie (7.3.4).