上級

self:: で作ったインスタンスは継承先のサブクラスにならない（static:: との違い）

戻り値の型を static と宣言したメソッドの中で new self() を使うと、呼び出し元がサブクラスであっても常に定義元のクラスのインスタンスが作られます。呼び出し時点のクラスを使いたい場合は new static() が必要です。

エラーメッセージの読み方

Fatal error: Uncaught TypeError: Base::create(): Return value must be of type Derived, Base returned in main.php:4

main.php

ファイル名

4

行番号 — 実際にクラッシュした行

TypeError

例外クラス — 何が起きたか。ここを検索するのが最短です

Base::create(): Return value must be of type Derived, Base returned

内容 — どの値が問題だったか

このエラーが出る典型パターン

 1  <?php
 2  class Base {
 3      public static function create(): static {
 4          return new self  ();
                          ^
 5      }
 6  }
 7  class Derived extends Base {}
 8  $obj = Derived::create();
 9  echo get_class($obj);

 1  <?php
 2  class Animal {
 3      public static function make(): static {
 4          return new self  ();
                          ^
 5      }
 6  }
 7  class Cat extends Animal {}
 8  $obj = Cat::make();
 9  echo get_class($obj);

 1  <?php
 2  class Shape {
 3      public static function build(): static {
 4          return new self  ();
                          ^
 5      }
 6  }
 7  class Square extends Shape {}
 8  $obj = Square::build();
 9  echo get_class($obj);

 1  <?php
 2  class Vehicle {
 3      public static function spawn(): static {
 4          return new self   ();
                          ^
 5      }
 6  }
 7  class Truck extends Vehicle {}
 8  $obj = Truck::spawn();
 9  echo get_class($obj);

 1  <?php
 2  class Widget {
 3      public static function make(): static {
 4          return new self  ();
                          ^
 5      }
 6  }
 7  class Button extends Widget {}
 8  $obj = Button::make();
 9  echo get_class($obj);

よくある誤解

「self::とstatic::はどちらも自分のクラスを指すので同じはず」という思い込みは誤りです。selfは定義されたクラスに固定されますが、staticは実際に呼び出されたクラス（遅延静的束縛）を指します。

実務での勘所

「遅延静的束縛」という名前の「遅延」は、staticキーワードがどのクラスを指すかの決定を、メソッドが定義された時点ではなく、実際に呼び出された瞬間まで先延ばしにすることを意味します。selfはメソッドが書かれているクラスに常に固定される「早期」束縛ですが、staticは呼び出しの起点になった実際のクラスを実行時に遡って特定します。PHP 5.3でこの機能が追加される前は、継承先のクラスを正しく返すファクトリメソッドをself::だけで書くことができませんでした。

演習をはじめる

関連するエラー

• declare(strict_types=1) で型の異なる引数を渡すと TypeError になるファイルの先頭でdeclare(strict_types=1)を宣言すると、関数の型宣言と異なる型の値を渡した際に自動変換されず、TypeErrorになります。
• staticを付け忘れると、インスタンス間でプロパティが共有されないインスタンスをまたいで値を共有したい場合はstaticプロパティが必要です。