Définition de membres entiers const statiques dans la définition de classe

Je crois comprendre que C ++ permet aux membres const statiques d'être définis à l'intérieur d'une classe tant qu'il s'agit d'un type entier.

Pourquoi, alors, le code suivant me donne-t-il une erreur de l'éditeur de liens?

#include <algorithm>
#include <iostream>

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

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

L'erreur que j'obtiens est:

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

Fait intéressant, si je commente l'appel à std :: min, le code se compile et se lie très bien (même si test :: N est également référencé sur la ligne précédente).

Une idée de ce qui se passe?

Mon compilateur est gcc 4.4 sous Linux.

Je crois comprendre que C ++ permet aux membres const statiques d'être définis à l'intérieur d'une classe tant qu'il s'agit d'un type entier.

Vous avez en quelque sorte raison. Vous êtes autorisé à initialiser des intégrales const statiques dans la déclaration de classe, mais ce n'est pas une définition.

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

Fait intéressant, si je commente l'appel à std :: min, le code se compile et se lie très bien (même si test :: N est également référencé sur la ligne précédente).

Une idée de ce qui se passe?

std :: min prend ses paramètres par référence const. Si cela les prenait par valeur, vous n'auriez pas ce problème, mais comme vous avez besoin d'une référence, vous avez également besoin d'une définition.

Voici le chapitre / verset:

9.4.2 / 4 - Si un staticmembre de données est de type constintégral ou consténumération, sa déclaration dans la définition de classe peut spécifier un initialiseur de constante qui doit être une expression constante intégrale (5.19). Dans ce cas, le membre peut apparaître dans des expressions constantes intégrales. Le membre doit toujours être défini dans une portée d'espace de noms s'il est utilisé dans le programme et la définition de portée d'espace de noms ne doit pas contenir d' initialiseur .

Voir la réponse de Chu pour une solution de contournement possible.

L'exemple de Bjarne Stroustrup dans sa FAQ C ++ suggère que vous avez raison et que vous n'avez besoin d'une définition que si vous prenez l'adresse.

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

Il dit "Vous pouvez prendre l'adresse d'un membre statique si (et seulement si) il a une définition hors classe" . Ce qui suggère que cela fonctionnerait autrement. Peut-être que votre fonction min invoque en quelque sorte des adresses dans les coulisses.

Une autre façon de faire cela, pour les types entiers de toute façon, est de définir des constantes comme des énumérations dans la classe:

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

Pas seulement des int. Mais vous ne pouvez pas définir la valeur dans la déclaration de classe. Si tu as:

class classname
{
    public:
       static int const N;
}

dans le fichier .h, vous devez avoir:

int const classname::N = 10;

dans le fichier .cpp.

Voici une autre façon de contourner le problème:

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

(Je pense que la réponse de Crazy Eddie décrit correctement pourquoi le problème existe.)

À partir de C ++ 11, vous pouvez utiliser:

static constexpr int N = 10;

Cela vous oblige théoriquement toujours à définir la constante dans un fichier .cpp, mais tant que vous n'en prenez pas l'adresse, Nil est très peu probable qu'une implémentation du compilateur produise une erreur;).

C ++ permet aux membres const statiques d'être définis à l'intérieur d'une classe

Non, 3.1 §2 dit:

Une déclaration est une définition à moins qu'elle ne déclare une fonction sans spécifier le corps de la fonction (8.4), elle contient le spécificateur extern (7.1.1) ou une spécification de liaison (7.5) et ni un initialiseur ni un corps de fonction, elle déclare une donnée statique membre d'une définition de classe (9.4), c'est une déclaration de nom de classe (9.1), c'est une déclaration opaque-enum (7.2), ou c'est une déclaration typedef (7.1.3), une déclaration d'utilisation (7.3. 3), ou une directive d'utilisation (7.3.4).