Что вернёт функция 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

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

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

Новые блоги и статьи Все статьи Все блоги /
Access VikBal 11.12.2025 Помогите пожалуйста !! Как объединить 2 одинаковые БД Access с разными данными.	Новый ноутбук volvo 07.12.2025 Всем привет. По скидке в "черную пятницу" взял себе новый ноутбук Lenovo ThinkBook 16 G7 на Амазоне: Ryzen 5 7533HS 64 Gb DDR5 1Tb NVMe 16" Full HD Display Win11 Pro	Музыка, написанная Искусственным Интеллектом volvo 04.12.2025 Всем привет. Некоторое время назад меня заинтересовало, что уже умеет ИИ в плане написания музыки для песен, и, собственно, исполнения этих самых песен. Стихов у нас много, уже вышли 4 книги, еще 3. . .	От async/await к виртуальным потокам в Python IndentationError 23.11.2025 Армин Ронахер поставил под сомнение async/ await. Создатель Flask заявляет: цветные функции - провал, виртуальные потоки - решение. Не threading-динозавры, а новое поколение лёгких потоков. Откат?. . .	Поиск "дружественных имён" СОМ портов Argus19 22.11.2025 Поиск "дружественных имён" СОМ портов На странице: https:/ / norseev. ru/ 2018/ 01/ 04/ comportlist_windows/ нашёл схожую тему. Там приведён код на С++, который показывает только имена СОМ портов, типа,. . .
Сколько Государство потратило денег на меня, обеспечивая инсулином. Programma_Boinc 20.11.2025 Сколько Государство потратило денег на меня, обеспечивая инсулином. Вот решила сделать интересный приблизительный подсчет, сколько государство потратило на меня денег на покупку инсулинов. . . .	Ломающие изменения в C#.NStar Alpha Etyuhibosecyu 20.11.2025 Уже можно не только тестировать, но и пользоваться C#. NStar - писать оконные приложения, содержащие надписи, кнопки, текстовые поля и даже изображения, например, моя игра "Три в ряд" написана на этом. . .	Мысли в слух kumehtar 18.11.2025 Кстати, совсем недавно имел разговор на тему медитаций с людьми. И обнаружил, что они вообще не понимают что такое медитация и зачем она нужна. Самые базовые вещи. Для них это - когда просто люди. . .	Создание Single Page Application на фреймах krapotkin 16.11.2025 Статья исключительно для начинающих. Подходы оригинальностью не блещут. В век Веб все очень привыкли к дизайну Single-Page-Application . Быстренько разберем подход "на фреймах". Мы делаем одну. . .	Фото: Daniel Greenwood kumehtar 13.11.2025

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