<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/language.operators.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'zh',
  ),
  'this' => 
  array (
    0 => 'language.operators.logical.php',
    1 => '逻辑',
    2 => '逻辑运算符',
  ),
  'up' => 
  array (
    0 => 'language.operators.php',
    1 => '运算符',
  ),
  'prev' => 
  array (
    0 => 'language.operators.execution.php',
    1 => '执行',
  ),
  'next' => 
  array (
    0 => 'language.operators.string.php',
    1 => '字符串',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'zh',
    'path' => 'language/operators/logical.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.operators.logical" class="sect1">
 <h2 class="title">逻辑运算符</h2>
 

 <table class="doctable table">
  <caption><strong>逻辑运算符</strong></caption>
  
   <thead>
    <tr>
     <th>例子</th>
     <th>名称</th>
     <th>结果</th>
    </tr>

   </thead>

   <tbody class="tbody">
    <tr>
     <td>$a and $b</td>
     <td>And（逻辑与）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 和 <var class="varname">$b</var> 都为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>。</td>
    </tr>

    <tr>
     <td>$a or $b</td>
     <td>Or（逻辑或）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 或 <var class="varname">$b</var> 任一为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>。</td>
    </tr>

    <tr>
     <td>$a xor $b</td>
     <td>Xor（逻辑异或）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 或 <var class="varname">$b</var> 任一为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，但不同时是。</td>
    </tr>

    <tr>
     <td>! $a</td>
     <td>Not（逻辑非）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 不为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>。</td>
    </tr>

    <tr>
     <td>$a &amp;&amp; $b</td>
     <td>And（逻辑与）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 和 <var class="varname">$b</var> 都为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>。</td>
    </tr>

    <tr>
     <td>$a || $b</td>
     <td>Or（逻辑或）</td>
     <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>，如果 <var class="varname">$a</var> 或 <var class="varname">$b</var> 任一为 <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>。</td>
    </tr>

   </tbody>
  
 </table>

 <p class="simpara">
  “与”和“或”有两种不同形式运算符的原因是它们运算的优先级不同（见<a href="language.operators.precedence.php" class="link">运算符优先级</a>）。
 </p>
 <div class="example" id="example-1">
  <p><strong>示例 #1 逻辑运算符示例</strong></p>
  <div class="example-contents">
<div class="annotation-interactive phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br /><br /></span><span style="color: #FF8000">// --------------------<br />// foo() 根本没机会被调用，被运算符“短路”了<br /><br /></span><span style="color: #0000BB">$a </span><span style="color: #007700">= (</span><span style="color: #0000BB">false </span><span style="color: #007700">&amp;&amp; </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$b </span><span style="color: #007700">= (</span><span style="color: #0000BB">true  </span><span style="color: #007700">|| </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$c </span><span style="color: #007700">= (</span><span style="color: #0000BB">false </span><span style="color: #007700">and </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /></span><span style="color: #0000BB">$d </span><span style="color: #007700">= (</span><span style="color: #0000BB">true  </span><span style="color: #007700">or  </span><span style="color: #0000BB">foo</span><span style="color: #007700">());<br /><br /></span><span style="color: #FF8000">// --------------------<br />// "||" 比 "or" 的优先级高<br /><br />// 表达式 (false || true) 的结果被赋给 $e<br />// 等同于：($e = (false || true))<br /></span><span style="color: #0000BB">$e </span><span style="color: #007700">= </span><span style="color: #0000BB">false </span><span style="color: #007700">|| </span><span style="color: #0000BB">true</span><span style="color: #007700">;<br /><br /></span><span style="color: #FF8000">// 常量 false 被赋给 $f，true 被忽略<br />// 等同于：(($f = false) or true)<br /></span><span style="color: #0000BB">$f </span><span style="color: #007700">= </span><span style="color: #0000BB">false </span><span style="color: #007700">or </span><span style="color: #0000BB">true</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$e</span><span style="color: #007700">, </span><span style="color: #0000BB">$f</span><span style="color: #007700">);<br /><br /></span><span style="color: #FF8000">// --------------------<br />// "&amp;&amp;" 比 "and" 的优先级高<br /><br />// 表达式 (true &amp;&amp; false) 的结果被赋给 $g<br />// 等同于：($g = (true &amp;&amp; false))<br /></span><span style="color: #0000BB">$g </span><span style="color: #007700">= </span><span style="color: #0000BB">true </span><span style="color: #007700">&amp;&amp; </span><span style="color: #0000BB">false</span><span style="color: #007700">;<br /><br /></span><span style="color: #FF8000">// 常量 true 被赋给 $h，false 被忽略<br />// 等同于：(($h = true) and false)<br /></span><span style="color: #0000BB">$h </span><span style="color: #007700">= </span><span style="color: #0000BB">true </span><span style="color: #007700">and </span><span style="color: #0000BB">false</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$g</span><span style="color: #007700">, </span><span style="color: #0000BB">$h</span><span style="color: #007700">);<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
  </div>

  <div class="example-contents"><p>以上示例的输出类似于：</p></div>
  <div class="example-contents screen">
<div class="annotation-interactive cdata"><pre>
bool(true)
bool(false)
bool(false)
bool(true)
</pre></div>
  </div>
 </div>
</div><?php manual_footer($setup); ?>