定义命名空间成员与无限定的自由函数

Question

我有时在嵌套命名空间中声明类，当涉及到定义它们的成员函数时，我不喜欢用这些嵌套命名空间名称来限定每个类，特别是如果它们很长的话。

在定义成员函数之前添加“using namespace”（或者，为了更精确的定位，“using ::SomeClass”）似乎不需要限定每个定义，但我在规范中找不到保证这一点的任何地方，我担心这可能是一种仅适用于 GCC 的行为。我注意到，似乎没有类似的机制可以在定义自由函数时跳过添加限定符的需要（？）。

作为我的意思的一个例子：

标题：

// example.h
namespace SomeNamespace
{
    class SomeClass
    {
    public:
        void someMemberFunction();
    };

    void someFreeFunction();
};

实现：

// example.cpp
#include "example.h"

using namespace SomeNamespace;

void SomeClass::someMemberFunction()
{
    // OK: seems to define SomeNamespace::SomeClass::someMemberFunction(),
    // even though we didn't qualify it with SomeNamespace::
}

void someFreeFunction()
{
    // Not what we wanted; declares and defines ::someFreeFunction(), not
    // SomeNamespace::someFreeFunction() (quite understandably)
}

int main()
{
    SomeClass a;
    a.someMemberFunction(); // Ok; it is defined above.
    SomeNamespace::someFreeFunction(); // Undefined!
    return 0;
}

所以我的问题：上面定义 SomeClass::someMemberFunction() 的方法是否合法，规范中的哪里提到了这一点？如果合法的话，是否值得推荐？它确实减少了混乱！ :)

非常感谢:)

Answer 1

也许我弄错了，但如果你有：

// example.h
namespace SomeNamespace
{
    class SomeClass
    {
    public:
        void someMemberFunction();
    };

    void someFreeFunction();
};

你也可以简单地写：

#include "example.h"

// example.cpp
namespace SomeNamespace
{
    void SomeClass::someMemberFunction()
    {
    }

    void someFreeFunction()
    {
    }
}

Answer 2

当您定义成员函数时，编译器意识到它是一个必须属于先前声明的类的成员函数，因此它会向上查找该类，如标准第 9.3.5 节中所指定的：

如果成员函数的定义在词法上位于其类之外
定义时，成员函数名称应由其类限定
使用 :: 运算符命名。 [注：成员函数中使用的名称
定义（即在参数声明子句中包括
默认参数（8.3.6），或者在成员函数体中，或者，对于
构造函数 (12.1)，位于 mem-initializer 表达式中
(12.6.2)) 按照 3.4 中的描述进行查找。 ] [示例：

<前><代码>结构X {
typedef int T;
静态T计数；
无效 f(T);
};

void X::f(T t = 计数) { }

类X的成员函数f定义在全局范围内；这
符号 X::f 指定函数 f 是类 X 的成员，并且
在类 X 的范围内。在函数定义中，参数
type T 引用类 X 中声明的 typedef 成员 T 和
默认参数计数是指静态数据成员计数
在类 X 中声明。 ]

基本上，你所做的一切都很好。但是，在使用嵌套命名空间或具有长名称的命名空间（或两者）时，还有另一种（首选）方法可以减少混乱 - 定义别名：

namespace short_name = averylong::nested::namespacename;