Dlaczego pojawia się błąd podczas próby wywołania funkcji elementu szablonu z jawnym parametrem typu?

Question

Nie rozumiem, wydaje mi się, że wywołanie f jest całkowicie jednoznaczne, ale nie udało się skompilować z expected primary-expression before ‘int’. Jeśli skomentuję linię z połączeniem do f, kompiluje się dobrze.

template<typename T> 
struct A { 
    template<typename S> 
    void f() { } 
}; 

template<typename T> 
struct B : A<T> { 
    void g() { 
     this->f<int>(); 
    } 
}; 

Answer 1

Wynika to naprawdę niejasne postanowienia standardu, w którym, jeśli masz szablon, który próbuje uzyskać dostęp do funkcji szablonu w obiekcie, którego rodzaj zależy od szablonu argumentu, trzeba użyć słowa kluczowego template w dziwny sposób:

this->template f<int>(); 

ta jest podobna do tajemniczości z typename że wyjdzie z typów zależnych, o ile zastosowane do funkcji. W szczególności, jeśli pominąć słowa kluczowego template, tam parsowania dwuznaczność pomiędzy

this->f<int>() 

(czego nie przeznaczonych), a

((this->f) < int) >() 

który nie ma sensu (stąd swój błąd). Użycie słowa kluczowego template ujednolica i zmusza kompilator do rozpoznania, że ​​patrzy on na całkowicie poprawne wywołanie funkcji szablonu, a nie na zniekształconą masę symboli.

Mam nadzieję, że to pomoże!