如何在Eiffel的聲明中初始化局部變量？

Question

我試着這樣做：

local
    condition: BOOLEAN
    condition := true
do

這樣的事情：

local
    condition: BOOLEAN := true
do

顯然既不起作用，但我需要在聲明中初始化變量，因為如果執行重試指令，我不希望變量重新初始化。 我查看了Eiffel的官方文檔和教程，但它們始終將操作體中的變量初始化。

Answer 1

每個變量都在Eiffel中初始化，因此在本地它們都獲得默認值，對於BOOLEAN來說是假的。

請注意，對於重試，變量不會再次初始化為其默認值，因此您可以將其用於：

test
  local
    retrying: BOOLEAN
  do
    if retrying then
      do_something_else
    else
      retrying := true
      first_try
    end;
  rescue
    handle_error
    retry
  end

Answer 2

我想你可以用

local
condition: BOOLEAN = true
do

Answer 3

local
   condition: BOOLEAN
do
   condition := True
   ...