3

Задача стоит написать функцию-макрос. Сама функция написано и даже один раз корректно срабатывает. Вот она:

#define maximum(x, y, r) int aa=x; int bb=y; r = ((aa) > (bb) ? (aa) : (bb))/* присвойте в r максимум из x и y */

Но при повторном вызове компилятор выдает ошибки вида:

error: redeclaration of 'int aa'
error: 'int aa' previously declared here

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

1
  • каждый раз как вы используете свой макрос он заново размещает одни и те же переменные в одном пространстве имен несколько раз, т.е два раза вызвали получили int aa=x; int bb=y; int aa=x; int bb=y;
    – perfect
    14 сен 2015 в 16:10

6 ответов 6

7

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

#define maximum(x, y, r) \
do { int aa = ( x ); int bb = ( y ); ( r ) = bb < aa ? aa : bb; } while ( false )

Предвидя ваш вопрос, почему используется конструкция do-while, скажу, чтобы, например, этот макрос можно было бы использовать в if-else предложении:

if ( x > 0 && y > 0 ) maimum( x, y, r );
else maximum( x = -x, y = -y, r );

Ниже представлена демонстрационная программа

#include <iostream>

#define maximum(x, y, r) \
do { int aa = ( x ); int bb = ( y ); ( r ) = bb < aa ? aa : bb; } while ( false )

int main()
{
    int x = -10, y = -5, r;

    if ( x > 0 && y > 0 ) maximum( x, y, r );
    else maximum( x = -x, y = -y, r );

    std::cout << "x = " << x << ", y = " << y << ", r = " << r << std::endl;
}        

Ее вывод на консоль:

x = 10, y = 5, r = 10

Что касается вашего определения макроса, то он постоянно определяет переменные aa и bb в той области видимости, где макрос вызывается.

#define maximum(x, y, r) int aa=x; int bb=y; r = ((aa) > (bb) ? (aa) : (bb))

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

Использование макросов в C++ - это анахронизм. Лучше использовать встраиваемые функции, то есть функции со спецификатором inline. Более того в C++ уже есть стандартная функция std::max. Поэтому вы могли бы просто написать

r = std::max( x, y );

Имейте в виду, что поведение вашего макроса отличается от поведения аналогичной стандартной функции std::max. Ваш макрос в случае равенства x и y возвращает y, тогда как стандартная функция std::max возвращает x. И кроме того вы используете оператор > тогда как стандартная функция использует оператор <. Для фундаментальных типов это может не играть существенной роли, тогда как для определенных пользователем типов это имеет важное значение.

А самое главное - ваш макрос нельзя использовать в выражениях. Это ограничивает его применение.

2
  • Скобки-скобки-скобки...
    – Qwertiy
    14 сен 2015 в 16:25
  • 2
    онлайновые функции :))))
    – zenden2k
    14 сен 2015 в 17:49
3

Причина однозначно описана в сообщении об ошибке: множественное объявление переменной. Макрос заменяется (грубо говоря) на его содержимое препроцессором и у вас второй раз появляется объявление переменной как только появляется второе вхождение макроса.

3
#define SET_MAX(r,a,b) do \
                         { \
                         auto aa=(a); \
                         auto bb=(b); \
                         (r) = aa>bb ? aa : bb; \
                         } while(0)

Но вообще, лучше сделать функцию:

template <typename typed>
typed & set_max(typed &r, const typed &a, const typed &b)
  {
  return r = a > b ? a : b;
  }
13
  • Скобки излишни. 14 сен 2015 в 16:29
  • @АнтонСазонов, 1. нет. 2. какие именно?
    – Qwertiy
    14 сен 2015 в 16:30
  • В 3-й строке первого примера. 14 сен 2015 в 16:31
  • 1
    @VladD, тогда уж const auto &? Но что-то я опасаюсь такое без проверки писать...
    – Qwertiy
    14 сен 2015 в 16:38
  • 1
    @АнтонСазонов, чем тебе мешают эти скобки? Я привёл пример не того, что все будут писать, а того, что в принципе возможно, что их отсутствие скажется на результате. "Если знать что такое COMMA, то мы знаем что передаём в макрос." - да, мы знаем, что мы передаём, но мы ожидаем, что он это корректно обработает. И он может корректно обработать. Но вариант без скобок обрабатывает некорректно. Так что плохого в наличии этих скобок? Либо есть какой-то случай, когда они мешают (но я такого не вижу, покажи тогда), либо нет никаких причин их убирать - ведь так?
    – Qwertiy
    14 сен 2015 в 17:44
2

Добавлю и свои 5 копеек.

Для GNU (g++/gcc) я бы написал этот макрос следующим образом:

#define maximum(x, y, r) ({typeof(x) _x = x; typeof(y) _y = y; \
      (r) = ( _x > _y ? _x : _y);})

Компиляторы g++/gcc позволяют использовать блоки {...}, в которых можно определять локальные для блока переменные, в скобочных выражениях.

В таком виде у макроса будет такое же поведение как у функции, если его аргументы "самомодифицирующиеся", т.е. Вы пишете что-то типа

maximum(++a, b--, *t++);

Поскольку тело макроса заключено в скобки, то его можно использовать в коде всюду, где допустимо выражение, например, в операторе if

if (maximum(a, b, t[i++]) > 0))
  ....

или в качестве аргумента функций, в объявлении переменных (инициализация) и т.п. как функцию с побочным эффектом.

Значением такого выражения будет значение последнего оператора, т.е. то, что в данном случае присваивается аргументу r макроса. Понятно, что r в этом макросе д.б. lvalue.

P.S.
Между прочим, тип выражений (переменных) x, y и r может быть и разным.

7
  • Тут про скобки у аргументов что-то спор возник, но вот уж у r скобки совершенно точно нужны. (a<b ? a : b) = c>d ? c : d;
    – Qwertiy
    14 сен 2015 в 17:57
  • А про разные типы я уже подумал, поэтому в своём варианте поменял одно auto на два. Для шаблона тоже можно несколько параметров типа сделать.
    – Qwertiy
    14 сен 2015 в 17:58
  • @Qwertiy, там где аргументы макроса используются в арифметических выражениях, сравнении и т.п. скобки точно нужны. А для правильного lvalue зачем они? Хотя, поскольку мировой запас скобок не ограничен, то во всех сомнительных случаях их стоит использовать. / Здесь же (в моем макро) imho для r они не нужны. Т.е. попробуйте найти такую конструкцию для r, которая со скобками работает, а без них нет (мне такая что-то в голову не приходит (на самом деле буду рад ошибиться и увидеть ее)).
    – avp
    14 сен 2015 в 18:19
  • 1
    @Qwertiy, OK, убедили, подправлю. Хотя, мне все же кажется, что в таком случае программисту правильнее было бы заключать в скобки подобное выражение (x<y?x:y) при вызова макроса.
    – avp
    14 сен 2015 в 18:43
  • 1
    В случае функции оно бы работало и без скобок. Если цель - максимально приблизить макрос к функции, то скобки при вызове не нужны. Да и вообще, ничего, что не содержит top level запятой заключать в скобки при передаче как аргумента мне логичным не кажется :)
    – Qwertiy
    14 сен 2015 в 19:15
1

Макрос - это не функция. Проще сделать так:

#define maximum(x, y, r) r = ((x) > (y) ? (x) : (y))

И не забудь добавить ; после maximum при использовании.

Но обычно делают так:

#define maximum(x, y) ((x) > (y) ? (x) : (y))

А используют так:

int r = maximum( a, b );

Но раз уж мы говорим о С++, то я бы использовал функцию.

template <class T> T & maximum( T & a, T & b ) { return a > b ? a : b; }
2
  • 1
    там в тестах прединкрименты стоят. Например вот так: 'int a = 16; int b = 20; 'int c = 0; 'maximum (++a, ++b, c);' И суть в том чтобы он и с ними корректно срабатывал - то есть не инкрементил два раза a например! Я только через введение доп переменных могу так сделать.
    – advortsov
    14 сен 2015 в 16:09
  • 1
    @АлександрДворцов, ну тогда сам Бог велел заменить этот макрос на функцию. 14 сен 2015 в 16:13
1
#define maximum(x, y) []() { auto aa=(x),  bb=(y); return  ((aa) > (bb) ? (aa) : (bb)); }()

:)

3
  • Поясните свой ответ пожалуйста
    – Kromster
    14 сен 2015 в 18:39
  • Плюсик, за то что прикольно :)
    – Qwertiy
    14 сен 2015 в 19:14
  • Лямбда в макросе. Сочетание жесть)
    – Nex
    14 сен 2015 в 19:38

Ваш ответ

By clicking “Отправить ответ”, you agree to our terms of service and acknowledge that you have read and understand our privacy policy and code of conduct.

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.