具名返回值优化 (NRVO) 具名返回值优化 (NRVO) 注意 : 本节文档仅描述当前的实现。这部分语言规范将会有变动。 详情查看链接 https://github.com/nim-lang/RFCs/issues/230 。 在例程内部返回值以特殊的 result 变量出现。这为实现与 C++ 的 “具名返回值优化” (NRVO) 类似的机制...

常量和常量表达式 常量和常量表达式 constant “常量”是一个与常量表达式值绑定的符号。常量表达式有限制，依赖于以下类别的值和运算，这些值和运算要么内置在语言中，要么在对常量表达式进行语义分析之前被声明和求值。 字面值 内置运算符 先前声明的常量和编译期变量 先前声明的宏和模板 先前声明的过程，除了可能修改编译期变量外，没有任何副作用 常...

Exception tracking Exception tracking Nim supports exception tracking. The raises pragma can be used to explicitly define which exceptions a proc/iterator/method/converter is a...

Var返回类型 未来的方向 Var返回类型 proc，转换器或迭代器可能返回一个 var 类型，这意味着返回的值是一个左值，并且可以由调用者修改： var g = 0   proc writeAccessToG (): var int = result = g   writeAccessToG () =...

Var返回类型 未来的方向 Var返回类型 proc，转换器或迭代器可能返回一个 var 类型，这意味着返回的值是一个左值，并且可以由调用者修改： var g = 0   proc writeAccessToG (): var int = result = g   writeAccessToG () =...

常量和常量表达式 常量和常量表达式 常量 是一个与常量表达式值绑定的符号。 常量表达式仅限于依赖于以下类别的值和操作，因为它们要么构建在语言中，要么在对常量表达式进行语义分析之前进行声明和求值： 字面值 内置运算符 之前声明的常量和编译时变量 之前声明过的宏和模板 之前声明的过程除了可能修改编译时变量之外没有任何副作用 常量表达式可以包含可以在...

泛型 泛型 泛型是Nim用 类型形参 参数化过程、迭代器或类型的方法 。 根据上下文，括号用于引入类型形参或实例化泛型过程、迭代器或类型。 以下示例显示了可以建模的通用二叉树： type BinaryTree *[ T ] = ref object # 二叉树是左右子树带有泛型形参 ``T`` 的泛型类型，其值可能为nil...

泛型 泛型 泛型是Nim用 类型形参 参数化过程、迭代器或类型的方法 。 根据上下文，括号用于引入类型形参或实例化泛型过程、迭代器或类型。 以下示例显示了可以建模的通用二叉树： type BinaryTree *[ T ] = ref object # 二叉树是左右子树带有泛型形参 ``T`` 的泛型类型，其值可能为nil...

typedesc[T] typedesc[T] In many contexts, Nim treats the names of types as regular values. These values exist only during the compilation phase, but since all values must have ...

泛型 泛型 泛型是Nim用 类型形参 参数化过程、迭代器或类型的方法 。 根据上下文，括号用于引入类型形参或实例化泛型过程、迭代器或类型。 以下示例显示了可以建模的通用二叉树： type BinaryTree *[ T ] = ref object # 二叉树是左右子树带有泛型形参 ``T`` 的泛型类型，其值可能为nil...