Julia 类型.pdfVIP

Julia 类型 类型 Julia 中，如果类型被省略，则值可以是任意类型。添加类型会显著提⾼性能和系统稳 定性。 Julia 类型系统 特性是，具体类型不能作为具体类型 ⼦类型，所有 具体类型都是 最终 ，它们可以拥有抽象类型作为⽗类型。其它⾼级特性有： 不区分对象和⾮对象值：Julia 中的所有值都是⼀个有类型的对象，这个类型属 于⼀个单⼀、全连通类型图，图中 每个节点都是类型。 没有“编译时类型” ：程序运⾏时仅有其 际类型，这在⾯向对象编程语⾔中被 称为“运⾏时类型” 。 值有类型，变量没有类型——变量仅仅是绑定了值 名字⽽已。 抽象类型和具体类型都可以被其它类型和值参数化。具体来讲, 参数化可以是 符号, 可以是 isbits 返回值为 true 类型任意值 (本质想是讲, 这些数 像整数或者 布尔值⼀样, 储存形式类似于 C 中 数据类型或者 struct , 并且 没有指向其他数 据 指针), 也可以是元组。如果类型参数不需要被使⽤或者 限制, 可以省略不 写。 Julia 类型系统 设计旨在有效及具表现⼒，既清楚直观又不夸张。许多 Julia 程序 员可能永远不会觉得有必要去明确地指出类型。然⽽某些程序会因声明类型变得更清 晰，更简单，更迅速及健壮。 类型声明 :: 运算符可以⽤来在程序中给表达式和变量附加类型注释。这样做有两个理由： 1. 作为断⾔，帮助确认程序是否正常运⾏ 2. 给编译器提供额外类型信息，帮助提升性能 :: 运算符放在表⽰值 表达式之后时读作“前者是后者 实例” ，它⽤来断⾔左侧表达 式是否为右侧表达式 实例。如果右侧是具体类型，此类型应该是左侧 实例。如果 右侧是抽象类型，左侧应是⼀个具体类型 实例 值，该具体类型是这个抽象类型 ⼦类型。如果类型断⾔为假，将抛出异常，否则，返回左值： julia (1+2)::FloatingPoint ERROR: type: typeassert: expected FloatingPoint, got nt64 julia (1+2):: nt 3 可以在任何表达式 所在位置做类型断⾔。 :: 最常见 ⽤法是作为⼀个在函数/⽅法 签名中 断⾔，例如 f(x :: nt8) = ... (查看⽅法) 。 :: 运算符跟在表达式上下⽂中 变量名后时，它声明变量应该是某个类型，有点⼉ 类似于 C 等静态语⾔中 类型声明。赋给这个变量 值会被 convert 函数转换为所 声明 类型： julia function foo() x :: nt8 = 1000 x end foo (generic function with 1 method) julia foo() -24 julia typeof(ans) nt8 这个特性⽤于避免性能陷阱，即给⼀个变量赋值时意外更改了类型。 “声明”仅发⽣在特定 上下⽂中： x :: nt8 # a variable by itself local x :: nt8 # in a local declaration x :: nt8 = 10 # as the left-hand side of an assignment 并适⽤于整个当前范围，甚⾄在声明之前。⽬前，声明类型不能⽤于全局范围，例如 在 REPL 中就不可以，因为 Julia 还没有定型 全局变量。需要注意 是在函数返回语 句中，上述 前两个表达式计算值，还有就是 :: 是⼀个类型 断⾔不是⼀个声明。 抽象类型 抽象类型不能被实例化，它组织了类型等级关系，⽅便程序员编程。如，编程时可针 对任意整数类型，⽽不需指明是哪种具体 整数类型。 使⽤ abstract 关键字声明抽象类型： abstract «name» abstract «name» : «supertype» abstract 关键字引⼊了新 抽象类型，类型名为 «name» 。类型名后可跟 : 及已 存在 类型，表明新声明 抽象类型是这个“⽗”类型 ⼦类型。 如果没有指明⽗类型，则⽗类型默认为 Any ——所有对象和类型都是这个抽象类型 ⼦类型。在类型理论中，Any 位于类型图 顶峰