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

• Если exprпредставляет собой rvalue, применяются “обычные” правила (из случая 1). Примеры

template

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

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

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

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

f(x); // x - lvalue, так что Т - int&,

// тип param также является int&

f(cx); // cx - lvalue, так что Т - const int&,

// тип param также является const int&

f(rx); // rx - lvalue, так что Т - const int&,

// тип param также является const int&

f(27); // 27 - rvalue, так что Т - int,

// следовательно, тип param - int&&

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

Когда ParamTypeне является ни указателем, ни ссылкой, мы имеем дело с передачей по значению:

template

void f( Tparam); // param передается по значению

Это означает, что paramбудет копией переданного функции — совершенно новым объектом. Тот факт, что paramбудет совершенно новым объектом, приводит к правилам, которые регулируют вывод Тиз expr.

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

2. Если после отбрасывания ссылочной части exprявляется const, это также игнорируется. Игнорируется и модификатор volatile(объекты volatileявляются редкостью и в общем случае используются только при реализации драйверов устройств; детальную информацию на эту тему вы найдете в разделе 7.6.)

Таким образом, получаем следующее:

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

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

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

f(x); // Типами и Т, и param являются int

f(cx); // Типами и Т, и param вновь являются int

f(rx); // Типами и Т, и param опять являются int

Обратите внимание, что даже несмотря на то, что cxи rxпредставляют константные значения, paramне является const. Это имеет смысл. paramпредставляет собой объект, который полностью независим от cxи rx, — это копия cxили rx. Тот факт, что cxи rxне могут быть модифицированы, ничего не говорит о том, может ли быть модифицирован param. Вот почему константность expr(как и volatile, если таковой модификатор присутствует) игнорируется при выводе типа param: то, что exprне может быть модифицировано, не означает, что таковой должна быть и его копия.

Важно понимать, что const(и volatile) игнорируются только параметрами, передаваемыми по значению. Как мы уже видели, для параметров, которые являются ссылками или указателями на const, константность exprпри выводе типа сохраняется. Но рассмотрим случай, когда exprпредставляет собой const-указатель на константный объект, а передача осуществляется по значению:

template

void f( Тparam); // param передается по значению

const char* const ptr = // ptr - константный указатель на

"Fun with pointers"; // константный объект

f(ptr); // Передача arg типа const char* const

Здесь constсправа от звездочки объявляет ptrконстантным: ptrне может ни указывать на другое место в памяти, ни быть обнуленным. ( constслева от звездочки гласит, что ptrуказывает на то, что (строка символов) является const, а следовательно, не может быть изменено.) Когда ptrпередается в функцию f, биты, составляющие указатель, копируются в param. Как таковой сам указатель ( ptr ) будет передан по значению . В соответствии с правилом вывода типа при передаче параметров по значению константность ptrбудет проигнорирована, а выведенным для paramтипом будет const char*, т.е. изменяемый указатель на константную строку символов. Константность того, на что указывает ptr, в процессе вывода типа сохраняется, но константность самого ptrигнорируется при создании нового указателя param.

Мы рассмотрели большую часть материала, посвященного выводу типов шаблонов, но есть еще один угол, в который стоит заглянуть. Это отличие типов массивов от типов указателей, несмотря на то что зачастую они выглядят взаимозаменяемыми. Основной вклад в эту иллюзию вносит то, что во множестве контекстов массив преобразуется в указатель на его первый элемент. Это преобразование позволяет компилироваться коду наподобие следующего: