действительный аргумент шаблона

Question

Аргумент шаблона может быть константным выражением (§C.5), адресом объекта или функции с внешней связью (§9.2) или неперегруженным указателем на член (§15.5) , Указатель, используемый в качестве аргумента шаблона, должен иметь вид &ooff, где ooff - это имя объекта или функции или формы ff, где ff - это имя функции. Указатель на член должен иметь вид &XX::ooff, где ooff - это имя участника. В частности, строковый литерал неприемлем в качестве аргумента шаблона.

Это из стройстовой книги. Какова логика того, что разрешено, а что нет? Почему строковый литерал неприемлем?

Я понимаю, что компилятор должен иметь возможность выводить тип аргумента, чтобы он мог генерировать код внутри этого типа. Спасибо за помощь

Answer 1

Компилятор не выводит типы аргументов шаблона непигового типа. Они указаны программистом. Нечего выводить.

Требования, предъявляемые к поставщику, позволяют во время компиляции определять, равны ли два указателя. Это, в свою очередь, необходимо для определения того, относятся ли два использования шаблона класса (шаблон функции) к одному типу (функции).