编辑此页面

小类型

无

Nothing，具有唯一值nothing，它对应C中的void，也广泛用于普通变量的初始化、保留值等。

nothing不会被REPL特别显示：

julia> "a";nothing

julia> x=nothing

未定义

UndefInitializer，通常用于数组初始化，可以用undef替代UndefInitializer()，详细信息见此

元组

Tuple 类型的实例可以容纳任意有限多个数据，这在你不希望创建新类型时显得尤为方便

julia> tup=(1,2,3)
(1, 2, 3)

julia> typeof(tup) # 这表明tup的3个参数类型均为Int64
Tuple{Int64, Int64, Int64}

julia> Tuple{Vararg{Int64,3}} # 一种仅对Tuple有效的简写方式
Tuple{Int64, Int64, Int64}

julia> isa(tup,NTuple{3,Int}) # 另一种写法
true

julia> tup[1] # 获取第一个数据
1

julia> (1,2,3)==(1,2,4) # 多个元素比较的一种简便方法
false

除了按照索引获取数据外，还可以使用以下语法糖

julia> a,b,c = (1,2,3)
(1, 2, 3)

julia> (a,b,c) = (1,2,3)
(1, 2, 3)

julia> _,d,_ = (1,2,3) # _ 不是合规的变量名，在此语法中表示缺失
(1, 2, 3)

julia> d
2

对

julia> pair=Pair(1,2)
1 => 2

julia> pair.first
1

julia> pair.second
2

注意不要将元组与对搞混

共用

可以使用 Union{类型1, 类型2...} 声明一个新类型，它的实例是类型1，类型2……之一

julia> MyType=Union{Bool, Int, Float64}
Union{Bool, Int64}

julia> isa(true, MyType)
true

missing-nothing-undef的区分

missing一般用于三值逻辑或在概率统计中，表明这个值是缺失的

undef 用于数组的初始化，如Array{Float64, 2}(undef, 4, 4)，表示直接使用分配的内存里原先的数据

nothing一般用于表明函数没有返回值或参数不设定默认值

nothing和missing具体的处理取决于工具箱内部的实现[1]

1.

https://discourse.juliacn.com/t/topic/6282/3