Здравствуйте, Went, Вы писали:

W>1. Почему тип T выводится как int, а не как int&?
W>2. Чем руководствовались разработчики стандарта?
W>3. Как это обойти?

W>Спасибо.

Просматривая бегло стандарт, я нашел к примеру в разделе "14.8.2.3 Deducing conversion function template arguments" следующее предложение:

"If A is a reference type, the type referred to by A is used for type deduction."

Если внимательно просмотреть стандарт, я думаю, можно найти аналогичное утверждение и для других случаев вывода параметров шаблона.