<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/language.control-structures.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'it',
  ),
  'this' => 
  array (
    0 => 'control-structures.match.php',
    1 => 'match',
    2 => 'match',
  ),
  'up' => 
  array (
    0 => 'language.control-structures.php',
    1 => 'Strutture di controllo',
  ),
  'prev' => 
  array (
    0 => 'control-structures.switch.php',
    1 => 'switch',
  ),
  'next' => 
  array (
    0 => 'control-structures.declare.php',
    1 => 'declare',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'it',
    'path' => 'language/control-structures/match.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="control-structures.match" class="sect1">
 <h2 class="title">match</h2>
 <p class="verinfo">(PHP 8)</p>
 <p class="para">
  La valutazione dei rami dell&#039;espressione <code class="literal">match</code> basata su un
  controllo di identità di un valore.
  Analogamente a un&#039;istruzione <code class="literal">switch</code>, un&#039;
  espressione <code class="literal">match</code> ha un&#039;espressione soggetto che viene
  confrontata con più alternative. A differenza di <code class="literal">switch</code>,
  restituirà un valore molto simile alle espressioni ternarie.
  A differenza di <code class="literal">switch</code>, il confronto è un controllo di identità
  (<code class="code">===</code>) piuttosto che un controllo di uguaglianza debole (<code class="code">==</code>).
  Le espressioni di corrispondenza sono disponibili a partire da PHP 8.0.0.
 </p>

 <div class="example" id="example-1">
  <p><strong>Example #1 Structure of a <code class="literal">match</code> expression</strong></p>
  <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$return_value </span><span style="color: #007700">= match (</span><span style="color: #0000BB">subject_expression</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">single_conditional_expression </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">return_expression</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">conditional_expression1</span><span style="color: #007700">, </span><span style="color: #0000BB">conditional_expression2 </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">return_expression</span><span style="color: #007700">,<br />};<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
  </div>


  <blockquote class="note"><p><strong class="note">Nota</strong>: 
   <span class="simpara">
    Non è necessario utilizzare il risultato di un&#039;espressione <code class="literal">match</code>.
   </span>
  </p></blockquote>
  <blockquote class="note"><p><strong class="note">Nota</strong>: 
   <span class="simpara">
    Un&#039;espressione <code class="literal">match</code> <em>deve</em> essere
    terminata da un punto e virgola <code class="literal">;</code>.
   </span>
  </p></blockquote>
 </div>

 <p class="para">
  L&#039;espressione <code class="literal">match</code> è simile a un&#039;
  istruzione <code class="literal">switch</code> ma presenta alcune differenze fondamentali:
  
  <ul class="itemizedlist">
   <li class="listitem">
    <span class="simpara">
     Un braccio <code class="literal">match</code> confronta i valori rigorosamente (<code class="code">===</code>) invece
     che vagamente come fa l&#039;istruzione switch.
    </span>
   </li>
   <li class="listitem">
    <span class="simpara">
     Un&#039;espressione <code class="literal">match</code> restituisce un valore.
    </span>
   </li>
   <li class="listitem">
    <span class="simpara">
     Le braccia <code class="literal">match</code> non ricadono in casi successivi come
     fanno le istruzioni <code class="literal">switch</code>.
    </span>
   </li>
   <li class="listitem">
    <span class="simpara">
     Un&#039;espressione <code class="literal">match</code> deve essere esaustiva.
    </span>
   </li>
  </ul>
 </p>

 <p class="para">
  Come le istruzioni <code class="literal">switch</code>, le espressioni
  <code class="literal">match</code> vengono eseguite braccio di confronto per braccio di confronto.
  All&#039;inizio non viene eseguito alcun codice.
  Le espressioni condizionali vengono valutate solo se tutte le espressioni condizionali
  precedenti non sono riuscite a corrispondere all&#039;espressione del soggetto.
  Verrà valutata solo l&#039;espressione di ritorno corrispondente all&#039;espressione
  condizionale corrispondente.
  Per esempio:
  <div class="informalexample">
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$result </span><span style="color: #007700">= match (</span><span style="color: #0000BB">$x</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">foo</span><span style="color: #007700">() =&gt; ...,<br />    </span><span style="color: #0000BB">$this</span><span style="color: #007700">-&gt;</span><span style="color: #0000BB">bar</span><span style="color: #007700">() =&gt; ..., </span><span style="color: #FF8000">// bar() non viene chiamata se foo() === $x<br />    </span><span style="color: #0000BB">$this</span><span style="color: #007700">-&gt;</span><span style="color: #0000BB">baz </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">beep</span><span style="color: #007700">(), </span><span style="color: #FF8000">// beep() non è chiamata a meno che $x === $this-&gt;baz<br />    // etc.<br /></span><span style="color: #007700">};<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

  </div>
 </p>

 <p class="para">
  I bracci delle espressioni <code class="literal">match</code> possono contenere più espressioni
  separate da una virgola.  Questo è un OR logico, ed è una scorciatoia per più
  bracci di corrispondenza con lo stesso lato destro.
 </p>
 <p class="para">
  <div class="informalexample">
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$result </span><span style="color: #007700">= match (</span><span style="color: #0000BB">$x</span><span style="color: #007700">) {<br />    </span><span style="color: #FF8000">// Questo braccio di corrispondenza:<br />    </span><span style="color: #0000BB">$a</span><span style="color: #007700">, </span><span style="color: #0000BB">$b</span><span style="color: #007700">, </span><span style="color: #0000BB">$c </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">5</span><span style="color: #007700">,<br />    </span><span style="color: #FF8000">// È equivalente a questi tre bracci di corrispondenza:<br />    </span><span style="color: #0000BB">$a </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">5</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">$b </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">5</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">$c </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">5</span><span style="color: #007700">,<br />};<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

  </div>
 </p>
 <p class="para">
  Un caso speciale è il pattern <code class="literal">default</code>.
  Questo modello corrisponde a tutto ciò che non era stato precedentemente trovato.
  Per esempio:
  <div class="informalexample">
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$expressionResult </span><span style="color: #007700">= match (</span><span style="color: #0000BB">$condition</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">1</span><span style="color: #007700">, </span><span style="color: #0000BB">2 </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">foo</span><span style="color: #007700">(),<br />    </span><span style="color: #0000BB">3</span><span style="color: #007700">, </span><span style="color: #0000BB">4 </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">bar</span><span style="color: #007700">(),<br />    default =&gt; </span><span style="color: #0000BB">baz</span><span style="color: #007700">(),<br />};<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

  </div>
  <blockquote class="note"><p><strong class="note">Nota</strong>: 
   <span class="simpara">
    Più pattern predefiniti solleveranno un
    errore <strong><code>E_FATAL_ERROR</code></strong>.
   </span>
  </p></blockquote>
 </p>

 <p class="para">
  Un&#039;espressione <code class="literal">match</code> deve essere esaustiva.  Se l&#039;
  espressione del soggetto non è gestita da alcun braccio di corrispondenza, viene
  lanciato un <span class="classname"><a href="class.unhandledmatcherror.php" class="classname">UnhandledMatchError</a></span>.
 </p>

 <div class="example" id="example-2">
  <p><strong>Example #2 Esempio di un&#039;espressione di corrispondenza non gestita</strong></p>
  <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$condition </span><span style="color: #007700">= </span><span style="color: #0000BB">5</span><span style="color: #007700">;<br /><br />try {<br />    match (</span><span style="color: #0000BB">$condition</span><span style="color: #007700">) {<br />        </span><span style="color: #0000BB">1</span><span style="color: #007700">, </span><span style="color: #0000BB">2 </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">foo</span><span style="color: #007700">(),<br />        </span><span style="color: #0000BB">3</span><span style="color: #007700">, </span><span style="color: #0000BB">4 </span><span style="color: #007700">=&gt; </span><span style="color: #0000BB">bar</span><span style="color: #007700">(),<br />    };<br />} catch (</span><span style="color: #0000BB">\UnhandledMatchError $e</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$e</span><span style="color: #007700">);<br />}<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
  </div>

  <div class="example-contents"><p>Il precedente esempio visualizzerà:</p></div>
  <div class="example-contents screen">
<div class="cdata"><pre>
object(UnhandledMatchError)#1 (7) {
  [&quot;message&quot;:protected]=&gt;
  string(33) &quot;Unhandled match value of type int&quot;
  [&quot;string&quot;:&quot;Error&quot;:private]=&gt;
  string(0) &quot;&quot;
  [&quot;code&quot;:protected]=&gt;
  int(0)
  [&quot;file&quot;:protected]=&gt;
  string(9) &quot;/in/ICgGK&quot;
  [&quot;line&quot;:protected]=&gt;
  int(6)
  [&quot;trace&quot;:&quot;Error&quot;:private]=&gt;
  array(0) {
  }
  [&quot;previous&quot;:&quot;Error&quot;:private]=&gt;
  NULL
}
</pre></div>
  </div>
 </div>

 <div class="sect2">
  <h3 class="title">Utilizzo di espressioni di corrispondenza per gestire i controlli non di identità</h3>
  <p class="para">
   È possibile utilizzare un&#039;espressione <code class="literal">match</code> per gestire
   casi condizionali non di identità utilizzando <code class="code">true</code> come espressione
   del soggetto.
  </p>

  <div class="example" id="example-3">
   <p><strong>Example #3 Utilizzo di espressioni di corrispondenza generalizzate per ramificare su intervalli interi</strong></p>
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br /><br />$age </span><span style="color: #007700">= </span><span style="color: #0000BB">23</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">$result </span><span style="color: #007700">= match (</span><span style="color: #0000BB">true</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">$age </span><span style="color: #007700">&gt;= </span><span style="color: #0000BB">65 </span><span style="color: #007700">=&gt; </span><span style="color: #DD0000">'senior'</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">$age </span><span style="color: #007700">&gt;= </span><span style="color: #0000BB">25 </span><span style="color: #007700">=&gt; </span><span style="color: #DD0000">'adult'</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">$age </span><span style="color: #007700">&gt;= </span><span style="color: #0000BB">18 </span><span style="color: #007700">=&gt; </span><span style="color: #DD0000">'young adult'</span><span style="color: #007700">,<br />    default =&gt; </span><span style="color: #DD0000">'kid'</span><span style="color: #007700">,<br />};<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$result</span><span style="color: #007700">);<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

   <div class="example-contents"><p>Il precedente esempio visualizzerà:</p></div>
   <div class="example-contents screen">
<div class="cdata"><pre>
string(11) &quot;young adult&quot;
</pre></div>
   </div>
  </div>

  <div class="example" id="example-4">
   <p><strong>Example #4 Utilizzo di espressioni di corrispondenza generalizzate per ramificare sul contenuto della stringa</strong></p>
   <div class="example-contents">
<div class="phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br /><br />$text </span><span style="color: #007700">= </span><span style="color: #DD0000">'Bienvenue chez nous'</span><span style="color: #007700">;<br /><br /></span><span style="color: #0000BB">$result </span><span style="color: #007700">= match (</span><span style="color: #0000BB">true</span><span style="color: #007700">) {<br />    </span><span style="color: #0000BB">str_contains</span><span style="color: #007700">(</span><span style="color: #0000BB">$text</span><span style="color: #007700">, </span><span style="color: #DD0000">'Welcome'</span><span style="color: #007700">) || </span><span style="color: #0000BB">str_contains</span><span style="color: #007700">(</span><span style="color: #0000BB">$text</span><span style="color: #007700">, </span><span style="color: #DD0000">'Hello'</span><span style="color: #007700">) =&gt; </span><span style="color: #DD0000">'en'</span><span style="color: #007700">,<br />    </span><span style="color: #0000BB">str_contains</span><span style="color: #007700">(</span><span style="color: #0000BB">$text</span><span style="color: #007700">, </span><span style="color: #DD0000">'Bienvenue'</span><span style="color: #007700">) || </span><span style="color: #0000BB">str_contains</span><span style="color: #007700">(</span><span style="color: #0000BB">$text</span><span style="color: #007700">, </span><span style="color: #DD0000">'Bonjour'</span><span style="color: #007700">) =&gt; </span><span style="color: #DD0000">'fr'</span><span style="color: #007700">,<br />    </span><span style="color: #FF8000">// ...<br /></span><span style="color: #007700">};<br /><br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$result</span><span style="color: #007700">);<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

   <div class="example-contents"><p>Il precedente esempio visualizzerà:</p></div>
   <div class="example-contents screen">
<div class="cdata"><pre>
string(2) &quot;fr&quot;
</pre></div>
   </div>
  </div>
 </div>
</div><?php manual_footer($setup); ?>