2. 语言

• 2.1. 词汇结构
  • 2.1.1. 标识符
  • 2.1.2. 关键字
  • 2.1.3. 运算符
  • 2.1.4. 其他符号
  • 2.1.5. 字面值
  • 2.1.6. 注释
  • 2.1.7. 语义缩进和重要空格
• 2.2. 值和数据类型
  • 2.2.1. Integer
  • 2.2.2. Float
  • 2.2.3. Bool
  • 2.2.4. String
  • 2.2.5. 表
  • 2.2.6. 数组
  • 2.2.7. 结构
  • 2.2.8. 类
  • 2.2.9. Variant
  • 2.2.10. 元组
  • 2.2.11. 枚举
  • 2.2.12. 位域
  • 2.2.13. 函数
  • 2.2.14. 引用
  • 2.2.15. 指针
  • 2.2.16. 迭代器
• 2.3. 语句
  • 2.3.1. 可见性块
  • 2.3.2. 控制流语句
    • 2.3.2.1. true 和 false
    • 2.3.2.2. if/elif/else 语句
    • 2.3.2.3. while 语句
  • 2.3.3. 基于范围的循环
    • 2.3.3.1. for
  • 2.3.4. break
  • 2.3.5. continue
  • 2.3.6. return
  • 2.3.7. yield
  • 2.3.8. Finally 语句
  • 2.3.9. 局部变量声明
  • 2.3.10. 函数声明
  • 2.3.11. try/recover
  • 2.3.12. panic
  • 2.3.13. 全局变量
  • 2.3.14. enum
  • 2.3.15. 表达式语句
• 2.4. 表达式
  • 2.4.1. 赋值
  • 2.4.2. 运算符
    • 2.4.2.1. .. 运算符
    • 2.4.2.2. ?: 运算符
    • 2.4.2.3. ?? Null 合并运算符
    • 2.4.2.4. ?. 和 ?[ - Null 传播运算符
    • 2.4.2.5. 算术
    • 2.4.2.6. 关系
    • 2.4.2.7. 逻辑
    • 2.4.2.8. 按位运算符
    • 2.4.2.9. 管道作器
    • 2.4.2.10. 运算符优先级
  • 2.4.3. 数组初始化器
  • 2.4.4. Struct、Class 和 Handled 类型初始值设定项
  • 2.4.5. 元组初始化器
  • 2.4.6. 变体初始化器
  • 2.4.7. 表初始化器
• 2.5. 临时类型
• 2.6. 内置函数
  • 2.6.1. Invoke
  • 2.6.2. Misc
• 2.7. 克隆
  • 2.7.1. 克隆规则和实现详细信息
  • 2.7.2. clone_to_move 实现
• 2.8. Unsafe
• 2.9. implicit
• 2.10. 其他情况
• 2.11. Table
• 2.12. 数组
• 2.13. 函数
  • 2.13.1. 函数声明
    • 2.13.1.1. 公开
    • 2.13.1.2. 函数调用
    • 2.13.1.3. 命名参数函数调用
    • 2.13.1.4. 函数指针
    • 2.13.1.5. 无名函数
    • 2.13.1.6. 泛型函数
    • 2.13.1.7. 函数重载
    • 2.13.1.8. 默认参数
  • 2.13.2. OOP 样式的调用
  • 2.13.3. 尾递归
  • 2.13.4. 作员重载
  • 2.13.5. 重载 ‘.’ 和 ‘？.’ 运算符
  • 2.13.6. 重载访问器
• 2.14. 模块
  • 2.14.1. 原生模块
  • 2.14.2. 内置模块
  • 2.14.3. 共享模块
  • 2.14.4. 模块函数可见性
• 2.15. 块
• 2.16. Lambda
  • 2.16.1. 捕获
  • 2.16.2. 迭代器
  • 2.16.3. 实现细节
• 2.17. 结构
  • 2.17.1. 结构体声明
  • 2.17.2. 结构函数成员
  • 2.17.3. 继承
  • 2.17.4. 对齐
  • 2.17.5. OOP 实现详细信息
• 2.18. 元组
• 2.19. 变体
  • 2.19.1. 对齐和数据布局
• 2.20. 类
  • 2.20.1. 实现细节
• 2.21. 常量、枚举、全局变量
  • 2.21.1. 常量
  • 2.21.2. 全局变量
  • 2.21.3. 枚举
• 2.22. 位域
• 2.23. 推导式
• 2.24. 迭代器
  • 2.24.1. 内置迭代器
  • 2.24.2. 内置迭代函数
  • 2.24.3. 低级内置迭代函数
  • 2.24.4. 下一页 实现细节
• 2.25. 生成器
  • 2.25.1. 实现细节
• 2.26. 终结器
  • 2.26.1. 规则和实施细节
• 2.27. String Builder
• 2.28. 泛型编程
  • 2.28.1. typeinfo
  • 2.28.2. auto 和 auto(named)
  • 2.28.3. 类型协定和类型操作
  • 2.28.4. 选项
  • 2.28.5. typedecl
  • 2.28.6. 泛型元组和类型<>表达式
• 2.29. 宏
  • 2.29.1. 编译过程
  • 2.29.2. 调用宏
  • 2.29.3. AstFunctionAnnotation
  • 2.29.4. AstBlockAnnotation
  • 2.29.5. AstStructureAnnotation
  • 2.29.6. AstEnumerationAnnotation
  • 2.29.7. AstVariantMacro
  • 2.29.8. AstReaderMacro
  • 2.29.9. AstCallMacro
  • 2.29.10. AstPassMacro
  • 2.29.11. AstTypeInfoMacro
  • 2.29.12. AstForLoopMacro
  • 2.29.13. AstCaptureMacro
  • 2.29.14. AstCommentReader
  • 2.29.15. AstSimulateMacro
  • 2.29.16. AstVisitor
• 2.30. 精确化
  • 2.30.1. 简单示例
  • 2.30.2. Quote 宏
    • 2.30.2.1. qmacro
    • 2.30.2.2. qmacro_block
    • 2.30.2.3. qmacro_expr
    • 2.30.2.4. qmacro_type
    • 2.30.2.5. qmacro_function
    • 2.30.2.6. qmacro_variable
  • 2.30.3. 转义序列
    • 2.30.3.1. $i(ident)
    • 2.30.3.2. $f(field-name)
    • 2.30.3.3. $v(value)
    • 2.30.3.4. $e(expression)
    • 2.30.3.5. $b(array-of-expr)
    • 2.30.3.6. $a(arguments)
    • 2.30.3.7. $t(type)
    • 2.30.3.8. $c(call-name)
• 2.31. 模式匹配
  • 2.31.1. Enumeration Matching
  • 2.31.2. 匹配变体
  • 2.31.3. 在模式匹配中声明变量
  • 2.31.4. 匹配结构体
  • 2.31.5. 使用守卫
  • 2.31.6. 元组匹配
  • 2.31.7. 匹配 Static 数组
  • 2.31.8. 动态数组匹配
  • 2.31.9. 匹配表达式
  • 2.31.10. 匹配 ||表达式
  • 2.31.11. [match_as_is] 结构注释
  • 2.31.12. [match_copy] 结构注释
  • 2.31.13. 静态匹配
  • 2.31.14. match_type
  • 2.31.15. 多重匹配

• 2.32. Context
  • 2.32.1. 初始化和关闭
  • 2.32.2. 宏Context
  • 2.32.3. 锁
  • 2.32.4. 查找
  • 2.32.5. 内存分配和垃圾回收
• 2.33. 锁
  • 2.33.1. Context 锁
  • 2.33.2. 数组和表锁