Как использовать указатель функции на статическую функцию-член в качестве параметра шаблона?

Этот код

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

Ошибка исчезает после выполнения любого из следующих действий:

  1. Укажите параметр шаблона вызова с помощью A :: или A :: , то есть используйте call () вместо вызовите () .

  2. Удалите параметр шаблона A , то есть сделайте A нешаблонным классом.

  3. Сделайте static_func () глобальной функцией (с внешней связью).

Почему приведенный выше код неверен? И почему упомянутые исправления работают? Особенно 1 и 2 кажутся мне очень странными. Судя по сообщению об ошибке, дополнительная квалификация не дает никакой информации, которую компилятор все равно не знает.

12
задан Sven Marnach 14 November 2011 в 15:00
поделиться