函数定义的类外声明中不可能完全限定类名

该程序会导致不必要的解析贪婪死胡同：

struct float4x4 {};
class C
{
    float4x4 M();
};

float4x4 ::C::M()
{
    return float4x4{};
}

:8:1: 错误：'float4x4' 中没有名为 'C' 的成员；您的意思只是“C”吗？
float4x4 ::C::M()
^~~~~~~~~~~~

可以使用尾随返回类型来“修复”：

auto ::C::M() -> float4x4
{}

现在一切都好。

所以我认为在使用标题返回类型声明符语法时我们无法完全限定类名？

您可以放入括号来消除歧义：

float4x4 (::C::M)()
{
    return float4x4{};
}

我无法真正告诉你什么规则可以做到这一点，虽然它不是没有括号，但我用 gcc 和 clang 进行了测试（两者都-pedantic）。我更喜欢尾随返回类型。