Мы используем прописные буквы в имени MAX, чтобы отличить его от многих функций с именем max (в разных программах). Очевидно, что этот макрос сильно отличается от функции: у него нет типов аргументов, нет тела, нет инструкции return и так далее, и вообще, зачем здесь так много скобок?
Также вам может показаться, что такая тема как
http://silverspoons.ru/?p=catalog&action=show&id=354никак не связана и даже не тематична с программированием. Хотя, может быть и связана.
В любом случае все-таки зайдите на сайт silverspoons.ru
Тема кубачинское серебро купить там представлена весьма широко.
Проанализируем следующий код:
int aa = MAX(1,2); double dd = MAX(aa++,2); char cc = MAX(dd,aa)+2;
Он разворачивается в такой фрагмент программы:
int aa = ((1)>=( 2)?(1):(2));
double dd = ((aa++)>=(2)?( aa++):(2));
char cc = ((dd)>=(aa)?(dd):(aa))+2;
Если бы всех этих скобок не было, то последняя строка выглядела бы следующим образом.
char cc = dd>=aa?dd:aa+2;
Иначе говоря, переменная cc могла бы легко получить другое значение, которого вы не ожидали, исходя из определения макроса. Определяя макрос, не забывайте заключить в скобки каждый аргумент, входящий в выражение.
Iwl С другой стороны, не всегда скобки могут спасти нас от второго варианта развертывания. Параметру макроса x было присвоено значение aa++, а поскольку переменная x в макросе MAX используется дважды, переменная a может инкрементироваться также дважды. Не передавайте макросу аргументы, имеющие побочные эффекты.
Какой-то “гений” определил макрос следующим образом и поместил его в широко используемый заголовочный файл. К сожалению, он также назвал его max, а не MAX, поэтому когда в стандартном заголовке языка C++ объявляется функция
template inline T max(T a, T b) { return a
имя max разворачивается с аргументами T a и T b, и компилятор видит строку
template inline T ((T a)>=( T b)?( T a):( T b))
{ return a
Сообщения об ошибке, выдаваемые компилятором, интересны, но не слишком информативны. В случае опасности можете отменить определение макроса.
#undef max
К счастью, этот макрос не привел к большим неприятностям. Тем не менее в широко используемых заголовочных файлах существуют десятки тысяч макросов; вы не можете отменить их все, не вызвав хаоса.
Не все параметры макросов используются как выражения. Рассмотрим следующий пример:
#define ALLOC(T,n) ((T*)malloc(sizeof(T)*n))
Это реальный пример, который может оказаться очень полезным для предотвращения ошибок, возникающих из-за согласованности между желательным типом выделяемой памяти и использованием оператора sizeof.
double* p = malloc(sizeof(int)*i0); /* похоже на ошибку */
К сожалению, написать макрос, который позволял бы выявить исчерпание памяти, — нетривиальная задача. Это можно было бы сделать, если бы мы в каком-то месте программы соответствующим образом определили переменную error_var и функцию error().
#define ALLOC(T,n) (error_var = (T*)malloc(sizeof(T)*n), \
(error_var==0)\
?(error("отказ выделения памяти"),0)\
:error_var)
Строки, завершающиеся символом \, не содержат опечаток; это просто способ разбить определение макроса на несколько строк. Когда мы пишем программы на языке C++, то предпочитаем использовать оператор new.
Опубликовал katy
May 01 2015 11:19:52 ·
0 Комментариев ·
3569 Прочтений ·
• Не нашли ответ на свой вопрос? Тогда задайте вопрос в комментариях или на форуме! •
Комментарии
Нет комментариев.
Добавить комментарий
Рейтинги
Рейтинг доступен только для пользователей.
Пожалуйста, залогиньтесь или зарегистрируйтесь для голосования.
Нет данных для оценки.
Гость
Вы не зарегистрированны? Нажмите здесь для регистрации.
Главная
Каталог файлов
