Разрешение неоднозначности при вызове функций.

При разрешении перегрузки функции выполняются следующие шаги:

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

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

• Находится функция, которая лучше всего соответствует вызову.

Рассмотрим последовательно каждый пункт.

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

На втором шаге среди множества кандидатов отбираются устоявшие (viable) – такие, которые могут быть вызваны с данными аргументами.

Третий шаг заключается в выборе функции, лучше всего отвечающей контексту вызова. Наиболее подходящей считается функция, для которой выполняются следующие условия:

• преобразования, примененные к фактическим аргументам, не хуже преобразований, необходимых для вызова любой другой устоявшей функции;

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

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

Не нашли, что искали? Воспользуйтесь поиском: