PHP7.2 関数の返り値が２種類の場合の型指定の書き方

Question

環境

PHP7.2
Laravel5.8

実現したいこと

関数の返り値が２種類の場合の型指定の書き方

コード

use Illuminate\View\View;
use namespace Illuminate\Http\RedirectResponse;
...
...

public function hoge() {
	if($hoge === 'first') {
		return view('first'); //返り値はView
	} else {
		return redirect()->action('HogeController@index');//返り値はRedirectResponse
	}
}

public function hoge(Request $request): View || RedirectResponse {
↑的な意味合いの型指定を書きたいが、ググっても出てこずここで質問させて頂きました。

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

Answer 1

public function hoge(Request $request): View || RedirectResponse {

↑的な意味合いの型指定を書きたいが

残念ながら、そのような機能はありません。一度提案はなされたのですが却下されています。

なお、PHPDocには@returns View | RedirectResponseのように書ける、とのことです（StackOverflow）。

Comments

[kazoogon]

回答ありがとうございます、指定は無しでいこうと思います。
また分かったらでよろしいのですが、他の言語ではどうなっているのでしょうか？

[maisumakun]

C++、Javaなど多くの言語では、「1つの型しか返せない」です。複数を共通して扱いたい場合は、インターフェースを用意するなどで対応できるかもしれません。

TypeScriptでは、このような「複数の型のどれか」を表現する記法が存在します。

[kazoogon]

上記の回答もありがとうございました、非常に助かりました

[taantawan]

PHP 8.0でユニオン型が導入されましたね。

Answer 2

「複数書ける」ということは「任意数書ける」ということになりますし、型宣言自体をつける必要がなくなると思います。（現状、複数の型を同時に宣言することはできません）

※ちなみにJavaなどの言語では引数も戻り値も型をつけるのが必須ルールであり、どうしてもというときはObjectを使いますが、あまりいい実装とは言えません。参考：teratail:Java 複数の型をreturnする方法
※ちなみにPHPではあいまいな実装を防ぐためか、有効な型にObjectがありません。

型宣言をつけないか、ルーティング時点で分岐させて呼び出すコントローラ・メソッドを切り替えるかのどちらかになると思います。

Comments

[maisumakun]

TypeScriptなど、「複数の型のうちどれか」を表現できるUnion型が存在する言語もありますので、「型宣言の意味がなくなる」というのは違うのではないかと思います。

[m.ts10806]

なるほど。
「どうして型宣言をするのか」というと「より厳密な実装をするため」だと思うので、「意味なくなる」と表現をしましたが、表現ちょっと難しいですね。調整してみます。