Operator[] for pointer-to-function

@eva2326 · Регистрация: 17.05.2015

Студворк — интернет-сервис помощи студентам

Всем привет!

Внимательно посмотрите на код, и скажите: всё ли с ним в порядке?

C++
1
2
3
4
5
6
7
8
#include <iostream>
 
int foo() { return 1; }
int main()
{
    int(*p)() = foo;
    std::cout << p[0]();
}

Кликните здесь для просмотра всего текста

gcc успешно компилирует, приложение успешно работает.
Но при этом компилятор генерирует предупреждение:

Code
1
2
3
4
62936928/source.cpp: In function ‘int main()’:
62936928/source.cpp:7:21: warning: pointer to a function used in arithmetic [-Wpointer-arith]
     std::cout << p[0]();
                     ^

msvc отказался компилировать этот код:

Code
1
Error C2109: subscript requires array or pointer type

Что говорит по этому поводу стандарт языка?
Корректно ли применять operator[] к указателю-на-функцию?

IGPIGP · 05.05.2021, 20:47

Сообщение от TheCalligrapher

Function type decay, т.е. автоматическое превращение значений типа "функция" в значения типа "указатель на функцию" - это явление той же природы и того же порядка, что и array type decay, т.е. автоматическое превращение значений типа "массив" в значения типа "указатель на элемент массива".
"Бредятина" это или нет - таковы реалии С и С++.

Вот тут - полностью согласен. Магические штучки от С очень впечатляют. У плюсов есть дикей (хорошее словцо, типа: дикость ей-ей) ссылок на ссылки. Объявлять запрещено, - да, а вот при преобразованиях любое количество сводится с к одной ссылке. Люблю математиков. С ними пиво пить прикольно)

@TheCalligrapher · 05.05.2021, 21:15

Сообщение от eva2326

Что говорит по этому поводу стандарт языка?
Корректно ли применять operator[] к указателю-на-функцию?

Другими словами, возвращаясь к исходному вопросу: применять оператор [] к указателю-на-функцию некорректно.

В тех компиляторах, которые такое позволяют в качестве расширения языка, как правило позволительно применять оператор [] и к указателям типа void *

C++
1
2
3
4
5
int main()
{
  void *p = ...;
  p[0]; // <- Нелегально в С и С++, но поддерживается GCC и Clang
}

В обоих случаях адресная арифметика (в т.ч. внутри оператора []) работает так, как будто указуемая сущность имеет размер 1.

Новые блоги и статьи Все статьи Все блоги /
Сезонность закисления почв anaschu 04.07.2026 200 часов это все равно моловато. Есть ситуации, но нестандартные, когда смена происходит за 5 лет. Но обычно это 50 лет и более. Наверное, закисление почвы происходит сезонно в средней. . .	В чем ценность человеческого опыта в глобальном смысле? kumehtar 03.07.2026 Возможно, ценность человека не в том, что он однажды достигает мудрости, а в том, что он становится носителем карты пути. Он знает не только истину, но и последовательность внутренних изменений,. . .	интеграция AnyLogic с самописным REST API и переход на Odoo anaschu 03.07.2026 Успешная интеграция AnyLogic с самописным REST API и переход на промышленную Odoo WMS Сегодня проделал огромный путь от простой симуляции физических процессов до построения полноценной. . .	Поиск всех путей на ориентированном графе. Linux dcc0 02.07.2026 Переработка старого кода из моей статьи. Через несколько переработок от PHP кода к C89 (надеюсь, 89). Но довольно запутанно получилось. Код для Linux. Но если убрать time и то, что с ним. . .
Сам себя обучал rest api anaschu 02.07.2026 Педагогический лайфхак: Почему чистый REST API для ученика намного круче, чем готовые библиотеки Когда мы отказались от капризного JAR-файла AnyLogic и переписали код на стандартный HttpClient,. . .	rest api anylogic - выполнение модели на своём русском сайте anaschu 02.07.2026 Как подружиться с AnyLogic Cloud API, победить провайдеров и развернуться Java-бэкенд в Docker на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .	Где деньги лежат kumehtar 02.07.2026 Это - японская подводная лодка I-52 (тип C2, кодовое имя Momi) вышла из Японии в марте 1944 года с миссией в оккупированную немцами Францию (Лорьян). Это была одна из «Янаги»-миссий по обмену. . .	Krabik для WoW 3.3.5a, многоязычный AmbA 02.07.2026 Допилил бота, думаю что окончательно. Изменения: - добавлена многоязычность - добавлено снятие скриншотов - добавлено поддержание бафов хождения по воде (для жреца, дк и шамана) - и так, по. . .