В каких случаях можно использовать шаблон как обычный метод или конструктор класса, опуская угловые скобки (не просто default value и <>, а вызов, который ничем внешне не отличается от вызова метода, макросы не предлагать) ?  

Если это шаблон функции/метода и  тип шаблонных параметров можно вывести из аргументов.


Это сообщение отредактировал(а) mes - 15.12.2008, 22:57

Предположим есть 2 шаблона с одним именем и одинаковыми параметрами, но в каждом возвращается свой тип T, может ли компилер по l-value определить какой использовать ?

Так например

нет
если темплетный тип будет возвращаемым типом, который нельзя вывести из аргументов - будет "could not deduce" - т.к. до того, как использовать функцию, компилятор ее должен инстанциировать
если будет две темплетные функции с одинаковыми сигнатурами но разными возвращаемыми типами - будет "ambiguous call" - т.к. компилятор производит подбор функции после инстанциирования всех вариантов, не вникая какой тип возвращается, т.к. возвращаемый тип не входит в сигнатуру и перегрузку

Я немного поискал, максимум что нашел это перегрузку типов в шаблонном классе. Но там есть свой жирный минус.

Интересно почему возвращаемое значение не включили в сигнатуру. Уже начали приходить в голову извращенные мысли на тему дефолтных значений на возврате, если ничего не возвращается, так например:



  

Ладно, вопрос решен.