Pourquoi ne puis-je pas déclarer en avant une classe dans un espace de noms en utilisant des doubles virgules?

class Namespace::Class;

Pourquoi dois-je faire cela?:

namespace Namespace {
    class Class;
}

À l'aide de VC ++ 8.0, le compilateur émet:

erreur C2653: 'Namespace': n'est pas un nom de classe ou d'espace de noms

Je suppose que le problème ici est que le compilateur ne peut pas dire s'il Namespaces'agit d'une classe ou d'un espace de noms? Mais pourquoi est-ce important puisqu'il ne s'agit que d'une déclaration anticipée?

Existe-t-il un autre moyen de déclarer en avant une classe définie dans un espace de noms? La syntaxe ci-dessus donne l'impression que je "rouvre" l'espace de noms et étend sa définition. Et si Classn'étaient pas réellement définis dans Namespace? Cela entraînerait-il une erreur à un moment donné?

Parce que tu ne peux pas. En langage C ++, les noms complets ne sont utilisés que pour faire référence à des entités existantes (c'est-à-dire précédemment déclarées). Ils ne peuvent pas être utilisés pour introduire de nouvelles entités.

Et vous êtes en fait « réouverture » l'espace de noms de déclarer de nouvelles entités. Si la classe Classest définie plus tard comme membre d'un espace de noms différent, il s'agit d'une classe complètement différente qui n'a rien à voir avec celle que vous avez déclarée ici.

Une fois que vous êtes arrivé au point de définir la classe pré-déclarée, vous n'avez pas besoin de «rouvrir» l'espace de noms à nouveau. Vous pouvez le définir dans l'espace de noms global (ou dans tout espace de noms englobant votre Namespace) comme

class Namespace::Class {
  /* whatever */
};

Puisque vous faites référence à une entité qui a déjà été déclarée dans l'espace de noms Namespace, vous pouvez utiliser un nom qualifié Namespace::Class.

Vous obtenez des réponses correctes, laissez-moi simplement essayer de reformuler:

class Namespace::Class;

Pourquoi dois-je faire ça?

Vous devez le faire car le terme Namespace::Classindique au compilateur:

... OK, compilateur. Allez trouver l'espace de noms nommé Namespace, et dans celui-ci, faites référence à la classe nommée Class.

Mais le compilateur ne sait pas de quoi vous parlez car il ne connaît aucun espace de noms nommé Namespace. Même s'il y avait un espace de noms nommé Namespace, comme dans:

namespace Namespace
{
};

class Namespace::Class;

cela ne fonctionnerait toujours pas, car vous ne pouvez pas déclarer une classe dans un espace de noms depuis l'extérieur de cet espace de noms. Vous devez être dans l'espace de noms.

Ainsi, vous pouvez en fait déclarer une classe dans un espace de noms. Faites juste ceci:

namespace Namespace
{
    class Class;
};

Je suppose que c'est pour la même raison que vous ne pouvez pas déclarer les espaces de noms imbriqués en une seule fois comme ceci:

namespace Company::Communications::Sockets {
}

et vous devez faire ceci:

namespace Company {
  namespace Communications {
    namespace Sockets {
    }
  }
}

Il ne serait pas clair quel est réellement le type d'une variable déclarée avant. La déclaration anticipée class Namespace::Class;pourrait signifier

namespace Namespace {
  class Class;
}

ou

class Namespace {
public:
  class Class;
};

Il y a beaucoup d'excellentes réponses sur la justification de son refus. Je veux simplement fournir la disposition standard ennuyeuse qui l'interdit spécifiquement. Cela est vrai pour C ++ 17 (n4659).

Le paragraphe en question est [class.name] / 2 :

Une déclaration constituée uniquement d' un identifiant de clé de classe ; est soit une redéclaration du nom dans la portée actuelle, soit une déclaration avant de l'identificateur en tant que nom de classe. Il introduit le nom de la classe dans la portée actuelle.

Ce qui précède définit ce qui constitue une déclaration avant (ou redclaration d'une classe). Essentiellement, il doit être l'un des class identifier;, struct identifier;ou union identifier;où identifer est la définition lexicale courante dans [lex.name] :

identifier:
  identifier-nondigit
  identifier identifier-nondigit
  identifier digit
identifier-nondigit:
  nondigit
  universal-character-name
nondigit: one of
  a b c d e f g h i j k l m
  n o p q r s t u v w x y z
  A B C D E F G H I J K L M
  N O P Q R S T U V W X Y Z _
digit: one of
  0 1 2 3 4 5 6 7 8 9

Quelle est la production du schéma commun que [a-zA-Z_][a-zA-Z0-9_]*nous connaissons tous. Comme vous pouvez le voir, cela empêche class foo::bar;d'être une déclaration avant valide, car ce foo::barn'est pas un identificateur. C'est un nom pleinement qualifié, quelque chose de différent.