赞，获得了大略。

我的疑问，指针与引用可以，是语言 spec of covariance明确规定，1 convertible 2 sizeof相等了吗？

我直觉的以为，只要求convertible 。有没有资料查。
【 在 here080 的大作中提到: 】
: 这个问题的核心实质在于此处返回值是有实际物理内存要求的。如果允许子类重写的函数返回不同类型，那有可能该类型的大小跟父类返回类型大小不同。
: 基于这个原因，标准里只有指针和引用才有可能covariance
: 除非将unique_ptr作为语言内置功能，否则以类库的身份是不行的。
--
FROM 117.39.234.*