05/08/13 17:02:32
>>556
性能にひびく部分は普通はコンパイルされて実行されるので、
機械語レベルで考える必要があって単純ではないが、オーバ
ヘッドは0じゃない。
Genericsが使えるような場面では、頻出の型をキャッシュする
などの最適化の結果、それぞれの文脈で、よくある型のキャス
トはポインタ比較+(分岐予測がほぼ当たる)条件分岐で済むの
で、CPUのパイプラインも乱れず、実行ユニットが有り余る近年
のスーパスカラCPUではミクロな視点では影響がないと言っても
良い。しかし、当たるべき分岐予測を理論通りに当てられる分
岐の数にはCPUの実装による制限があるので、マクロの視点
では影響がある。