Warum kann ich eine Klasse in einem Namespace nicht mit Doppelpunkten vorwärts deklarieren?

class Namespace::Class;

Warum muss ich das tun?:

namespace Namespace {
    class Class;
}

Unter Verwendung von VC ++ 8.0 gibt der Compiler folgende Probleme aus:

Fehler C2653: 'Namespace': ist kein Klassen- oder Namespace-Name

Ich gehe davon aus, dass das Problem hier darin besteht, dass der Compiler nicht erkennen kann, ob Namespacees sich um eine Klasse oder einen Namespace handelt. Aber warum ist das wichtig, da es sich nur um eine Vorwärtserklärung handelt?

Gibt es eine andere Möglichkeit, eine in einem Namespace definierte Klasse vorwärts zu deklarieren? Die obige Syntax fühlt sich so an, als würde ich den Namespace "wieder öffnen" und seine Definition erweitern. Was wäre, wenn Classnicht tatsächlich in definiert wären Namespace? Würde dies irgendwann zu einem Fehler führen?

Weil du nicht kannst. In der C ++ - Sprache werden vollständig qualifizierte Namen nur verwendet, um auf vorhandene (dh zuvor deklarierte) Entitäten zu verweisen . Sie können nicht zum Einführen neuer Entitäten verwendet werden.

Und Sie sind in der Tat des Namespace „Wiedereröffnung“ neue Einheiten zu erklären. Wenn die Klasse Classspäter als Mitglied eines anderen Namespace definiert wird, handelt es sich um eine völlig andere Klasse, die nichts mit der hier deklarierten zu tun hat.

Sobald Sie auf den Punkt zu bekommen definieren die vordeklarierte Klasse, brauchen Sie nicht zu „öffnen Sie “ wieder den Namespace. Sie können es im globalen Namespace (oder in einem beliebigen Namespace, der Ihren umschließt Namespace) als definieren

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

Da Sie sich auf eine Entität beziehen, die bereits im Namespace deklariert wurde Namespace, können Sie einen qualifizierten Namen verwenden Namespace::Class.

Sie erhalten die richtigen Antworten. Lassen Sie mich einfach versuchen, die Formulierung neu zu formulieren:

class Namespace::Class;

Warum muss ich das tun?

Sie müssen dies tun, weil der Begriff Namespace::Classdem Compiler sagt:

... OK, Compiler. Suchen Sie den Namespace mit dem Namen Namespace und verweisen Sie darin auf die Klasse mit dem Namen Class.

Der Compiler weiß jedoch nicht, wovon Sie sprechen, da er keinen benannten Namespace kennt Namespace. Auch wenn es einen Namespace mit dem Namen gab Namespace, wie in:

namespace Namespace
{
};

class Namespace::Class;

Es würde immer noch nicht funktionieren, da Sie eine Klasse innerhalb eines Namespace nicht von außerhalb dieses Namespace deklarieren können. Sie müssen im Namespace sein.

Sie können also eine Klasse innerhalb eines Namespace deklarieren. Mach das einfach:

namespace Namespace
{
    class Class;
};

Ich nehme an, aus dem gleichen Grund können Sie verschachtelte Namespaces nicht auf einmal wie folgt deklarieren:

namespace Company::Communications::Sockets {
}

und du musst das tun:

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

Es wäre nicht klar, was der Typ einer vorwärts deklarierten Variablen tatsächlich ist. Die Vorwärtserklärung class Namespace::Class;könnte bedeuten

namespace Namespace {
  class Class;
}

oder

class Namespace {
public:
  class Class;
};

Es gibt viele ausgezeichnete Antworten auf die Gründe, warum es nicht erlaubt ist. Ich möchte nur die langweilige Standardklausel bereitstellen, die dies ausdrücklich verbietet. Dies gilt für C ++ 17 (n4659).

Der fragliche Absatz lautet [class.name] / 2 :

Eine Deklaration, die ausschließlich aus einer Klassenschlüsselkennung besteht . ist entweder eine erneute Deklaration des Namens im aktuellen Bereich oder eine Vorwärtsdeklaration des Bezeichners als Klassenname. Es führt den Klassennamen in den aktuellen Bereich ein.

Das Obige definiert, was eine Vorwärtsdeklaration (oder Redclaration einer Klasse) darstellt. Im Wesentlichen muss es einer der folgenden sein, class identifier;, struct identifier;oder union identifier;wo identifer ist die gemeinsame lexikalische Definition in [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

Welches ist die Produktion des gemeinsamen Schemas, mit dem [a-zA-Z_][a-zA-Z0-9_]*wir alle vertraut sind. Wie Sie sehen können, ist dies keine class foo::bar;gültige Vorwärtsdeklaration, da foo::bares sich nicht um eine Kennung handelt. Es ist ein voll qualifizierter Name, etwas anderes.