Discussion :

[Bousk]

Je pense qu'il s'agit d'un raccourci, voire d'un abus de langage. Mais au final on se comprend tous.

Pour moi, int a; est une déclaration de variable, alors que class A; est une déclaration de type. Mais déclarer un type ne suffit pas à l'utiliser, il faut aussi qu'il soit défini.
extern étant à part puisqu'il s'agit uniquement d'indiquer que oui, cette variable existe, d'en donner la nature, mais de ne pas se soucier d'où elle vient.

Après, le fait est qu'en C++ toute variable déclarée est initialisée (je préfère ce terme à "définie", on déclare et initialise une variable, on déclare et définit un type) immédiatement. Avec des valeurs aléatoires pour les types par défaut, le constructeur par défaut pour class et struct.

[gbdivers]

J'ai encore foiré avec mes exemples...

Le but était surtout de dire que déclaration, définition et initialisation sont 3 concepts différents, même si parfois (souvent), on fait plusieurs choses en même temps :
* déclaration : déclarer un nouveau "mot" au compilateur, pour qu'il sache qu'il existe ensuite
* définition : dire à quoi correspond un "mot" (ie le contenu de son type)
* initialisation : donner une valeur à un "mot"

Faudrait que je retrouve les définitions exactes dans la norme (si c'est bien dans la norme)... (ou attendre que Flob90, qui a appris par coeur la norme, passe dans le coin)

[ternel]

J'apprécie l'autre choix de vocabulaire, je trouve qu'il colle mieux avec la vie courante.

Lorsqu'on déclare quelque chose, on ne fait que dire "je l'ai", exactement comme lorsqu'on déclare ses revenus, on n'envoie pas un relevé de compte…

De même une définition donne du sens au défini. C'est le principe même d'un dictionnaire.
On a alors la possibilité de la définition par défaut, c'est à dire "comme tu t'y attends", avec le fait que tu ne t'attends à rien de précis que je dis "un entier".

Edit: zut, doublé par gbdivers

[senvedgi]

Tout çà est bien enregistré.
Et on ne devrait plus avoir de mauvais écrivains.
Hug!

[JolyLoic]

Une autre différence importante entre déclaration et définition est l'unicité. Tu ne peux définir une variable qu'une seule fois dans un programme, tu ne peux définir une fonction non inline qu'une seule fois dans un programme, tu ne peux définir un type qu'une seule fois dans une unité de compilation (mais dans le programme, chaque définition doit être la même)... (c'est ce qu'on nomme la One definition rule). Tu peux déclarer toutes ces choses autant de fois que tu veux.

Code :

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

1
2
3
4
5
6
extern int a; // déclaration
extern int a; // déclaration
extern int a; // déclaration
extern int a; // déclaration
int a; // Définition
int a; // Erreur : Redéfinition

La définition dans la norme de déclaration/définition est dans le 3.1, mais ce n'est pas très agréable à lire, et ne décrit pas la philosophie qu'il y a derrière :

A declaration (Clause 7) may introduce one or more names into a translation unit or redeclare names introduced by previous declarations. If so, the declaration specifies the interpretation and attributes of these names. A declaration may also have effects including:
— a static assertion (Clause 7),
— controlling template instantiation (14.7.2),
— use of attributes (Clause 7), and
— nothing (in the case of an empty-declaration).
2 A declaration is a definition unless it declares a function without specifying the function’s body (8.4), it contains the extern specifier (7.1.1) or a linkage-specification25 (7.5) and neither an initializer nor a functionbody, it declares a static data member in a class definition (9.2, 9.4), it is a class name declaration (9.1), it is an opaque-enum-declaration (7.2), it is a template-parameter (14.1), it is a parameter-declaration (8.3.5) in a function declarator that is not the declarator of a function-definition, or it is a typedef declaration (7.1.3), an alias-declaration (7.1.3), a using-declaration (7.3.3), a static_assert-declaration (Clause 7), an attributedeclaration (Clause 7), an empty-declaration (Clause 7), or a using-directive (7.3.4).

Et, puisqu'on est en mode chipotage :

Code :

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

1
2
int i;
int j = i;

Formellement, l'effet n'est pas de mettre une valeur aléatoire dans j, mais ce code est un comportement indéfini, le compilateur est en droit lors de l'exécution de rédiger en vers et en espéranto une lettre d'injure et de la mailer au patron/professeur/autre du codeur responsable, ou toute autre action qu'il jugera utile
En pratique, sur certaines architecture, on pourra avoir plantage si la "valeur" initiale ne correspond pas à une valeur valide pour le type concerné.