0

我正在尝试为 Eiffel 中的linked_list 创建一个迭代器。

我收到此错误：变量设置不正确。

Class: ITERATOR_ON_COLLECTION [E]
Feature: make
Attribute(s): {ITERATOR}.target
Line: 30

我知道这是因为虚空安全，但我不知道如何解决它。（我将 void safety 设置为 True 并将预编译库更改为安全版本并 clean_compile 它。）

以下是课程：

class
    ITERATOR_ON_COLLECTION [E]

inherit
    ITERATOR [E]

create
    make

feature {NONE} -- Attributes

    collection: LINKED_LIST[E]
    item_index: INTEGER

feature -- initialization

    make(c: LINKED_LIST [E])
        require
            --c /= void
        do
            --  create {COLLECTION} collection.make
            --  create collection.make -- it doesnt work with/without this line 
            collection := c
            item_index := 1
        end

    start
        do
            item_index := 1
        end

    item: STRING
        do
            Result := "hello"
        end

    next
        do
            item_index := item_index + 1
        end

    is_off: BOOLEAN
        do
            Result := True
        end


    do_until (action: PROCEDURE [E]; test: FUNCTION [E, BOOLEAN])
            -- Apply `action' to every item of `target' up to
            -- and including first one satisfying `test'.
            -- (Apply to full list if no item satisfies `test').
        require else
            action_exists: action /= Void
            test_exists: test /= Void
        do
        end

    do_while (action: PROCEDURE [E]; test: FUNCTION [E, BOOLEAN])
            -- Apply `action' to every item of `target' up to
            -- and including first one not satisfying `test'.
            -- (Apply to full list if all items satisfy `test').
        require else
            action_exists: action /= Void
            test_exists: test /= Void
        do
        end

    until_do (action: PROCEDURE [E]; test: FUNCTION [E, BOOLEAN])
            -- Apply `action' to every item of `target' up to
            -- but excluding first one satisfying `test'.
            -- (Apply to full list if no items satisfy `test'.)
        require else
            action_exists: action /= Void
            test_exists: test /= Void
        do
        end

    while_do (action: PROCEDURE [E]; test: FUNCTION [E, BOOLEAN])
            -- Apply `action' to every item of `target' up to
            -- but excluding first one satisfying not `test'.
            -- (Apply to full list if all items satisfy `test'.)
        require else
            action_exists: action /= Void
            test_exists: test /= Void
        do
        end

    there_exists (test: FUNCTION [E, BOOLEAN]): BOOLEAN
            -- Is `test' true for at least one item of `target'?
        require else
            test_exists: test /= Void
        do
        end

    for_all (test: FUNCTION [E, BOOLEAN]): BOOLEAN
            -- Is `test' true for all items of `target'?
        require else
            test_exists: test /= Void
        do
        end

end
4

1 回答 1

1

如果不看课程ITERATOR，很难说出真正的原因是什么。这是我的猜测会发生什么：

类ITERATOR声明一个附加类型的属性target。该属性必须在您的创建过程中设置。很可能您需要丢弃collection类中的属性并target改用。根据属性的类型，您可能需要在您的类中重新定义它。

在努力方面，最好从一开始就从类的 void-safe 版本开始，当您从非 void-safe 设置切换到 void-safe 设置时，您可能需要确保类类型通过默认（在项目设置对话框中查找配置选项“默认附加类型吗？” ）。此选项应设置为True（这在 16.11 之前的 EiffelStudio 中不会自动完成）。

对代码其他部分的一些评论：

  • 如果附加了参数类型，则表单中没有检查点arg /= Void。

  • 如果为父类中的功能指定了先决条件foo，则无需像这样重复

    require else
    foo

    它可以安全地移除。（您可以查看特征扁平（或扁平短）形式以查看父级的前提条件是否仍然存在。）

  • 如果重新定义的特征的注释没有改变，它们可以替换为

    -- <Precursor>

    这样，父版本的任何更改都会自动反映在重新声明中（再次查看平面表格）。

于 2016-07-13T04:29:00.093 回答