二重コロンを使用して名前空間のクラスを前方宣言できないのはなぜですか？

class Namespace::Class;

なぜこれをしなければならないのですか？：

namespace Namespace {
    class Class;
}

VC ++ 8.0を使用すると、コンパイラーは以下を発行します。

エラーC2653：「名前空間」：クラスまたは名前空間名ではありません

ここでの問題は、コンパイラがNamespaceクラスと名前空間のどちらであるかを判別できないことだと思いますか？しかし、これは単なる前方宣言なので、なぜこれが問題になるのでしょうか。

いくつかの名前空間で定義されたクラスを前方宣言する別の方法はありますか？上記の構文は、私が名前空間を「再開」し、その定義を拡張しているように感じます。Class実際に定義されていない場合はどうなりNamespaceますか？これにより、ある時点でエラーが発生しますか？

できないから。C ++言語では、完全修飾名は既存の（つまり、以前に宣言された）エンティティを参照するためにのみ使用されます。新しいエンティティの導入には使用できません。

そして実際には、新しいエンティティを宣言するために名前空間を「再開」しています。クラスClassが後で別の名前空間のメンバーとして定義されている場合-ここで宣言したクラスとはまったく関係のない完全に異なるクラスです。

事前宣言されたクラスの定義に到達したら、名前空間を再度「開く」必要はありません。次のように、グローバル名前空間（またはを囲む任意の名前空間Namespace）で定義できます。

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

名前空間Namespaceですでに宣言されているエンティティを参照しているので、修飾名を使用できますNamespace::Class。

あなたは正しい答えを得ています、私に言い直してみます：

class Namespace::Class;

なぜこれをしなければならないのですか？

用語Namespace::Classがコンパイラーに指示しているため、これを行う必要があります。

... OK、コンパイラ。Namespaceという名前の名前空間を探し、その中でClassという名前のクラスを参照します。

しかし、コンパイラは名前空間を知らないため、あなたが話していることを知りませんNamespace。次のような名前空間があったNamespaceとしても：

namespace Namespace
{
};

class Namespace::Class;

名前空間の外から名前空間内のクラスを宣言できないため、それでも機能しません。名前空間にいる必要があります。

したがって、実際には、名前空間内でクラスを前方宣言できます。これを行うだけです：

namespace Namespace
{
    class Class;
};

同じ理由で、ネストされた名前空間を次のように一度に宣言できないと思います。

namespace Company::Communications::Sockets {
}

そしてあなたはこれをしなければなりません：

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

前方宣言された変数の型が実際に何であるかは明らかではありません。前方宣言class Namespace::Class;は

namespace Namespace {
  class Class;
}

または

class Namespace {
public:
  class Class;
};

それを拒否することの論理的根拠については、多くの優れた答えがあります。特に退屈な標準的な条項を具体的に禁止したいだけです。これはC ++ 17（n4659）にも当てはまります。

問題の段落は[class.name] / 2です。

クラスキー識別子のみで構成される宣言。現在のスコープ内の名前の再宣言、またはクラス名としての識別子の前方宣言です。クラス名を現在のスコープに導入します。

上記は、前方宣言（またはクラスの再宣言）を構​​成するものを定義しています。基本的に、はのいずれかである必要がありますclass identifier;。struct identifier;またはunion identifier;、identiferは[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

これは、[a-zA-Z_][a-zA-Z0-9_]*私たちがよく知っている共通のスキームの生成です。ご覧のとおり、は識別子ではないclass foo::bar;ため、これfoo::barは有効な前方宣言ではありません。これは完全修飾名であり、別の名前です。