Julia 数据类型

Julia 数据类型概述

Julia 是一种动态类型语言，但支持显式类型声明，类型系统是其高性能的核心。数据类型分为抽象类型、原始类型、复合类型等。类型系统设计兼具灵活性与效率，适合科学计算和通用编程。

基本数据类型

Julia 提供多种内置的基本数据类型，涵盖整数、浮点数、布尔值等：

# 整型
x1 = 42          # Int64（系统默认）
x2 = Int8(100)   # 显式指定8位整型
x3 = 0x2A        # 十六进制表示

# 浮点型
y1 = 3.14        # Float64
y2 = Float32(π)  # 32位浮点
y3 = 1.5e-10     # 科学计数法

# 布尔型
b1 = true
b2 = false

# 字符与字符串
c = 'J'          # Unicode字符
s = "Julia"      # UTF-8字符串

复合数据类型

复合类型通过 struct 定义，支持字段类型标注：

struct Point
    x::Float64
    y::Float64
end

p = Point(1.0, 2.5)  # 创建实例
println(p.x)         # 访问字段

可变结构体使用 mutable struct：

mutable struct MPoint
    x::Float64
    y::Float64
end

mp = MPoint(1.0, 2.0)
mp.x = 3.0  # 允许修改字段

抽象类型与继承

抽象类型用于建立类型层次，不能实例化：

abstract type Shape end

struct Circle <: Shape
    radius::Float64
end

struct Rectangle <: Shape
    width::Float64
    height::Float64
end

area(c::Circle) = π * c.radius^2
area(r::Rectangle) = r.width * r.height

shapes = [Circle(2.0), Rectangle(3.0, 4.0)]
map(area, shapes)  # 输出: [12.566, 12.0]

参数化类型

类型可以带参数，实现泛型编程：

struct Box{T}
    content::T
end

b1 = Box(10)       # Box{Int64}
b2 = Box("Julia")   # Box{String}

function open_box(b::Box)
    println("Content: $(b.content)")
end

类型联合与可选类型

Union 类型表示多个类型的联合，Nothing 用于可选值：

result = rand() > 0.5 ? "success" : nothing  # Union{String, Nothing}

function safe_divide(a, b)::Union{Float64, Nothing}
    b == 0 ? nothing : a / b
end

类型别名与类型判断

类型别名简化复杂类型声明，isa 用于类型检查：

const Vector3D = Tuple{Float64, Float64, Float64}

v::Vector3D = (1.0, 2.0, 3.0)
println(v isa Vector3D)  # true

特殊类型应用

元组、字典等常用数据结构具有特定类型行为：

# 元组（类型由元素决定）
t = (1, "a", 3.14)  # Tuple{Int64, String, Float64}

# 字典（键值类型参数化）
dict = Dict{String, Int}("a"=>1, "b"=>2)

性能优化中的类型稳定性

类型稳定代码能显著提升性能：

function unstable(x)
    x > 0 ? sqrt(x) : "negative"  # 返回类型不稳定
end

function stable(x)
    x > 0 ? sqrt(x) : -1.0         # 始终返回Float64
end

@code_warntype unstable(4)  # 显示类型推断问题
@code_warntype stable(4)    # 类型稳定

以上示例展示了 Julia 类型系统的核心特性，合理使用类型标注和设计能大幅提升代码性能和可维护性。