PHPリファレンスにおける不明点(型を指している??)

Question

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

phpリファレンスを読んでいて不明な表記がありましたので、ご質問させてください。

対象のページは以下です。

リンク:(PHPリファレンス - 共変性と反変性)

ページは「共変性と反変性」について記述されており、かなり難解だったので、
理解が困難でしたが、今回の質問事項は共変性と反変性についてではなく、
リファレンスの例の中での表記についてご質問させてください。

質問の前提となるコードを記述させていただきます。

abstract class Animal
{
    protected string $name;

    public function __construct(string $name)
    {
        $this->name = $name;
    }

    abstract public function speak();
}

class Dog extends Animal
{
    public function speak()
    {
        echo $this->name . " barks";
    }
}

class Cat extends Animal 
{
    public function speak()
    {
        echo $this->name . " meows";
    }
}

この後なのですが.....

interface AnimalShelter
{
    public function adopt(string $name): Animal;
}

インターフェースにて関数の定義を行なっておりますが、
関数内の文末にある、コロンの後のAnimalは何を意味しているのでしょうか。

このような表記はいまだみたことがなく、Animalの前の引数内の型宣言Stringはわかるのですが、、、

抽象クラス名がAnimalですので、メソッドの引数などでみる型宣言でAnimalを
使用しているのであれば、まだわかる気もするのですが。

リファレンスでは同じインターフェースを継承した別クラスにおいて同名のメソッド
があるので、差別化をするために表記しているのかもしれませんが、よくわかりませんでした。

アドバイスなどいただけますと幸いです。

Comments

[m.ts10806]

URLはマークダウンの「リンクの挿入」を利用してください。
[リンク文字列](リンクURL)

[退会済みユーザー]

失礼いたしました。以降気をつけたいと思います。

Answer 1

関数内の文末にある、コロンの後のAnimalは何を意味しているのでしょうか。

返り値の型宣言です。PHP 7.0からの機能です（公式）。

Comments

[退会済みユーザー]

ご回答ありがとうございます。助かりました。

Answer 2

このような表記はいまだみたことがなく、

PHPマニュアルにおいて、関数機能ではほぼ全て記載されています。
例えばisset

isset ( **mixed **$var [, mixed $... ] ) : bool

とか。
Javaなど別の言語をやっていれば、引数も返り値もあらゆる変数も型の指定は必須なのですが、PHPは元々型の概念が緩い言語であったため、PHPだけ学んでいる人は型の意識が薄いです（私も以前はそうでした）

ただ、PHP7.4からプロパティにも型宣言ができるようになったり、ようやく厳格な実装ができるようになってきたのは良いことだと思います。

ただ、ご提示のページのコードにも

public function adopt(string $name): Cat // Animal 型を返す代わりに、Cat型を返すことができる

のように「○○型を返す」と明示されているので、それで分かることもあるかと思います。

Comments

[退会済みユーザー]

なるほどです。Javaなど、他言語は未だほとんど扱ったことがないのですが、
型宣言必須なのですね。

PHPリファレンスでは型を意識した記述が結構あるのですが、確かにほとんど型宣言せずにも動いてしまっているので、今後は型宣言を意識して進めていきたいと思います。

適切なご回答ありがとうございました。

[m.ts10806]

大抵の言語に「なんでも入る型(JavaにおけるObject,VBにおけるVariant)」などは実装されていますが、参照の際にキャストが必要であったり、実装の厳格性が失われてそこから全体の実装が崩れかねないので、型は明確に指定して実装すべきです。

[退会済みユーザー]

参照とは参照代入等の参照のことでしたでしょうか。

なるほどです。参照であれば常に値の変更に伴い型が変化する可能性などありそうですね。勉強になります。

注意していきたいと思います。
ありがとうございました。

[m.ts10806]

＞参照とは参照代入等の参照のことでした

いえ。「利用する」と置き換えてください。
関数の引数に使ったり、出力したり、受け取ったり。

[退会済みユーザー]

ご丁寧にありがとうございます。了解です。