え？ 普通は「言語仕様上は可能だが、ほとんどの場合、
設計上の誤りである」と明言すべきところじゃないのか？
たとえば Effective C++ 第2版の第37項に「継承した
非仮想関数を再定義してはならない」とあるぞ。