generics - 集合 make_from_separate 中功能调用中的不兼容实际参数

Question

不明白我在这里错在哪里......

class
    LINKED_LIST_SEP[G]

inherit
    LINKED_LIST [G]

create
    make,
    make_from_iterable,
    make_from_separate

feature {NONE} -- Initialization

    make_from_separate (other: separate like Current)
        do
            default_create
            across
                other is l_item
            loop
                check
                    attached {G} {SCOOP_UTIL}.any_from_separate (l_item) as l_v
                then
                    extend (l_v)
                end
            end
        end

end -- class

Answer 1

对于无约束的形式泛型参数，隐式约束是detachable separate ANY。但功能any_from_separate预期separate ANY。

以下解决方案是可能的：

1. l_item在调用any_from_separate.
2. 更改签名any_from_separate以接受可分离类型。然而，在这种情况下，其结果也将变得可拆卸。
3. separate ANY向 class 的形式泛型参数添加约束LINKED_LIST_SEP。