最近、boost::any、boost::shard_ptrの実装やBoost.TypeErasureの仕様書などを見て、 構造化され、ネストされた構造体や関数の中に「型安全の世界」があることにようやく気がつき始めました。 （情報科学ではこういうことを学ぶのでしょうか？） 何言ってる…