Specializzazione del modello C ++ della funzione: & # 8220; uso illegale di argomenti espliciti del modello & # 8221;

Question

Il seguente codice di specializzazione del modello:

template<typename T1, typename T2>
void spec1()
{

}

Caso di prova 1:

template< typename T1> //compile error
void spec1<int>()
{

}

Test case 2:

template< typename T2> //compile error
void spec1<int>()
{

}

genera il seguente errore di compilazione:

  

errore C2768: 'spec1': uso illegale di argomenti espliciti del modello

Qualcuno sa perché?

Answer 1

I modelli di funzione non possono essere parzialmente specializzati, solo in modo completo, ovvero in questo modo:

template<>
void spec1<char, int>()
{

}

Per quale motivo i modelli di funzioni non possono essere parzialmente specializzati, potresti voler leggere questo .

Quando ti specializzi parzialmente (possibile solo per le lezioni), dovresti farlo in questo modo:

template <typename T1>
class class1<T1, int>
{

};

quindi devi elencare di nuovo T1 .

Per come sono scritte le tue specializzazioni, sarebbero ambigue per spec1 < int, int > .