Question

我不明白这句话的含义（来自Scala-Threading/Odersky/18-stateful-objects.txt line 88）：

一个类可能是有状态的，而不定义或继承任何变量，因为它会将方法调用转发给其他具有可变状态的对象。

任何人都可以在Scala中给我一个很好的例子吗？

Answer 1

class Account {
  private var balance = 0
  def getBalance = balance
  def deposit(amount: Int): Unit = balance += amount
}

class NoVarAccount {
  val account = new Account()
  def balance = account.getBalance
  def deposit(amount: Int) = account.deposit(amount)
}

现在，NoVarAccount中没有任何var，但它仍然是有状态的，因为它将Account的呼叫转发，这确实是有状态的。< / p>

事实上，您不能保证在同一个对象上调用balance两次会得到相同的结果。

val account = new NoVarAccount()
account.balance // 0
account.deposit(42)
account.balance // 42

在此示例中，account.balance不是引用透明，即您无法将account.balance替换为其返回值，因为它可能会有所不同。

相反，无国籍帐户将如下：

class StatelessAccount(val balance: Int = 0) {
  def deposit(amount: Int) = new StatelessAccount(balance + amount)
}

甚至更具惯用性：

case class StatelessAccount(balance: Int = 0) {
  def deposit(amount: Int) = this.copy(balance = balance + amount))
}

在这种情况下，balance是引用透明的：

val account = StatelessAccount()
account.balance // 0
val account2 = account.deposit(42)
account2.balance // 42
account.balance // still 0

Answer 2

class FileWrapper(file : java.io.RandomAccessFile) {

  def isEmpty = file.read() < 0

  def next = file.read()
}

在上面的示例中，文件保持自己的状态，但FileWrapper只转发对文件对象的方法调用。

任何人都可以给我一个很好的例子这种关于“什么使一个对象有状态”的情况？

2 个答案: