17 Templates [temp]

17.8 Function template specializations [temp.fct.spec]

17.8.2 Template argument deduction [temp.deduct]

17.8.2.2 Deducing template arguments taking the address of a function template [temp.deduct.funcaddr]

Аргументы шаблона могут быть выведены из типа, указанного при взятии адреса файла overloaded function. Тип функции шаблона функции и указанный тип используются как типы P и A, и вычитание выполняется, как описано в [temp.deduct.type].

В placeholder type возвращаемом типе шаблона функции A - это невыведенный контекст. Если вывод аргумента шаблона для такой функции завершается успешно, тип возвращаемого значения определяется при создании экземпляра тела функции.