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 会给你这个警告。这不一定是错误，但您必须在使用变量之前将它们设置为一个值。