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

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

扩展:能自证的继承体系类型即为动态类型(小);

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