adres funkcji szablonu C++

Question

Dlaczego to się nie kompiluje? (G ++ - 4,5)

template < typename U > 
static void h() { 
} 

int main() { 
    auto p = &h<int>; // error: p has incomplete type 
} 

EDIT: Oto obejście:

template < typename U > 
static void h() { 
} 

int main() { 
    typedef decltype (&h<int>) D; 
    D p = &h<int>; // works 
} 

Answer 1

w C++ 0x to jest gwarantowane do pracy. Jednak w C++ 03 to nie działało (część inicjalizacyjna, to znaczy) i niektóre kompilatory najwyraźniej jeszcze go nie obsługują.

Co więcej, pamiętam, że napisy w C++ 0x nie są jasne, co dzieje się z &h<int>, gdy jest to argument do szablonu funkcji i wyprowadza się odpowiedni parametr (to jest to, do czego auto jest tłumaczone, koncepcyjnie). Chodzi jednak o to, aby była ona ważna. Zobacz this defect report, gdzie zaprojektowali oni tekst, przykład "Nico Josuttis" i ich ostateczny przykład.

Istnieje inna zasada, która wymusza stosowanie sformułowania, ale kompilatory nie implementują poprawnie. Na przykład see this clang PR.

Answer 2

To nie kompiluje ponieważ typu 'p' nie jest znany kompilator, który jest koniecznością w C++, w przeciwieństwie do niektórych innych języków.

Spróbuj

template < typename U > 
static void h() { 
} 

int main() { 
    auto void (*p)() = &h<int>; 
} 

Answer 3

Spróbuj

auto p = static_cast<void(*)()>(& h<int>); 

Ponieważ gcc traktuje funkcję jak przeciążony jednej matrycy. Z punktu widzenia gcc jest tak, jakbyś miał h(int param) i h(float param) - który z kompilatorów musi wybrać?

Zauważyłem, jaki był problem w starszych wersjach gcc, ale spróbuję wyjaśnić to dokładniej. GCC nie mógł wydedukować typu, ponieważ funkcja szablonowa była traktowana jak przeciążona. To było w zasadzie jak to masz następujące elementy:

void h(int) 
{ 
} 

void h(float) 
{ 
} 

void (*p)(int) = & h; //ok 
void (*p)(float) = & h; //ok 
auto p = & h; //error: which version of h? 

Dla gcc h<int> było jak przeciążony h funkcji z niekończącymi alternatyw zależności T parametru. Z podanym kodem był O.K. aby wykonać następujące czynności:

void (*p)() = & h<int>; 

(dlatego ja nie dostać typedefed „obejście”)

Tak jak myślałem OP chciał użyć C++ 11 auto hasła jak sugeruje znacznika, Statycznie odlewałem h<int> na void(*)(), co jest rodzajem braku operacji, po to tylko, aby oszukać gcc, ponieważ nie było w stanie poprawnie obsłużyć funkcji szablonów i nie było możliwe.

Funkcje void h<int>() i void h<float>() powinny być oczywiście traktowane jak różne funkcje za pomocą tego samego typu wskaźnika, a nie przeciążać wersji funkcji h.Gdy instancja powinni zachowywać się jak void hInt() i void hFloat() i powinieneś być w stanie wykorzystać auto jak tutaj:

void hInt() 
{ 
} 

void hFloat() 
{ 
} 

auto p = hInt; 
p = hFloat; 

Ale z jakiegoś powodu dla gcc byli jak przeciążonych wersji h.

Podaj powód do odrzucenia.