6.4.4Определенные пользователем неявные преобразования

Неявное пользовательское преобразование из типа S к типу T выполняется в следующем порядке:

• Определение типов S₀ и T₀. Если типы S или T являются обнуляемыми, типы S₀ и T₀ являются базовыми для них (в противном случае S₀ и T₀ считаются равными S и T соответственно).

• Поиск набора типов (D), на основании которого будут рассматриваться пользовательские операторы преобразования. Этот набор включает в себя тип S₀ (если S₀ является классом или структурой), базовые классы для S₀ (если S₀ является классом) и тип T₀ (если T₀ является классом или структурой).

• Поиск набора применимых пользовательских операторов и операторов преобразования с нулификацией (U). Этот набор включает в себя пользовательские операторы и операторы неявного преобразования с нулификацией, объявленные в классах и структурах набора D и осуществляющие преобразование из типа, включающего S, к типу, включаемому типом T. Если набор U пуст, преобразование считается неопределенным и порождает ошибку времени компиляции.

• Поиск наиболее подходящего исходного типа (S_X) для операторов в наборе U:

• Если любой из операторов набора U осуществляет преобразование из S, в качестве типа S_X выбирается S.

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

• Поиск наиболее подходящего конечного типа (T_X) для операторов в наборе U:

• Если любой из операторов набора U осуществляет преобразование к T, в качестве типа T_X выбирается T.

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

• Поиск наиболее подходящего оператора преобразования:

• Если набор U содержит только один пользовательский оператор преобразования из типа S_X к T_X, он является наиболее подходящим оператором преобразования.

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

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

• Применение преобразования:

• Если тип S не является типом S_X, выполняется стандартное неявное преобразование из S к S_X.

• Для преобразования из S_X к T_X вызывается наиболее подходящий оператор преобразования.

• Если тип T_X не является типом T, выполняется стандартное неявное преобразование из T_X к T.

6.4.5Определенные пользователем явные преобразования

Явное пользовательское преобразование из типа S к типу T выполняется в следующем порядке:

• Определение типов S₀ и T₀. Если типы S или T являются обнуляемыми, типы S₀ и T₀ являются базовыми для них (в противном случае S₀ и T₀ считаются равными S и T соответственно).

• Поиск набора типов (D), на основании которого будут рассматриваться пользовательские операторы преобразования. Этот набор включает в себя тип S₀ (если S₀ является классом или структурой), базовые классы для S₀ (если S₀ является классом), тип T₀ (если T₀ является классом или структурой) и базовые классы для T₀ (если T₀ является классом).

• Поиск набора применимых пользовательских операторов и операторов преобразования с нулификацией (U). Этот набор включает в себя пользовательские операторы и операторы явного преобразования с нулификацией, объявленные в классах и структурах набора D и осуществляющие преобразование из типа, включающего S или включаемого им, к типу, включаемому типом T или включающему его. Если набор U пуст, преобразование считается неопределенным и порождает ошибку времени компиляции.

• Поиск наиболее подходящего исходного типа (S_X) для операторов в наборе U:

• Если любой из операторов набора U осуществляет преобразование из S, в качестве типа S_X выбирается S.

• В противном случае, если любой из операторов набора U осуществляет преобразование из типа, который включает тип S, то тип S_X является включаемым типом нижнего уровня в объединенном наборе исходных типов для этих операторов. Если не найден включаемый тип нижнего уровня, преобразование считается неоднозначным и порождает ошибку времени компиляции.

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

• Поиск наиболее подходящего конечного типа (T_X) для операторов в наборе U:

• Если любой из операторов набора U осуществляет преобразование к T, в качестве типа T_X выбирается T.

• В противном случае, если любой из операторов набора U осуществляет преобразование к типу, который включается типом T, то тип T_X является включающим типом верхнего уровня в объединенном наборе конечных типов для этих операторов. Если найдено несколько включающих типов верхнего уровня, преобразование считается неоднозначным и порождает ошибку времени компиляции.

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

• Поиск наиболее подходящего оператора преобразования:

• Если набор U содержит только один пользовательский оператор преобразования из типа S_X к T_X, он является наиболее подходящим оператором преобразования.

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

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

• Применение преобразования:

• Если тип S не является типом S_X, выполняется стандартное явное преобразование из S к S_X.

• Для преобразования из S_X к T_X вызывается наиболее подходящий пользовательский оператор преобразования.

• Если тип T_X не является типом T, выполняется стандартное явное преобразование из T_X к T.