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

(Моим конкретным случаем был вызов функции с несколькими параметрами. У одного был 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), который может вам подойти или не подойти.