PolynomialSparse零多项式构造函数触发类型转换MethodError问题

错误根源清晰：

• 无参构造函数PolynomialSparse()中，new([zero(Term)])仅传入一个Vector{Term}类型参数，但PolynomialSparse结构体需要两个字段：terms::MutableLinkedList{Term}和dict::Dict{Int, DataStructures.ListNode{Term}}，既存在类型不匹配问题，还缺失第二个必填参数。
• Julia无法自动将Vector{Term}转换为MutableLinkedList{Term}，必须显式创建链表实例。

修复方案 #

方案1：复用已有构造函数（推荐） #

直接调用处理空向量的现有构造函数，它已经内置了生成零多项式的逻辑：

struct PolynomialSparse
    terms::MutableLinkedList{Term} 
    dict::Dict{Int, DataStructures.ListNode{Term}} 

    # 无参构造：复用空向量处理逻辑
    PolynomialSparse() = PolynomialSparse(Term[])
    
    # 原有向量构造函数保持不变
    function PolynomialSparse(terms::Vector{Term})
        terms = sort(filter((t)->!iszero(t), terms))
        if isempty(terms)
            terms = [zero(Term)]
        end
        lst = MutableLinkedList{Term}()
        dict = Dict{Int, DataStructures.ListNode{Term}}()
        for t in terms
            insert_sorted!(lst, dict, t.degree, t)
        end
        return new(lst, dict)
    end
end

方案2：手动初始化链表和字典 #

若不想复用现有构造，可在无参构造中手动创建链表、字典并添加零项：

struct PolynomialSparse
    terms::MutableLinkedList{Term} 
    dict::Dict{Int, DataStructures.ListNode{Term}} 

    # 无参构造：手动构建零多项式
    PolynomialSparse() = begin
        zero_t = zero(Term)
        # 创建包含零项的链表
        lst = MutableLinkedList(zero_t)
        # 初始化字典并关联链表节点
        dict = Dict{Int, DataStructures.ListNode{Term}}()
        dict[zero_t.degree] = lst.node
        new(lst, dict)
    end
    
    # 原有向量构造函数保持不变
    function PolynomialSparse(terms::Vector{Term})
        terms = sort(filter((t)->!iszero(t), terms))
        if isempty(terms)
            terms = [zero(Term)]
        end
        lst = MutableLinkedList{Term}()
        dict = Dict{Int, DataStructures.ListNode{Term}}()
        for t in terms
            insert_sorted!(lst, dict, t.degree, t)
        end
        return new(lst, dict)
    end
end

两种方案均可解决MethodError问题，方案1更简洁，还能避免代码重复。

内容的提问来源于stack exchange，提问作者mysterymachine