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