<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/ref.info.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'pt_BR',
  ),
  'this' => 
  array (
    0 => 'function.assert.php',
    1 => 'assert',
    2 => 'Executa uma asser&ccedil;&atilde;o',
  ),
  'up' => 
  array (
    0 => 'ref.info.php',
    1 => 'Fun&ccedil;&otilde;es para Op&ccedil;&otilde;es/Info do PHP',
  ),
  'prev' => 
  array (
    0 => 'ref.info.php',
    1 => 'Fun&ccedil;&otilde;es para Op&ccedil;&otilde;es/Info do PHP',
  ),
  'next' => 
  array (
    0 => 'function.assert-options.php',
    1 => 'assert_options',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'pt_BR',
    'path' => 'reference/info/functions/assert.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="function.assert" class="refentry">
 <div class="refnamediv">
  <h1 class="refname">assert</h1>
  <p class="verinfo">(PHP 4, PHP 5, PHP 7, PHP 8)</p><p class="refpurpose"><span class="refname">assert</span> &mdash; <span class="dc-title">Executa uma asserção</span></p>

 </div>

 <div class="refsect1 description" id="refsect1-function.assert-description">
  <h3 class="title">Descrição</h3>
  <div class="methodsynopsis dc-description">
   <span class="methodname"><strong>assert</strong></span>(<span class="methodparam"><span class="type"><a href="language.types.mixed.php" class="type mixed">mixed</a></span> <code class="parameter">$assertion</code></span>, <span class="methodparam"><span class="type"><span class="type"><a href="class.throwable.php" class="type Throwable">Throwable</a></span>|<span class="type"><a href="language.types.string.php" class="type string">string</a></span>|<span class="type"><a href="language.types.null.php" class="type null">null</a></span></span> <code class="parameter">$description</code><span class="initializer"> = <strong><code><a href="reserved.constants.php#constant.null">null</a></code></strong></span></span>): <span class="type"><a href="language.types.boolean.php" class="type bool">bool</a></span></div>

  <p class="para rdfs-comment">
   <span class="function"><strong>assert()</strong></span>
   permite a definição de expectativas: asserções são verificadas em
   ambientes de desenvolvimento ou testes, mas que são removidas por otimização
   a custo zero em produção.
  </p>
  <p class="para">
   Asserções podem ser utilizadas para ajudar em depuração.
   Um dos usos é para funcionar como verificações de sanidade para precondições
   que precisam ser sempre <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> e caso elas não sejam confirmadas, isto indica
   algum erro de programação.
   Outro uso é garantir a presença de certos recursos, como por exemplo
   funções de extensões ou certos recursos ou limites de sistema.
  </p>
  <p class="para">
   As asserções podem ser configurados para serem eliminados, e elas
   <em>não</em> não devem ser utilizados em operações comuns como por
   exemplo a validação de parâmetros. Como regra geral, o código deve se comportar igual
   mesmo no caso das asserções estarem desativadas.
  </p>
  <p class="para">
   <span class="function"><strong>assert()</strong></span> verificará se a expectativa informada no parâmetro
   <code class="parameter">assertion</code> é válida.
   Se não, o resultado avaliado é <strong><code><a href="reserved.constants.php#constant.false">false</a></code></strong>, ocorrerá a ação apropriada,
   dependendo em como <span class="function"><strong>assert()</strong></span> está configurado.
  </p>

  <p class="para">
   O comportamento de <span class="function"><strong>assert()</strong></span> é ditado pelas seguintes
   configurações INI:
   <table class="doctable table">
    <caption><strong>Opções de Configuração de Assert</strong></caption>
    
     <thead>
      <tr>
       <th>Nome</th>
       <th>Padrão</th>
       <th>Descrição</th>
       <th>Registro de Alterações</th>
      </tr>

     </thead>

     <tbody class="tbody">
      <tr>
       <td><a href="ini.core.php#ini.zend.assertions" class="link">zend.assertions</a></td>
       <td><code class="literal">1</code></td>
       <td>
        <ul class="simplelist">
         <li>
          <code class="literal">1</code>: gera e executa o código (modo de desenvolvimento)
         </li>
         <li>
          
          <code class="literal">0</code>: gera o código mas ignora durante a execução
         </li>
         <li>
          <code class="literal">-1</code>: não gera o código (modo de produção)
         </li>
        </ul>
       </td>
       <td class="empty">&nbsp;</td>
      </tr>

      <tr>
       <td><a href="info.configuration.php#ini.assert.active" class="link">assert.active</a></td>
       <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
       <td>
        Se <strong><code><a href="reserved.constants.php#constant.false">false</a></code></strong>, <span class="function"><strong>assert()</strong></span> não verifica a expectativa
        e retorna <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> imediatamente.
       </td>
       <td>
        Descontinuado desde o PHP 8.3.0.
       </td>
      </tr>

      <tr>
       <td><a href="info.configuration.php#ini.assert.callback" class="link">assert.callback</a></td>
       <td><strong><code><a href="reserved.constants.php#constant.null">null</a></code></strong></td>
       <td>
        <p class="para">
         Uma função definida pelo usuário a ser chamada quando a asserção falha.
         Sua assinatura deve ser:
         <div class="methodsynopsis dc-description">
          <span class="methodname"><strong>assert_callback</strong></span>(<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> <code class="parameter">$file</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.integer.php" class="type int">int</a></span> <code class="parameter">$line</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.null.php" class="type null">null</a></span> <code class="parameter">$assertion</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> <code class="parameter">$description</code><span class="initializer"> = ?</span></span><br>): <span class="type"><a href="language.types.void.php" class="type void">void</a></span></div>

        </p>
       </td>
       <td>
        <p class="para">
         Anteriormente ao PHP 8.0.0, a assinatura deveria ser:
         <div class="methodsynopsis dc-description"><span class="methodname"><strong>assert_callback</strong></span>(<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> <code class="parameter">$file</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.integer.php" class="type int">int</a></span> <code class="parameter">$line</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> <code class="parameter">$assertion</code></span>,<br>&nbsp;&nbsp;&nbsp;&nbsp;<span class="methodparam"><span class="type"><a href="language.types.string.php" class="type string">string</a></span> <code class="parameter">$description</code><span class="initializer"> = ?</span></span><br>): <span class="type"><a href="language.types.void.php" class="type void">void</a></span></div>

        </p>
        <span class="simpara">
         Descontinuado a partir do PHP 8.3.0.
        </span>
       </td>
      </tr>

      <tr>
       <td><a href="info.configuration.php#ini.assert.exception" class="link">assert.exception</a></td>
       <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
       <td>
        Se <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> irá lançar um <span class="classname"><a href="class.assertionerror.php" class="classname">AssertionError</a></span> no caso
        da expectativa não ser válida.
       </td>
       <td>
        Descontinuado desde o PHP 8.3.0.
       </td>
      </tr>

      <tr>
       <td><a href="info.configuration.php#ini.assert.bail" class="link">assert.bail</a></td>
       <td><strong><code><a href="reserved.constants.php#constant.false">false</a></code></strong></td>
       <td>
        Se <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> então a execução do script PHP será abortada
        caso a expectativa não seja válida.
       </td>
       <td>
        Descontinuado desde o PHP 8.3.0.
       </td>
      </tr>

      <tr>
       <td><a href="info.configuration.php#ini.assert.warning" class="link">assert.warning</a></td>
       <td><strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong></td>
       <td>
        Se <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong>, será emitido um <strong><code><a href="errorfunc.constants.php#constant.e-warning">E_WARNING</a></code></strong> no
        caso da expectativa não seja válida. Essa configuração INI é inefetiva caso
        <a href="info.configuration.php#ini.assert.exception" class="link">assert.exception</a>
        esteja ativo.
       </td>
       <td>
        Descontinuado desde o PHP 8.3.0.
       </td>
      </tr>

     </tbody>
    
   </table>

  </p>
 </div>


 <div class="refsect1 parameters" id="refsect1-function.assert-parameters">
  <h3 class="title">Parâmetros</h3>
  <p class="para">
   <dl>
    
     <dt><code class="parameter">assertion</code></dt>
     <dd>
      <p class="para">
       Pode ser qualquer expressão que retorna um valor, qual será executado
       e o resultado é utilizado para indicar se a asserção deve passar ou falhar.
      </p>

      <div class="warning"><strong class="warning">Aviso</strong>
       <p class="para">
        Anteriormente ao PHP 8.0.0, se <code class="parameter">assertion</code> era uma
        <span class="type"><a href="language.types.string.php" class="type string">string</a></span> ela era interpretada como código PHP e executada via
        <span class="function"><a href="function.eval.php" class="function">eval()</a></span>.
        A string era passada para o argumento do callback no terceiro argumento.
        Este comportamento está <em>DESCONTINUADO</em> desde o PHP 7.2.0,
        e foi <em>REMOVIDO</em> no PHP 8.0.0.
       </p>
      </div>
     </dd>
    
    
     <dt><code class="parameter">description</code></dt>
     <dd>
      <p class="para">
       Se <code class="parameter">description</code> é uma instância de
       <span class="classname"><a href="class.throwable.php" class="classname">Throwable</a></span>, ela será lançada somente se
       <code class="parameter">assertion</code> for executada e falhar.
       <blockquote class="note"><p><strong class="note">Nota</strong>: 
        <p class="para">
         A partir do 8.0.0, isto ocorria <em>antes</em> de chamar
         a função de callback potencialmente definida.
        </p>
       </p></blockquote>
       <blockquote class="note"><p><strong class="note">Nota</strong>: 
        <p class="para">
         A partir do PHP 8.0.0, o <span class="type"><a href="language.types.object.php" class="type object">object</a></span> será lançado independente da configuração de
         <a href="info.configuration.php#ini.assert.exception" class="link">assert.exception</a>.
        </p>
       </p></blockquote>
       <blockquote class="note"><p><strong class="note">Nota</strong>: 
        <p class="para">
         A partird do PHP 8.0.0, a configuração
         <a href="info.configuration.php#ini.assert.bail" class="link">assert.bail</a>
         não terá efeito nesse caso.
        </p>
       </p></blockquote>
      </p>
      <p class="para">
       Se <code class="parameter">description</code> é uma <span class="type"><a href="language.types.string.php" class="type string">string</a></span> esta mensagem
       será utilizada em uma exceção ou em um aviso.
       Uma descrição opcional que será incluída na mensagem de falha no caso
       de <code class="parameter">assertion</code> falhar.
      </p>
      <p class="para">
       Se <code class="parameter">description</code> é omitido.
       
       Uma descrição padrão, igual ao código fonte na invocação de
       <span class="function"><strong>assert()</strong></span> é criada em tempo de compilação.
      </p>
     </dd>
    
   </dl>
  </p>
 </div>


 <div class="refsect1 returnvalues" id="refsect1-function.assert-returnvalues">
  <h3 class="title">Valor Retornado</h3>
  <p class="para">
   <span class="function"><strong>assert()</strong></span> sempre retorna <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> se ao menos uma das seguintes condições forem verdadeiras:
  </p>
  <ul class="simplelist">
   <li><code class="literal">zend.assertions=0</code></li>
   <li><code class="literal">zend.assertions=-1</code></li>
   <li><code class="literal">assert.active=0</code></li>
   <li><code class="literal">assert.exception=1</code></li>
   <li><code class="literal">assert.bail=1</code></li>
   <li>Um objeto exception foi passado em <code class="parameter">description</code>.</li>
  </ul>
  <p class="para">
   Se nenhuma das condições forem verdadeiras <span class="function"><strong>assert()</strong></span> ainda pode retornar <strong><code><a href="reserved.constants.php#constant.true">true</a></code></strong> se
   <code class="parameter">assertion</code> possa ser convertido em um valor verdadeiro, ou <strong><code><a href="reserved.constants.php#constant.false">false</a></code></strong> nos demais casos.
  </p>
 </div>


 <div class="refsect1 changelog" id="refsect1-function.assert-changelog">
  <h3 class="title">Registro de Alterações</h3>
  <p class="para">
   <table class="doctable informaltable">
    
     <thead>
      <tr>
       <th>Versão</th>
       <th>Descrição</th>
      </tr>

     </thead>

     <tbody class="tbody">
      <tr>
       <td>8.3.0</td>
       <td>
        Todas as configurações INI <code class="literal">assert.</code> estão desencorajadas.
       </td>
      </tr>

      <tr>
       <td>8.0.0</td>
       <td>
         <span class="function"><strong>assert()</strong></span> não mais avaliará argumentos strings, e por outro lado elas serão
         tratadas como um argumento comum. <code class="code">assert($a == $b)</code> deve ser utilizado ao invés de
         <code class="code">assert(&#039;$a == $b&#039;)</code>. A diretiva <code class="literal">assert.quiet_eval</code> <var class="filename">php.ini</var> e
         a constante <strong><code><a href="info.constants.php#constant.assert-quiet-eval">ASSERT_QUIET_EVAL</a></code></strong> também foram removidos, dado que elas
         não tem mais nenhum efeito.
       </td>
      </tr>

      <tr>
       <td>8.0.0</td>
       <td>
        Se <code class="parameter">description</code> é uma instância de
        <span class="classname"><a href="class.throwable.php" class="classname">Throwable</a></span>, a exceção é lançada no caso da asserção
        falhar, independentemente do valor de
        <a href="info.configuration.php#ini.assert.exception" class="link">assert.exception</a>.
       </td>
      </tr>

      <tr>
       <td>8.0.0</td>
       <td>
        Se <code class="parameter">description</code> é uma instância de
        <span class="classname"><a href="class.throwable.php" class="classname">Throwable</a></span>, o callback não é chamado, mesmo que
        ele seja informado.
       </td>
      </tr>

      <tr>
       <td>8.0.0</td>
       <td>
        Declarar uma função chamada <code class="literal">assert()</code> dentro de um namespace
        não é mais permitido, e emite um <strong><code><a href="errorfunc.constants.php#constant.e-compile-error">E_COMPILE_ERROR</a></code></strong>.
       </td>
      </tr>

      <tr>
       <td>7.3.0</td>
       <td>
        Declarar uma função chamada <code class="literal">assert()</code> dentro de um namespace
        foi descontinuado. Uma declaração assim emite um <strong><code><a href="errorfunc.constants.php#constant.e-deprecated">E_DEPRECATED</a></code></strong>.
       </td>
      </tr>

      <tr>
       <td>7.2.0</td>
       <td>
        Uso de <span class="type"><a href="language.types.string.php" class="type string">string</a></span>s no argumento <code class="parameter">assertion</code>
        foi descontinuado. Isto agora emite um aviso <strong><code><a href="errorfunc.constants.php#constant.e-deprecated">E_DEPRECATED</a></code></strong>
        quando ambos <a href="info.configuration.php#ini.assert.active" class="link">assert.active</a>
        e <a href="ini.core.php#ini.zend.assertions" class="link">zend.assertions</a> estão configurados
        para <code class="literal">1</code>.
       </td>
      </tr>

     </tbody>
    
   </table>

  </p>
 </div>


 <div class="refsect1 examples" id="refsect1-function.assert-examples">
  <h3 class="title">Exemplos</h3>
   <div class="example" id="example-1">
    <p><strong>Exemplo #1 Exemplo de <span class="function"><strong>assert()</strong></span></strong></p>
    <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />assert</span><span style="color: #007700">(</span><span style="color: #0000BB">1 </span><span style="color: #007700">&gt; </span><span style="color: #0000BB">2</span><span style="color: #007700">);<br />echo </span><span style="color: #DD0000">'Hi!'</span><span style="color: #007700">;</span></span></code></div>
    </div>

    <div class="example-contents"><p>
     Se as asserções estiverem ativadas (<a href="ini.core.php#ini.zend.assertions" class="link"><code class="literal">zend.assertions=1</code></a>),
     o exemplo acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Fatal error: Uncaught AssertionError: assert(1 &gt; 2) in example.php:2
Stack trace:
#0 example.php(2): assert(false, &#039;assert(1 &gt; 2)&#039;)
#1 {main}
  thrown in example.php on line 2</pre>
</div>
    </div>
    <div class="example-contents"><p>
     Se as asserções estiverem desativadas (<code class="literal">zend.assertions=0</code> ou <code class="literal">zend.assertions=-1</code>),
     o exemplo acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Hi!</pre>
</div>
    </div>
   </div>
   <div class="example" id="example-2">
    <p><strong>Exemplo #2 Utilizando uma mensagem customizada</strong></p>
    <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />assert</span><span style="color: #007700">(</span><span style="color: #0000BB">1 </span><span style="color: #007700">&gt; </span><span style="color: #0000BB">2</span><span style="color: #007700">, </span><span style="color: #DD0000">"Esperado que um seja maior que dois"</span><span style="color: #007700">);<br />echo </span><span style="color: #DD0000">'Hi!'</span><span style="color: #007700">;</span></span></code></div>
    </div>

    <div class="example-contents"><p>
     Se as asserções estiverem ativadas, o código acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Fatal error: Uncaught AssertionError: Esperado que um seja maior que dois in example.php:2
Stack trace:
#0 example.php(2): assert(false, &#039;Esperado que um...&#039;)
#1 {main}
  thrown in example.php on line 2</pre>
</div>
    </div>
    <div class="example-contents"><p>
     Se as asserções estiverem desativadas, o código acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Hi!</pre>
</div>
    </div>
   </div>
   <div class="example" id="example-3">
    <p><strong>Exemplo #3 Utilizando uma classe de exceção</strong></p>
    <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br /></span><span style="color: #007700">class </span><span style="color: #0000BB">ArithmeticAssertionError </span><span style="color: #007700">extends </span><span style="color: #0000BB">AssertionError </span><span style="color: #007700">{}<br /><br /></span><span style="color: #0000BB">assert</span><span style="color: #007700">(</span><span style="color: #0000BB">1 </span><span style="color: #007700">&gt; </span><span style="color: #0000BB">2</span><span style="color: #007700">, new </span><span style="color: #0000BB">ArithmeticAssertionError</span><span style="color: #007700">(</span><span style="color: #DD0000">"Esperado que um seja maior que dois"</span><span style="color: #007700">));<br />echo </span><span style="color: #DD0000">'Hi!'</span><span style="color: #007700">;</span></span></code></div>
    </div>

    <div class="example-contents"><p>
     Se as asserções estiverem ativas, o exemplo acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Fatal error: Uncaught ArithmeticAssertionError: Esperado que um seja maior que dois in example.php:4
Stack trace:
#0 {main}
  thrown in example.php on line 4</pre>
</div>
    </div>
    <div class="example-contents"><p>
     Se as asserções estiverem desativadas o exemplo acima emitirá:
    </p></div>
    <div class="example-contents screen">
<div class="examplescode"><pre class="examplescode">Hi!</pre>
</div>
    </div>
   </div>
 </div>


 <div class="refsect1 seealso" id="refsect1-function.assert-seealso">
  <h3 class="title">Veja Também</h3>
  <p class="para">
   <ul class="simplelist">
    <li><span class="function"><a href="function.assert-options.php" class="function" rel="rdfs-seeAlso">assert_options()</a> - Define/obt&eacute;m as v&aacute;rias op&ccedil;&otilde;es de asser&ccedil;&atilde;o</span></li>
   </ul>
  </p>
 </div>


</div><?php manual_footer($setup); ?>