を実行することができ、そして私は、コードがコンパイルされている例を見つけることになってるとき：このコードはコンパイルすることが保証されてAPコンピュータサイエンス：メンバ関数は、だから私は次のコード与えられてい
VariableType var = new ObjectType();
var.doStuff();
（すべての該当するものを選択する）場合：
のメンバ関数です。問題への答えもありません。私は多少困惑しています。だから、皆さんの誰かがそれぞれのケースを説明して、なぜ彼らが働くのか、うまくいかないのか、それが大いに役立つでしょう。
まず第一に、いくつかの無規定の要件があります。
VariableTypeVariableType var = new ObjectType();
ObjectTypeは、適切なコンストラクタを持つ非抽象クラスでなければならない、とObjectTypeは、直接的または間接的である必要があります。この文のためにコンパイルしますサブタイプはVariableTypeです。これらの要件のいずれかが満たされない場合、上記のステートメントはコンパイルされません。
あなたの疑問にお答えします。
はdoStuff（IF [このコードをコンパイルすることが保証されている]）VariableType
真のメンバ関数です。コンパイラは、メソッドがVariableTypeによって提供されるAPIに存在するかどうかをチェックします。そうです。
doStuffは（）のObjectType
偽のメンバ関数である場合、[このコードはコンパイルすることが保証されています]。 doStuff()がObjectTypeに定義されていて、VariableTypeに定義されていない場合、呼び出しはコンパイルされません。
この例では実行時にメソッドが存在しますが、コンパイラではvarに割り当てることのできるすべての値に対してメソッド呼び出しが機能することが必要です。いくつかの可能な値は、VariableType自体のインスタンス、またはVariableType
のいくつかの他のサブクラスであってもよいdoStuff（）はVariableTypeのスーパー
真のメンバ関数である場合、[このコードはコンパイルすることが保証されています]。 doStuff()がVariableTypeのスーパークラスで定義されている場合、VariableTypeとそのクラスの一部に継承されます。
doStuffは（）のObjectTypeのスーパー
偽のメンバ関数である場合、[このコードはコンパイルすることが保証されています]。 ObjectTypeがAに拡張され、AがVariableTypeに拡張され、VariableTypeがdoStuffメソッドを定義しない場合を考えます。
このシナリオでは、AにはdoStuff()メソッドがあることに違いはありません。このメソッドはAPIのVariableTypeで公開されていないため、そのように呼び出すことはできません。
コンパイラがメソッド呼び出しを認識すると、メソッドが呼び出されるタイプの変数または式のが宣言されます。この場合、変数はvarであり、宣言された型はVariableTypeです。したがって、VariableTypeまたはそのスーパータイプで宣言されたメソッドのみが呼び出される可能性があります。
VariableType var = new ObjectType();の割り当ては、ObjectTypeがVariableTypeのサブクラスである場合にのみコンパイルされることに注意してください。そうですね。しかし、答えは変わりません。ObjectTypeで宣言されているメソッドは、 "visible through" VariableTypeではありません。メソッドがスーパークラスObjectTypeで宣言されていても、そのスーパークラスはまだのサブクラスである可能性があります。たとえば、class FooType extends VariableTypeとclass ObjectType extends FooTypeの場合です。
このすべての目的は、コンパイルされた呼び出しが実行時に成功することを保証することです。 var.methodThatOnlyExistsInObjectType()をコンパイルすると、実行時にvarが実際にObjectTypeを参照していないと失敗します。
VariableType型の変数で*呼び出す場合、メソッドはVariableType、それが拡張するスーパークラス、または実装するインタフェースで*宣言*する必要があります。 –
クラスVariableTypeとObjectTypeを作成してから、問題の定義に従っていずれかのクラスでdoStuff（）を実装し、それらがコンパイルされているかどうかを確認してください。そういうわけで、私は何がうまくいくのかわかりません。その後、そこからさらに調査することができます。 –
質問はメンバー関数の*呼び出し*がいつ*コンパイルされるかについてです。彼らが走れるときではない。 – EJP