Dlaczego Standard zabrania przyjacielskich deklaracji specjalizacyjnych częściowych?

Question

Standard C++ zakazuje znajomości deklaracji specjalizacyjnych częściowych. (§14.5.3/8):

Oświadczenia o przyjacielu nie będą deklarowały specjalizacji częściowych. [Przykład:

template<class T> class A { }; 
class X { 
    template <class T> friend class A<T*>; //error 
}; 

--end przykład]

pytania, na przykład this one, otrzymałem odpowiedzi, które wywołują ten zakaz, ale chciałbym poznać uzasadnienie . Nie widzę go i nie mogę go znaleźć w mojej ulubionej wyszukiwarce. I może się jednak zdarzyć, że od razu powróci do standardu C++ 98, więc prawdopodobnie jest to bardzo proste i oczywiste uzasadnienie. Czy ktoś może mi to wytłumaczyć?

Answer 1

Oto undirect wyjaśnienie: http://www.cprogramming.com/tutorial/template_specialization.html

Ostateczna szczegółów wdrażania wyjdzie z częściowych specjalizacji: jaki sposób pick kompilator który specjalizacja w obsłudze jeśli istnieje kombinacja typów całkowicie generycznych, niektóre częściowe specjalizacje, , a może nawet niektóre pełne specjalizacje? Ogólną regułą jest , że kompilator wybierze najbardziej konkretny szablon specjalizacji - najbardziej specyficzna specjalizacja szablonu to ta, której specjalizuje się w szablonach, których argumenty są akceptowane przez inne deklaracje szablonu, ale które nie przyjmą wszystkich możliwych argumentów te inne szablony o tej samej nazwie będą akceptowane.

Wnioskuję, że być może nie jest możliwe uniknięcie dwuznaczności przy określaniu typu specjalizacji.

Answer 2

Nie mam referencji, ale podejrzewam, że dzieje się tak, ponieważ spowodowałoby to deklarowanie częściowej specjalizacji w zakresie klasy deklarującej przyjaciela, a nie zakresu danego szablonu, a nie tworzenie zestaw reguł, które wymuszają na deklaracji przyjaciela, że ​​specjalizacja jest w odpowiednim zakresie, po prostu ją zakazują.