Использование макросов в C++ (+ и -)

[kineziz]

Недавно наткнулся на такую фразу в интернете.
Цитировать не буду, полностью не помню, но звучит примерно так: Использовать макросы вредно, используйте в крайних случаях.

И у меня возник вопрос почему. Смотрел в интернете. Конкретного ответа на "почему" не нашел.

Вот и решил спросить у людей а не у гугла))).

Можно узнать о всех плюсах и минусах использования макросов. И как часто вы их используете. И каковы эдакие последствия частого использования макросов в программе.

Знаю один плюс:
1. Визуально сокращается объем кода (почему визуально думаю понятно)
И минус:
2. При использовании макросов, которые вычисляют сложные выражения, могут принести кучу проблем (думаю сами знаете какие)

[Granus]

Макросы - лобовая подстановка значений аргументов вместо выражения. Отсюда у многих большие проблемы при их написании.

#define max(a,b) (a > b) ? a : b

Например, в таком варианте max(a | b,c) превратится в (a | b > c) ? a | b : c, причем из-за приоритета операций сравнение выполнится раньше побитового или, чего нам явно не надо. И даже если улучшить макрос

#define max(a,b) ((a) > (b)) ? (a) : (b)

остается еще одна проблема - если вместо аргумента стоит выражение, то оно будет вычислено дважды.

Ошибки в макросах, как правило, очень дорого обходятся, так как компилятор не сможет Вам о них сообщить (макросы обрабатываются препроцессором, до компилятора). Они общие на всю единицу трансляции, и если они будут повторяться в разных, например, заголовочных файлах, то, опять же, Вы об этом узнаете только когда сами во всем разберетесь.

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

Но, конечно, многие вещи пока без макросов сделать невозможно.

[kineziz]

Спасибо за содержательный ответ. Все понятно. А на производительности это никак да не сказывается?

[_Bers]

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

Спасибо за содержательный ответ. Все понятно. А на производительности это никак да не сказывается?

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

На мой взгляд, потенциально опасны только глобальные макросы.

Критерий "правильности" использования макроса можно сформулировать так:
1. Макрос не должен ухудшать читабельность кода сторонними лицами. А напротив - улучшать её. Если макрос не улучшает читабельность - он не нужен.

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

3. Макросы не являются пользовательскими инструментами. И существуют только в недрах механизмов.

4. Макросы надлежит именовать с префиксами согласно принятой нотации, что бы избежать любых возможных конфликтов тегов исходного кода.

5. Идешки не умеют разворачивать макросы. Любые ошибки, которые происходят внутри макроса - сложно отлаживать. Это наиболее критичный фактор, который стоит учитывать, прежде чем будет принято решение использовать макрос.

Резюмируя: если есть возможность написать читабельный/сопровождаемый код без макросов - макросы не нужны.

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

[waleri]

Макросы нельзя "положить" в namespace
Макросы не различают типы данных

[kineziz]

Спасибо всем за ответы. Сделал выводы. Лучше ответов не найти