PHP7 Scalar type declarations

PHP7で導入された型宣言(タイプヒンティング)について

Transcript

1. PHP7 Scalar type declarations
2. 自己紹介 ほたて @hotatekun 好きなもの - ほたて（禁ホタテ中） - からあげ
3. PHP7のタイプヒンティング
4. タイプヒンティング？
5. タイプヒンティング？ こんなの public function return_i(int $i) { return $i; } これ
6. いままで書けなかったのか？
7. 歴史 5.0 クラス名 インターフェース名 self 5.1 array 5.4 callable
8. 歴史 5.0 クラス名 インターフェース名 self 5.1 array 5.4 callable 7.0 (new!) bool float int string alias(booleanやinteger)は書けないので注意
9. example
10. タイプヒンティング public function method1(int $i, string $s) { // hogehoge } こんな感じで書ける
11. タイプヒンティング public function return_i(int $i): int { return $i; } 戻り値もかける
12. タイプヒンティング public function getClosure() { return function(string $s): string { return $s; }; } クロージャにもかける
13. エラー処理
14. PHP5 class Test { public function method1(array $arr) { // ... } } $t = new Test(); try { $t->method1(10); } catch (Exception $e) { var_dump(get_class($e)); var_dump($e->getMessage()); }
15. recoverable fatal error Catchable fatal error: Argument 1 passed to Test:: method1() must be of the type array, integer given, called in...
16. PHP7では class Test { public function method1(array $arr) { // ... } } $t = new Test(); try { $t->method1(10); } catch (Throwable $e) { var_dump(get_class($e)); var_dump($e->getMessage()); }
17. Catchできる（TypeErrorが発生） string(9) "TypeError" string(127) "Argument 1 passed to Test::method1() must be of the type array, integer given, called in
18. 強い型付け
19. 厳密な型チェック <?php declare(strict_types=1); function test(int $i) { // ... } ファイルの先頭に strict_types=1を宣言する この場合int以外を渡すとエラー
20. 弱い型チェック <?php function test(int $i) { // ... } strict_types=1を書かないで型宣言のみする この場合、暗黙の型変換が行われる場合がある
21. 変換例（PHP5） <?php function print_type($i) { var_dump("{$i} = " . gettype($i)); } print_type(1); // integer print_type(1.5); // double print_type('2'); // string
22. 変換例（PHP7 厳密な型チェック） <?php declare(strict_types=1); function print_type(int $i) { var_dump("{$i} = " . gettype($i)); } print_type(1); // integer print_type(1.5); // Fatal error print_type('2'); // Fatal error
23. 変換例（PHP7 弱い型チェック） <?php function print_type(int $i) { var_dump("{$i} = " . gettype($i)); } print_type(1); // integer print_type(1.5); // integer print_type('2'); // integer
24. 変換例（PHP7 弱い型チェック） ----------------------------------------------------------------- | (boolean) (float) (integer) (string) ----------------------------------------------------------------- boolean | - float integer string float | boolean - integer string integer | boolean float - string string | boolean TypeError TypeError - -----------------------------------------------------------------
25. 変換例（PHP7 厳密な型チェック） ----------------------------------------------------------------- | (boolean) (float) (integer) (string) ----------------------------------------------------------------- boolean | - TypeError TypeError TypeError float | TypeError - TypeError TypeError integer | TypeError float - TypeError string | TypeError TypeError TypeError - -----------------------------------------------------------------
26. future（PHP7.1?）
27. Nullable Types function answer(): ?int { return null; //ok } function answer(): ?int { return 42; // ok } function answer(): ?int { return new stdclass(); // error } https://wiki.php.net/rfc/nullable_types
28. Union Types function print_each(array | string $in) { foreach ((array) $in as $value) { echo $value, PHP_EOL; } } print_each(['Bob', 'Joe', 'Levi']); // ok print_each('Levi'); // ok print_each(new stdclass()); // TypeError https://wiki.php.net/rfc/union_types
29. Void Return Type function lacks_return(): void { // valid } function returns_nothing(): void { return; // valid } function returns_one(): void { return 1; // Fatal error: A void function must not return a value } function returns_null(): void { return null; // Fatal error: A void function must not return a value } https://wiki.php.net/rfc/void_return_type
30. Resource typehint function only_accepts_resource(resource $foo) { } only_accepts_resource(fopen('php://memory', 'w')); https://wiki.php.net/rfc/resource_typehint
31. Reserve More Types in PHP 7 https://wiki.php.net/rfc/reserve_more_types_in_php_7 reserve the aliases of these types, such as integer, double and boolean add explicit scalar type support for parameter and return types add union types, such as int|false reserve other types such as numeric, mixed or scalar
32. まとめ PHP7.0から新しいScalar型の宣言が導入された。 strict_type=1はファイル単位。 使うときは、厳密な型チェック、弱い型チェック、従来の 動きの３パターンの考慮が必要。 PHP7.1以降で新たな型宣言が生まれる可能性。