Этот код
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() {}
приводит к следующему сообщению об ошибке (gcc 4.4.5):
test.cc:6: error: 'static void A<T>::static_func() [with T = int]'
cannot appear in a constant-expression
Ошибка исчезает после выполнения любого из следующих действий:
Укажите параметр шаблона вызова
с помощью A ::
или A
, то есть используйте call ()
вместо вызовите
.
Удалите параметр шаблона A
, то есть сделайте A
нешаблонным классом.
Сделайте static_func ()
глобальной функцией (с внешней связью).
Почему приведенный выше код неверен? И почему упомянутые исправления работают? Особенно 1 и 2 кажутся мне очень странными. Судя по сообщению об ошибке, дополнительная квалификация не дает никакой информации, которую компилятор все равно не знает.