能否使用Julia类型与多重分派实现多坐标系对用户的透明处理？

方案1：参数化类型实现（推荐，最接近Unitful.jl的设计逻辑） #

Unitful的核心逻辑是把单位作为类型参数嵌入数值类型，你可以照搬这个思路把参考系作为参数嵌入坐标类型，一次实现终身受用。
首先定义基础坐标类型：

using StaticArrays

# 抽象坐标父类型
abstract type AbstractCoord end

# 参考系作为类型参数，后续加新参考系不需要定义新结构体
struct Coord{Frame} <: AbstractCoord
    v::SVector{3, Float64}
end

# 给常用参考系定义别名，和你原来的用法保持一致
const ECEF = Coord{:ECEF}
const GEODETIC = Coord{:GEODETIC}
# 后续加UTM、ENU等参考系只要加一行别名即可

然后定义转换规则，只需要实现每个参考系和公共中间参考系（比如选ECEF）的双向转换，其他两两转换自动走fallback：

# 先实现GEODETIC到ECEF的原生转换
function Base.convert(::Type{ECEF}, pt::GEODETIC)
    # 这里替换成你实际的转换函数
    return ECEF(geodetic_to_ecef(pt.v...))
end

# 实现ECEF到GEODETIC的原生转换
function Base.convert(::Type{GEODETIC}, pt::ECEF)
    return GEODETIC(ecef_to_geodetic(pt.v...))
end

# 通用转换fallback：任意两个参考系转换都先转ECEF再转目标，不需要手写两两转换
# *如果两个参考系之间有比走ECEF更高效的直接转换路径，单独实现对应convert方法即可，派发优先级高于通用fallback，会自动生效
function Base.convert(::Type{Coord{TargetFrame}}, pt::Coord{SourceFrame}) where {TargetFrame, SourceFrame}
    # 相同参考系直接返回
    TargetFrame == SourceFrame && return pt
    # 走公共中间参考系ECEF转换
    return convert(Coord{TargetFrame}, convert(ECEF, pt))
end

最后实现自动转换的函数注册宏，避免每个函数写多版本适配：

# 宏参数1：函数要求的输入参考系（单参数函数传单个类型，多参数传元组）
# 宏参数2：要注册的函数名
macro coord_auto(target_frames, func)
    target_frames = target_frames isa Tuple ? target_frames : (target_frames,)
    quote
        function $func(args::Vararg{AbstractCoord, N}) where N
            @assert N == length($target_frames) "参数数量与声明的目标参考系数量不匹配"
            # 所有参数自动转成对应要求的参考系
            converted_args = map(convert, $target_frames, args)
            return $func(converted_args...)
        end
    end |> esc
end

使用的时候只需要写对应参考系的原生实现，再用宏注册即可：

# 单参数函数示例：mymag只需要ECEF下的实现
function mymag(pt::ECEF)
    return √sum(pt.v .^2)
end
# 注册后自动支持所有参考系输入
@coord_auto ECEF mymag

# 多参数函数示例：距离计算要求两个参数都是ECEF
function mydistance(a::ECEF, b::ECEF)
    return norm(a.v - b.v)
end
# 注册后自动支持任意参考系组合的输入
@coord_auto (ECEF, ECEF) mydistance

这种方案的优势是：

• 加新参考系只需要加一行别名，再写和ECEF的双向转换即可，不需要改任何现有函数代码
• 完全避免方法组合爆炸，多参数函数不需要写任何不同参考系组合的适配方法
• 所有转换都是编译期派发，运行时零额外开销，和手动写的版本性能一致

方案2：多结构体适配方案（适合不想改现有结构体定义的场景） #

如果你不想修改已经定义好的ECEF、GEODETIC结构体，只需要调整抽象父类型和宏逻辑即可：

using StaticArrays

# 给所有现有坐标结构体加统一父类型
abstract type AbstractCoord end
struct ECEF <: AbstractCoord
    v::SVector{3, Float64}
end
struct GEODETIC <: AbstractCoord
    v::SVector{3, Float64}
end

# 实现好你需要的convert方法
function Base.convert(::Type{ECEF}, pt::GEODETIC)
    return ECEF(geodetic_to_ecef(pt.v...))
end
# 其他转换规则同理

# 用和方案1一样的@coord_auto宏注册函数即可，逻辑完全通用

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