為什么我不能通過模板參數聲明一種友元函數，但可以使用別名

Question

考慮一下代碼：

template <class T>
class Bar {
    int foobar;
    using X = T();
    friend X foo;
};

void foo() {
    Bar<void> bar;
    bar.foobar = 1;
    static_cast<void>(bar);
}

int main() {}

在gcc和clang中編譯都很好。 但看似相同的代碼：

template <class T>
class Bar {
    int foobar;
    friend T foo;
};

void foo() {
    Bar<void()> bar;
    bar.foobar = 1;
    static_cast<void>(bar);
}

int main() {}

導致gcc和clang都出錯。 為什么模板參數在這里與別名等效？

Answer 1

因為T foo被解析為對象的聲明，並且模板的實例化不能將對象的聲明更改為函數的聲明。

C ++標准/ [temp.spec]：

如果函數聲明通過依賴類型（17.7.2.1）獲取其函數類型而不使用函數聲明符的語法形式，則該程序格式錯誤。