Julia使用@ccallable时报argument types must be concrete错误求助

报错原因 #

• Base.@ccallable宏的作用是生成符合C ABI规范的可调用接口，C语言本身不支持默认参数语法，带默认参数的Julia函数会隐式生成多套方法签名，不符合宏要求的所有参数类型必须完全显式、唯一且为具体类型的约束，因此会触发@ccallable: argument types must be concrete错误。
• 你给出的第二段代码移除了默认参数，所有参数的类型都是显式声明的具体类型，符合@ccallable的要求，因此可以正常运行。

解决方案 #

如果需要保留默认参数的使用逻辑，可以用拆分函数的方式实现：

1. 先实现全参数的@ccallable函数作为核心逻辑
2. 额外实现不带默认参数的适配层@ccallable函数，内部调用核心逻辑时传入默认值

示例代码如下：

# 导出给C侧调用的3参数版本
Base.@ccallable function test_function(a::Vector{Float64}, b::Float64, c::Float64)::Vector{Float64}
    c = b + c
    # 注意原示例代码返回值声明为Vector{Int64}，但实际返回的a是Vector{Float64}，存在类型不匹配问题，实际使用时需要修正
    return a
end

# 导出给C侧调用的2参数版本，内置默认c=0.0
Base.@ccallable function test_function_with_default_c(a::Vector{Float64}, b::Float64)::Vector{Float64}
    return test_function(a, b, 0.0)
end

如果默认参数仅需要在Julia侧使用，不需要暴露给C侧，只需要将带默认参数的方法定义为普通Julia函数即可，不需要加@ccallable宏。

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