C++に実行時の型なんてものはない - 神様なんて信じない僕らのために

は嘘でした。k.inaba さんの指摘で修正。 と、まで書くと言い過ぎか？*1 また、オーバーロードされた演算子の動作を特別に考える必要もない。 演算子オーバーロードした演算子はメンバ関数と同じ動きをする。 virtualでない演算子は、演算子を呼び出した対象オブジェクトの「変数の型」によって決定される virtualな演算子は、演算子を呼び出した対象オブジェクトの「実行時の型」によって決定される 要するに、メソッドと同じ C++で演算子オーバーロードしたときの演算子決定基準について調べた - 矢野勉のはてな日記 ちょっと違う。 単に同じ動きをするだけでなく、同じものだ。 クラスに対しオーバーロードされた演算子はメンバ関数のシンタックスシュガーに過ぎない。 また、メンバ関数であるとは限らないので、メソッドと同じとすべきではない。 あと、少なくとも、C++は実行時の型情報を元にメンバ関数を呼

[amachang]

元エントリの訂正前の記述と、コメントの突っ込みがとても勉強になる。／仕様的には、実行時の型（dynamic type）が存在するが、実際は、 vptr + vtbl しかない。vptr + vtbl しかないと考えた方が楽