Пользователям IAR C (AVR прежде всего). Только что обнаружили некорректность(?) компилятора. («Телесистемы»: Конференция «Микроконтроллеры и их применение»)

Пользователям IAR C (AVR прежде всего). Только что обнаружили некорректность(?) компилятора.

(«Телесистемы»: Конференция «Микроконтроллеры и их применение»)

Отправлено Bill 04 июня 2003 г. 13:48

Точнее - некорректность(?) препроцессора, связанная с обработкой директивы define.


#define _6_BIT 1<<6
и
#define _6_BIT (1<<6)

дают разные результаты при обработке выражения
PORT &= ~_6_BIT; // Сбросить бит
Т.е. препроцессор тупо подставляет текст из макроопределения со всеми вытекающими последствиями. Возможно это так и должно быть, но я встречал компиляторы (и сам делал так), которые текст макроопределения заключают в скобки (...). Будьте внимательны!

Составить ответ ||| Конференция ||| Архив

Ответы

Ответ: В заключение дискуссии. Цитата из Д.Ритчи — Bill (04.06.2003 15:46, 519 байт, ссылка)
Ответ: — ANSI/ISO C (04.06.2003 14:46, 353 байт)
- Ответ: Наверное так! — Bill (04.06.2003 14:53, пустое)
- ...что и добавляет вероятность ошибки в том случае, когда программист недостаточно внимателен. — Peter K. (04.06.2003 14:49, пустое)
  - Да. И об этом много говорят, и не только про макросы. Если не нравится - пишите на Java, или MISRA C, или на чём-нибудь ещё. — Mik (04.06.2003 14:57, пустое)
    - поддерживаю — bialix (04.06.2003 15:43, пустое)
Ответ: двоешник! Страуструпа почитай, что ли.. — ... (04.06.2003 14:24, 166 байт)
- Ответ: А причем здесь Страуструп? — Bill (04.06.2003 14:31, пустое)
  - там про макросы очень хорошо написано — ... (04.06.2003 14:57, пустое)
    - Ответ: Так про них не только там хорошо написано. См. сообщение выше - там коротко и ясно сказано. — Bill (04.06.2003 15:00, пустое)
      - Страуструп это все подробно, с примерами, разжевывает. Кстати, его совет по макросам - без необходимости не используйте. — ...   (04.06.2003 15:05, пустое)
        
        Это у него применительно к Си++. Попробуйте на чистом Си без макросов долгое время - и волком взвоете! И вообще - дался вам этот Страуструп - нет бога кроме сипипи и Страуструп пророк его?! — bialix   (04.06.2003 15:38, пустое)
        
        Ответ: я такого не говорил. Это Ваши слова. А насчет макросов - в С++ они имеют намного меньшее значение, чем в С - так сделано как раз потому, что их использование чревато малопонятными и труднонаходимыми ошибками. — ...   (04.06.2003 16:28, пустое)
        
        если бы в Си было понятие inline-функций, стали бы мы связываться с макросами! А один только enum погоды не делает, а иногда и откровенно мешает! — bialix   (04.06.2003 16:52, пустое)
        
        Ответ: ясен день. В gcc есть - как расширение языка. — ...   (04.06.2003 17:33, пустое)
        
        а gcc - это случаем не ++ компилятор? — bialix   (04.06.2003 17:48, пустое)
        
        Ответ: случаем нет, вернее он и С и С++, но расширение inline в нем для есть именно для С. — ...   (04.06.2003 19:15, пустое)
        
        Ответ: да, кстати, еще и неожиданными побочными эффектами (читай - ошибками) — ...   (04.06.2003 16:32, 129 байт)
        
        Ответ: Ладно, гляну еще раз повнимательней. Честно говоря, я у него этот раздел как-то пропустил. — Bill   (04.06.2003 15:09, пустое)
В компиляторе IAR для MSP именно точно так же! Обязательно всегда ставлю скобки (с тех пор как накололся на этом). — Peter K. (04.06.2003 14:17, пустое)
- "Точно так же" именно потому, что так и должно быть.. — Dr.Alex (04.06.2003 14:36, пустое)
  - но до тех пор думал, что компилятор эти скобки "подразумевает" — Peter K. (04.06.2003 14:43, пустое)
    - Ответ: а какое отношение препроцессор имеет к компилятору? препроцессор работает с текстом, и ему очень мало известно о языке С. — ... (04.06.2003 14:59, пустое)
      - Пардон, ессно, препроцессор. Не теми пальцами печатал. — Peter K. (04.06.2003 15:22, пустое)
А какой эээ версии ? ;) — Весельчак_У (04.06.2003 14:15, пустое, картинка)
- Ответ: 2.27B — Bill (04.06.2003 14:18, пустое)
я думаю Вы первый на такое напоролись:)) — Внимательный препроцессор (04.06.2003 14:04, пустое)
- Ответ: Вообще-то не я, но это не имеет значения. Я то ставлю все скобки сам, не доверяя компиляторам. — Bill (04.06.2003 14:12, пустое)
да это ж в каждом учебнике написано. А если препроцессор поставит сам скобки - прибью ! — DASM (04.06.2003 13:54, пустое)
- Ну и зря. — Peter K. (04.06.2003 14:22, 315 байт)
  - Всё правильно Дасм сказал - скобки надо ставить самому. Если их поставил препроцессор - это криминал.. — Dr.Alex (04.06.2003 14:35, пустое)
  - Ответ: если тебе хотелось b = c*(1+2) - так и нужно писать: #define multiplier (1+2) — ... (04.06.2003 14:26, пустое)
    - Ответ: Да тут не о чем спорить! Просто некоторые компляторы (старые) заключали тест макроопределения в скобки сами. — Bill (04.06.2003 14:41, 201 байт)
      - И я согласен - и я бы убил бы. Слава тем компиляторам, которые НЕ ставят. — John (04.06.2003 15:23, пустое)
      - Ответ: согласен с Дасмом - за такое убил бы. — ... (04.06.2003 15:00, пустое)
      - В этом что то есть... Но лучше бы этого не было. ! Все таки IAR в данном случае более прав. — Весельчак_У (04.06.2003 14:54, пустое, картинка)
      - Да неправильно это! Откуда препроцессору знать, что вы хотите получить от него? Может вы специально скобки не поставили, а он их наставит! — Любящий С   (04.06.2003 14:47, пустое)
        
        Приведите, плз, пример, когда может понадобиться такая ситуация — Peter K.   (04.06.2003 14:53, 102 байт)
        
        Пример — Любящий С   (04.06.2003 15:16, 535 байт)
        
        MFC - там примеров хоть отбавляй. И не говорите, что в Микрософте работают дураки. — ...   (04.06.2003 15:06, пустое)
        
        Ответ: в Микрософте работают дураки. — mihasic   (04.06.2003 15:12, 10 байт)
        
        BTW там работает несколько моих друзей. Чем они Вам так не угодили? — Oldring   (04.06.2003 15:49, пустое)
        
        Завидно, что ты там не работаешь? — ...   (04.06.2003 15:13, пустое)
        
        Ответ: — ...   (04.06.2003 15:05, пустое)
        
        Так вы же сами пример привели! А если так и надо? Если же проепроцессор скобки ставит, то такого выражения вообще никак получить нельзя - явное ущемление прав программёра.. — Dr.Alex   (04.06.2003 14:55, пустое)
      - доказательства! в смысле какие компиляторы? — Внимательный препроцессор (04.06.2003 14:47, пустое)
        
        Ответ: DECUS Си для PDP-11 — Bill (04.06.2003 15:13, пустое)
      - Как правило, если программист дефайнит что-нибудь, то — Peter K.   (04.06.2003 14:46, 154 байт)
        
        Ответ: зачем далеко ходить за примерами? Карта сообщений в MFC — ...   (04.06.2003 15:02, пустое)
        
        Подключите воображение. Макросы могут делать миллион полезных вещей. — Mik   (04.06.2003 14:54, 253 байт)
        
        там точно хватает фигурных скобок? — Peter K.   (04.06.2003 15:07, пустое)
        
        Первый макрос открывает {, второй закрывает }.. — Dr.Alex   (04.06.2003 15:09, пустое)
        
        нифига себе! — Peter K.   (04.06.2003 15:17, пустое)
        
        о сколько нам открытий чудных... знаете, в си есть и другие интересные фичи :-) — Mik   (04.06.2003 15:24, пустое)
        
        ехидничать некрасиво — Peter K.   (04.06.2003 15:50, пустое)
        
        Конечно, я бы не стал так делать - дурной тон.. — Dr.Alex   (04.06.2003 15:19, пустое)
        
        не фига это не дурной тон, а защита от забывчивости. Если не сделать end_atomic прога не компильнется — DASM   (04.06.2003 15:37, пустое)
        
        не говоря уже о том, что локальная переменная в середине функции может объявлена только после фигурной скобки. — Mik   (04.06.2003 15:39, пустое)
        
        Даешь свободу программисту! — Peter K.   (04.06.2003 15:21, пустое)
        
        Точно! Я про это и забыл, наверно потому что не люблю использовать макросы-блоки { // код; } — Dr.Alex   (04.06.2003 15:04, пустое)
        
        Поймите, что скобки вы всегда можете руками поставить, а если всё-таки нужно без скобок? Этого никак не удастся добиться.. — Dr.Alex   (04.06.2003 14:51, пустое)
классика жанра - скобки надо ставить самому. — bialix (04.06.2003 13:52, пустое)

Перейти к списку ответов ||| Конференция ||| Архив ||| Главная страница ||| Содержание ||| Без кадра

E-mail: info@telesys.ru