Là một tên lớp đủ điều kiện xuống phạm vi toàn cầu bao giờ được yêu cầu cho các định nghĩa hàm thành viên ngoài dòng?

Câu hỏi này khiến tôi băn khoăn liệu có bao giờ hữu ích / cần thiết để đủ điều kiện tên lớp (bao gồm cả toán tử phạm vi toàn cầu) trong định nghĩa hàm thành viên ngoài lớp không.

Một mặt, tôi chưa bao giờ thấy điều này được thực hiện trước đây (và cú pháp để làm như vậy có vẻ mơ hồ). Mặt khác, tra cứu tên C ++ rất không tầm thường, vì vậy có thể có một trường hợp góc tồn tại.

Câu hỏi:

Có bao giờ một trường hợp giới thiệu một định nghĩa hàm thành viên ngoài lớp
ReturnType (::Fully::Qualified::Class::Name::MemberFunctionName)(...) { ... }
sẽ khác với
ReturnType Fully::Qualified::Class::Name::MemberFunctionName(...) { ... }(không có ::tiền tố phạm vi toàn cầu ) không?

^{Lưu ý rằng các định nghĩa hàm thành viên phải được đặt vào một không gian tên bao quanh lớp, vì vậy đây không phải là một ví dụ hợp lệ.}

Một chỉ thị sử dụng có thể gây ra Fullymơ hồ mà không đủ điều kiện.

namespace Foo {
    struct X {
    };
}

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

void X::c() { } // ambiguous
void ::X::c() { } // OK

Nó là cần thiết nếu một người là một masochist và thích viết những thứ như thế này

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

   struct bar {
       void baz();
   };

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

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

Tất nhiên người ta có thể viết quá tải thứ hai như foo::foo::bar::baztrong phạm vi toàn cầu, nhưng câu hỏi đặt ra là liệu hai khai báo có thể có ý nghĩa khác nhau hay không. Tôi không khuyên bạn nên viết mã như vậy.

Nếu một lệnh sử dụng được sử dụng thì có thể có một mã khó hiểu.

Hãy xem xét các chương trình trình diễn sau đây

#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;
}

Vì vậy, để dễ đọc tên đủ điều kiện này

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

hiển thị chính xác nơi hàm được khai báo.