是否要求对两个不同的本地空对象的指针进行不相等的比较?

Consider the following methods:

考虑以下方法:

typedef struct {} empty;
typedef struct { char x; } onechar;

void sink2(void* left, void* right);

void pass2empties() {
    empty e1, e2;
    sink2(&e1, &e2);
}

void pass2chars() {
    onechar e1, e2;
    sink2(&e1, &e2);
}

int check2empties() {
    empty e1, e2;
    return (&e1 == &e2);
}

int check2chars() {
    onechar e1, e2;
    return (&e1 == &e2);
}

unsigned sizeofempty() {
    return sizeof(empty);
}
typ