有没有什么窍门禁止C宏被称为左值？

Question

例如，

struct node { 
    struct node *left, *right; 
}; 
#define LEFT(X) (X->left) 
#define RIGHT(X) (X->right) 

我想禁止这样的宏调用不改变现有的宏接口。

LEFT(n) = ... 

任何想法？

Answer 1

试试这个：

#define LEFT(X) ((X)->left+0) 
#define RIGHT(X) ((X)->right+0) 

Answer 2

#undef LEFT 
#undef RIGHT 

//template<class T> 
inline const node * const LEFT(const node * X) { 
    return X->left; 
} 

Answer 3

我不认为有什么办法来防止这种情况。可能最好的办法是不使用宏。

Answer 4

也许const，但它需要一个明确的类型：

#define LEFT(X) ((const struct node *) (X->left)) 

...但如果你有typeof编译器扩展：

#define LEFT(X) ((const typeof(X->left)) (X->left)) 

Answer 5

我会用内联函数去，但如果你想要一个宏：

#define LEFT(X) (1 ? (X)->left : 0) 

Answer 6

你可以使用三元运算符来CE宏的结果是右值，但错误信息可能会造成混淆用户：

struct node { 
    node *left, *right; 
}; 
#define LEFT(x) (true ? (x).left : (node*)0) 
int main() { 
    node n; 
    // LEFT(n); // error 
    node *l = LEFT(n); // OK 
} 

权谋有在特定运营商的语义。只包含操作符的表达式的类型是表达式两个分支的常见类型（或可从中转换而来的类型），即使只评估其中一个分支。现在，当编译器评估true ? x.left : (node*)0时，它解析为表达式x.left，但具有常见类型x.left和(node*)0。他们两个基本上是相同的类型，唯一的细节(node*)0是一个右值，而不是一个左值。

Answer 7

我刚刚去了一个明确的转换

#define LEFT(X) ((struct node*)(X->left)) 
#define RIGHT(X) ((struct node*)(X->right)) 

这样铸造的结果始终是一个右值。如果除了你不想让改变什么指针指向添加const作为另一个答案已经给出：

#define LEFT(X) ((struct node const*)(X->left)) 
#define RIGHT(X) ((struct node const*)(X->right)) 

Answer 8

你不写这样的“访问”宏，你做

typedef struct 
{ 
    ... 
} X; 

X x; 

#define LEFT (x.y.z.left) 

然后，像访问其他变量一样访问LEFT宏。这使得代码更具可读性，同时有效地禁用与功能宏相关的整个不安全，丑陋，容易出错，未定义行为的芭蕾。

Answer 9

对于C++，我会用一元+：

#define LEFT(X) (+((X)->left)) 
#define RIGHT(X) (+((X)->right)) 

对于一般的宏观情况下，这个拥有添加+0，它也适用于void*和函数指针的优势。对于C，您可以使用逗号运算符

#define LEFT(X) (0, ((X)->left)) 
#define RIGHT(X) (0, ((X)->right))