你需要协变记号转换（covariant signature transformation），并且要能够从类型取得类型信息，如果你喜欢，虚类型的概念—v-table包含了类型描述符。
基于12个网页-相关网页
covariant signature transformation
协变签名变换
以上为机器翻译结果，长、整句建议使用 人工翻译 。
应用推荐
模块上移
模块下移
不移动