Значення int (*) (int *) = 5 (або будь-яке ціле значення)

Я не можу зрозуміти це:

int main() {
    int (*) (int *) = 5;
    return 0;
}

Вищевказане призначення компілюється з g ++ c ++ 11. Я знаю, що int (*) (int *)це вказівник на функцію, яка приймає (int *)аргумент як аргумент і повертає int, але я не розумію, як ви можете прирівняти його до 5. Спочатку я думав, що це функція, яка постійно повертає 5 (з мого недавнього навчання в F #, мабуть, ха-ха), тоді я коротко подумав, що покажчик функції вказує на розташування 5 пам’яті, але це, очевидно, не працює, як і шістнадцяткові значення.

Думаючи, що це може бути тому, що функція повертає int, і що присвоєння int - це нормально (якось), я також спробував це:

int * (*) (int *) = my_ptr

де my_ptrмає тип int *, той самий тип, що і цей другий покажчик функції, як у першому випадку з типом int. Це не компілюється. Призначення 5, або будь-яке значення int, замість my_ptr, також не компілюється для цього покажчика функції.

То що означає призначення?

Оновлення 1

Ми маємо підтвердження, що це помилка, як показано в найкращій відповіді. Однак досі невідомо, що насправді відбувається зі значенням, яке ви присвоюєте покажчику функції, або що відбувається з присвоєнням. Будь-які (хороші) пояснення щодо цього були б дуже вдячні! Будь ласка, зверніться до редагувань нижче, щоб зрозуміти проблему.

Редагувати 1

Я використовую gcc версії 4.8.2 (в Ubuntu 4.8.2)

Редагувати 2

Власне, прирівнювати це до чого-небудь працює на моєму компіляторі. Працює навіть прирівняння її до змінної std :: string або імені функції, яка повертає подвійну.

Редагувати 2.1

Цікаво, що якщо зробити його покажчиком функції на будь-яку функцію, яка повертає тип даних, який не є вказівником, це дозволить йому скомпілювати, наприклад

std::string (*) () = 5.6;

Але як тільки покажчик функції переходить до функції, яка повертає деякий покажчик, він не компілюється, наприклад, з

some_data_type ** (*) () = any_value;

Це помилка в g ++.

 int (*) (int *) 

- це назва типу.

У C ++ ви не можете мати декларацію з іменем типу без ідентифікатора.

Отже, це компілюється з g ++.

 int (*) (int *) = 5;

і це також компілює:

 int (*) (int *);

але обидва вони є недійсними деклараціями.

РЕДАГУВАТИ :

TC згадує в коментарях помилку bugzilla 60680 з подібним тестом, але вона ще не затверджена . Помилка підтверджена в bugzilla.

EDIT2 :

Коли два наведені вище оголошення знаходяться в області файлів, g ++ правильно видає діагностику (вона не видає діагностику в області блоку).

EDIT3 :

Я перевірив і можу відтворити проблему в останньому випуску g ++ версії 4 (4.9.2), останньої попередньої версії 5 (5.0.1 20150412) та останньої експериментальної версії 6 (6.0.0 20150412).

Це неприпустимий C ++. Пам'ятайте, що оскільки ваш конкретний компілятор компілюється, він не робить його дійсним. Компілятори, як і все складне програмне забезпечення, іноді мають помилки, і це видається одним.

Навпаки, clang++скаржиться:

funnycast.cpp:3:11: error: expected expression
    int (*) (int *) = 5;
          ^
funnycast.cpp:3:18: error: expected '(' for function-style cast or type construction
    int (*) (int *) = 5;
             ~~~ ^
funnycast.cpp:3:19: error: expected expression
    int (*) (int *) = 5;
                  ^
3 errors generated.

Це очікувана поведінка, оскільки рядок, що порушує, не є дійсним C ++. Це претендує на призначення (через =), але не містить ідентифікатора.

Як вказували інші відповіді, це помилка

int (*) (int *) = 5;

складає. Розумним наближенням цього твердження, яке, як очікується, матиме значення, є:

int (*proc)(int*) = (int (*)(int*))(5);

Зараз proc- вказівник на функцію, який очікує, що адреса 5буде базовою адресою функції, яка приймає int*і повертає an int.

На деяких мікроконтролерах / мікропроцесорах 5може бути дійсною кодовою адресою, і, можливо, там можна знайти таку функцію.

На більшості комп’ютерів загального призначення перша сторінка пам’яті (адреси 0-1023сторінок 4K) спеціально недійсна (не відображена) для того, щоб отримати nullдоступ до покажчиків.

Таким чином, хоча поведінка залежить від платформи, можна обгрунтовано очікувати помилки сторінки, яка виникає під час *procвиклику (наприклад, (*proc)(&v)). До часу, на який *procвикликається, не відбувається нічого незвичайного.

Якщо ви не пишете динамічний компонувальник, ви майже напевно не повинні чисельно обчислювати адреси та призначати їх змінним, що вказують на функцію.

/usr/lib/gcc/x86_64-pc-cygwin/4.9.2/cc1plus.exe -da so.cpp

Цей командний рядок генерує багато проміжних файлів. Перший з них so.cpp.170r.expand, говорить:

...
int main() ()
{
  int D.2229;
  int _1;

;;   basic block 2, loop depth 0
;;    pred:       ENTRY
  _1 = 0;
;;    succ:       3

;;   basic block 3, loop depth 0
;;    pred:       2
<L0>:
  return _1;
;;    succ:       EXIT

}
...

Це все ще не дає відповіді, що саме відбувається, але це має бути кроком у правильному напрямку.