Скотт Мейерс - Эффективный и современный С++. 42 рекомендации по использованию С++11 и С++14

• ParamTypeпредставляет собой указатель или ссылку, но не универсальную ссылку. (Универсальные ссылки рассматриваются в разделе 5.2. Пока что все, что вам надо знать, — что они существуют и не являются ни ссылками lvalue, ни ссылками rvalue.)

• ParamTypeявляется универсальной ссылкой.

• ParamTypeне является ни указателем, ни ссылкой.

Следовательно, нам надо рассмотреть три сценария вывода. Каждый из них основан на нашем общем виде шаблонов и их вызова:

templateТ>

void f( ParamType param);

f( expr ); // Вывод Т и ParamType из expr

Простейшая ситуация — когда ParamTypeявляется ссылочным типом или типом указателя, но не универсальной ссылкой. В этом случае вывод типа работает следующим образом.

1. Если типом exprявляется ссылка, ссылочная часть игнорируется.

2. Затем выполняется сопоставление типа exprс ParamTypeдля определения Т. Например, если у нас имеются шаблон

template

void f( T&param); // param представляет собой ссылку

и объявления переменных

int x = 27; // x имеет тип int

const int cx = x; // cx имеет тип const int

const int& rx = x; // rx является ссылкой на x как на const int

то выводимые типы для paramи Тв различных выводах будут следующими:

f(x); // Т - int, тип param - int&

f(cx); // Т - const int, тип param - const int&

f(rx); // Т - const int, тип param - const int&

Во втором и третьем вызовах обратите внимание, что, поскольку cxи rxобъявлены как константные значения, Твыводится как const intтем самым приводя к типу параметра const int&. Это важно для вызывающего кода. Передавая константный объект параметру-ссылке, он ожидает, что объект останется неизменным, т.е. что параметр будет представлять собой ссылку на const. Вот почему передача константного объекта в шаблон, получающий параметр T&, безопасна: константность объекта становится частью выведенного для Ттипа.

В третьем примере обратите внимание, что несмотря на то, что типом rxявляется ссылка, тип Tвыводится как не ссылочный. Вот почему при выводе типа игнорируется “ссылочность” rx.

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

Если мы изменим тип параметра fс Т&на const Т&, произойдут небольшие изменения, но ничего удивительного не случится. Константность cxи rxпродолжает соблюдаться, но поскольку теперь мы считаем, что paramявляется ссылкой на const, constкак часть выводимого типа Tне требуется:

template

void f( const T&param); // param является ссылкой на const

int x = 27; // Как и ранее

const int cx = x; // Как и ранее

const int& rx = x; // Как и ранее

f(x); // Т - int, тип param - const int&

f(cx); // Т - int, тип param - const int&

f(rx); // Т - int, тип param - const int&

Как и ранее, “ссылочность” rxпри выводе типа игнорируется.

Если бы paramбыл указателем (или указателем на const), а не ссылкой, все бы работало, по сути, точно так же:

template

void f( T*param); // Теперь param является указателем

int x = 27; // Как и ранее

const int *px = &x; // px - указатель на x, как на const int

f(&x); // Т - int, тип param - int*

f(px); // Т - const int, тип param - const int*

Сейчас вы можете обнаружить, что давно усердно зеваете, потому что все это очень скучно, правила вывода типов в С++ работают так естественно для ссылок и указателей, что все просто очевидно! Это именно то, что вы хотите от системы вывода типов.

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

• Если exprпредставляет собой lvalue, как Т, так и ParamTypeвыводятся как lvalue-ссылки. Это вдвойне необычно. Во-первых, это единственная ситуация в выводе типа шаблона, когда Т выводится как ссылка. Во-вторых, хотя ParamTypeобъявлен с использованием синтаксиса rvalue-ссылки, его выводимым типом является lvalue-ссылка.