do {...} while (0) 在宏定义中的作用

刺骨的言语ヽ痛彻心扉 2021-11-17 02:50 248阅读 0赞

如果你是一名C程序员，你肯定很熟悉宏，它们非常强大，如果正确使用可以让你的工作事半功倍。然而，如果你在定义宏时很随意没有认真检查，那么它们可能使你发狂，浪费N多时间。在很多的C程序中，你可能会看到许多看起来不是那么直接的较特殊的宏定义。下面就是一个例子：

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> </td> 
   <td> <p><code>#define __set_task_state(tsk, state_value)&nbsp;&nbsp;&nbsp;&nbsp;&nbsp; \</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>do</code>&nbsp;<code>{ (tsk)-&gt;state = (state_value); }&nbsp;</code><code>while</code>&nbsp;<code>(0)</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`在Linux内核和其它一些著名的C库中有许多使用do{...}while(0)的宏定义。这种宏的用途是什么？有什么好处？`

`Google的Robert Love（先前从事Linux内核开发）给我们解答如下：`

> do\{...\}while(0)在C中是唯一的构造程序，让你定义的宏总是以相同的方式工作，这样不管怎么使用宏（尤其在没有用大括号包围调用宏的语句），宏后面的分号也是相同的效果。

这句话听起来可能有些拗口，其实用一句话概括就是：使用do\{...\}while(0)构造后的宏定义不会受到大括号、分号等的影响，总是会按你期望的方式调用运行。

例如：

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> </td> 
   <td> <p><code>#define foo(x) bar(x); baz(x)</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`然后你可能这样调用：`

`这将被宏扩展为：`

`这的确是我们期望的正确输出。下面看看如果我们这样调用：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral)</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>foo(wolf);</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`那么扩展后可能就不是你所期望的结果。上面语句将扩展为:`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> <p>3</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral)</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>bar(wolf);</code></p> <p><code>baz(wolf);</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`显而易见，这是错误的，也是大家经常易犯的错误之一。`

`几乎在所有的情况下，期望写多语句宏来达到正确的结果是不可能的。你不能让宏像函数一样行为——在没有do/while(0)的情况下。`

`如果我们使用do{...}while(0)来重新定义宏，即：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> </td> 
   <td> <p><code>#define foo(x) do { bar(x); baz(x); } while (0)</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`现在，该语句功能上等价于前者，do能确保大括号里的逻辑能被执行，而while(0)能确保该逻辑只被执行一次，即与没有循环时一样。`

`对于上面的if语句，将会被扩展为：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral)</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>do</code>&nbsp;<code>{ bar(wolf); baz(wolf); }&nbsp;</code><code>while</code>&nbsp;<code>(0);</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`从语义上讲，它与下面的语句是等价的：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> <p>3</p> <p>4</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral) { </code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>bar(wolf);</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>baz(wolf);</code></p> <p><code>}</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`这里你可能感到迷惑不解了，为什么不用大括号直接把宏包围起来呢？为什么非得使用do/while(0)逻辑呢？`

`例如，我们用大括号来定义宏如下：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> </td> 
   <td> <p><code>#define foo(x)&nbsp; { bar(x); baz(x); }</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`这对于上面举的if语句的确能被正确扩展，但是如果我们有下面的语句调用呢：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> <p>3</p> <p>4</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral)</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>foo(wolf);</code></p> <p><code>else</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>bin(wolf);</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`宏扩展后将变成：`

<table> 
 <tbody> 
  <tr> 
   <td> <p>1</p> <p>2</p> <p>3</p> <p>4</p> <p>5</p> <p>6</p> </td> 
   <td> <p><code>if</code>&nbsp;<code>(!feral) { </code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>bar(wolf);</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>baz(wolf);</code></p> <p><code>};</code></p> <p><code>else</code></p> <p><code>&nbsp;&nbsp;&nbsp;&nbsp;</code><code>bin(wolf);</code></p> </td> 
  </tr> 
 </tbody> 
</table>

`大家可以看出，这就有语法错误了。`

**`总结：Linux和其它代码库里的宏都用do/while(0)来包围执行逻辑，因为它能确保宏的行为总是相同的，而不管在调用代码中使用了多少分号和大括号。`**

**`原文：`**[https://www.cnblogs.com/lanxuezaipiao/p/3535626.html][https_www.cnblogs.com_lanxuezaipiao_p_3535626.html]

[https_www.cnblogs.com_lanxuezaipiao_p_3535626.html]: https://www.cnblogs.com/lanxuezaipiao/p/3535626.html