能自证的任意类型即为动态类型

能自证的任意类型即为动态类型；

扩展：能自证的继承体系类型即为动态类型（小）；

posted @ 2018-09-21 14:31  zzfx  阅读(118)  评论(0)  编辑  收藏  举报