5

この回答の最後にあるメモに基づくと、Java ではサブタイプと継承が微妙に異なる概念であるように見えます。それは何ですか？クラス宣言にextends ...句が含まれている場合にのみ継承されますか? この場合、クラスは Object のサブタイプであっても Object から継承されませんよね?

4

5 に答える 5

6

継承は、サブタイプを実現する方法です。ウィキペディアから引用：

プログラミング言語理論では、サブタイプ (サブタイプ ポリモーフィズムまたは包含ポリモーフィズム) は型ポリモーフィズムの形式であり、サブタイプは、代入可能性の概念によって別のデータ型 (スーパータイプ) に関連付けられたデータ型です。つまり、プログラム要素、通常はサブルーチンスーパータイプの要素を操作するように記述された関数または関数は、サブタイプの要素を操作することもできます。

要するに、これを見てみましょう：

class Super {
}

class Child extends Super {
}

Childからすべてを継承するため、これは継承Superです。

Super super = new Child();

として参照しているため、これはサブタイプです。したがって、継承によってサブタイピングを実行できると私が言ったときの意味がわかると思いますが、それらは同じものではありません。ChildSuper

たとえば、インターフェイスを使用してサブタイピングを実現できます。

class Child extends Super implements ISomeInterface {
}

これで、次のように参照できますChild。

ISomeInterface someInterface = new Child();

ここではISomeInterface、継承関係を必要とせずに type と呼んでいます。

あなたの質問

Java のすべてObjectsは type のサブクラスですObject。クラスヘッダーに暗黙的に含まれています。extends Objectそれはまさに言語が機能する方法です。そうです、すべてのオブジェクトは class のサブタイプですObject。

Java では、継承はextendsキーワードを使用することによってのみ利用できます。

余分な読書

編集

マルコ・トポリニクの言うことをすべて聞いてください。彼はかなり賢いです。

于 2014-08-28T15:44:22.913 に答える
5

脚注には次のように書かれています。

たまたま、 「サブタイプ」の概念は「継承元」と完全に一致しているわけではありません。スーパーインターフェースを持たないインターフェースは、実際にはObject( § 4.10.2. クラスとインターフェースタイプ間のサブタイプ) から継承していなくても、サブタイプですObject。

インターフェイスは他のインターフェイスを拡張することしかできません。明示的または暗黙的extends Objectに、実際にはそれらのどれも拡張できません。それでも、すべてのメソッドはすべてのインターフェースで利用できます。これにより、インターフェイス自体がクラスからこれらのメソッドの実装を継承していなくても、サブタイプのようなインターフェイスが作成されます。ObjectList<>ObjectObjectObject

于 2014-08-28T15:47:15.323 に答える
3

継承とサブタイプは、2 つの別個の概念です。型はその親型からのみ継承できます。したがって、継承はサブタイプの関係に結び付けられます。ただし、その逆は成立しません。サブタイプは必ずしも親から何かを継承するとは限りません。言語規則は、サブタイプによって継承されるものを正確に指示します。

Java の例では、プライベート メンバーは継承されません。Java 8 では、インターフェースは静的メソッドを宣言できますが、そのサブタイプはそれらのメンバーを継承しません。

于 2014-08-28T16:31:47.720 に答える
1

サブタイプとは、インターフェースの互換性を指します。タイプ A のオブジェクトで呼び出すことができるすべての関数を、タイプ B のオブジェクトでも呼び出すことができる場合、タイプ B は A のサブタイプです。

継承とは、実装の再利用を指します。B の関数が A の関数の観点から記述されている場合、型 B は別の型 A を継承します。

通常、サブクラスはそのスーパークラスのすべてのメソッドを使用できますが、継承ではこれは必要ありません

出典：こちら

于 2014-08-28T15:43:59.937 に答える
1

継承は明示的で、サブタイプは暗黙的です。

すべて (プリミティブ型を除く) はオブジェクトのサブタイプです。extendsキーワード を明示的に使用する場合は、継承を使用しています。

参照:継承はサブタイプではありません

于 2014-08-28T15:42:28.490 に答える