В чем причина вторых скобок < > в следующем шаблоне функции:
template<> void doh::operator()<>(int i)
Это появилось в SO вопрос, где было высказано предположение о том, что после operator() отсутствуют скобки, однако я не мог найти объяснения.
Я понимаю смысл, если это была специализация типа (полная специализация) формы:
template< typename A > struct AA {};
template<> struct AA<int> {}; // hope this is correct, specialize for int
Однако для шаблонов функций:
template< typename A > void f( A );
template< typename A > void f( A* ); // overload of the above for pointers
template<> void f<int>(int); // full specialization for int
Где это вписывается в этот сценарий?:
template<> void doh::operator()<>(bool b) {}
Пример кода, который, кажется, работает и не дает никаких предупреждений/ошибок (используется gcc 3.3.3):
#include <iostream>
using namespace std;
struct doh
{
void operator()(bool b)
{
cout << "operator()(bool b)" << endl;
}
template< typename T > void operator()(T t)
{
cout << "template <typename T> void operator()(T t)" << endl;
}
};
// note can't specialize inline, have to declare outside of the class body
template<> void doh::operator()(int i)
{
cout << "template <> void operator()(int i)" << endl;
}
template<> void doh::operator()(bool b)
{
cout << "template <> void operator()(bool b)" << endl;
}
int main()
{
doh d;
int i;
bool b;
d(b);
d(i);
}
Вывод:
operator()(bool b)
template <> void operator()(int i)
