c - 交换 t 类型的两个参数的宏 SWAP(t,x,y)

Question

所以我基本上是在尝试制作一个交换两个类型为 t 的参数的 SWAP(t,x,y) 宏。当这两个论点的形式为

v[i++] 和 w[f(x)] ，即 SWAP(int, v[i++], w[f(x)])。

下面的代码基本上是崩溃的......

#define SWAP(T,x,y) {T *p = x; T *q = y; T z = *p; *p = *q; *q = z;}

int f (int x){
    return (0-x);
}

int main(void) {

int v[] = {1,2,3};
int i = 0;

int w[] = {4,5,6};
int x = -1;

int *p = v;
int *q = w;

SWAP(int*, v[i++],w[f(x)]);

return 0;
}

有什么想法可能会出错吗？

Answer 1

SWAP(int*, v[i++],w[f(x)]);

v[i++]是一个int元素，但您将它分配给一个指针对象：

T *p = x;

所以你什么时候取消引用你p会T z = *p;得到一个段错误。如果您想要一个指向元素的指针，请使用&运算符。

此外v[i++]，它还有副作用（它会修改i++），并且您永远不应该在宏调用中传递具有副作用的表达式。

Answer 2

#define SWAP(T,x,y) {T *p = &(x); T *q = &(y); T z = *p; *p = *q; *q = z;}
...
    SWAP(int, v[i++], w[f(x)]);

Answer 3

SWAP该解决方案通过仅实例化一次参数并通过重用作为标识符来隐藏来避免副作用。

#define SWAP(type, a_, b_) \
do { \
    struct { type *a; type *b; type t; } SWAP; \
    SWAP.a  = &(a_); \
    SWAP.b  = &(b_); \
    SWAP.t  = *SWAP.a; \
    *SWAP.a = *SWAP.b; \
    *SWAP.b = SWAP.t; \
} while (0)