Come utilizzare un puntatore a funzione su una funzione membro statica come parametro di modello?

Question

Questo codice

template <void (*func)()> 
static void call() { func(); } 

template <typename T> 
struct A { 
    A() { call<static_func>(); } // <--- error 
    static void static_func() {} 
}; 

A<int> a; 

int main() {} 

risultati nel seguente messaggio di errore (GCC 4.4.5):

test.cc:6: error: 'static void A<T>::static_func() [with T = int]' 
        cannot appear in a constant-expression 

L'errore scompare dopo aver fatto una delle seguenti operazioni:

1. Qualificare il parametro modello di call con A:: o A<T>::, ovvero utilizzare call<A::static_func>() anziché call<static_func>().

2. Rimuovere il parametro di modello di A, ovvero rendere A una classe non modello.

3. Effettuare static_func() una funzione globale (con collegamento esterno).

Perché il codice sopra riportato è sbagliato? E perché funzionano le correzioni menzionate? Soprattutto 1 e 2 mi sembrano molto strani. A giudicare dal messaggio di errore, la qualifica aggiuntiva non sembra fornire alcuna informazione che il compilatore non sappia comunque.

Answer 1

Questo è un bug in GCC.