vdm++ - インスタンス変数が初期化されていません。何故ですか？

Question

インスタンス変数でこの問題が発生しました。それらは初期化されず、正確な意味がわかりません。それは私が持っているどのクラスでも同じです。以下のコードのいずれかを投稿しました。

class Good
types
  public evalGood :: 
  good : Good
  price : nat1;

 instance variables
    private owner : Seller;
    private startPrice : nat1;
    private description : seq of char

operations
  public  getStartPrice : ()  ==> nat1
  getStartPrice() == (return startPrice);

end Good

誰かが私を助けて、理由を説明してくれることを願っています。

よろしく、カミラ

Answer 1

インスタンス変数を宣言すると、その値は「未定義」になります。特定の値はありません-割り当てない限り。イニシャライザ (最後に「:= 123」など) を使用するか、コンストラクタで値を設定することができます。どちらも行わない場合、Overture はこの警告を表示します。これは必ずしもエラーではありませんが、変数を使用する前に値を設定する必要があります。