Почему эта функция вызывает двусмысленность?

Question

Я читаю стандарт и пытаюсь понять, почему этот код не будет разрешен без актерского состава.

void foo(char c) { } 

// Way bigger than char 
void foo(unsigned long int) { } 

int main() 
{ 
    foo(123456789); // ambiguous 
    foo((unsigned long int) 123456789); // works 
} 

Вот что он говорит:

4,13 Integer ранг преобразования [conv.rank]

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

- The ранг любого беззнакового целочисленного типа должен быть равен ранга соответствующего знакового целочисленного типа.

- Ранг char должен равняться рангам подписанного символа char и unsigned .

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

Answer 1

Это не имеет никакого отношения к рангу типа, определенного в 4.13. 4.13. Определенные внутренние ранжирования, используемые для описания интегральных рекламных акций и обычных арифметических преобразований. Они сами по себе непосредственно не влияют на разрешение перегрузки. Рейтинги, относящиеся к разрешению перегрузки, определены в «13.3.3.1.1 Стандартные последовательности преобразования», а затем используются в «13.3.3.2. Оценка неявных последовательностей преобразования».

Итак, это ранг преобразования, как определено в 13.3. 123456789 - целочисленный литерал типа int на вашей платформе. Это означает, что для вызова обеих версий вашей функции требуется неявное преобразование от int до char или от int до unsigned long. В обоих случаях мы имеем преобразования типа «интегрального преобразования». Это означает, что в этом случае обе функции одинаково «плохи». Отсюда и двусмысленность.

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