шаблоны член-функций и перегрузкой оператора() в C++

Question

Следующий фрагмент кода работает для меня:

class Foo { 
public: 
    template <class T> T& get() { ... } 
}; 

Foo foo; 
foo.get<int>() = ...; 

Однако, следующий фрагмент кода не работает для меня:

class Foo { 
public: 
    template <class T> T& operator()() { ... } 
}; 

Foo foo; 
foo<int>() = ...; 

Ошибки являются:

expected primary-expression before '>' token 
expected primary expression before ')' token 

Обе ошибки относятся к foo<int>()

Почему это не работает, и можно ли это исправить?

Answer 1

Если вам нужно явно указать аргумент шаблона, вам нужно будет использовать operator синтаксис:

foo.operator()<int>() 

Существует нет способа указать аргументы, используя синтаксис вызова функции. Если вы не можете вывести аргументы шаблона из аргументов функции, лучше использовать функцию-член, чем перегрузку оператора.

Answer 2

В качестве альтернативы вы можете сделать это

class Foo { 
public: 
    template <class T> operator T&() { ... } 
}; 

Тогда он будет автоматически вызывать правильную функцию в зависимости от типа «возврата»:

Foo foo; 
int i=foo; 

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

Answer 3

Проблема в том, что список параметров шаблона находится не в том месте; это как если бы вы пытались использовать объект или функцию с именем foo с аргументом шаблона int, но на самом деле это operator(), что вы хотите включить список параметров шаблона.

К сожалению (возможно, так, по крайней мере), нет никакого способа обойти это с операторами. Вы должны называть их полными функциями:

class Foo { 
public: 
    template <class T> T& operator()() { ... } 
}; 

Foo foo; 
foo.operator()<int> = ...; 

Надеюсь, это поможет.