специализация шаблона для статических функций-членов; как?

Question

Я пытаюсь реализовать функцию шаблона с ручками void по-разному, используя специализированную специализацию.

Следующий код дает мне «Явное специализации в рамках без имен» в НКУ:

template <typename T> 
static T safeGuiCall(boost::function<T()> _f) 
{ 
    if (_f.empty()) 
     throw GuiException("Function pointer empty"); 
    { 
     ThreadGuard g; 
     T ret = _f(); 
     return ret; 
    } 
} 

// template specialization for functions wit no return value 
template <> 
static void safeGuiCall<void>(boost::function<void()> _f) 
{ 
    if (_f.empty()) 
     throw GuiException("Function pointer empty"); 
    { 
     ThreadGuard g; 
     _f(); 
    } 
} 

Я пытался сдвинув его из класса (класс не шаблонный) и в пространстве имен, но то я получаю ошибку «Явная специализация не может иметь класс хранения». Я много читал об этом, но люди, похоже, не согласны с тем, как специализировать шаблоны функций. Есть идеи?

Answer 1

Когда вы специализировать шаблонный метод, вы должны сделать это за пределами класса скобок:

template <typename X> struct Test {}; // to simulate type dependency 

struct X // class declaration: only generic 
{ 
    template <typename T> 
    static void f(Test<T>); 
}; 

// template definition: 
template <typename T> 
void X::f(Test<T>) { 
    std::cout << "generic" << std::endl; 
} 
template <> 
inline void X::f<void>(Test<void>) { 
    std::cout << "specific" << std::endl; 
} 

int main() 
{ 
    Test<int> ti; 
    Test<void> tv; 
    X::f(ti); // prints 'generic' 
    X::f(tv); // prints 'specific' 
} 

Когда вы берете его за пределами класса, вы должны удалить ключевое слово «статическое». Статическое ключевое слово вне класса имеет конкретное значение, отличное от того, что вы, вероятно, хотите.

template <typename X> struct Test {}; // to simulate type dependency 

template <typename T> 
void f(Test<T>) { 
    std::cout << "generic" << std::endl; 
} 
template <> 
void f<void>(Test<void>) { 
    std::cout << "specific" << std::endl; 
} 

int main() 
{ 
    Test<int> ti; 
    Test<void> tv; 
    f(ti); // prints 'generic' 
    f(tv); // prints 'specific' 
} 

Answer 2

Вы можете объявить явную специализацию таким же образом, вы бы определить функцию-член вне своего класса:

class A 
{ 
public: 
    template <typename T> 
    static void foo() {} 
}; 

template <> 
void A::foo<void>() 
{ 
} 

Answer 3

Ваша проблема, как представляется, с функцией повышающего :: - следующие специализации работы:

Answer 4

Это не непосредственно ответ на свой вопрос, но вы можете написать эту

template <typename T> 
static T safeGuiCall(boost::function<T()> _f) 
{ 
     if (_f.empty()) 
       throw GuiException("Function pointer empty"); 
     { 
       ThreadGuard g; 
       return _f(); 
     } 
} 

Он должен работать, даже если _f() return 'void'

Редактировать: В более общем случае, я думаю, нам следует предпочесть перегрузку функции вместо специализации. Вот хорошее объяснение: http://www.gotw.ca/publications/mill17.htm

Answer 5

У меня была аналогичная проблема. Если вы посмотрите на исходный пост, я оставил первый статический вход, но вынул второй, и ОБА ошибки исчезли.