埃菲尔铁塔：古典式压铸开关结构，附带并检查

Question

做某事的最佳实践是什么

local
    l_pet: ANIMAL
do
    l_pet := catch_it_from_the_sky
    inspect l_pet
    when attached {DOG} l_pet as l_dog
        l_dog.eat (meat)
    when attached {FISH} l_pet as l_fish
        l_fish.eat (plants)
    else
        io.put_string ("Strange animal how do I feed him???")
    end
do

编译器与抱怨attached时，后...

更新：为什么有这种需要？

因为碰巧我弄乱了重复的复制粘贴，这是一种语言试图避免的粘贴。 在上面的例子中， l_pet被写入了一次，如果是/ l_pet ，我将被写入N次。

Answer 1

inspect语句允许检查表达式是否具有特定值，并且可以应用于整数类型的表达式（例如INTEGER_64 ， CHARACTER_32或NATURAL_8 ）：

inspect age
when 6 .. 16 then ...
when 18 then ...
when 80, 90 then ...
...
end

为了区分对象类型，使用条件指令：

if attached {DOG} pet as dog then
   dog.eat (meat)
elseif attached {FISH} pet as fish then
   fish.eat (plants)
else
   io.put_string ("Strange animal how do I feed him???")
end

Answer 2

在多分支指令中

inspect exp when ... then ... else ... end

exp表达式必须是字符或整数表达式。

在您给出的示例中，我看不到需要执行Object-Test ，但是如果您需要执行类似的操作，则需要使用条件指令。

if ... then ... elseif ... then ... else ... end