14

这个问题让我想知道在类外成员函数定义中完全限定类名（包括全局范围运算符）是否有用/有必要。

一方面，我以前从未见过这样做（而且正确执行此操作的语法似乎晦涩难懂）。另一方面，C++ 名称查找非常重要，因此可能存在极端情况。

问题：

是否存在引入类外成员函数定义
ReturnType (::Fully::Qualified::Class::Name::MemberFunctionName)(...) { ... }
不同于
ReturnType Fully::Qualified::Class::Name::MemberFunctionName(...) { ... }（无全局范围::前缀）的情况？

请注意，成员函数定义必须放在包含类的命名空间中，因此这不是一个有效的示例。

4

3 回答 3

12

using-directive可能会导致Fully不加限定的模棱两可。

namespace Foo {
    struct X {
    };
}

using namespace Foo;
struct X {
    void c();
};

void X::c() { } // ambiguous
void ::X::c() { } // OK
于 2019-11-18T12:15:55.170 回答
5

如果一个人是受虐狂并且喜欢写这样的东西，这是必要的

namespace foo {
    namespace foo {
        struct bar {
            void baz();
        };
    }

   struct bar {
       void baz();
   };

   void foo::bar::baz() {
   }

   void (::foo::bar::baz)() {
   }
}

当然可以将第二个重载写成foo::foo::bar::baz在全局范围内，但问题是这两个声明是否可以有不同的含义。我不建议编写这样的代码。

于 2019-11-18T12:17:12.727 回答
2

如果使用 using 指令，则可能会出现令人困惑的代码。

考虑以下演示程序

#include <iostream>
#include <string>

namespace N1
{
    struct A
    {
        void f() const;
    };      
}

using namespace N1;

void A::f() const { std::cout << "N1::f()\n"; }

struct A
{
    void f() const;
};

void ::A::f() const { std::cout << "::f()\n"; }

int main() 
{
    N1::A().f();
    ::A().f();

    return 0;
}

因此，为了便于阅读，这个限定名称

void ::A::f() const { std::cout << "::f()\n"; }

精确显示函数的声明位置。

于 2019-11-18T12:16:09.470 回答