 Re: 仮想言語 ( No.8 ) |
- 日時： 2007/06/25 21:15
- 名前： ダンボ
- > P2→→? ← P3→?
> の場合、「P2 のダブルポインタが指している物」と「P3 のポインタが指している物」が
> 互換性のある型かどうかを、コンパイル時に保証できないので、ちょっと危険ですね。
型を保証させるなら、
P2..(Integer) ← P3.(Integer)
P2..(Pinter) ← P3.(Pinter)
かなぁ。ポインタを許したとたんにデータ・アクセスは自己責任かとも思うが、実験言語なら
いざしらず実用言語なら、なにか歯止めは必要かもしれません。
> P2..? ← P3.?
> イメージ的には、「P2.?.? ← P3.? の省略表記」かな。
その通りです。これは誤解無く受け入れられるのでは。CAAADR、CDDDRの伝で。
> これって、「参照型」ではなく、「ポインタ型」の考え方ですよね。
説明はポインタなのですが、オブジェクト指向の「参照」に持っていけないかなぁと。
> 開発者の負担が増えるし、高級言語としての安全面には難があるかも…。
茶飲み話ならぬ酒飲み話ですから。。。（ソレヲイッタラオワリナンダガ）
|
|
