>>772
呼ばれる側のオブジェクトが変更されたら、呼ぶ側の
「再コンパイルが必要」なのは当然。
「最適化が可能かどうか」は、実行時に「定義域と値域の
一意対応が成立しているかどうか」の情報が、呼ばれる側
から呼ぶ側に伝わるかとか、呼ばれる側で「定義域と
値域の一意対応が成立している場合」に、一度使われた
入力値に対して同じ出力値を使い回すような実装が
されているか等、処理系の実装に深く関わっているので、
開発者が気にしてもあんまり意味がない。
まあ、コードがstatic かどうかはコンパイラが
文脈（コンテキスト）をチェックしているので、
内部状態を持たないオブジェクトかどうか
（つまりは「定義域と値域の一意対応が成立して
いるかどうか」）くらいは（1.4 でも）
コンパイラが見てそうに思う。