[Laravel] resolve関数、なぜconstructでの引数を指定しなくてもinstance化できる？

Question

環境

Laravel5.8
何をしていたか

▼このようなclassを使用したい

class Hoge
{
	public function __construct($first, $second)
	{
		$this->first = $first ;
		$this->second = $second;
	}

→引数なしでインスタンス化すると、引数足りないよのエラー
しかし下記の様にresolve()を使用するとインスタンス化できる(もしくはインスタンス化している訳ではない？？)

$hoge= resolve(Hoge::class);

疑問点

・なぜresolveを使用するとconstructでの引数を指定しなくてもinstance化できるのか？

Laravel documentを参考にしましたが、「指定されたクラスやインターフェイスの名前から、そのインスタンス自身を依存解決します」の説明でいまいち何がどうなっているのかが不明なのでこちらで質問させていただきました。

よろしくお願いいたします。

Comments

[m.ts10806]

「依存解決」がキーワードではあるのですけど、「そういう仕様である」と飲み込むか、コアソースを追っていくのかどちらかになります。
コアソースを読んだら私は一応挙動理解できました。
自身で読んでいくか他人である私の勝手解釈のどちらが良いですか？
前者の方が自身のためにもなるとは思いますが

Answer 1

補足資料: 【Laravel】サービスコンテナ・サービスプロバイダ・ファサード・契約に関する補足資料 - Qiita
（質問には直接関係ありませんが，理解が深まるのでぜひ読んでください）

本題です。

Q. なぜresolveを使用するとconstructでの引数を指定しなくてもinstance化できるのか？

A. resolve関数の中で，指定されたクラスを ReflectionClass を使って解析し，引数の型指定を読み取り，型に対応するクラスを自動生成しているから。

以下の優先順位でインスタンス化が行われます。

1. サービスプロバイダの register() で bind() singleton() などで，特定のクラス名に対応するインスタンス生成用の関数がコンテナに登録されている場合，その関数を実行して得られた返り値のインスタンスを取得する。登録されていない場合は「2.」に続く。
2. ReflectionClass を使ってクラスのコンストラクタを解析して引数の型を読み取り，それらのクラスを同じようにコンテナを使って生成する。この際，同じように「1.」「2.」の処理を可能な部分まで再帰する。不可能になったら「3.」に続く。
3. 必須のコンストラクタ引数が存在しないクラスの場合はそのまま new 演算子で生成し，「2.」で処理できない型指定の無い必須の引数などが存在するクラスの場合は失敗と見なして例外を投げる。

Answer 2

resolveはDIコンテナから、キー名のインスタンスを取得するヘルパーです。

どちらかというと

なぜresolveを使用するとconstructでの引数を指定しなくてもinstance化できるのか？
よりも
なぜconstructで引数を指定すると、resolveしなくてもinstance化できるのか？
の方がしっくりくる気がします。

キーワードとしては、Laravelでの、DIコンテナ、コンストラクタインジェクション、メソッドインジェクションあたりを調べてみてください。