哦！有道理！！  
  
【 在 vonNeumann () 的大作中提到: 】
: 只要标准愿意引入这个特性，大小不相同不是障碍，加一个 covariant return thunk 即可
:
: 这种 thunk 在 C++98 的基类/子类指针的 covariance 情况下已经存在（多继承的情形）
:
--
FROM 59.148.127.*