Julia报错syntax: invalid assignment location getproperty

测试环境：Julia 1.7.1
尝试为两个自定义结构体实现+方法，实现同名字段值累加的逻辑，初始代码如下：

struct Foo1
    sixsix
    aa
    bb
    disposion
end

struct Foo2
    aa
    bb
end

function Base.:+(f1::Foo1, f2 :: Foo2)
    newf = f1
    for n in fieldnames(typeof(f2))
        getproperty(newf, n) += getproperty(f2, n)
    end
    return newf
end

运行代码抛出错误：LoadError: syntax: invalid assignment location "getproperty(newf, n)"。将getproperty替换为getfield尝试实现相同逻辑时，会触发完全一致的错误：

function Base.:+(f1::Foo1, f2 :: Foo2)
    newf = f1
    for n in fieldnames(typeof(f2))
        getfield(newf, n) += getfield(f2, n)
    end
    return newf
end

• 语法层面：Julia中的a += b是固定展开为a = a + b的语法糖，赋值操作的左侧必须是合法可写的左值，包括变量名、原生点语法访问的字段（如x.field）、索引表达式（如x[i]）。getproperty、getfield都是普通函数，函数调用返回的是临时计算值，不属于可绑定赋值的内存位置，因此无法放在赋值号左侧。
• 语义层面：用struct关键字声明的结构体默认是不可变类型，实例构造完成后内部字段值无法修改。就算修正语法问题，直接修改不可变结构体字段的操作也会被Julia拦截报错。另外代码中newf = f1只是做了变量绑定，没有复制原结构体实例，如果后续修改newf的字段，会直接改动原f1实例的值。

根据是否需要修改原结构体实例，可选两种实现方式：

方案1：保持不可变结构体（推荐，性能更优） #

不可变结构体是Julia的默认类型，性能更好、线程安全，适合绝大多数场景。实现逻辑是遍历结构体字段，对重名字段做值累加后，构造一个全新的Foo1实例返回，不需要修改原有实例：

function Base.:+(f1::Foo1, f2::Foo2)
    f1_type = typeof(f1)
    # 按Foo1的字段顺序组装新的字段值
    new_values = map(fieldnames(f1_type)) do fname
        v1 = getfield(f1, fname)
        # 同名字段做累加，非公共字段保留f1的原值
        fname in fieldnames(Foo2) ? v1 + getfield(f2, fname) : v1
    end
    # 展开值列表构造新实例
    return f1_type(new_values...)
end

测试效果：

f1 = Foo1(1, 2, 3, 4)
f2 = Foo2(10, 20)
println(f1 + f2) # 输出 Foo1(1, 12, 23, 4)，符合预期

方案2：使用可变结构体（仅在需要修改原实例时使用） #

如果业务逻辑确实需要直接修改已有结构体实例的字段，可以将结构体声明为可变类型，用setproperty!/setfield!完成赋值操作，注意不要对函数调用返回值直接用+=，要先取值、计算、再显式赋值：

# 声明为可变结构体
mutable struct Foo1
    sixsix
    aa
    bb
    disposion
end

struct Foo2 # Foo2不需要修改的话可以保持不可变
    aa
    bb
end

function Base.:+(f1::Foo1, f2::Foo2)
    res = f1
    for n in fieldnames(Foo2)
        old_v = getproperty(res, n)
        add_v = getproperty(f2, n)
        # 显式调用setproperty!修改字段
        setproperty!(res, n, old_v + add_v)
    end
    return res
end

注意：可变结构体的内存布局、访问性能都弱于不可变结构体，非必要不优先选择该方案。

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