Eiffel:LINKED_LIST[STRING] 上的未知标识符“光标”

Eiffel: unknown identifier `cursor` on LINKED_LIST[STRING]

我在本地like some_values.cursor有个unknown identifier,真不明白为什么!

qry_update_set_fields (some_keys, some_values, some_unstored_field_names: LINKED_LIST[STRING]): STRING
    require
        same_some_keys_some_values_count: some_keys.count = some_values.count
    local
        l_val_c: like some_values.new_cursor
    do
        Result := ""
        l_val_c := some_values.new_cursor
        across
            some_keys as l_key_c
        loop
            Result := l_key_c.item + "=" + l_val_c.item + ","
            l_val_c.forth
        end
        if Result.ends_with (",") then
            Result.remove_tail (1)
        end
    ensure
        dont_modify_parameters: old some_keys.is_equal (some_keys) and old some_values.is_equal (some_values)
    end

工作

l_val_c: LINKED_LIST_CURSOR [STRING]

都不工作

l_val_c: LINKED_LIST_CURSOR [like some_values.item]

该示例尝试使用限定锚定类型 like argument.some_feature 中的参数。这是不支持的。锚定到参数的类型不是标准 Eiffel 的一部分,仅支持以 like argument.

形式向后兼容