0853デフォルトの名無しさん垢版 | 大砲2023/03/30(木) 23:39:51.85ID:Zoz9Js1j >>850 示してくださった定義>>846には ランタイム型情報に基づく場合が動的ディスパッチですよね しかしSomeもNoneも静的に決まっているenum Option型の中の話ですからランタイム型情報は使っていません したがってenumのmatchは動的ディスパッチに該当する要素が全くないため、動的ディスパッチではありません、という結論になります