有理由在 C 代码中使用 *& 或 &* 吗？ [关闭]

Question

我遇到了一些 C 代码，它们同时使用了引用/取消引用（或您选择的任何名称）运算符 * 和 &，例如 &*foo 和 @987654324 @。我对此感到困惑。有什么理由这样做吗？

Answer 1

1. &*ptr 包含对编译器的提示 ptr != NULL（否则 *ptr 将意味着未定义的行为）。

2. *& 可能只是维护更改的结果，其中删除了辅助指针变量：

   struct {
       int i;
       double
   } x;
   
   void foo() {
       int* ip = &x.i;
       ...
       *ip = 1;
       ...
   }
   

   直接将上述代码中的ip 替换为&x.i 会导致代码在StackOverflow 上产生这样的问题：

   struct {
       int i;
       double
   } x;
   
   void foo() {
       ...
       *&x.i = 1;  // <---
       ...
   }
   

3. 类似地，&* 可能会通过将左值替换为指针的重构更改引入。

   重构前：

   int main() {
       struct sockaddr_in serv_addr;
   
       ...
       bind(sockfd, (struct sockaddr *) &serv_addr, sizeof(serv_addr));
       ...
   }
   

   将服务器设置代码提取到自己的函数中后：

   void setup_server(struct sockaddr_in* serv_addr) {
       ...
       bind(sockfd, (struct sockaddr *) &*serv_addr, sizeof(*serv_addr));
       ...
   }
   
   int main() {
       struct sockaddr_in serv_addr;
   
       ...
       setup_server(&serv_addr);
       ...
   }
   

Answer 2

是的，它们可以有意义地使用：有效的用例在宏定义中，以检查宏参数是否符合要求。

&*foo 验证 foo 是指针类型（可能在从数组或函数类型进行隐式转换之后）。

*&foo 验证 foo 是一个左值表达式。

例如，诚然是一个非常简单的例子，它可能有点滥用宏：

void f(int *);
#define F(x) (f(&*(x)))

void g(int *);
#if A
#define G(x) (g(x), (x)=0)
#elif B
#define G(x) (g(*&(x)))
#endif

void h(int *p, int i) {
  f(p); // okay
  F(p); // still okay, does the same thing as f(p)
  f(i); // typically just a compiler warning
  F(i); // pretty much always a compiler error

  g(p); // okay
  G(p); // okay
  g(p+0); // okay
  G(p+0); // error if A because of the modification
          // should be an error if B even without modification
}

Answer 3

这样做的唯一有意义的原因是停止将表达式视为左值。

引用C11，第 6.5.3.2 章

一元& 运算符产生其操作数的地址。如果操作数的类型为‘‘type’’， 结果的类型为“指向类型的指针”。如果操作数是一元 * 运算符的结果， 该运算符和 & 运算符都没有被评估，结果就像两者都是 省略，除了对运算符的约束仍然适用并且结果不是左值。