ダブルディスパッチって何のためにする必要があるの？