C ++：使用宏比较指针时发生编译器错误

Question

I have defined a custom assert macro. This works fine for all other comparisons. However, I get the compiler error:

ISO C++ forbids comparison between pointer and integer

when using the macro shown below (DWASSERT) to compare pointers as in the code below.

#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;
}

While I can simply avoid using DWASSERT for this case, I am curious as to why this compiler error is generated.

Answer 1

The problem is that DWASSERT(ptr1 == ptr2, ... gets expanded to
if(!ptr1 == ptr2){ printf(...

Do you see what's going on? !ptr1 == ptr2 is equivalent to (!ptr1) == (ptr2) , and since !ptr1 is an integer type and ptr2 is a pointer type, you get your error.

What you need to do to fix this is to change your macro definition to:

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

Also, keep in mind that it is a bad idea to use printf the way you have, with an arbitrary string as a format. At some point somebody will give you a string with a % in it and things will break. You should use something like puts(x) or printf("%s", x) .

Answer 2

Change

if(!condition)

To

if(! (condition) )

The way you did it, ! is applied to the first pointer in the comparison, not the comparison result, it has higher precedence than == .

You should always enclose the macro parameters in parenthesis to avoid similar problems. Sometimes the compiler won't warn you and you'll be pulling your hears for nights looking for the bug.

Answer 3

Put parenthesis around the condition in the if in the macro:

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

The compiler is seeing:

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

Which is interpreted as:

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

Which is not what you want. But you should really be using a proper function for this - the condition is potentially evaluated twice with your macro. There could be circumstances where the second test could yield different results from the first, which would have very surprising results.

int i = -1;

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

(If you really have to use a macro, you should create an anonymous block in it, and save the evaluation of the condition in a temporary bool . This is often done with a do { ... } while(0) construct.)

Answer 4

尝试

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