Что вернёт функция g(), если её вызвать в C++?

@Всеволод45 · Регистрация: 24.02.2019

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

C++
1
2
3
4
5
6
7
8
9
int h(int *q, int *p) {
    *p += 1;
    *q += 1;
    return *p + *q;
}
int g() {
    int a = 2, b = 4;
    return h(&a, &a) + h(&b, &b);
}

@Azazel-San · 15.08.2019, 11:11

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

Я думал что алиазинг относится только к указателям на разные типы, но де-факто указывающие на один и тот же адрес...

Если типы разные то, наоборот, компилятор будет считать, что они не могут ссылаться на один и тот же адрес в памяти.

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

А тут ведь один и тот же тип.

Верно, поэтому оптимизаций не будет.

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

Не должен компилятор делать оптимизаций на неконстантных указателях.

Но может.

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

Не нужно лезть далеко)

Иногда это полезно (знать)

@rat0r · 15.08.2019, 12:14

Сообщение от Azazel-San

Нужен ключ оптимизации выше -О2 и явно указать restrict

В C++ нет restrict.

IGPIGP · 15.08.2019, 12:18

Сообщение от Azazel-San

Если типы разные то, наоборот, компилятор будет считать, что они не могут ссылаться на один и тот же адрес в памяти.

Угу. И вот тогда он может соптимизировать.

Сообщение от Azazel-San

Верно, поэтому оптимизаций не будет.

Тогда 20.

Сообщение от Azazel-San

Но может.

Дайте proof.

Сообщение от Azazel-San

Иногда это полезно (знать)

Что?
Под "не нужно лезть далеко" я имел ввиду именно создание локальной переменной без обращения по указателю. Azazel-San, полезно знать всё. Но ни кто этого не умеет. Этот тон ненужен.

@Azazel-San · 15.08.2019, 12:48

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

В C++ нет restrict.

Зато есть у компиляторов)

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

Тогда 20.

Да.

IGPIGP · 15.08.2019, 12:53

Сообщение от Azazel-San

foo(&a, (double*)&a); // a = 5, optimized out

Преобразование указателей не нужно. Речь строго о примере топика. И proof -ссылка на стандарт или равносильный источник где утверждается что два однотипных пойнтера, указывающих на один объект и модифицируемые в пределах следования, могут при разыменовании дать разные значения.

@Azazel-San · 15.08.2019, 13:48

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

Преобразование указателей не нужно. Речь строго о примере топика.

Это был не лучший пример)

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

И proof -ссылка на стандарт или равносильный источник где утверждается что два однотипных пойнтера, указывающих на один объект и модифицируемые в пределах следования, могут при разыменовании дать разные значения.

Мы же говорили об оптимизациях?
Вы сказали, что компилятор не может делать никаких оптимизаций, если указатель не константный верно?

IGPIGP · 15.08.2019, 13:54

Сообщение от Azazel-San

Вы сказали, что компилятор не может делать никаких оптимизаций, если указатель не константный верно?

Нет. Я говорил о конкретном примере и все оговорки присутствуют в тексте. Началось с того, что может быть 18. И далее оттуда всё.

Добавлено через 3 минуты

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

Хм... Я тоже так подумал, сначала. Но точки следования расставлены так, что нет неопределённости. То есть, не должно быть оптимизации для неконстантных пойнтеров ведь?

и в другом посте оговаривается, что указатели имеют один и тот же тип указывая на один и тот же объект.

@Azazel-San · 15.08.2019, 13:58

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

Нет. Я говорил о конкретном примере и все оговорки присутствуют в тексте. Началось с того, что может быть 18. И далее оттуда всё.

Тогда, я потерял нить о чем шел спор, увы, но у меня работа и нету времени.
В данном случае ТСа, по факту - никак. Только если не заставить компилятор думать, что на самом деле они разные, я же писал.

Добавлено через 2 минуты

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

Но точки следования расставлены так, что нет неопределённости. То есть, не должно быть оптимизации для неконстантных пойнтеров ведь?

А причем здесь константность указателя? Вы о том что в данном случае оптимизации не случилось из-за того что они не константные или что?

@TheCalligrapher · 15.08.2019, 19:43

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

Никто strict aliasing violation не заметил?

Здесь нет никакого strict aliasing violation.

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

Кажется при некоторых ключах компиляции может быть 16.

Нет. Код корректен, определен и однозначен. Здесь может быть только 20.

Сообщение от Azazel-San

Вы сказали, что компилятор не может делать никаких оптимизаций, если указатель не константный верно?

Даже если указатели были бы константными, это ничего бы не поменяло. При чем это здесь вообще?

IGPIGP · 15.08.2019, 19:56

Сообщение от Azazel-San

А причем здесь константность указателя?

Для данного примера это просто неприменимо. Это сказано в общем. Я не уверен, но видел где-то кажется, что указатели на константы могут быть оптимизированы (созданы временные объекты без дальнейшего обращения к памяти по указателю). Но прямого отношения к делу оно не имеет.

@TheCalligrapher · 15.08.2019, 20:11

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

Я не уверен, но видел где-то кажется, что указатели на константы могут быть оптимизированы (созданы временные объекты без дальнейшего обращения к памяти по указателю).

Нет, не могут. Оптимизация вида "без дальнейшего обращения к памяти по указателю" возможна только в случаях, когда картина aliasing полностью ясна компилятору (независимо от константности указателя), или когда указатель явно объявлен как restrict. Константность тут ни на что не влияет.

@Azazel-San · 15.08.2019, 22:36

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

Даже если указатели были бы константными, это ничего бы не поменяло. При чем это здесь вообще?

Это ж не я спрашивал)
Я же точно так же написал. Вернее переспросил.

Сообщение от Azazel-San

А причем здесь константность указателя?

Даже если бы был strict aliasing violation - все равно же причем тут константность?

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

или когда указатель явно объявлен как restrict

Вот, я же точно так же (ну только своим менее понятным языком) писал и о restrict.

IGPIGP · 15.08.2019, 23:55

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

Константность тут ни на что не влияет.

TheCalligrapher, вероятно вы правы. Я помню, читал где-то у Г. Саттера о константности по указателю (не самого указателя) и там говорилось, что компилятор не может быть уверен, что какая-то часть кода не снимет константность и вследствие не может оптимизировать. Кроме случая когда константы - константы времени компиляции. И для приведенного примера, это не имеет значения. То есть, нет причины связанной с константностью способной индуцировать оптимизацию.

@New man · 16.08.2019, 01:12

ИМХО, если компилятор тут наоптимизирует так, что ответом будет не 20 — компилятор багованный.

@TheCalligrapher · 16.08.2019, 01:31

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

Я помню, читал где-то у Г. Саттера о константности по указателю (не самого указателя) и там говорилось, что компилятор не может быть уверен, что какая-то часть кода не снимет константность и вследствие не может оптимизировать.

Возможность "снятия константности" тут совсем не обязательна. Если указатель объявлен, как указатель на константу, это совсем не означает, что сам указуемый объект является константным. Указуемый объект может запросто быть неконстантным и меняться как угодно через другие (неконстантные) пути доступа к этому же самому объекту.

IGPIGP · 16.08.2019, 01:42

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

Возможность "снятия константности" тут совсем не обязательна.

И об этом там тоже было.

Новые блоги и статьи Все статьи Все блоги /
Doom для терминала без стрельбы и монстров. 3D Raycasting на ascii. dcc0 05.07.2026 Попросил нейронную сеть deepai. org написать рейкастинг 3D с библиотекой ncurses для Linux. Чтобы можно было ходить на стрелочки. Чтобы стены были отрисованы символами. Справилась. Первый вариант. . .	Установка статуса документа по условию Maks 05.07.2026 Алгоритм из решения ниже реализован на нетиповом документе "НарядПутевка" разработанного в КА2. Задача: в табличной части "Материалы" документа при записи автоматически устанавливать статус. . .	Сезонность и суточность закисления почв 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 на бесплатном хостинге: Двухдневный лог борьбы Всем привет! Хочу поделиться свежим (и довольно. . .

@New man 309 / 221 / 74 Регистрация: 23.05.2011 Сообщений: 981
	16.08.2019, 01:12
	ИМХО, если компилятор тут наоптимизирует так, что ответом будет не 20 — компилятор багованный. 0