C++: ошибка компилятора при сравнении указателей с использованием макросов

Question

Я определил пользовательский макрос assert. Это отлично подходит для всех других сравнений. Тем не менее, я получаю ошибку компиляции:

ISO C++ forbids comparison between pointer and integer 

при использовании макроса, показанное ниже (DWASSERT) сравнивать указатели, как в коде ниже.

#define DWASSERT(condition,printstatement) if(!condition){ printf(printstatement); assert(condition); } 

#include <stdio.h> 

int main() 
{ 
    int target = 0; 
    int* ptr1 = &target; 
    int* ptr2 = &target; 

    //Normal comparison works fine 
    if(ptr1 == ptr2) 
     printf("Equal"); 

    //Comparison using Macro generates compiler 
    //error on the next line 
    DWASSERT(ptr1 == ptr2, "Pointers not equal!\n"); 
    return 0; 
} 

В то время как я могу просто избегать использования DWASSERT для этого случая, мне любопытно, почему генерируется эта ошибка компилятора.

Answer 1

Проблема заключается в том, что DWASSERT(ptr1 == ptr2, ... получает расширена
if(!ptr1 == ptr2){ printf(...

Вы видите, что происходит? !ptr1 == ptr2 эквивалентен (!ptr1) == (ptr2), а так как !ptr1 - целочисленный тип, а ptr2 - тип указателя, вы получаете свою ошибку.

Что вам нужно сделать, чтобы исправить это изменить определение макроса:

#define DWASSERT(condition,printstatement) if(!(condition)){ printf... 

Кроме того, имейте в виду, что это плохая идея использовать printf так, как вы есть, с произвольная строка как формат. В какой-то момент кто-то даст вам строку с %, и все сломается. Вы должны использовать что-то вроде puts(x) или printf("%s", x).

Answer 2

Изменить

if(!condition) 

Для

if(! (condition)) 

То, как вы сделали это, ! применяется к первому указателю в сравнении, а не результат сравнения, имеет более высокий приоритет, чем ==.

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

Answer 3

Попробуйте

DWASSERT((ptr==ptr2), "Pointers not equal!\n"); 

Answer 4

Put скобку вокруг условия в if в макросе:

#define DWASSERT(condition,printstatement) if(!(condition)){ printf(printstatement); assert(condition); } 

Компилятор видит:

if (!ptr1 == ptr2) { ... } 

который интерпретируется как:

if ((!ptr1) == ptr2) { ... } 

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

int i = -1; 

DWASSERT(++i, "will I assert?"); 

(Если вы действительно должны использовать макрос, вы должны создать анонимный блок в нем, и сохранить оценку состояния во временном bool. Это часто делается с do { ... } while(0) конструкцией.)