問題タブ [dynamic-dispatch]
For questions regarding programming in ECMAScript (JavaScript/JS) and its various dialects/implementations (excluding ActionScript). Note JavaScript is NOT the same as Java! Please include all relevant tags on your question; e.g., [node.js], [jquery], [json], [reactjs], [angular], [ember.js], [vue.js], [typescript], [svelte], etc.
java - Java の動的ディスパッチと型チェックのメカニズム
Java のオブジェクトがフィールドおよび vtable の関数への「ポインタ」で構成される内部表現方法と、代入、暗黙的キャストおよび明示的キャストが行われたときにこれらの内部表現がどのように変化するか、および静的型と動的型がどのように変化するかを理解したいと思います。チェックは動作します。
以下から拡張された例を考えてみましょう: Java での動的メソッド ディスパッチ
オブジェクトはメモリ内でどのように構築されますか? 割り当て (または同等のパラメーターが渡される) があるとどうなりますか? 次の場合のオブジェクトのメモリ表現の違いは何ですか?
明示的なアップ/ダウン キャストがある場合、メモリ表現はどうなりますか? そのようなキャストが許可されているかどうかをどのように確認し、内部表現とメソッド呼び出しのディスパッチ情報をどのように変更しますか。
これらのトピックに関するソースを探しましたが、適切なものは見つかりませんでした。トピックが広すぎる場合は、これをどこで勉強できるかについての指示があれば助かります。