シグネチャの衝突とは

PHPマニュアルの内容にて分からない部分があり、お聞きしたいです。

すなわち、型ヒントや必須引数の数についても同じでなければならないということです。子クラスでオプションの引数を定義しているけれども抽象クラスのメソッドのシグネチャでは定義されていないという場合、シグネチャの衝突は発生しません。

ここの部分なのですが、引数の数が同じでなければならないとの記述があるのですが、その後に、「子クラスでオプションの引数を定義しているけれども抽象クラスのメソッドのシグネチャでは定義されていない」
とあり、子クラスで親クラスで定義した抽象メソッドを、定義する際は引数の数を合わせるのか合わせないか、どちらか良く分かりません。また、シグネチャの衝突とはなんなのでしょうか？
シグネチャの意味に関しまして自分で調べた範囲では、メソッド名、引数の数と型、戻り値の型と認識しています。
抽象メソッドにおいてこれらの衝突とは何を意味するのか、ご解説頂けましたら幸いです。

行動規範の内容に同意します

回答3件

ベストアンサー

シグネチャの理解は

シグネチャの意味に関しまして自分で調べた範囲では、メソッド名、引数の数と型、戻り値の型

で良いと思います。

「シグネチャの衝突」とは、抽象メソッドとして定義されたシグネチャと矛盾するもの、と考えれば良いのではないでしょうか。

そこで「子クラスのみオプション引数が定義されていても、シグネチャの衝突は発生しない」とわざわざ断りを入れているので、

「子クラスでは、抽象メソッドと同名で、戻り値の型も同じで、必須の引数の型や数も同じなら、オプションの引数を定義しても良いよ」

ということを、難しい表現で書かれているんだと思います。

投稿2019/05/28 14:23

gentaro

総合スコア8947

gentaro

2019/05/28 14:47

なお、ご理解されているかもしれませんが、ここでいう「オプションの引数」とは「呼び出す際に省略可能（省略された場合に適用される初期値が定義されている）」という意味だと思います。マニュアルでいうと public function prefixName($name, $separator = ".") { の$separatorですね。（省略すると値"."が利用される）こういうオプション引数は、多言語でもありますし、抽象クラスの概念も当然多言語でもあります。ただ、PHPがわざわざマニュアルでこういう断りを入れるのは、多言語では子クラスでオプション引数を追加することが許されないケースが有る（そっちの方が多分多いと思う）からです。

退会済みユーザー

2019/05/29 00:43

察するに多言語→他のプログラミング言語

gentaro

2019/05/29 03:06

あ、ご指摘どうも。他言語です。

toll_tree

2019/05/29 04:32

ご丁寧に教えて頂きまして、ありがとうございます。実は、「オプション引数」に関しては分かっていませんでした.. デフォルトの引数のようなものなのですね。シグネチャの衝突の部分など、分かりやすくご解説頂きましたおかげで、理解できました。

行動規範の内容に同意します

こういうのは許されないよ、ってこと：

php
1abstract class AbstractProcessor {
2    abstract function processItem(Item $item);
3}
4
5class WoodProcessor extends AbstractProcessor {
6    function processItem(WoodItem $item){}
7}