(バージョン情報なし。おそらく SVN 版にしか存在しないでしょう)
SplInt クラスは integer 型をより強力に型付けするために使用します。
SplInt::__default
例1 SplInt の使用例
<?php
$int = new SplInt(94);
try {
$int = '試しに文字列をキャストしてみましょう';
} catch (UnexpectedValueException $uve) {
echo $uve->getMessage() . PHP_EOL;
}
echo $int . PHP_EOL;
?>
上の例の出力は以下となります。
Value not an integer 94