Читать «Справочное руководство по C++» онлайн - страница 77

При сопоставлении параметров рассматривают функцию с числом стандартных значений параметров (§R.8.2.6), равным n, как n+1 функций с различным числом параметров.

При сопоставлении параметров нестатическую функцию-член рассматривают как функцию, имеющую дополнительный параметр, указывающий на объект, для которого вызывается функция. Этот дополнительный формальный параметр должен сопоставляться или с объектом, или с указателем на объект, заданными в явной операции вызова функции-члена (§R.5.2.4), или же с первым операндом перегруженной функции operator (§R.13.4). Для этого дополнительного параметра не используется никаких временных объектов, а для достижения сопоставления не производится никаких пользовательских преобразований типа.

Если явно вызывается член класса X, используя указатель и операцию -›, то считается, что дополнительный параметр имеет тип const* X для членов типа const, volatile* X для членов типа volatile и X* для всех остальных членов. Если явно вызывается функция-член, используя объект и операцию., а также, если вызывается функция для первого операнда перегруженной функции operator (§R.9.4), то считается, что дополнительный параметр имеет тип: const X& для членов типа const, volatile X& для членов типа volatile и X& для всех остальных членов. Первый операнд для -›* и .* рассматривается так же, как и первый операнд для -› и . соответственно.

Эллипсис в списке формальных параметров (§R.8.2.5) может сопоставляться с фактическим параметром любого типа.

Для данного фактического параметра допускается только такая последовательность преобразований типа, которая содержит не более одного пользовательского преобразования. Ее нельзя сократить, исключив одно или несколько преобразований, до последовательности, которая также приводит к типу, сопоставимому с типом рассматриваемого формального параметра. Такая последовательность преобразований называется наиболее соответствующей последовательностью.

Например, последовательность int-›float-›double задает преобразование int в double, но ее нельзя назвать наиболее соответствующей последовательностью, поскольку в ней содержится более короткая последовательность int-›double.

Кроме описанных ниже случаев, следующие тривиальные преобразования типа T не влияют на свойство последовательности быть наиболее соответствующей: исходный тип тип результата T T& T& T T[] T* T(параметры) T(*)(параметры) T const T T volatile T T* const T* T* volatile T*