Неможливо повністю кваліфікувати ім’я класу в позакласовому деклараторі визначення функції

Ця програма призводить до небажаного розбору жадібності в тупику:

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

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

: 8: 1: помилка: жоден член з ім'ям "C" у "float4x4"; ти мав на увазі просто "С"?
float4x4 :: C :: M ()
^ ~~~~~~~~~~~

Що можна "виправити", використовуючи зворотний тип повернення:

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

тепер все добре.

Отже, я вважаю, що ми не можемо повністю визначити ім'я класу під час використання синтаксису декларатора заголовка типу?

Ви можете поставити дужки для роз'єднання:

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

Я не можу реально сказати вам, яке правило робить це нормально, хоча це не без дужок, хоча я тестував з gcc та clang (обидва -pedantic). Я вважаю за краще типовий тип повернення.