int i;

int& ri = i; void print( int );

int main() {

print( i ); аргумент - это lvalue типа int print( ri ); то же самое return 0;

совпадает с типом соответствующего объекта:

Фактический аргумент в обоих вызовах имеет тип int. Использование ссылки для его передачи во втором вызове не влияет на сам тип аргумента.

Стандартные преобразования и расширения типов, рассматриваем1е компилятором, одинаковы для случаев, когда фактический аргумент является ссылкой на тин T и когда

int i;

int& ri = i;

void calc( double );

int main() {

calc( i ); стандартное преобразование между целым типом

и типом с плавающей точкой calc( ri ); то же самое return 0;

он сам имеет такой тин. Например:

А как влияет на преобразования, нрименяем1е к фактическому аргументу, формальный параметр-ссылка? Сопоставление дает следующие результаты:

фактический аргумент подходит в качестве инициализатора параметра-ссылки.

void swap( int &, int & ); void manip( int i1, int i2 ) {

...

swap( i1, i2 ); правильно: вызается swap( int &, int & )

...

return 0;

В таком случае мы говорим, что между ними есть точное соответствие:

9.3.4. Ссылки

Фактический аргумент или формальный параметр функции могут быть ссылками. Как это влияет на правила преобразования типов?

Рассмотрим, что происходит, когда ссылкой является фактический аргумент. Его тин никогда не бывает ссылочн1м. Аргумент-сс1лка трактуется как l-значение, тин которого

int obj;

void frd( double & ); int main() {

frd( obj ); ошибка: параметр доен иметь иметь тип const double & return 0;

функции. Например:

Вызов функции frd() является ошибкой. Фактический аргумент имеет тип int и должен быть преобразован в тип double, чтобы соответствовать формальному параметру-ссылке. Результатом такой трансформации является временная переменная. Поскольку ссылка не имеет спецификатора const, то для ее инициализации такие переменные использовать нельзя.

Вот еще один пример, в котором между формальным параметром-ссылкой и

class B; void takeE

B( B& ); B giveB();

int main() {

takeB( giveB() ); ошибка: параметр должен быть типа const B & return 0;

фактическим аргументом нет соответствия:

Вызов функции takeB() - ошибка. Фактический аргумент - это возвращаемое значение, т. е. временная переменная, которая не может быть использована для инициализации ссылки без спецификатора const.

В обоих случаях мы видим, что если формальный параметр-ссылка имеет спецификатор const, то между ним и фактическим аргументом может быть установлено точное соответствие.

Следует отметить, что и преобразование 1-значения в г-значение, и инициализация ссылки считаются точными соответствиями. В данном примере первый вызов функции

void print( int void print( int

int& )

int iobj;

int &ri = iobj;

int main() {

print( iobj ); ошибка: неоднозначность

print( ri ); ошибка: неоднозначность

print( 86 ); правильно: вызывается print( int )

return 0;

приводит к ошибке:

фактический аргумент не может инициализировать параметр-ссылку. В такой ситуации точного соответствия нет, и аргумент нельзя использовать для вызова

Объект iobj - это аргумент, для которого может быть установлено соответствие с обеими функциями print(), то есть вызов неоднозначен. То же относится и к следующей строке, где ссылка ri обозначает объект, соответствующий обеим функциям print() . С третьим вызовом, однако, все в порядке. Для него print(int&) не является устоявшей. Целая константа - это г-значение, так что она не может инициализировать параметр-ссылку. Единственной устоявшей функцией для вызова print(86) является print(int) , поэтому она и выбирается при разрешении перегрузки.

Короче говоря, если формальный параметр представляет собой ссылку, то для фактического аргумента точное соответствие устанавливается, если он может инициализировать ссылку, и не устанавливается в противном случае.

Упражнение 9.6

Назовите два тривиальных преобразования, допустимых при установлении точного соответствия.

Упражнение 9.7

(a) void print( int *, int ); int arr[6];

print( arr, 6 ); вызов функции

(b) void manip( int, int ); manip( a, z ); вызов функции

(c) int calc( int, int ); double dobj;

double = calc( 55.4, dobj ) вызов функции

(d) void set( const int * );

int *pi;

Каков ранг каждого из преобразований аргументов в следующих вызовах функций:

set( pi ); вызов функции

Упражнение 9.8

Какие из данных вызовов ошибочны из-за того, что не существует преобразования между типом фактического аргумента и формального параметра: