c - 获取条件表达式的地址

Question

我有以下代码:

struct S {
    int x;
};

#define X(a, s) ((struct S*)(a ? &s : 0))

int main(void)
{
    int a;
    struct S s;
    struct S *t;
    int *x;

    a = 3;
    s.x = 4;

    x = &(X(a, s)->x);
    t = &(X(a, s));
}

当我编译这个时，我在最后一行得到一个错误:

test.c: In function ‘main’:
test.c:18:9: error: lvalue required as unary ‘&’ operand
     t = &(X(a, s));
         ^

为什么“&(X(a, s)->x)”是有效代码，而“&(X(a, s))”不是？两者都涉及返回条件表达式的地址。

Answer 1

在&(X(a, s))中，&应用于((struct S*)(a, &s : 0))。该表达式的类型是 struct S*，它是一个值(指向 struct S 的指针的值)。 & 不能应用于非左值的值。¹

在&(X(a, s)->x)中，&应用于((struct S*)(a, &s : 0 ))->x。该表达式采用指向 struct S 的指针，并使用它来引用成员 x，这是一个 int。它是一个左值，因为它指定作为成员 x 的 int 对象(C 2018 6.5.2.3 4 明确表示 -> 的结果> 是一个左值)。因为它是一个左值，& 可以应用于它。

脚注

¹ 根据 C 2018 6.5.3.2 1，地址运算符 & 必须应用于函数指示符，[ ] 的结果或一元 *，或指定不是位域且未使用 register 声明的对象的左值。