Discussion :

[white_tentacle]

Bonjour à tous,

Le code suivant ne compile pas :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
 
struct A
{
    static constexpr int a = 42;
};
 
int main()
{
    return std::min(A::a, 12);
}

Avec l’erreur suivante :

undefined reference to `A::a'

Bon, de ce que je comprends, c’est lié au passage par référence constante.

Toutefois, je ne comprends pas (note : ce n’est pas lié au constexpr, ça fait pareil avec un const simple). Je pensais qu’il était parfaitement valide d’initialiser les variables statiques de type int dans la classe. Or, je constate que oui, c’est valide, mais que la variable est déclarée, a une valeur, mais pas d’adresse .

Le comportement est le même avec gcc et clang, ce qui incite à penser que c’est normal. Pourtant, je ne peux pas m’empêcher de trouver ça particulièrement tordu.

D’autres avis / explications ?

[Davidbrcz]

http://cpp.developpez.com/faq/cpp/?p...SS_init_static

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
#include <iostream>
using namespace std;
 
 
struct A
{
    static constexpr int a = 42;
};
 
constexpr int A::a;
 
int main()
{
    std::cout<<std::min(A::a, 12)<<std::endl;
    std::cout<<std::min(A::a, 666)<<std::endl;
    return 0;
}

[white_tentacle]

La FAQ dit bien :

il existe un raccourci pour les variables statiques entières constantes, voir Que signifie la déclaration suivante : 'static const int MAX = 10' ?

Et c’est bien ce qui m’ennuie ici.

Le « raccourci » n’est pas équivalent, en fait.

[white_tentacle]

Bon, je me réponds à moi-même, je suis allé regarder la norme :

§ 9.4.2

If a static data member is of const literal type, its declaration in the class definition can specify a brace-or-equal-initializer in which every initializer-clause that is an assignment-expression is a constant expression.
A static data member of literal type can be declared in the class definition with the constexpr specifier; if so, its declaration shall specify a brace-or-equal-initializer in which every initializer-clause that is an assignment-expression is a constant expression. [ Note: In both these cases, the member may appear in constant expressions. — end note ] The member shall still be defined in a namespace scope if it is odr-used (3.2) in the program and the namespace scope definition shall not contain an initializer.

La dernière phrase est celle qui est importante ici, même si je ne comprends pas tout ce qu’elle veut dire…

[Davidbrcz]

constexpr implique const, mais pas trop quand même.
Preuve :

Code :

Sélectionner tout - Visualiser dans une fenêtre à part

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
 
#include <iostrema>
using namespace std;
 
struct A
{
    static constexpr const int a = 42;
};
 
 
int main()
{
    std::cout<<std::min(A::a, 12)<<std::endl;
    std::cout<<std::min(A::a, 666)<<std::endl;
    return 0;
}

[white_tentacle]

Tu compiles avec quel compilateur ? Visual ?

Chez moi, j’ai bien l’erreur de lien avec gcc (4.7.2 ou 4.8.1) et clang (3.0 et 3.2)