派生クラスの合併集合のような基底クラスを作るための構文を用意すればいいんじゃないか？たとえばJavaで： ambiguous class Animal {} // AnimalにはNotImplementExceptionを投げるだけのrun, fly, swimが暗黙に実装される class Dog extends Animal { publ…

template<typename To, typename From> To kami_cast(const From&); kami_castテンプレート関数は、放送時に引数を指定した型に変換する。キャスト後の型に対して引数のチョイスが神がかっていない場合、このキャストは失敗し、bad_castから派生したmiss_cast例外を送出する。 なおこのテ</typename>…