埃菲尔铁塔:未知标识符“光标”在LINKED_LIST[字符串]上

Question

我在本地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]

Answer 1

该示例尝试在限定的定位类型中使用参数 like argument.some_feature 。不支持此操作。锚定到参数的类型不是标准 Eiffel 的一部分，仅支持以 like argument 的形式向后兼容。