如何在Julia中不执行计算确定函数返回值类型？

当然可以，Julia专门提供了工具来实现这个需求，完全不用实际调用函数。下面是几种常用的方法：

1. 使用return_type（Julia 1.6+推荐） #

return_type是Julia标准库中的函数，专门用来获取给定函数和参数类型元组对应的返回类型。

如果你已经知道参数的具体类型，直接传入类型元组即可：

# 比如f接受Int和String类型参数，获取它的返回类型
RetType = return_type(f, Tuple{Int, String})

如果是在函数内部，基于传入的变量获取类型：

function foo(a, b)
    # 通过变量的类型，推导f的返回类型
    RetType = return_type(f, Tuple{typeof(a), typeof(b)})
    # 后续操作示例：创建该类型的空数组
    result = Vector{RetType}(undef, 5)
    return result
end

2. 使用Base.return_types（兼容旧版本） #

对于Julia 1.6之前的版本，可以用Base.return_types，它会返回一个包含所有可能返回类型的数组（因为函数可能有多个方法对应不同返回类型）。如果只需要对应当前参数类型的返回类型，取数组第一个元素即可：

function foo(a, b)
    RetType = first(Base.return_types(f, Tuple{typeof(a), typeof(b)}))
    # ...
end

3. 直接基于类型参数定义函数 #

如果你的场景允许直接传入参数类型而非实例，可以直接在函数定义中用类型参数推导：

function foo(::Type{A}, ::Type{B}) where {A, B}
    RetType = return_type(f, Tuple{A, B})
    # 比如初始化该类型的默认值
    default = zero(RetType)
    return default
end

# 调用时直接传类型
foo(Int, Float64)

关于promote_type的说明 #

promote_type是用来计算多个类型的“提升后类型”（比如把Int和Float64提升为Float64），它和获取函数返回类型不是一回事。除非你明确知道函数的返回类型等于参数提升后的类型，否则用它并不准确——比如有些函数可能接受两个Int参数，但返回Bool类型，这时候promote_type(Int, Int)得到的是Int，和实际返回类型不符。所以优先用前面提到的return_type或Base.return_types更可靠。

注意事项 #

• 如果函数的返回类型依赖运行时的具体值（比如根据输入值的不同分支返回不同类型），静态类型推断可能无法准确获取返回类型，这种情况还是需要运行函数才能确定。但对于大多数纯函数（输出仅由输入类型决定），上述方法都能正常工作。
• 确保你要查询的函数已经定义了对应参数类型的方法，否则return_type可能返回Union{}或者报错。

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