代码之家 › 专栏 › 技术社区 › Naetmul

为什么数组{Float64,N}不能是参数为数组{Number,N}的函数的参数?

covariance julia casting types

Naetmul · 技术社区 · 6 年前

我发现了 Array 在Julia中不是协变的 Number 不是自动转换为超类型。

我的意思是,例如,

head(a::Vector{Number}) = a[1] 或 head(a::Vector{Real}) = a[1]

无法执行 head([1, 2, 3]) 我是说,

鉴于 head(a::Vector{T}) where {T <: Number} = a[1] 或 head(a::Vector{T}) where {T <: Real} = a[1] 可以。

朱莉娅的这种行为有原因吗?

1 回复 | 直到 6 年前

fredrikekre 6 年前

请参阅手册中的本节: https://docs.julialang.org/en/stable/manual/types/#Parametric-Composite-Types-1 这就解释了注意,有一个简短的形式 head(a::Vector{T}) where {T <: Number} =... (你可以使用,除非你使用 T 在函数体中):

head(a::Vector{<:Number}) =...

推荐文章

abhijeetpawar · Java列表在初始化过程中是否表现为协变类型?

6 年前

Can PoyrazoÄlu · 我可以在Objective-C中使用\uu kindof协议吗?

6 年前

softshipper · 为什么函子实现是可能的?

6 年前

azal · 条件分布的均值和协方差

6 年前

Tarec · 结果类型协方差-泛型类,方法同时返回接口类型和特定类型[重复]

7 年前

René Vogt · 一般约束忽略协方差

7 年前

Ian · 如何找到R中每n行的协方差

7 年前

LePioo · C#函数的委托,没有返回值和一个允许子类型类的参数(作为参数)

7 年前

Marcel · C#泛型推断与协方差-错误或限制

7 年前

Zac · 协方差混乱。无法将已实现接口的元组分配给元组列表

8 年前