PHP8.2にバージョンアップしてもっと型表現を豊かにしよう

Slide 1

Slide 1 text

Slide 2

Slide 2 text

Slide 3

Slide 3 text

Slide 4

Slide 4 text

Slide 5

Slide 5 text

Copyright© M&Aクラウド PHP8.2で新しくできること新機能💡 ● true/false/nullが独⽴した型で利⽤可能に function alwaysTrue(): true { return true; } function alwaysFalse(): false { return true; } function alwaysNull(): null { return null; } function alwaysTrue(): bool { return true; } function alwaysFalse(): bool { return true; } function alwaysNull(): ?string //静的解析でエラー { return null; } PHP8.2~ ~PHP8.1

Slide 6

Slide 6 text

Copyright© M&Aクラウド PHP8.2で新しくできること新機能💡 ● 選⾔標準形 (Disjunctive Normal Form) 型が使えるように public function bar((A&B)|null $entity) { return $entity; } public function bar(mixed $entity) { if ( (($entity instanceof A) && ($entity instanceof B)) || ($entity === null) ) { return $entity; } throw new Exception('Invalid entity'); } PHP8.2~ ~PHP8.1

Slide 7

Slide 7 text

Copyright© M&Aクラウド PHP8.2で新しくできること新機能💡 ● クラスにreadonlyを指定することができるように readonly class OkinawaIsland { public function __construct( public string $name, public int $population, public int $area, ) { } } class OkinawaIsland { public function __construct( public readonly string $name, public readonly int $population, public readonly int $area, ) { } } PHP8.2~ ~PHP8.1

Slide 8

Slide 8 text

Copyright© M&Aクラウド PHP8.2で新しくできること新機能💡 ● バックトレースにおけるセンシティブなパラメータの出⼒抑制ができる function getUser( $name, $email, #[SensitiveParameter] $password ) { throw new Exception('Error'); } getUser('taro', '[email protected]', 'taropass'); function getUser( $name, $email, #[SensitiveParameter] $password ) { throw new Exception('Error'); } getUser('taro', '[email protected]', 'taropass'); PHP8.2~ ~PHP8.1

Slide 9

Slide 9 text

Slide 10

Slide 10 text

Copyright© M&Aクラウド型表現を豊かにしてみようその1 Nullオブジェクトパターンで使う👻 readonly class Speaker { public function __construct( private Name $name, private Email $email, private XAccountInterface $xAccount, ){} public function toArray(): array { return [ 'name' => $this->name->getValue(), 'email' => $this->email->getValue(), 'x_account' => $this->xAccount->isUndefined() ? null : $this->xAccount->getValue(), ]; } } Speaker.php

Slide 11

Slide 11 text

Copyright© M&Aクラウド型表現を豊かにしてみよう interface Undefinedable { public function isDefined(): bool; public function isUndefined(): bool; } その1 Nullオブジェクトパターンで使う👻 Undefinedable.php interface XAccountInterface extends Undefinedable { } XAccountInterface.php

Slide 12

Slide 12 text

Copyright© M&Aクラウド class UndefinedXAccount extends XAccountInterface { public function isDefined(): false { return false; } public function isUndefined(): true { return true; } } 型表現を豊かにしてみようその1 Nullオブジェクトパターンで使う👻 class XAccount extends XAccountInterface { public function isDefined(): true { return true; } public function isUndefined(): false { return false; } } UndefinedXAccount.php XAccount.php

Slide 13

Slide 13 text

Slide 14

Slide 14 text

Copyright© M&Aクラウド型表現を豊かにしてみようその2 DNF型で型パズルする（引数）🧩 getAandB(new ClassAB());　//Call getAandB　 $tryDnfArg->getAB(new ClassAB());　//Call getAB $tryDnfArg->getAandB(new ClassABC()); //Call getAandB $tryDnfArg->getAB(new ClassABC()); //Fatal Error サンプルコード引数の場合は、 A＆B ⬅ ClassABC　OK ClassAB ⬅ ClassABC　Error

Slide 15

Slide 15 text

Slide 16

Slide 16 text

Slide 17

Slide 17 text

Slide 18

Slide 18 text

Slide 19

Slide 19 text

Slide 20

Slide 20 text

Slide 21

Slide 21 text

Slide 22

Slide 22 text

Slide 23

Slide 23 text

Slide 24

Slide 24 text

Slide 25

Slide 25 text

Slide 26

Slide 26 text

Slide 27

Slide 27 text

Slide 28

Slide 28 text

Slide 29

Slide 29 text

Slide 30

Slide 30 text

Slide 31

Slide 31 text

Slide 32

Slide 32 text

Slide 33

Slide 33 text

Slide 34

Slide 34 text

Slide 35

Slide 35 text

Slide 36

Slide 36 text

Slide 37

Slide 37 text

Copyright© M&Aクラウド参考資料 ● https://www.php.net/releases/8.2/ja.php ● https://www.prime-strategy.co.jp/column/archives/column_5253 ● https://qiita.com/rana_kualu/items/fc4b02e2daaf102aa92f ● https://www.cyberer.net/2020/03/covariant-contravariant.html ● https://www.php.net/manual/ja/language.oop5.variance.php ● https://zukan.com/ﬁsh/internal2961

Slide 38

Slide 38 text