Чем же макрос define так плох?

@ertyuo · Регистрация: 05.01.2010

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

После прочтения про директиву препроцессора define возник вопрос по поводу применения define, как функции:

C++
1
#define QQ (q) (q^q)

Можно же улучшить читаемость кода, используя вместо функций именно директиву define. Или у данного использования макроса есть подводные камки какие-то? Да и объем кода в разы сократиться, так как для define будет достаточно всего-навсего одной строчки.

Tulosba · 24.10.2015, 17:21

hoggy, вот тебе альтернативные ссылки с тем же кодом (раз уж у тебя эта не открывается): Раз, Два, Три.

Теперь про место для значения. Код:

C++
1
2
3
4
5
#include <cstdio>
 
int main() {
    printf( "%d\n", 42 );
}

Ассемблерный выхлоп:

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
main:                                   # @main
    push    rbp
    mov rbp, rsp
    sub rsp, 16
    lea rdi, qword ptr [.L.str]
    mov esi, 42
    mov al, 0
    call    printf
    mov esi, 0
    mov dword ptr [rbp - 4], eax # 4-byte Spill
    mov eax, esi
    add rsp, 16
    pop rbp
    ret
 
.L.str:
    .asciz  "%d\n"

Убираем константу:

C++
1
2
3
4
5
#include <cstdio>
 
int main() {
    printf( "\n" );
}

Асм:

Assembler
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
main:                                   # @main
    push    rbp
    mov rbp, rsp
    sub rsp, 16
    lea rdi, qword ptr [.L.str]
    mov al, 0
    call    printf
    mov ecx, 0
    mov dword ptr [rbp - 4], eax # 4-byte Spill
    mov eax, ecx
    add rsp, 16
    pop rbp
    ret
 
.L.str:
    .asciz  "\n"

Как видишь, строки mov esi, 42 уже нет. Т.е. размер кода стал меньше.

Как вообще можно было предположить, что значение явно присутствующее в исходном файле, может выводиться на консоль и при этом НИГДЕ не храниться? Оно что из космоса прилетает?

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

Evg · 24.10.2015, 17:52

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

мой пример кода выше написан согласно стандатру.
а из этого следует, что любой копилятор обязан уметь делать inline подстановку
по месту использования фундаментальной константы

"Пример выше" это который?

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

все топовые компиляторы умеют оптимизировать промежуточные значение

Из этого никак не следует, что const-переменная является константой

Добавлено через 29 секунд

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

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

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

@castaway · 24.10.2015, 17:55

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

const-переменная

const-переменная? Я не ослышался?

Croessmah · 24.10.2015, 18:16

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

const-переменная? Я не ослышался?

const не дает гарантия константности. Так что да, это может быть переменная с квалификатором const

Tulosba · 24.10.2015, 18:17

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

const-переменная? Я не ослышался?

Ну, это нормально. Даже в Стандарте есть упоминание (3.5/3):

a variable that is explicitly declared const or constexpr and neither explicitly declared extern nor
previously declared to have external linkage;

@Voivoid · 24.10.2015, 18:29

* * lea rdi, qword ptr [.L.str]
* * mov esi, 42
* * mov al, 0
* * call* * printf

Вместо того, чтобы спорить об очевиндных вещах лучше расскажите почему аргументы для printf не ложатся на стек?

@castaway · 24.10.2015, 18:30

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

const не дает гарантия константности.

Я что-то туплю под вечер после работы.. Это как?

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

Даже в Стандарте есть упоминание (3.5/3):

n4527? Что-то не найду у себя такого... Поиск фразу "variable that is explicitly declared const" тоже не находит.

Croessmah · 24.10.2015, 18:42

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

Я что-то туплю под вечер после работы.. Это как?

я про константы времени компиляции. В теме же о них идет речь.

Tulosba · 24.10.2015, 18:51

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

n4527?

Я в C++11 (ISO/IEC 14882 Third edition 2011-09-01) смотрел.
В драфте 3.5/(3.2):

a variable of non-volatile const-qualified type ...

Суть то же.

3/6:

A variable is introduced by the declaration of a reference other than a non-static data member or of an object. The variable’s name, if any, denotes the reference or object.

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

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

почему аргументы для printf не ложатся на стек?

Поясни мысль.

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

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

я про константы времени компиляции.

Не важно, компиляции или выполнения. Всё равно это в том числе и "переменная", хотя и принимающая только одно значение в момент инициализации.

@castaway · 24.10.2015, 19:01

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

я про константы времени компиляции.

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

Не важно, компиляции или выполнения. Всё равно это в том числе и "переменная", хотя и принимающая только одно значение в момент инициализации.

Блин.. Я, конечно, могу представить о чём идёт речь, но я категорически не хочу укладывать у себя в уме понятие "константная переменная", ведь это противоположные сущности

@LynXzp · 24.10.2015, 21:24

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

а из этого следует, что любой копилятор обязан уметь делать inline подстановку

Ура! Прояснилось

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

Как видишь, строки mov esi, 42 уже нет. Т.е. размер кода стал меньше...
Заметь, никаких адресов, о которых ты говорил, тут не используется, сугубо значение константы.

Так все отлично, она inline подставлена точно так же как и #define бы сделал.

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

Вместо того, чтобы спорить об очевиндных вещах лучше расскажите почему аргументы для printf не ложатся на стек?

Не знаю как в Win, думаю зависит от компилятора, например: http://habrahabr.ru/company/intel/blog/246913/ освободился регистр...
А в микроконтроллерах много регистров (32 например), и при этом мало памяти и производительности, поэтому компилятор (gcc) может по выбору оптимизации пихать в стек все регистры или не все (что делать с остальными регистрами придумать не сложно, но как на самом деле не скажу). Может esi в данном бинарнике такой регистр... выступает верхним значением стека. (ну это я так, на кофейной гуще, но выглядит правдоподобно для меня)

Croessmah · 24.10.2015, 21:30

Не по теме:

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

не хочу укладывать у себя в уме понятие "константная переменная", ведь это противоположные сущности

тогда "переменная, объявленная с квалификатором const" :)

@castaway · 24.10.2015, 21:37

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

тогда "переменная, объявленная с квалификатором const"

Ты меня опять путаешь. Можешь прояснить мне, дураку, в каких случаях квалификатор const не делает константу константной?

ValeryS · 24.10.2015, 21:46

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

#define QQ (q) (q^q)

а никто не заметил, что это 0 в случае q целочисленной
ошибка в случае вещественной, и хрен знает что в случае выражения

@rikimaru2013 · 24.10.2015, 21:46

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

дураку

кажись там речь о том, что

C++
1
const int a = 10;

не означает, что в конце "a" будет точно иметь значение 10, спустя какое-то время. Есть хитрости изменить значение, но будет UB так как некоторые компиляторы могут закешировать значение константы (они так думают - ведь им так сказали) и вместо бегать по адрессу брать значение, вставлять его с своей таблици закэшированых значений констант.

@LynXzp · 24.10.2015, 21:47

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

но я категорически не хочу укладывать у себя в уме понятие "константная переменная"

Если я правильно понимаю то
const int a=5;

1. может при дальнейшем использовании подставится значением и это будет константная константа дальше некуда
(printf("%d",a) превращается компилятором в printf("%d",5))

2. а может создастся переменная в памяти и получится "константная переменная"
(например foo(&a); как говорили выше)

(Я всегда думал что создается константая переменная, почему-то даже в мыслях не было что она может стать inline. Просто константы в макросе это явно inline, а const int больше похоже на запрет модификации переменной.)

@castaway · 24.10.2015, 21:52

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

не означает, что в конце "a" будет точно иметь значение 10.

Не понял ход твоей мысли...
Что значит "в конце"? Почему/по какой причине оно может измениться?

@rikimaru2013 · 24.10.2015, 22:01

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

Почему/по какой причине оно может измениться?

C++
1
2
3
4
5
6
7
8
9
10
11
12
13
#include <iostream>
using namespace std;
 
 
int main()
{
    const int a = 10;
    const int* ptr = &a;
    int* ptr2 = const_cast<int*>(ptr);
    *ptr2 = 14;                     // в Debug видно, что значение по адрессу &a изменилось на 14. 
    cout << a << endl;              // но выведет, к примеру в VS 2013, 10 - потому что закэшировал
    cout << *ptr << endl;
}

Код конечно не реалистичный так, как мало времени на придумывание было. Но факт, что рукожопов хватает и всё реально. И const не даёт 100% защиту, но без него - всеравно, что ездить на голой резине зимой с верой в бога!

@LynXzp · 24.10.2015, 22:02

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

Что значит "в конце"? Почему/по какой причине оно может измениться?

А если
foo(&a);
а foo - функция из подгруженной библиотеки черт его знает какого языка и компилятора. Вот возмет foo и запишет по адресу переменной a другое значение

Если a не находится в защищенной области памяти и ОС это поддерживающей то пиши пропало.

ValeryS · 24.10.2015, 22:02

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

Почему/по какой причине оно может измениться?

ну например так

C++
1
2
3
const int a=5;
int b[1];
b[-1]=0;

но это грязный хак и UB в чистом виде

Новые блоги и статьи Все статьи Все блоги /
Беседа с ИИ о программистах, недопускающих к созданию и правке кода генеративные ИИ и причины этого zorxor 21.09.2026 Раньше я радовался или получал некоторые эмоции, пусть небольшие, но всё же, от самого процесса написания кода, рекомпиляции и запуска, видя постепенное развитие программы и прочее. А теперь лень. . .	Мобильное приложение ColorStep pavlinmavlin 17.09.2026 Реализовал приложение Красный, Зеленый, Синий в Unity3d + c#. Название изменил на ColorStep. Приложение прошло модерацию и теперь доступно для скачивания. Делал его сам, шаг за шагом — и вот,. . .	Запрет дублирования строк в табличной части Maks 13.09.2026 Реализация из решения ниже выполнена на нетиповом справочнике "Нормы ТО" с табличной часть "Виды ТО", разработанного в КА2, со следующими реквизитами: - ВидТО (СправочникСсылка. ВидыТО); - ВидГСМ. . .	Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Jin X 06.09.2026 Скрипты Tampermonkey для CyberForum, ChatGPT, Claude и пр. Работая с форумом и нейросетями в браузере часто хочется что-то подкорректировать или добавить какого-то функционала. Ниже прикреплён. . .
Программа опроса у.з. расходомера SLS-720F Argus19 02.09.2026 Программа опроса у. з. расходомера SLS-720F Программа опрашивает один раз в минуту три ультразвуковых расходомера SLS-720F через интерфейс RS-485 по протоколу Modbus RTU. Опрашиваются регистры. . .	Hyper-V: Компьютер должен поддерживать доверенный платформенный модуль 2.0. Maks 31.08.2026 При установке Windows 11 на виртуальную машину Hyper-V 2-го поколения вылезла такая ошибка: Решение: в параметрах виртуальной машины, в разделе "Безопасность" (Security) активировать флаг. . .	Архитектура биовида Стива в Майнкрафте: Зачем бонобо кубический каннибализм anaschu 30.08.2026 Кубический Вагинокапитализм в Minecraft: Математический инвариант ОДУ и рок Стивов-бонобо Главная задача разработанной «Модели Всего» — наглядно продемонстрировать наличие системной «судьбы». . .	Оттачиваю умение писать js программы. russiannick 30.08.2026 Проектом выходного дня стало написание Книги шифров Виженера. Итогом стала версия 200, синий туман. Синий туман назван так, потому что замораживает текст под собой. Нажатие синих кнопок управляют. . .