Перегрузки и Шаблон Комбинированный

Question

Ниже код заставил меня путать:

1. Я ожидал operator+<int> дать ошибку во время компиляции, так как оператор перегрузки мандатов по крайней мере, один не-собственного типа. Если я попробую int operator+(int i, int j), он терпит неудачу. Но это не создавало никаких проблем, почему?

2. Если я звоню 2+3, не звонит ли он operator+, я должен явно указать operator+<int>?

3. Есть ли лучший способ, кроме того, написать operator+<int>, чтобы назвать мое определение operator+?

4. Есть ли место, куда я могу обратиться, что объясняет это лучше?

ПРИМЕЧАНИЕ: Я использовал "Sun C++ 5,10"

#include <iostream> 

using namespace std; 

template <typename T> 
T operator+(T i, T j) 
{ 
     return i+j; 
} 

int main() 
{ 
     cout<<2+3; 
     cout<<operator+<int>(2,3); 
     cout<<endl; 
} 

Выход, как показано ниже,

bash-2.03$ ./a.out 

55 

Answer 1

Я думаю, что ответ на этот вопрос достаточно прост: это ошибка компилятора! Соответствующая цитата приведена выше. Пункт 6, первое предложение (от C++ 2011):

Операторская функция должна быть либо нестатической функцией-членом, либо быть нечленой функцией и иметь как минимум одну параметр, тип которого представляет собой класс, ссылку на класс, перечисление или ссылку на перечисление.

Я проверил ваш код с текущими версиями интерфейса EDG, g ++ и clang ++, и все они правильно отклонили код.