Jakie są przesłanki dotyczące składni wybranej do deklarowania znajomych z szablonu?

Question

Deklarowanie znajomych funkcji szablonów wymaga niewiarygodnie nieintuicyjnej składni, nawet w C++! Jakie jest uzasadnienie wyboru składni dla potrzebnej dodatkowej <>? Czy nie byłoby lepiej używać słowa kluczowego template?

Dla tych, którzy nie wiedzą o tym, tutaj jest przykładem tego, co można spróbować zrobić:

template <typename T> 
class Foo 
{ 
    int x; 
    friend void bar(Foo<T>); 
}; 

template <typename T> 
void bar(Foo<T> f) 
{ 
    std::cout << f.x; 
} 

Jeśli spróbujesz zadzwonić bar(Foo<T>()), dostaniesz błędy linkera.

Aby rozwiązać ten problem, należy przesłać dalej deklarację bar (a tym samym Foo), a następnie umieścić dziwnie umieszczone <> w deklaracji przyjaciela.

template <typename T> class Foo; 
template <typename T> void bar(Foo<T>); 

template <typename T> 
class Foo 
{ 
    int x; 
    friend void bar<>(Foo<T>); // note the <> (!?) 
}; 

template <typename T> 
void bar(Foo<T> f) 
{ 
    std::cout << f.x; 
} 

Moje pytanie brzmi, jakie jest uzasadnienie składni <>? Czy nie byłoby bardziej intuicyjnie używać słowa kluczowego template lub czegoś podobnego?

EDIT: Do wyjaśnienia, już wiem dlaczego <> jest wymagane, co chcę wiedzieć, dlaczego zdecydowali się użyć <> disambiguate go zamiast innego bardziej intuicyjnej składni.

Answer 1

Cytowanie this page:

Funkcja non-szablon nazywa, ponieważ funkcja nie szablon ma pierwszeństwo w rozdzielczości przeciążenia.

Więc moja Odgadnij friend void bar<>(Foo<T>); jest intuicyjna, ponieważ chcemy, aby upewnić się, że funkcja szablon dzwonisz i nie przeciążenia dla Foo<T>. W przeciwnym razie kompilator nie zauważyłby, czy szablonowa lub niesformowana funkcja jest przyjacielem klasy.

Dlaczego składnia <> jest używana, a nie składnia template nie jest dla mnie jasna.

Answer 2

Czekaj. Nie deklarujesz szablonu znajomego. Deklarujesz specjalizację szablonu jako przyjaciela! W związku z tym, dlaczego chcesz umieścić tam klauzulę template?

Składnia nazw specjalności szablonów funkcji to teplateName<ArgumentList>, i to jest to, czego należy użyć zgodnie ze Standardem w deklaracjach przyjaciół.

Jeśli chcesz się zaprzyjaźnić cały szablon i wszystkie specjalizacje generowane i wyraźnie wyspecjalizowane, można jeszcze zrobić, a potem może użyć klauzuli szablonu

template<typename U> 
friend void bar(Foo<U>);