<?php
include_once $_SERVER['DOCUMENT_ROOT'] . '/include/shared-manual.inc';
$TOC = array();
$TOC_DEPRECATED = array();
$PARENTS = array();
include_once dirname(__FILE__) ."/toc/language.types.inc";
$setup = array (
  'home' => 
  array (
    0 => 'index.php',
    1 => 'PHP Manual',
  ),
  'head' => 
  array (
    0 => 'UTF-8',
    1 => 'ja',
  ),
  'this' => 
  array (
    0 => 'language.types.intro.php',
    1 => 'はじめに',
    2 => 'はじめに',
  ),
  'up' => 
  array (
    0 => 'language.types.php',
    1 => '型',
  ),
  'prev' => 
  array (
    0 => 'language.types.php',
    1 => '型',
  ),
  'next' => 
  array (
    0 => 'language.types.type-system.php',
    1 => '型システム',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'ja',
    'path' => 'language/types.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.types.intro" class="sect1">
  <h2 class="title">はじめに</h2>

  <p class="para">
   PHP における単一の式はそれぞれ、
   その値に応じて、以下の組み込み型のうちのひとつを持ちます:
   <ul class="itemizedlist">
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.null.php" class="type null">null</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.boolean.php" class="type bool">bool</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.integer.php" class="type int">int</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.float.php" class="type float">float</a></span> (浮動小数点数)</span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.string.php" class="type string">string</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.array.php" class="type array">array</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.object.php" class="type object">object</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.callable.php" class="type callable">callable</a></span></span></li>
    <li class="listitem"><span class="simpara"><span class="type"><a href="language.types.resource.php" class="type resource">resource</a></span></span></li>
   </ul>
  </p>

  <p class="para">
   PHP は、動的に型付けを行う言語です。
   これは、PHP が実行時に型を決定するため、
   デフォルトでは変数の型を指定する必要がないということです。
   しかし、
   <a href="language.types.declarations.php" class="link">型宣言</a> を使うことで、
   その一部に静的に型を指定することができます。
  </p>

  <p class="para">
   型は、それに対して行える操作を制限します。
   しかし、式や変数に対して、型がサポートしていない操作を行うと、
   PHP はその操作をサポートする
   <a href="language.types.type-juggling.php" class="link">型に変換</a> しようとします。
   この処理は、値が使われる文脈によって異なります。
   詳細は
   <a href="language.types.type-juggling.php" class="link">型の相互変換</a>
   のページを参照ください。
  </p>

  <div class="tip"><strong class="tip">ヒント</strong>
   <p class="simpara">
    <a href="types.comparisons.php" class="link">型の比較表</a>
    も役に立つかもしれません。
    さまざまな型の値の比較に関する例があります。
   </p>
  </div>
  
  <blockquote class="note"><p><strong class="note">注意</strong>: 
   <span class="simpara">
    ある式を強制的に他の型として評価させたい場合、
    <a href="language.types.type-juggling.php#language.types.typecasting" class="link">型キャスト</a> を使います。
    <span class="function"><a href="function.settype.php" class="function">settype()</a></span> 関数を変数に対して使うと、
    変数の型をその場で変換できます。
   </span>
  </p></blockquote>

  <p class="para">
   <a href="language.expressions.php" class="link">式</a>の型と値を知りたい場合は、
   <span class="function"><a href="function.var-dump.php" class="function">var_dump()</a></span> 関数を使用してください。
   <a href="language.expressions.php" class="link">式</a> の型を知りたい場合は、
   <span class="function"><a href="function.get-debug-type.php" class="function">get_debug_type()</a></span> を使用してください。
   式がある型であるかどうかをチェックするには
   
   <code class="literal">is_<span class="replaceable">type</span></code>
   関数を代わりに使用してください。
   <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 />$a_bool </span><span style="color: #007700">= </span><span style="color: #0000BB">true</span><span style="color: #007700">;   </span><span style="color: #FF8000">// bool<br /></span><span style="color: #0000BB">$a_str  </span><span style="color: #007700">= </span><span style="color: #DD0000">"foo"</span><span style="color: #007700">;  </span><span style="color: #FF8000">// string<br /></span><span style="color: #0000BB">$a_str2 </span><span style="color: #007700">= </span><span style="color: #DD0000">'foo'</span><span style="color: #007700">;  </span><span style="color: #FF8000">// string<br /></span><span style="color: #0000BB">$an_int </span><span style="color: #007700">= </span><span style="color: #0000BB">12</span><span style="color: #007700">;     </span><span style="color: #FF8000">// int<br /><br /></span><span style="color: #007700">echo </span><span style="color: #0000BB">get_debug_type</span><span style="color: #007700">(</span><span style="color: #0000BB">$a_bool</span><span style="color: #007700">), </span><span style="color: #DD0000">"\n"</span><span style="color: #007700">;<br />echo </span><span style="color: #0000BB">get_debug_type</span><span style="color: #007700">(</span><span style="color: #0000BB">$a_str</span><span style="color: #007700">), </span><span style="color: #DD0000">"\n"</span><span style="color: #007700">;<br /><br /></span><span style="color: #FF8000">// 数値であれば、4を足す<br /></span><span style="color: #007700">if (</span><span style="color: #0000BB">is_int</span><span style="color: #007700">(</span><span style="color: #0000BB">$an_int</span><span style="color: #007700">)) {<br />    </span><span style="color: #0000BB">$an_int </span><span style="color: #007700">+= </span><span style="color: #0000BB">4</span><span style="color: #007700">;<br />}<br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #0000BB">$an_int</span><span style="color: #007700">);<br /><br /></span><span style="color: #FF8000">// $a_bool が文字列であれば, それをprintする<br /></span><span style="color: #007700">if (</span><span style="color: #0000BB">is_string</span><span style="color: #007700">(</span><span style="color: #0000BB">$a_bool</span><span style="color: #007700">)) {<br />    echo </span><span style="color: #DD0000">"String: </span><span style="color: #0000BB">$a_bool</span><span style="color: #DD0000">"</span><span style="color: #007700">;<br />}<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
    </div>

    <div class="example-contents"><p>上の例の PHP 8 での出力は、このようになります。:</p></div>
    <div class="example-contents screen">
<div class="annotation-interactive cdata"><pre>
bool
string
int(16)
</pre></div>
    </div>
   </div>
  </p>
  <blockquote class="note"><p><strong class="note">注意</strong>: 
   <span class="simpara">
    PHP 8.0.0 より前のバージョンでは、
    <span class="function"><a href="function.get-debug-type.php" class="function">get_debug_type()</a></span> が使えません。
    代わりに <span class="function"><a href="function.gettype.php" class="function">gettype()</a></span> が使えますが、
    この関数は正規化された型の名前を使いません。
   </span>
  </p></blockquote>
 </div><?php manual_footer($setup); ?>