229 lines
17 KiB
HTML
229 lines
17 KiB
HTML
<!DOCTYPE html>
|
|
<html lang="zh" dir="ltr" class="client-nojs" xmlns="http://www.w3.org/1999/xhtml" xml:lang="zh">
|
|
<head><meta http-equiv="x-ua-compatible" content="ie=edge">
|
|
<meta http-equiv="Content-Type" content="text/html; charset=utf-8" />
|
|
<title>条件包含</title>
|
|
<link rel="stylesheet" href="ext.css" />
|
|
<link rel="stylesheet" href="site_modules.css" />
|
|
</head>
|
|
<body class="mediawiki ltr sitedir-ltr ns-0 ns-subject page-c_preprocessor_conditional skin-cppreference2 action-view cpp-navbar">
|
|
<div id="cpp-content-base">
|
|
<div id="content"><a id="top"></a>
|
|
<h1 id="firstHeading" class="firstHeading">条件包含</h1>
|
|
<div id="bodyContent">
|
|
<div id="contentSub"><span class="subpages">< <a href="c.html">c</a>‎ | <a href="c-preprocessor.html">preprocessor</a></span></div>
|
|
<div id="mw-content-text" lang="zh" dir="ltr" class="mw-content-ltr" xml:lang="zh">
|
|
<p>预处理器支持有条件地编译源文件的某些部分。这一行为由 <code>#if</code>、<code>#else</code>、<code>#elif</code>、<code>#ifdef</code>、<code>#ifndef</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 与 <code>#endif</code> 指令所控制。</p>
|
|
<h3><span class="mw-headline" id=".E8.AF.AD.E6.B3.95">语法</span></h3>
|
|
<table class="t-sdsc-begin">
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#if</b></code> <span class="t-spar">表达式</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#ifdef</b></code> <span class="t-spar">标识符</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#ifndef</b></code> <span class="t-spar">标识符</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#elif</b></code> <span class="t-spar">表达式</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#elifdef</b></code> <span class="t-spar">标识符</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td><span class="t-mark-rev t-since-c23">(C23 起)</span></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#elifndef</b></code> <span class="t-spar">标识符</span></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td><span class="t-mark-rev t-since-c23">(C23 起)</span></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#else</b></code></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
<tr class="t-sdsc">
|
|
<td><code><b>#endif</b></code></td>
|
|
<td class="t-sdsc-nopad"></td>
|
|
<td></td>
|
|
</tr>
|
|
<tr>
|
|
<td colspan="10" class="t-sdsc-sep"></td>
|
|
</tr>
|
|
</table>
|
|
<h3><span class="mw-headline" id=".E8.A7.A3.E9.87.8A">解释</span></h3>
|
|
<p>条件预处理块由 <code>#if</code>、<code>#ifdef</code> 或 <code>#ifndef</code> 指令开始，然后可选地包含任意多个 <code>#elif</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code> 或 <code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 指令，接下来是最多一个可选的 <code>#else</code> 指令，并以 <code>#endif</code> 指令结束。嵌套的条件预处理块会被单独处理。</p>
|
|
<p>各个 <code>#if</code>、<code>#ifdef</code>、<code>#ifndef</code>、<code>#elif</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 和 <code>#else</code> 指令所控制的代码块在第一个不属于内部嵌套的条件预处理块的 <code>#elif</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span>、<code>#else</code> 或 <code>#endif</code> 指令处结束。</p>
|
|
<p><code>#if</code>、<code>#ifdef</code> 和 <code>#ifndef</code> 指令测试其所指定的条件（见下文），如果条件求值为真，则编译其控制的代码块。此时后续的 <code>#else</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 和 <code>#elif</code> 指令将被忽略。否则，如果所指定的条件求值为假，则跳过其所控制的代码块，然后处理后续的 <code>#else</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 或 <code>#elif</code> 指令（如果存在）。若后续指令为 <code>#else</code>，则 <code>#else</code> 指令所控制的代码块将会无条件地进行编译。否则，<code>#elif</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code> 或 <code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 指令按照与 <code>#if</code> 指令相同的方式执行：即测试条件是否满足，并根据其结果决定编译或跳过其所控制的代码块，并在后一种情况下继续处理后续的 <code>#elif</code><span class="t-rev-inl t-since-c23"><span>、<code>#elifdef</code>、<code>#elifndef</code></span> <span><span class="t-mark-rev t-since-c23">(C23 起)</span></span></span> 和 <code>#else</code> 指令。条件预处理块以 <code>#endif</code> 指令结束。</p>
|
|
<h3><span class="mw-headline" id=".E6.9D.A1.E4.BB.B6.E7.9A.84.E6.B1.82.E5.80.BC">条件的求值</span></h3>
|
|
<h4><span class="mw-headline" id=".23if.2C_.23elif"><code>#if, #elif</code></span></h4>
|
|
<p><span class="t-spar">表达式</span> 是常量表达式，仅使用<a href="c-language-expressions.html#.E5.B8.B8.E9.87.8F.E5.8F.8A.E5.AD.97.E9.9D.A2.E9.87.8F">常量</a>和用 <a href="c-preprocessor-replace.html"><tt>#define</tt></a> 指令定义的标识符。任何非常量，未以 <a href="c-preprocessor-replace.html"><tt>#define</tt></a> 指令定义的标识符，求值为<i>0</i>。</p>
|
|
<p>表达式可以含有形式为 <code>defined</code> <span class="t-spar">标识符</span> 或 <code>defined (</code><span class="t-spar">标识符</span><code>)</code> 的一元运算符，若用 <a href="c-preprocessor-replace.html"><tt>#define</tt></a> 指令定义了该 <span class="t-spar">标识符</span> ，则返回 <span class="t-c"><span class="mw-geshi c source-c"><span class="nu0">1</span></span></span> ，否则返回 <i>0</i> 。若 <span class="t-spar">表达式</span> 求值为非零值，则包含该控制代码块并跳过其他。若所用的任何标识符不是常量，则用 <span class="t-c"><span class="mw-geshi c source-c">​<span class="nu0">0</span>​</span></span> 替换它。</p>
|
|
<table class="t-rev-begin">
|
|
<tr class="t-rev t-since-c23">
|
|
<td>
|
|
<p>预处理器语境中， <code>__has_c_attribute</code> 表达式检测给定属性记号是否受支持及其受支持版本。见<a href="c-language-attributes.html#.E5.B1.9E.E6.80.A7.E6.B5.8B.E8.AF.95">属性测试</a>。</p>
|
|
</td>
|
|
<td><span class="t-mark-rev t-since-c23">(C23 起)</span></td>
|
|
</tr>
|
|
</table>
|
|
<p>注： DR 412 前，“<code>#if cond1</code> ... <code>#elif cond2</code>”和“<code>#if cond1</code> ... <code>#else</code>”后面跟着“<code>#if cond3</code>”是不同的，因为当 <code>cond1</code> 为真时第二个 <code>#if</code> 将被跳过，且 <code>cond3</code> 并不需要是良构的，而 #elif 中的 <code>cond2</code> 则必须是合法的表达式。 DR 412 开始，引领跳过的代码块的 #elif 也被跳过。</p>
|
|
<h4><span class="mw-headline" id=".E7.BB.84.E5.90.88.E6.8C.87.E4.BB.A4">组合指令</span></h4>
|
|
<p>检查标识符是否<a href="c-preprocessor-replace.html">被定义为宏名</a>。</p>
|
|
<p>“<code>#ifdef</code> <span class="t-spar">标识符</span>”与“<code>#if defined</code> <span class="t-spar">标识符</span>”实质上等价。</p>
|
|
<p>“<code>#ifndef</code> <span class="t-spar">标识符</span>”与“<code>#if !defined</code> <span class="t-spar">标识符</span>”实质上等价。</p>
|
|
<table class="t-rev-begin">
|
|
<tr class="t-rev t-since-c23">
|
|
<td>
|
|
<p>“<code>#elifdef</code> <span class="t-spar">标识符</span>”与“<code>#elif defined</code> <span class="t-spar">标识符</span>”实质上等价。</p>
|
|
<p>“<code>#elifndef</code> <span class="t-spar">标识符</span>”与“<code>#elif !defined</code> <span class="t-spar">标识符</span>”实质上等价。</p>
|
|
</td>
|
|
<td><span class="t-mark-rev t-since-c23">(C23 起)</span></td>
|
|
</tr>
|
|
</table>
|
|
<h3><span class="mw-headline" id=".E7.A4.BA.E4.BE.8B">示例</span></h3>
|
|
<div class="t-example">
|
|
<div class="t-example-live-link"></div>
|
|
<div dir="ltr" class="mw-geshi" style="text-align: left;">
|
|
<div class="c source-c">
|
|
<pre class="de1"><span class="co2">#define ABCD 2</span>
|
|
<span class="co2">#include <stdio.h></span>
|
|
|
|
<span class="kw4">int</span> main<span class="br0">(</span><span class="kw4">void</span><span class="br0">)</span>
|
|
<span class="br0">{</span>
|
|
|
|
<span class="co2">#ifdef ABCD</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"1: yes<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#else</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"1: no<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#endif</span>
|
|
|
|
<span class="co2">#ifndef ABCD</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"2: no1<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#elif ABCD == 2</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"2: yes<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#else</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"2: no2<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#endif</span>
|
|
|
|
<span class="co2">#if !defined(DCBA) && (ABCD < 2*4-3)</span>
|
|
<a href="c-io-fprintf.html"><span class="kw851">printf</span></a><span class="br0">(</span><span class="st0">"3: yes<span class="es1">\n</span>"</span><span class="br0">)</span><span class="sy4">;</span>
|
|
<span class="co2">#endif</span>
|
|
<span class="br0">}</span></pre></div>
|
|
</div>
|
|
<p>输出：</p>
|
|
<div dir="ltr" class="mw-geshi" style="text-align: left;">
|
|
<div class="text source-text">
|
|
<pre class="de1">1: yes
|
|
2: yes
|
|
3: yes</pre></div>
|
|
</div>
|
|
</div>
|
|
<h3><span class="mw-headline" id=".E7.BC.BA.E9.99.B7.E6.8A.A5.E5.91.8A">缺陷报告</span></h3>
|
|
<p>下列更改行为的缺陷报告追溯地应用于以前出版的 C 标准。</p>
|
|
<table class="dsctable" style="font-size:0.8em">
|
|
<tr>
|
|
<th>DR</th>
|
|
<th>应用于</th>
|
|
<th>出版时的行为</th>
|
|
<th>正确行为</th>
|
|
</tr>
|
|
<tr>
|
|
<td><a rel="nofollow" class="external text" href="http://www.open-std.org/jtc1/sc22/wg14/www/docs/n2396.htm#dr_412">DR 412</a></td>
|
|
<td>C++14</td>
|
|
<td>要求失败的 <code>#elif</code> 中的表达式合法</td>
|
|
<td>跳过失败的 <code>#elif</code></td>
|
|
</tr>
|
|
</table>
|
|
<h3><span class="mw-headline" id=".E5.BC.95.E7.94.A8">引用</span></h3>
|
|
<div class="t-ref-std-17">
|
|
<ul>
|
|
<li>C17 标准（ISO/IEC 9899:2018）：</li>
|
|
</ul>
|
|
<dl>
|
|
<dd>
|
|
<ul>
|
|
<li>6.10.1 Conditional inclusion (p: 118-119)</li>
|
|
</ul>
|
|
</dd>
|
|
</dl>
|
|
</div>
|
|
<div class="t-ref-std-11">
|
|
<ul>
|
|
<li>C11 标准（ISO/IEC 9899:2011）：</li>
|
|
</ul>
|
|
<dl>
|
|
<dd>
|
|
<ul>
|
|
<li>6.10.1 Conditional inclusion (p: 162-164)</li>
|
|
</ul>
|
|
</dd>
|
|
</dl>
|
|
</div>
|
|
<div class="t-ref-std-c99">
|
|
<ul>
|
|
<li>C99 标准（ISO/IEC 9899:1999）：</li>
|
|
</ul>
|
|
<dl>
|
|
<dd>
|
|
<ul>
|
|
<li>6.10.1 Conditional inclusion (p: 147-149)</li>
|
|
</ul>
|
|
</dd>
|
|
</dl>
|
|
</div>
|
|
<div class="t-ref-std-c89">
|
|
<ul>
|
|
<li>C89/C90 标准（ISO/IEC 9899:1990）：</li>
|
|
</ul>
|
|
<dl>
|
|
<dd>
|
|
<ul>
|
|
<li>3.8.1 Conditional inclusion</li>
|
|
</ul>
|
|
</dd>
|
|
</dl>
|
|
</div>
|
|
<h3><span class="mw-headline" id=".E5.8F.82.E9.98.85">参阅</span></h3>
|
|
<table class="t-dsc-begin"></table>
|
|
</div>
|
|
<div class="visualClear"></div>
|
|
</div>
|
|
</div>
|
|
</div>
|
|
</body>
|
|
</html>
|