Julia自定义中缀运算符⊘输出Complex{OurRational}时显示报错问题排查

核心原因 #

1. 自定义类型的类型提升规则缺失：Julia的显示系统在输出结果时，会尝试对类型进行统一提升以适配打印逻辑。你的OurRational类型没有定义与复数（Complex）、Int64等类型的promote_rule，导致显示环节触发类型提升错误。而加;抑制输出时，只执行运算不触发显示流程，自然不会暴露这个问题。
2. 显示方法（show/display）未适配复数场景：默认的显示逻辑对自定义类型的复数形式（比如Complex{OurRational}）处理不完善，在打印时会尝试进行未定义的类型转换，进而报错。
3. 内置//的优势：Julia官方的Rational类型已经内置了完整的复数运算支持、类型提升规则和显示方法，所以用//不会出现这类问题。

• 补全类型提升规则：为OurRational定义与常用类型的提升规则，示例代码：

  # 处理OurRational与复数的提升
  Base.promote_rule(::Type{OurRational{T}}, ::Type{Complex{S}}) where {T<:Real,S<:Real} = Complex{OurRational{promote_type(T,S)}}
  # 处理OurRational与Int64的提升
  Base.promote_rule(::Type{OurRational{T}}, ::Type{Int64}) where {T<:Real} = OurRational{promote_type(T,Int64)}
  

• 实现适配的显示方法：为OurRational及其复数形式定义专门的show方法，避免显示时触发不必要的类型转换，示例：

  # 基础OurRational的显示
  Base.show(io::IO, x::OurRational) = print(io, "$(x.num)/$(x.den)")
  # 复数形式OurRational的显示
  Base.show(io::IO, x::Complex{<:OurRational}) = print(io, "$(real(x)) + $(imag(x))im")
  

• 检查⊘运算符的实现逻辑：确保运算复数时返回正确的类型（比如Complex{OurRational}），而不是强行将复数结果转为OurRational（这会丢失复数信息，引发后续错误）。比如⊘的实现可以参考：

  struct OurRational{T<:Real} <: Real
      num::T
      den::T
      OurRational(n::T, d::T) where {T<:Real} = new{T}(n, d)
  end
  # 定义⊘运算符，支持复数输入
  ⊘(a::Complex, b::Complex) = let
      conj_b = conj(b)
      numerator = a * conj_b
      denominator = real(b * conj_b)
      Complex(OurRational(real(numerator), denominator), OurRational(imag(numerator), denominator))
  end
  

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