ちょっと自信ないですが、僕の理解が正しければ、 b は SC の VTable にはあるけど C の VTable にはなくて、 C として呼ばれたときには SC の b とは同名同型の別の関数として静的ディスパッチされる、だと思います。