Примечание на будущее:

(Моим конкретным случаем был вызов функции с несколькими параметрами. У одного был max(a,b), а у другого параметра была ошибка. Он использовал другой макрос, который мог компилятор помечает каждый макрос во всем вызове).

Сообщение выглядит отвлекающим маневром, поскольку с определением макроса max(a,b) проблем нет. Я подозреваю, что он помечен только потому, что он косвенно связан с оператором с ошибкой.

Поскольку это не было частью проблемы, компилятор не мог сказать ничего конкретного ни об этом, ни о сгенерированном коде. Поэтому сообщение с пометкой заканчивается тем, что говорит «в определении макроса» (своего рода крайняя мера по умолчанию), поскольку ничего более конкретного сказать не может.

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

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

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

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

Я могу достаточно легко воспроизвести ваше сообщение:

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

void setup() {
 int b = 66;
 unsigned int c = 42;
 analogWrite (3, max (b, c));
}

void loop() { }

Я получаю следующие предупреждения:

/tmp/arduino_modified_sketch_857720/sketch_aug31a.ino: In function 'void setup()':
/tmp/arduino_modified_sketch_857720/sketch_aug31a.ino:1:25: warning: comparison between signed and unsigned integer expressions [-Wsign-compare]
 #define max(a,b) ((a)>(b)?(a):(b))
                         ^
/tmp/arduino_modified_sketch_857720/sketch_aug31a.ino:6:18: note: in expansion of macro 'max'
  analogWrite (3, max (b, c));

Дело в том, что предупреждение примечание: в расширении макроса 'max' просто говорит вам, где макрос определен, поэтому вы можете понять настоящее предупреждение. настоящее предупреждение: предупреждение: сравнение целочисленных выражений со знаком и без знака

Итак, читая их вместе, вы сравниваете (в макросе) число со знаком и без знака, и компилятор предупреждает вас об этом.

Сообщение выглядит отвлекающим маневром, учитывая, что с определением макроса max(a,b) проблем нет. Я подозреваю, что он помечен только потому, что он косвенно связан с оператором с ошибкой.

Верно. В этом макросе проблем нет. Макросы могут генерировать странные сообщения об ошибках, потому что они просто заменяют текст. Например:

max (the quick brown fox, jumps over the lazy dog);

Это вызовет множество ошибок, в том числе "примечание" к месту определения max. В max нет ничего плохого, пока вы не попытаетесь наполнить его мусором.

Шаблоны

Это одна из причин, по которой я предпочитаю по возможности избегать макросов. Вы можете сделать «максимум» с помощью шаблона. Например:

#undef max   // удалить исходный макрос в заголовочном файле Arduino

template<typename T> T max (T a, T b)
  {
  if (a > b)
    return a;

  return b;
  }

Теперь вы получаете немного более разумные сообщения об ошибках:

/tmp/arduino_modified_sketch_711186/sketch_aug31a.ino: In function 'void setup()':
sketch_aug31a:14: error: no matching function for call to 'max(int&, unsigned int&)'
   analogWrite (3, max (b, c));
                            ^
/tmp/arduino_modified_sketch_711186/sketch_aug31a.ino:14:28: note: candidate is:
/tmp/arduino_modified_sketch_711186/sketch_aug31a.ino:3:24: note: template<class T> T max(T, T)
 template<typename T> T max (T a, T b)
                        ^
/tmp/arduino_modified_sketch_711186/sketch_aug31a.ino:3:24: note:   template argument deduction/substitution failed:
/tmp/arduino_modified_sketch_711186/sketch_aug31a.ino:14:28: note:   deduced conflicting types for parameter 'T' ('int' and 'unsigned int')
   analogWrite (3, max (b, c));
                            ^
exit status 1
no matching function for call to 'max(int&, unsigned int&)'

Конечно, теперь вы перешли от предупреждения к ошибке, потому что шаблону нужен один тип.

Обратили внимание на примечания? Это просто компилятор пытается быть полезным.

Вы можете сделать так, чтобы шаблон принимал два типа, если вы готовы угадать тип возвращаемого значения (это будет первый тип или второй тип?):

#undef max

template<typename T1, typename T2> T1 max (T1 a, T2 b)
  {
  if (a > b)
    return a;

  return b;
  }

Теперь вы не получите сообщение об ошибке или предупреждение, однако результатом будет первый тип (T1), который может вам подойти или не подойти.