c++ - 为什么不允许对成员函数的内联定义进行额外限定？

Question

如果我们看一下成员声明的语法，它看起来像这样:

member-declaration:       function-definition ;function-definition:       attribute-specifier-seqopt decl-specifier-seqopt declarator        virt-specifier-seqopt function-bodydeclarator:       noptr-declarator parameters-and-qualifiers trailing-return-type

This disallows the syntax:

struct B {
    A B::*B::read();
};

为什么它不允许在函数名称之前使用可选的 nested-name-specifier::？

Answer 1

语法根本不禁止声明由 nested-name-specifier 命名的实体。
事实上，它必须 - for friend声明:

class A
{
     friend void OtherNamespace::foo();
};

这是一个带有声明说明符 friend 的成员声明。它涵盖了(大胆强调我的):

member-declaration:
     attribute-specifier-seq_opt decl-specifier-seq_opt member-declarator-list_opt ;

和

member-declarator:
     declarator virt-specifier-seq_opt pure-specifier_opt

现在，声明符具有以下语法:

declarator:
    ptr-declarator

ptr-declarator:
    noptr-declarator

noptr-declarator:
    declarator-id

declarator-id:
    ..._opt id-expression

最后，一个id-expression是

id-expression:
    qualified-id