Nim 发布1.6.0 版本，命令式编程语言

Nim 是一门专注于性能、可移植性和表现力的系统编程语言。经过一年的厚积薄发，Nim 1.6.0 稳定版已正式发布。

主要更新内容如下：

向后兼容性和预览标志

1.6 版本引入了 -d:nimPreviewX 这种形式的预览标志（例如 -d:nimPreviewFloatRoundtrip ），这种标志允许用户选择加入新的标准库/编译器行为，加入这些标志是为了尽量减少向后兼容性问题。

1.6 还引入了 -d:nimLegacyX 形式的退出标志，例如 -d:nimLegacyCopyFile 。如果你在用老版本的 Nim ，可以用这些标志来适配老版本的语法。 以下是 1.6 版本中引入的所有标志，可以结合后面的新功能介绍了解它们的具体用法。

• -d:nimLegacyCopyFile
• -d:nimLegacyJsRound
• -d:nimLegacyMacrosCollapseSymChoice
• -d:nimLegacyParseQueryStrict
• -d:nimLegacyRandomInitRand
• -d:nimLegacyReprWithNewline
• -d:nimLegacySigpipeHandler
• -d:nimLegacyTypeMismatch
• -d:nimPreviewDotLikeOps
• -d:nimPreviewFloatRoundtrip
• -d:nimPreviewHashRef
• -d:nimPreviewJsonutilsHoleyEnum

主要的新功能：

• iterable[T]

加入了 iterable[T] type 类来匹配被调用的迭代器，例子：

 iterator iota(n: int): int = for i in 0..<n: yield i # 以前需要用“untyped”，这会导致其他问题，比如缺乏类型推断、重载问题和 MCS template sumOld(a: untyped): untyped = # 不可能有类型推断 var result: typeof(block:(for ai in a: ai)) for ai in a: result += ai result assert sumOld(iota(3)) == 0 + 1 + 2 # 现在，你可以写成: template sum[T](a: iterable[T]): T = # 也可以写成：`template sum(a: iterable): auto =` var result: T for ai in a: result += ai result assert sum(iota(3)) == 0 + 1 + 2 # or `iota(3).sum` 

更重要的是，现在可迭代参数能和方法调用的语句一起使用了：

 import std/[sequtils, os] echo walkFiles("*").toSeq # now works

关于 iterable[T] 的详细信息，请查看 #17196

• 严谨的效果

效果系统得到了改进，并且有一个新的 .effectsOf 注释，它可以显式地完成之前隐式完成的工作，更多详细信息请参阅手册。

如果你仍要编写老版本 Nim 的代码，请使用以下用法：

 when defined(nimHasEffectsOf): {.experimental: "strictEffects".} else: {.pragma: effectsOf.} proc mysort(s: seq; cmp: proc(a, b: T): int) {.effectsOf: cmp.}

要启用新的效果系统，请使用 --experimental:strictEffects 进行编译。详情可查看 #18777和 RFC #408 。

• 私有导入和私有字段访问

新的导入语句 import foo {.all.} 允许从 foo 里面导入所有符号（无论是私有的还是公开的），这点对于测试或者项目的灵活性都很有帮助，

比如：

 from system {.all.} as system2 import nil echo system2.ThisIsSystem # ThisIsSystem is private in `system` import os {.all.} # weirdTarget is private in `os` echo weirdTarget # or `os.weirdTarget`

添加了一个新模块 std/importutils和一个 API privateAccess，它允许访问当前作用域对象类型的私有字段。

比如：

 import times from std/importutils import privateAccess block: let t = now() # echo t.monthdayZero # Error: undeclared field: 'monthdayZero' for type times.DateTime privateAccess(typeof(t)) # enables private access in this scope echo t.monthdayZero # ok

更多细节请查看 PR #17706 。

• nim --eval:cmd

加入 nim --eval:cmd 来直接计算命令，比如 nim --eval:"echo 1" 。它默认为 e (nimscript)。也可以跟其他命令一起用，例如：

 find . | nim r --eval:'import strutils; for a in stdin.lines: echo a.toUpper' # use as a calculator: nim --eval:'echo 3.1 / (1.2+7)' # explore a module's APIs, including private symbols: nim --eval:'import os {.all.}; echo weirdTarget' # use a custom backend: nim r -b:js --eval:"import std/jsbigints; echo 2'big ** 64'big"

更多详细信息，请查看PR #15687。

• 浮点数和字符串的相互转换

system.addFloat 和 system.$ 能将浮点数转化成字符串形式，通过 Dragonbox 算法实现了这些特性：最小规格、可以相互转换、正确的位数舍入。例如：

 from math import round let a = round(9.779999999999999, 2) assert a == 9.78 echo a # with `-d:nimPreviewFloatRoundtrip`: 9.78, like in python3 (instead of 9.779999999999999)

目前只能通过 -d:nimPreviewFloatRoundtrip 开启这个功能，后面的版本可能会把这个设置成默认功能。

• 新模块：std/jsbigints

为 JS 目标提供任意精度的整数，详见 PR #16409。例如：

 import std/jsbigints assert 2'big ** 65'big == 36893488147419103232'big echo 0xdeadbeef'big shl 4'big # 59774856944n

• 新模块：std/sysrand

用于加密安全的伪随机数生成器，允许从操作系统提供的安全源生成随机数。详见 PR #16459。例子：

 import std/sysrand assert urandom(1234) != urandom(1234) # unlikely to fail in practice

• 新模块：std/tempfiles

允许创建临时文件和目录，详见 PR #17361

 import std/tempfiles let tmpPath = genTempPath("prefix", "suffix.log", "/tmp/") # tmpPath looks like: /tmp/prefixpmW1P2KLsuffix.log let dir = createTempDir("tmpprefix_", "_end") # created dir looks like: getTempDir() / "tmpprefix_YEl9VuVj_end" let (cfile, path) = createTempFile("tmpprefix_", "_end.tmp") # path looks like: getTempDir() / "tmpprefix_FDCIRZA0_end.tmp" cfile.write "foo" cfile.setFilePos 0 assert readAll(cfile) == "foo" close cfile assert readFile(path) == "foo"

• 用户自定义字面量

现在支持用户自定义数字型的字面值 (例如 -128'bignum )，除此之外，-1 里面的负号也会作为整形字面常量的一部分被单个解析，这意味着像 -128'i8 这样的边界案例也可以正常运行了，看一个例子：

 func `'big`*(num: cstring): JsBigInt {.importjs: "BigInt(#)".} assert 0xffffffffffffffff'big == (1'big shl 64'big) - 1'big

• 点状运算符

使用 -d:nimPreviewDotLikeOps 的时候，点状运算符 . 的优先级一模一样了，所以 a.?b.c 现在会解析成(a.?b).c ，而不是 a.?(b.c)。如果不是在 -d:nimPreviewDotLikeOps 的情况下使用点状运算符，就会出现警告。

建议启用动态字段，比如 std/jsffi, std/json, pkg/nimpy，而不是影响内置的点状运算符 .。看这个例子：

 import std/json template `.?`(a: JsonNode, b: untyped{ident}): JsonNode = a[astToStr(b)] let j = %*{"a1": {"a2": 10}} assert j.?a1.?a2.getInt == 10

• Block 参数可以选择形参

解决了接受 Block 参数的主要痛点，详见 PR #18631。

 template fn(a = 1, b = 2, body) = discard fn(1, 2): # already works bar fn(a = 1): # now works bar

多个 block 参数可以用 do 来实现：

 template fn(a = 1, b = 2, body1, body2) = discard fn(a = 1): # now works bar1 do: bar2

其他特性

查看完整版更新日志，请点击这里。

 

更新公告：https://nim-lang.org/blog/2021/10/19/version-160-released.html