Nim教程【七】

时间:2023-02-10 21:25:59

这是国内第一个关于Nim的系列教程

先说废话

很开心,在今天凌晨快一点多的时候拿到了

nim-lang.com;nim-lang.cn;nim-lang.net

这三个域名,到不是为了投资,准备用nim-lang.com做一个社区出来

不知道国内有没有人或者机构打算赞助这个事情的

整型

Nim语言中有10个整型类型

int;int8;int16;int32;int64;uint;uint8;uint16;uint32;uint64

默认的整型类型是int

可以使用尾缀的方式来设置整型的类型,就像下面的代码这样:

let
  x = 0     # x 的类型是int
  y = 0'i8  # y 的类型是int8 
  z = 0'i64 # z 的类型是int4 
  u = 0'u   # u 的类型是intuint

由于整形类型经常被用于计算内存里的对象

所以整形的大小和指针的大小一样

常见的操作符

+    -    *   div   mod    <   <=   ==  !=  >   >=

都可以用在整形身上

还有一些按位计算的操作符:

and     or     xor    not

也可以用在整型身上

shl操作符可以完成左移位操作

shr操作符可以完成右移位操作

移位操作一般都会把目标当作无符号的整形来对待

因为移位操作往往会导致乘法或除法操作

针对无符号的操作数,操作符做做过二次封装,不会产生内存泄漏或溢出的问题

在表达式中使用不同类型的整型时,会导致类型转化

宽度比较小的类型会被转化成宽度比较大的类型

整形不会自动转化成浮点类型

同样,浮点类型也不会自动转化成整形

toInt方法和toFloat方法可以用来处理这两种类型转化操作

浮点类型

有三种浮点类型

float    float32     float64

默认的浮点类型是float,在现在的Nim实现中,float类型总是64位的

也可以用尾缀的方式来设置浮点类型的宽度,看下面的代码:

var
  x = 0.0      # x 的类型是float
  y = 0.0'f32  # y 的类型是float32
  z = 0.0'f64  # z 的类型是float64

+   -   *    /    <    <=     ==    !=   >     >=

以上这些操作符也可以用于浮点类型(遵从IEEE标准)

和整型类型一样,不同宽度的浮点类型出现在一个表达式中的时候

宽度较小的浮点类型将被格式化成宽度较大的浮点类型

整形不会自动转化成浮点类型

同样,浮点类型也不会自动转化成整形

toInt方法和toFloat方法可以用来处理这两种类型转化操作

类型转化

基本数据类型的关键字本身就是一个方法,可以用这些方法完成格式转化工作

就像下面的代码一样:

var
  x: int32 = 1.int32   # same as calling int32(1)
  y: int8  = int8('a') # 'a' == 97'i8
  z: float = 2.5       # int(2.5) rounds down to 2
  sum: int = int(x) + int(y) + int(z) # sum == 100

$操作符和repr方法

nim中的内置类型都可以用$操作符把数据格式化成字符串

但是对于一些高级类型,或者用户自定义的类型

$就无能为力了(除非你为这些类型重新定义了$操作符)

有些时候你只是想在调试的时候看看一个复杂类型的值

如果每次都要为这个复杂类型定义一个$操作符,那就太麻烦了

这个时候你可以使用repr方法

repr方法可以应用于任何类型,甚至自关联类型也没有问题

来看看下面的代码

var
  myBool = true
  myCharacter = 'n'
  myString = "nim"
  myInteger = 42
  myFloat = 3.14
echo($myBool, ":", repr(myBool))
# --> true:true
echo($myCharacter, ":", repr(myCharacter))
# --> n:'n'
echo($myString, ":", repr(myString))
# --> nim:0x10fa8c050"nim"
echo($myInteger, ":", repr(myInteger))
# --> 42:42
echo($myFloat, ":", repr(myFloat))
# --> 3.1400000000000001e+00:3.1400000000000001e+00

注意在repr(mystring)的时候,他的内存地址也被输出出来了

关键字type

在Nim中,使用type关键字来定义一个类型,来看下面的代码:

type
  biggestInt = int64      # biggest integer type that is available
  biggestFloat = float64  # biggest float type that is available

对象类型和枚举类型也是通过type关键字定义的

枚举类型

一个枚举类型定义了一个有序的值序列

值序列中的每个值都是整型的

第一个值为0,第二个值是1,依次类推

一个枚举类型的变量只能被赋值为这个序列值中的一个

来看段代码:

type
  Direction = enum
    north, east, south, west var x = south      # `x` is of type `Direction`; its value is `south`
echo($x)           # writes "south" to `stdout`

上面代码中定义的变量x的类型是Direction

注意:最后一行代码输出的内容是south,而不是2,

如果使用ord方法的话,可以得到枚举变量的值

所有的与比较相关的操作符都可以用在枚举变量身上

可以使用点操作符来避免歧义,就像下面的代码一样:

var x = Direction.south

为了更好的兼容其他语言,枚举类型内定义的符号可以指定为特定的值

但是在你指定特定值的时候,一定要按大小顺序指定

如果你没有明确给定一个符号的值,那么这个符号的值就是他上一个符号的值再加1

来看一下下面的示例代码:

type
  MyEnum = enum
    a = 2, b = 4, c = 89

好,今天就写到这里,喜欢的人请点推荐!