没有显式写入命名空间的头文件

Question

在 C++ 实现文件中，我可以选择编写如下内容：

name::space::ClassName::someFunction(int param) {
    // impl
}

而不是

namespace name {
    namespace space {
        ClassName::someFunction(int param) {
            // impl
        }
    }
}

我觉得非常方便且更具可读性。这也可以在头文件中使用吗？像这样的：

class name::space::ClassName {
    // declarations
};

而不是

namespace name {
    namespace space {
        class ClassName {
            // declarations
        };
    }
}

如果这样的事情是可能的，那么在什么条件下？我可以想象，需要 forward 声明命名空间 向前声明命名空间中的类，如下所示：

namespace name {
    namespace space {
        class ClassName;
    }
}

在能够使用它之前：

class name::space::ClassName {
    // declarations
};

在头文件中。

但不知何故，我无法让它工作1]。甚至可能吗？困扰我的是，对于嵌套的命名空间，我必须缩进 2 个制表符，直到我可以真正声明我的类。我想在我的头文件中使用该空间，但我不想省略制表符，因为这违反了“大括号中的所有内容都需要制表符一次”的规则（我不知道是否有一个实际的名字。如果有，请原谅我的无知，我不知道：S

1] 我遇到的问题与问题无关。该方法确实有效，但有缺点（请参阅已接受的答案）。

Answer 1

如果您只是不希望命名空间大括号包围您的类定义，您当然可以通过在其他地方定义命名空间并仅在其中包含类声明来实现这一点。这样，你可以想出这样的东西：

#ifndef MYCLASS_H
#define MYCLASS_H

namespace ClassNamespace { class MyClass; };

class ClassNamespace::MyClass
{
public:
    MyClass();
    ~MyClass();
    void a();
private:

};

#endif // MYCLASS_H

对于标题和这个：

#include "MyClass.h"

#include <iostream>

using namespace std;

ClassNamespace::MyClass::MyClass()
{
}

ClassNamespace::MyClass::~MyClass()
{
}

void ClassNamespace::MyClass::a()
{
    cout << "hello";
}

用于实施。

如您所见，命名空间并未包含类定义，仅包含其声明。

最后一点，我个人不知道您为什么要这样做，或者认为它看起来更好读。我个人更愿意看到命名空间封装类定义以及函数定义。但也许我一直都是个奇怪的人……

Answer 2

不，它不起作用。一个问题是

namespace name {
    namespace space {
        class ClassName {
            // declarations
        }
    }
}

你可以看出它是两个命名空间和一个类。

然而，与

class name::space::ClassName {
    // declarations
}

您无法判断space 是命名空间还是包含嵌套ClassName 的类。

你可以做的是保存在你的标签上。可以写

namespace name { namespace space {
    class ClassName {
        // declarations
    }
}}

Answer 3

你正在寻找的东西不起作用。

一种解释是所有 C++ class 和 struct 类型都隐含地与它们自己的命名空间（与类同名）相关联。

所以，给定

class name::space::ClassName
{
// declarations
};

编译器无法确定name 和space 是否实际上是命名空间或类（充其量只能断定该构造是不明确的）。所以编译器需要被明确告知name 是一个命名空间，space 是name 中的一个命名空间，然后才被告知ClassName 是其中的一个类。

因此需要

namespace name
{
    namespace space
    {
        class ClassName;
    }
}

转发指定两个命名空间并在其中转发声明ClassName。

Answer 4

不，这是不可能的。 定义命名空间的唯一方法是将namespace关键字与花括号结合使用。

7.3.1 命名空间定义 [namespace.def]

1 命名空间定义的语法是

  namespace-name:
      original-namespace-name
      namespace-alias
  original-namespace-name:
      identifier
  namespace-definition:
      named-namespace-definition
      unnamed-namespace-definition
  named-namespace-definition:
      original-namespace-definition
      extension-namespace-definition
  original-namespace-definition:
      inlineopt namespace identifier { namespace-body }
  extension-namespace-definition:
      inlineopt namespace original-namespace-name { namespace-body }
  unnamed-namespace-definition:
      inlineopt namespace { namespace-body }
  namespace-body:
      declaration-seqopt

您可以在命名空间之外定义命名空间的成员，尽管它必须在namespace 内声明（强调我的）：

7.3.1.2 命名空间成员定义 [namespace.memdef]

2 命名命名空间的成员也可以通过显式限定在该命名空间之外定义 (3.4.3.2) 正在定义的名称，前提是正在定义的实体已经在命名空间中声明 并且定义出现在包含声明的命名空间中的声明点之后 命名空间。

当你写作时

namespace name {
    namespace space {
        class ClassName;
    }
}

您没有在namespace space 中声明class ClassName，您只是提供了一个前向声明。