【PHP8.x】INF定数の使い方

Copy
1<?php
2
3/**
4 * PHPの特殊な浮動小数点数定数であるINF（無限大）の情報を表示する関数。
5 *
6 * この関数は、INF定数の値、およびそれが無限大として認識されるかどうかの情報を出力します。
7 * INFは、特定の数学的演算の結果として無限大が発生した場合などに使われます。
8 * システムエンジニアを目指す初心者向けに、INF定数の基本的な概念と使い方を解説します。
9 *
10 * @return void
11 */
12function showInfinityInfo(): void
13{
14    echo "--- PHP 'INF' Constant Information ---\n";
15    echo "--------------------------------------\n\n";
16
17    // 1. INF定数の値を直接表示
18    // INFはPHPが内部的に持っている「正の無限大」を表す定数です。
19    echo "1. INF定数の値: " . INF . "\n";
20    echo "   (これは「正の無限大」を意味します。)\n\n";
21
22    // 2. INFが無限大であるかを確認
23    // is_infinite()関数は、与えられた値が無限大である場合にtrueを返します。
24    echo "2. INFは無限大として認識されますか？ ";
25    if (is_infinite(INF)) {
26        echo "はい\n";
27    } else {
28        echo "いいえ\n";
29    }
30    echo "   (is_infinite()関数を使って確認しています。)\n\n";
31
32    // 3. 計算結果として無限大が発生する例
33    // 浮動小数点数で0を除算すると、通常E_WARNINGが発生しますが、
34    // 結果としてINF（無限大）が返されます。
35    // この例は、無限大がどのような状況で現れるかを示しています。
36    @$resultFromDivision = 1.0 / 0.0; // @で警告を抑制していますが、通常は警告が出ます。
37    echo "3. 計算結果として無限大が発生する例 (1.0 / 0.0):\n";
38    echo "   計算結果: " . $resultFromDivision . "\n";
39    echo "   この結果は無限大として認識されますか？ ";
40    if (is_infinite($resultFromDivision)) {
41        echo "はい\n";
42    } else {
43        echo "いいえ\n";
44    }
45    echo "\n";
46
47    // 4. 負の無限大の例
48    // INFは正の無限大を表すため、負の無限大は-INFとして表現できます。
49    $negativeInfinity = -INF;
50    echo "4. 負の無限大の例 (-INF):\n";
51    echo "   値: " . $negativeInfinity . "\n";
52    echo "   この値は無限大として認識されますか？ ";
53    if (is_infinite($negativeInfinity)) {
54        echo "はい\n";
55    } else {
56        echo "いいえ\n";
57    }
58    echo "\n";
59
60    echo "--------------------------------------\n";
61    echo "上記の情報は、PHPにおける無限大の扱いを理解するのに役立ちます。\n";
62}
63
64// 上記で定義した関数を実行します。
65showInfinityInfo();

PHP 8では、浮動小数点数の特殊な定数としてINFが用意されています。これはInfinityの略で、「正の無限大」を表す値です。この定数自体は引数を取らず、float型として扱われます。

INFは、特定の数学的演算の結果として数値が無限大になった場合に用いられる特殊な値です。サンプルコードでは、まずINF定数の値が直接表示され、それが正の無限大であることが示されます。次に、is_infinite()関数を使用し、与えられた値が無限大であるかどうかを判定する方法が紹介されており、INFは確かに無限大として認識されることが確認できます。

また、浮動小数点数でゼロを除算する（例: 1.0 / 0.0）といった計算を行った場合にも、結果としてINF（無限大）が返されることがあります。これは、PHPが無限大をどのように扱うかを示す具体的な例です。さらに、INFが正の無限大を表すため、負の無限大は-INFと記述することで表現でき、これもis_infinite()関数で適切に無限大として判定されます。これらの情報は、PHPにおける特殊な数値の挙動を理解し、数値計算を扱う上で役立ちます。

Copy
1<?php
2
3/**
4 * PHPの組み込み定数 INF (無限大) の情報と使用例を表示します。
5 *
6 * `php info` コマンドがPHPの実行環境に関する情報を提供するのと同様に、
7 * この関数はPHPの数値型における特殊な値であるINF（無限大）に関する情報と基本的な使用方法を、
8 * システムエンジニアを目指す初心者にも理解できるようにデモンストレーションします。
9 */
10function demonstrate_php_inf_constant(): void
11{
12    echo "--- PHP 'INF' Constant Demonstration ---\n";
13    echo "This script demonstrates the PHP built-in constant 'INF', which represents infinity.\n";
14    echo "Similar to how 'php info' provides environmental data, this provides insights into INF.\n\n";
15
16    // 1. INF定数の値と型を表示
17    // INFは無限大を表すfloat型の定数です。
18    echo "1. Value and Type of INF:\n";
19    echo "   Value of INF: " . INF . "\n";
20    echo "   Type of INF: " . gettype(INF) . "\n";
21    echo "   Is INF a float? " . (is_float(INF) ? "Yes" : "No") . "\n\n";
22
23    // 2. 無限大の検出: is_infinite() 関数
24    // is_infinite()関数は、与えられた値が無限大であるかどうかをチェックします。
25    echo "2. Detecting Infinity with is_infinite():\n";
26    $positiveInfinity = INF;
27    $negativeInfinity = -INF;
28    $finiteNumber = 123.45;
29    $divisionByZero = 10 / 0; // 0による除算の結果は通常INFになります (PHP 8ではWarningが発生する可能性があります)。
30
31    echo "   Is " . $positiveInfinity . " (positive infinity) infinite? " . (is_infinite($positiveInfinity) ? "Yes" : "No") . "\n";
32    echo "   Is " . $negativeInfinity . " (negative infinity) infinite? " . (is_infinite($negativeInfinity) ? "Yes" : "No") . "\n";
33    echo "   Is " . $finiteNumber . " (finite number) infinite? " . (is_infinite($finiteNumber) ? "Yes" : "No") . "\n";
34    echo "   Is (10 / 0) result infinite? " . (is_infinite($divisionByZero) ? "Yes" : "No") . "\n\n";
35
36    // 3. 無限大の比較
37    // 無限大同士や他の数値との比較挙動を示します。
38    echo "3. Comparing INF:\n";
39    echo "   INF == INF: " . (INF == INF ? "True" : "False") . "\n";
40    echo "   INF > 1000000000000000: " . (INF > 1000000000000000 ? "True" : "False") . "\n";
41    echo "   INF < INF: " . (INF < INF ? "True" : "False") . " (Note: This is False, as INF is not strictly less than itself)\n";
42    echo "   INF == -INF: " . (INF == -INF ? "True" : "False") . "\n\n";
43
44    // 4. INFを含む数学演算
45    // INFを含む特定の演算は、NaN (Not a Number) を生成する場合があります。
46    echo "4. Mathematical operations involving INF:\n";
47    $infMinusInf = INF - INF; // 無限大から無限大を引くとNaNになります。
48    echo "   INF - INF = " . $infMinusInf . " (Type: " . gettype($infMinusInf) . ", Is NaN? " . (is_nan($infMinusInf) ? "Yes" : "No") . ")\n\n";
49
50    echo "--- End of Demonstration ---\n";
51}
52
53// 関数を実行し、INF定数のデモンストレーションを開始します。
54demonstrate_php_inf_constant();

PHPの組み込み定数INFは、無限大（Infinity）を表す浮動小数点数（float）型の値です。引数はなく、float型の無限大の値そのものです。

この定数は、非常に大きな数値を扱う計算や、例えばゼロ除算のように結果が数学的な無限大となる状況で用いられます。サンプルコードでは、INFの値と型を確認し、float型であることを示しています。

値が無限大であるかを確認するには、is_infinite()関数を使用します。この関数は、正の無限大（INF）と負の無限大（-INF）の両方を正確に識別し、有限の数値とは区別します。これにより、計算結果が無限大になった際の適切な処理を記述できます。

また、INFは他の数値と比較することが可能です。非常に大きな数値よりも大きいと判断されますが、INFがINF自身よりも厳密に小さいという比較はFalseとなります。さらに、INF - INFのような特定の数学演算は、結果がNaN（Not a Number）となる場合があります。このようなNaNはis_nan()関数で検出でき、プログラムで特殊な数値の状態を適切に扱うための知識を提供します。