C++虚函数覆盖有关问题

C++虚函数覆盖问题
子类的覆盖版本的返回类型 可以是 基类版本返回类型的子类。
子类的覆盖版本的抛出的异常 可以是 基类版本抛出的异常的子异常
为什么会是这样呢？
而且这个在Linux/Unix环境下可以成立，在Windows环境下就不能成立，为什么？

[解决办法]
因为这样的话编译器需要辨认更多的继承关系，而无法区分是虚函数还是重载了。