科学计算语言Julia及MWORKS实践 课件 14_类型系统.pptx

四、Julia语言进阶4.2类型系统定义：在程序运行中，将编程语言中数据的值和表达式按照一定的规则归为不同的类型，这种规则被称为类型系统。静态类型系统：值和表达式的类型先声明后使用，程序未运行就可以确定计算值和表达式的类型，减少程序运行时间，提升计算效率。动态类型系统：值和表达式的类型不用声明，编程更简单，提升开发程序的效率。Julia是一种动态类型语言，但是它可以像静态类型语言一样声明值和表达式的类型，同时具备便于程序开发和代码计算高效的优点。

四、Julia语言进阶4.2.1类型声明断言语法：变量和表达式::类型名称，例如类型声明，或称类型注释，用运算符“::”断言和声明变量和表达式的类型。julia(0.5*0.6)::Int64ERROR:TypeError:intypeassert,expectedInt64,gotavalueoftypeFloat64Stacktrace:[1]top-levelscope@REPL[4]:1julia(0.5*0.6)::Float640.3断言非真，报错。断言为真，输出表达式的值。

四、Julia语言进阶4.2.1类型声明声明语法：变量和表达式名称::类型名称，例如声明浮点型变量ajuliafunctionForth_2_1_function()a::Float64=1.0;returnaendForth_2_1_function(genericfunctionwith1method)juliab=Forth_2_1_function()1.0juliatypeof(b)Float64julia运算符::不支持声明全局变量，仅可声明局部变量。Typeof函数输出变量的类型。

四、Julia语言进阶4.2.1类型声明声明函数的类型：函数名称()::类型名称，例如声明整型函数juliafunctionForth_2_1_function()::Int64a::Float64=1.0;returnaendForth_2_1_function(genericfunctionwith1method)juliab=Forth_2_1_function()1整型函数的输出值为整型声明函数的类型为整型

四、Julia语言进阶4.2.1类型声明已声明类型的函数，返回值类型与输入值的类型无关。juliafunctionForth_2_1_function(a::Float64)::Int64returnaendForth_2_1_function(genericfunctionwith1method)juliab=Forth_2_1_function(1.0)1整型函数浮点型输入值整型返回值。

juliafunctionForth_2_1_function()a::Float64=1.0;returnaendForth_2_1_function(genericfunctionwith1method)julialocala::Int64=11juliab=Forth_2_1_function()1.0四、Julia语言进阶4.2.1类型声明使用local关键词修改函数的变量类型，但不能改变函数返回值的类型。浮点型返回值浮点型变量修改为整型变量

四、Julia语言进阶4.2.1类型声明Julia类型系统包括抽象类型、原始类型、复合类型和参数类型。参数类型参数抽象类型参数原始类型参数复合类型抽象类型原始类型复合类型参数化

四、Julia语言进阶4.2.2抽象类型声明c为一个抽象类型，d是c的一个子类型。abstracttypenameendabstracttypechlidname:parentnameendabstracttypecendabstracttyped:cend抽象类型不能被实例化，只能声明是父类型的一个子类型。通常用符号:和关键词abstracttype声明抽象类型，声明语句形式如下：断言是否为子类型juliaNumber:RealfalsejuliaReal:Numbertrue

四、Julia语言进阶4.2.2抽象类型每个抽象类型是类型图上的某个节点。任何类型都是Any的子类型，任何对象都是Any的实例。abstracttypeNumberendabstract