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

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

covariance julia casting types

Naetmul · 技术社区 · 7 年前

我发现了 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 回复 | 直到 7 年前

fredrikekre 7 年前

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

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

推荐文章

Terio · Typescript:使用变量的值创建自定义类型

2 年前

Kareem Adel · 创建函数类型(TypeScript接口)

3 年前

supercarp · 我在R中的数据帧显示,它包含值,但为空,并且对于除第一行以外的所有行,is\u null返回TRUE

3 年前

Oleksandr · 在java中,不同的数据类型如何依赖于操作系统?

3 年前

chili83 · Typescript:可以在类的私有属性中使用构造函数属性吗?

3 年前

Troskyvs · 映射比较函数导致运行时“bad\u function\u call”

3 年前

MatÄj VondrÃ¡Äek · 如何在c#方法中传递类型?

3 年前

Dave · Haskell:将积分转换为浮点(或浮点)。混合浮点数和整数

7 年前

kreo · 为什么&[T]参数也接受&Vec?

7 年前

Jiji · 将简单对象强制转换为简单的通用接口

7 年前