绝不重新定义继承而来的no-virtual函数——effective c++学习笔记

绝不重新定义继承而来的no-virtual函数（Never redefine an inherited no-virtual function.）

如果这样处理，那么这个函数的调用，将取决于指针的类型，而不是对象本身。
因为no-virtual函数都是静态绑定的（在编译器绑定），而virtual函数是动态绑定（在运行期根据对象来绑定的）。
这样做违背两个原则：
1、 适用于基类对象的每一件事情，都要适用于其子类。
2、 基类的子类一定要继承no-virtual函数的接口和实现。
我认为如果发生这种行为，C++编译器应该提示错误。但是C++的设计者如此设计这个特性，可能是有他的考虑（是什么考虑那？更大的灵活性？）。不过这个考虑为程序员多加了很多负担。
有一个想法，也许可以根据Effective的这55个条款，写一个设计检查工具。通过扫描代码，如果不满足条款，则告警。