Чому найбільш негативне значення int викликає помилку щодо неоднозначних перевантажень функції?

Question 1

Я дізнався про перевантаження функцій в C ++ і натрапив на це:

void display(int a)
{
    cout << "int" << endl;
}

void display(unsigned a)
{
    cout << "unsigned" << endl;
}

int main()
{
    int i = -2147483648;
    cout << i << endl; //will display -2147483648
    display(-2147483648);
}

З того, що я зрозумів, будь-яке значення, задане в intдіапазоні (у моєму випадку int- 4 байти), буде викликати, display(int)і будь-яке значення поза цим діапазоном буде неоднозначним (оскільки компілятор не може вирішити, яку функцію викликати). Він дійсний для повного діапазону intзначень, за винятком мінімального значення, тобто -2147483648там, де компіляція не вдається з помилкою

виклик перевантаженого display(long int)неоднозначний

Але беручи одне і те ж значення в intі друкуючи значення, яке дає 2147483648. Мене буквально бентежить така поведінка.

Чому така поведінка спостерігається лише тоді, коли передано найбільш негативне число? (Поведінка однакова, якщо shortвикористовується а -32768- насправді, у будь-якому випадку, коли від'ємне число та додатне число мають однакові двійкові подання)

Використовуваний компілятор: g ++ (GCC) 4.8.5

Question 2

Це дуже тонка помилка. Те, що ви бачите, є наслідком відсутності цілісних від’ємних літералів у C ++. Якщо ми подивимося на [lex.icon], то отримаємо цілочисельний літерал ,

цілочисельний літерал
десятковий літерал цілочисельний суфікс _opt
[...]

може бути десятковим літералом ,

десятковий-літерал:
ненульовий-
десятковий десятковий-літерал ' _{розрядна} цифра

де цифра є [0-9]і відмінною від нуля цифра є [1-9]і суфікс пар може бути один з u, U, l, L, ll, або LL. Тут ніде це не включає -як частину десяткового літералу.

У пункті 2.13.2 ми також маємо:

Цілочисельний літерал являє собою послідовність цифр , що не має терміну або показник ступеня частини, з додатковими розділовими одинарними лапками, які ігноруються при визначенні його вартості. Цілочисельний літерал може мати префікс, який вказує його основу, і суфікс, який визначає його тип. Лексично перша цифра послідовності цифр є найбільш значущою. Десяткове число буквальний (базові десять) починається з цифрою , відмінною від 0 , і складається з послідовності десяткових цифр.

^{(наголос мій)}

Що означає, що -in -2147483648є одинарним operator -. Це означає -2147483648, що насправді трактується як -1 * (2147483648). Оскільки 2147483648для вас занадто багато, intвоно підвищується до значення long intі неоднозначність походить від того, що не відповідає.

Якщо ви хочете отримати мінімальне або максимальне значення для типу в переносній формі, ви можете використовувати:

std::numeric_limits<type>::min();  // or max()

Question 3

Вираз -2147483648фактично застосовує -оператор до константи 2147483648. На вашій платформі intне можна зберігати 2147483648, вона повинна бути представлена більшим типом. Таким чином, вираз -2147483648не виводиться бути , signed intале більше знакового типу, signed long int.

Оскільки ви не забезпечуєте перевантаження для longкомпілятора, він змушений вибирати між двома перевантаженнями, які однаково справедливі. Ваш компілятор повинен видавати помилку компілятора про неоднозначні перевантаження.

Question 4

Розширюючи відповіді інших

Щоб пояснити, чому OP плутається, спочатку : розглянемо signed intдвійкове представлення 2147483647, нижче.

Потім додайте до цього номеру : надання іншого signed intз -2147483648(що ОП хоче використовувати)

Нарешті: ми можемо зрозуміти, чому OP плутається при -2147483648компіляції long intзамість a signed int, оскільки він чітко вміщується в 32 біти.

Але, як згадується в поточних відповідях, одинарний оператор ( -) застосовується після вирішення, 2147483648який є a, long intі НЕ вміщується в 32 біти.