>つまり関数の返り値が常に同じだ、などという狂った前提にたった最適化は
>当然のことながら行われないから。

プロパティ内での処理が単なるフィールドアクセスでもかよ。
そんな前提初めて聞いたぞ。