此处可以结合底层机理来理解。
函数调用是在栈上面的指针移动，返回值一般就是最后留下来的那一块。如果编译器不知道返回值的大小，那就会有很多问题。
【 在 DoorWay 的大作中提到: 】
: 赞，获得了大略。
: 我的疑问，指针与引用可以，是语言 spec of covariance明确规定，1 convertible 2 sizeof相等了吗？
: 我直觉的以为，只要求convertible 。有没有资料查。
--
FROM 76.126.252.*