「PHP/入門/変数の種類」の版間の差分
削除された内容 追加された内容
M編集の要約なし |
→型ジャグリング: PHP では、変数宣言の構文は持ちません。機能的には変数への始めての代入が初期化を伴った宣言とも考えられますが、v8.1の時点でも変数に型を指定したり、型アノテーションを与える方法はありません。 変数の型がない一方、値は必ず型を持ちます。 タグ: 2017年版ソースエディター |
||
1 行
== 型 ==
PHPの値には「型」があります。
どのような型があるか見てみましょう。
;[https://paiza.io/projects/DIflhWJKQjMbE584U8v1nw?language=php 例]:<syntaxhighlight lang=php>
<?php
echo "var_dump(1) --> ", var_dump(1);
echo "var_dump(1 == 1) --> ", var_dump(1 == 1);
echo "var_dump(1 != 1) --> ", var_dump(1 != 1);
echo "var_dump(null) --> ", var_dump(null);
echo "var_dump(Null) --> ", var_dump(null);
echo "var_dump(2.73) --> ", var_dump(2.73);
echo "var_dump(1.0) --> ", var_dump(1.0);
echo "var_dump(1+1.0) --> ", var_dump(1+1.0);
echo "var_dump(NAN) --> ", var_dump(NAN);
echo "var_dump(INF) --> ", var_dump(INF);
echo "var_dump('ABC') --> ", var_dump('ABC');
echo "var_dump([1, 2, 3) --> ", var_dump([1, 2, 3]);
echo 'var_dump(["a" => 1, "b" => 2]) --> ', var_dump(["a" => 1, "b" => 2]);
function f(){};
echo 'function f(){};', PHP_EOL;
echo 'var_dump(f()) --> ', var_dump(f());
?>
</syntaxhighlight>
;実行結果:<syntaxhighlight lang=text>
var_dump(1) --> int(1)
var_dump(1 == 1) --> bool(true)
var_dump(1 != 1) --> bool(false)
var_dump(null) --> NULL
var_dump(Null) --> NULL
var_dump(2.73) --> float(2.73)
var_dump(1.0) --> float(1)
var_dump(1+1.0) --> float(2)
var_dump(NAN) --> float(NAN)
var_dump(INF) --> float(INF)
var_dump('ABC') --> string(3) "ABC"
var_dump([1, 2, 3) --> array(3) {
[0]=>
int(1)
[1]=>
int(2)
[2]=>
int(3)
}
var_dump(["a" => 1, "b" => 2]) --> array(2) {
["a"]=>
int(1)
["b"]=>
int(2)
}
function f(){};
var_dump(f()) --> NULL
</syntaxhighlight>
: var_dump() は、文字列でパラメーターの "型(値)" を返す関数です。
: ここでは扱っていませんが、class, enum, resource も型。
== 型ジャグリング ==
PHP では、変数宣言の構文は持ちません。機能的には変数への始めての代入が初期化を伴った宣言とも考えられますが、v8.1の時点でも変数に型を指定したり、型アノテーションを与える方法はありません。
変数の型がない一方、値は必ず型を持ちます。
演算子式を考えてみましょう。
;[https://paiza.io/projects/kTy4lYJrlP6QtcwWKnXOEw?language=php 例]:<syntaxhighlight lang=php line>
<?= "var_dump(-'12') --> ", var_dump(-'12'); ?>
<?= "var_dump(-'12' == 12) --> ", var_dump(-'12' == -12); ?>
<?= "var_dump(-'12' === 12) --> ", var_dump(-'12' === -12); ?>
<?= "var_dump('-12') --> ", var_dump('-12'); ?>
<?= "var_dump('-12' == 12) --> ", var_dump('-12' == -12); ?>
<?= "var_dump('-12' === 12) --> ", var_dump('-12' === -12); ?>
</syntaxhighlight>
;実行結果:<syntaxhighlight lang=text>
var_dump(-'12') --> int(-12)
var_dump(-'12' == 12) --> bool(true)
var_dump(-'12' === 12) --> bool(true)
var_dump('-12') --> string(3) "-12"
var_dump('-12' == 12) --> bool(true)
var_dump('-12' === 12) --> bool(false)
</syntaxhighlight>
# string('12')に単項演算子(-)を作用させると、int(-12)
#: 文字列から整数に'''暗黙の変換'''が行われました
# -'12' は 12 と、==（緩やかな比較）で一致
# -'12' は 12 と、===（厳密な比較）でも一致
# string('-12')
#: これは文字列リテラル
# '-12' は 12 と、==（緩やかな比較）で一致
# '-12' は 12 と、===（厳密な比較）では不一致
:CなどのPHP以外のプログラム言語でも'''暗黙の型変換'''は行われます（例：整数と浮動小数点数の加算の結果が浮動小数点数になる）。
:このように比較的弱い肩付けの言語の中でも、文字列と数値の間で暗黙の型変換が行われるのは、AWK・Perlなどのテキストプロセッシング志向のプログラミング言語に限られます。
:同じ動的型付けのプログラミング言語でも、PythonやRubyは文字列と数値の間で暗黙の型変換が行われません。
::このような、PHPやPerlの柔軟すぎる暗黙の型変換は、時に柔軟すぎるがゆえにマジカルでトリックフルになりがちなので「型ジャグリング」と揶揄される場合もあります。
このコードの二項演算子バージョンも書けますが、v7とv8で結果が異なる組合せがあったり、PHPの言語設計の弱点の１つに上げらます。
v8.1で関数の引数と戻値の型を指定する構文が追加されたので、状況はある程度改善されたのですが、変数に型を宣言することは、v8.1（及び開発中のv8.2）でもできません。
[[Category:PHP|かた]]
| |||