为什么不能使用双冒号在名称空间中向前声明一个类？

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告诉编译器：

...好，编译器。找到名为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;
};

关于禁止这样做的理由有很多很好的答案。我只想提供无聊的standardese条款，明确禁止使用它。这对于C ++ 17（n4659）成立。

有问题的段落是[class.name] / 2：

仅由class-key标识符组成的声明；是在当前作用域中对该名称的重新声明，或者是将该标识符作为类名称的前向声明。它将类名引入当前范围。

上面定义了构成前向声明（或类的重新声明）的内容。本质上，它必须是一个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它不是标识符。这是一个完全合格的名称，有些不同。