variables - 如何在 Eiffel 的声明中初始化局部变量？

Question

我试图这样做：

local
    condition: BOOLEAN
    condition := true
do

像这样的东西：

local
    condition: BOOLEAN := true
do

显然两者都不起作用，但我需要在声明中初始化一个变量，因为如果执行重试指令，我不希望变量重新初始化。我查看了 Eiffel 的官方文档和教程，但它们总是在操作体中初始化变量。

Answer 1

每个变量都在 Eiffel 中初始化，因此在本地它们都获得了默认值，对于 BOOLEAN 为 false。

请注意，对于重试，变量不会再次初始化为其默认值，因此您可以将其用于：

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
do
   condition := True
   ...

Answer 3

我认为你可以使用

local
condition: BOOLEAN = true
do