<?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.numeric-strings.php',
    1 => '数値形式の文字列',
    2 => '数値形式の文字列',
  ),
  'up' => 
  array (
    0 => 'language.types.php',
    1 => '型',
  ),
  'prev' => 
  array (
    0 => 'language.types.string.php',
    1 => '文字列',
  ),
  'next' => 
  array (
    0 => 'language.types.array.php',
    1 => '配列',
  ),
  'alternatives' => 
  array (
  ),
  'source' => 
  array (
    'lang' => 'ja',
    'path' => 'language/types/numeric-strings.xml',
  ),
  'history' => 
  array (
  ),
);
$setup["toc"] = $TOC;
$setup["toc_deprecated"] = $TOC_DEPRECATED;
$setup["parents"] = $PARENTS;
manual_setup($setup);

contributors($setup);

?>
<div id="language.types.numeric-strings" class="sect1">
 <h2 class="title">数値形式の文字列</h2>
 <p class="para">
  PHP の 文字列 は、
  <span class="type"><a href="language.types.integer.php" class="type int">int</a></span> や <span class="type"><a href="language.types.float.php" class="type float">float</a></span> と解釈できる場合は
  数値と見なされます。
 </p>

 <p class="para">
  PHP 8.0.0 以降の正式な仕様は下記の通りです:
 </p>

 <div class="informalexample">
  <div class="example-contents">
   <div class="annotation-interactive cdata"><pre>
WHITESPACES      \s*
LNUM             [0-9]+
DNUM             ([0-9]*[\.]{LNUM}) | ({LNUM}[\.][0-9]*)
EXPONENT_DNUM    (({LNUM} | {DNUM}) [eE][+-]? {LNUM})
INT_NUM_STRING   {WHITESPACES} [+-]? {LNUM} {WHITESPACES}
FLOAT_NUM_STRING {WHITESPACES} [+-]? ({DNUM} | {EXPONENT_DNUM}) {WHITESPACES}
NUM_STRING       ({INT_NUM_STRING} | {FLOAT_NUM_STRING})
</pre></div>
  </div>

 </div>

 <p class="para">
  PHP は <em>先頭から始まる</em> 数値形式の文字列という概念も持っています。
  これは、数値形式の文字列から始まり、その後に任意の文字が続く文字列です。
 </p>

 <blockquote class="note"><p><strong class="note">注意</strong>: 
  <p class="para">
   文字 <code class="literal">E</code> (大文字小文字を区別しません) が含まれる文字列のうち、
   その文字で数値を区切っている場合、科学的記法で記された数値とみなされます。
   この場合、予期しない結果が発生するかもしれません。
  </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 />var_dump</span><span style="color: #007700">(</span><span style="color: #DD0000">"0D1" </span><span style="color: #007700">== </span><span style="color: #DD0000">"000"</span><span style="color: #007700">); </span><span style="color: #FF8000">// false, "0D1" は科学的記法ではありません<br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #DD0000">"0E1" </span><span style="color: #007700">== </span><span style="color: #DD0000">"000"</span><span style="color: #007700">); </span><span style="color: #FF8000">// true, "0E1" は 0 * (10 ^ 1), または 0<br /></span><span style="color: #0000BB">var_dump</span><span style="color: #007700">(</span><span style="color: #DD0000">"2E1" </span><span style="color: #007700">== </span><span style="color: #DD0000">"020"</span><span style="color: #007700">); </span><span style="color: #FF8000">// true, "2E1" は 2 * (10 ^ 1), または 20<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

  </div>
 </p></blockquote>

 <div class="sect2" id="language.types.numeric-string.conversion">
  <h3 class="title">数値の文脈で使われる文字列</h3>
  <p class="para">
   文字列が数値として評価される必要がある場合
   (例: 算術演算や、<span class="type"><a href="language.types.integer.php" class="type int">int</a></span> 型の宣言がある場合など)
   は、次のステップを踏むことで結果が決まります:

   <ol type="1">
    <li class="listitem">
     <span class="simpara">
      文字列が数値の場合、かつそれが
      <span class="type"><a href="language.types.integer.php" class="type int">int</a></span> 型の範囲
      (<strong><code><a href="reserved.constants.php#constant.php-int-max">PHP_INT_MAX</a></code></strong> で定義されています)
      に含まれる場合、<span class="type"><a href="language.types.integer.php" class="type int">int</a></span> に解決されます。
      そうでない場合、<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.integer.php" class="type int">int</a></span> 型の範囲
      (<strong><code><a href="reserved.constants.php#constant.php-int-max">PHP_INT_MAX</a></code></strong> で定義されています)
      に含まれる場合、<span class="type"><a href="language.types.integer.php" class="type int">int</a></span> に解決されます。
      そうでない場合、<span class="type"><a href="language.types.float.php" class="type float">float</a></span> に解決されます。

      それに加えて、エラーレベル <strong><code><a href="errorfunc.constants.php#constant.e-warning">E_WARNING</a></code></strong> が発生します。
     </span>
    </li>
    <li class="listitem">
     <span class="simpara">
      文字列が数値でない場合、
      <span class="classname"><a href="class.typeerror.php" class="classname">TypeError</a></span> がスローされます。
     </span>
    </li>
   </ol>
  </p>
 </div>

 <div class="sect2" id="language.types.numeric-string.prior">
  <h3 class="title">PHP 8.0.0 より前の振る舞い</h3>
  <p class="para">
   PHP 8.0.0 より前のバージョンでは、
   <em>先頭に</em> ホワイトスペースがある場合にだけ、
   文字列は数値と見なされていました。

   <em>数値の後に</em> ホワイトスペースがある場合は、
   その文字列は 先頭から始まる 数値形式の文字列とみなされていました。
  </p>

  <p class="para">
   PHP 8.0.0 より前のバージョンでは、
   文字列が数値の文脈で使われる場合、既に述べたステップと同じ処理を行いますが、
   以下の違いがあります:

   <ul class="itemizedlist">
    <li class="listitem">
     <span class="simpara">
      先頭から始まる数値形式の文字列の場合、
      <strong><code><a href="errorfunc.constants.php#constant.e-warning">E_WARNING</a></code></strong> ではなく、
      <strong><code><a href="errorfunc.constants.php#constant.e-notice">E_NOTICE</a></code></strong> が発生していました。
     </span>
     </li>
    <li class="listitem">
     <span class="simpara">
      文字列が数値でない場合、
      <strong><code><a href="errorfunc.constants.php#constant.e-warning">E_WARNING</a></code></strong> が発生し、
      <code class="literal">0</code> が返されていました。
     </span>
    </li>
   </ul>
   PHP 7.1.0 より前のバージョンでは、
   <strong><code><a href="errorfunc.constants.php#constant.e-notice">E_NOTICE</a></code></strong>
   も
   <strong><code><a href="errorfunc.constants.php#constant.e-warning">E_WARNING</a></code></strong> も発生していませんでした。
  </p>

  <div class="informalexample">
   <div class="example-contents">
<div class="annotation-interactive phpcode"><code><span style="color: #000000"><span style="color: #0000BB">&lt;?php<br />$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">1 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"10.5"</span><span style="color: #007700">;                </span><span style="color: #FF8000">// $foo は float (11.5)<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">1 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"-1.3e3"</span><span style="color: #007700">;              </span><span style="color: #FF8000">// $foo は float (-1299)<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">1 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"bob-1.3e3"</span><span style="color: #007700">;           </span><span style="color: #FF8000">// PHP 8.0.0 以降は TypeError。それより前は、$foo は integer (1)<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">1 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"bob3"</span><span style="color: #007700">;                </span><span style="color: #FF8000">// PHP 8.0.0 以降は TypeError。それより前は、$foo は integer (1)<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">1 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"10 Small Pigs"</span><span style="color: #007700">;       </span><span style="color: #FF8000">// PHP 8.0.0 では $foo は integer (11) で、かつ E_WARNING。それより前は E_NOTICE<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #0000BB">4 </span><span style="color: #007700">+ </span><span style="color: #DD0000">"10.2 Little Piggies"</span><span style="color: #007700">; </span><span style="color: #FF8000">// PHP 8.0.0 では $foo は float (14.2) で、かつ E_WARNING。それより前は E_NOTICE<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #DD0000">"10.0 pigs " </span><span style="color: #007700">+ </span><span style="color: #0000BB">1</span><span style="color: #007700">;          </span><span style="color: #FF8000">// PHP 8.0.0 では $foo は float (11) で、かつ E_WARNING。それより前は E_NOTICE<br /></span><span style="color: #0000BB">$foo </span><span style="color: #007700">= </span><span style="color: #DD0000">"10.0 pigs " </span><span style="color: #007700">+ </span><span style="color: #0000BB">1.0</span><span style="color: #007700">;        </span><span style="color: #FF8000">// PHP 8.0.0 では $foo は float (11) で、かつ E_WARNING。それより前は E_NOTICE<br /></span><span style="color: #0000BB">?&gt;</span></span></code></div>
   </div>

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