编译单个V源文件生成ast.File,编译一组源文件,生成[ ]ast.File

    模块

    模块定义

    2. module main
    3. fn main() {
    4.   println('from main')
    5. }
    1. //AST代码
    2. pub struct Module {
    3. pub:
    4.     name       string
    5.     path       string
    6.     expr       Expr
    7.     pos        token.Position
    8.     is_skipped bool // module main can be skipped in single file programs
    9. }
    10. //AST实例
    11. {
    12.             "ast_type":    "Module",
    13.             "name":    "main",
    14.             "path":    "",
    15.             "expr":    "",
    16.             "is_skipped":    false,
    17.             "pos":    {
    18.                 "line_nr":    0,
    19.                 "pos":    0,
    20.                 "len":    19
    21.             }
    22. }

    常量,结构体,接口,类型等一级元素生成C代码后的名称规则是:”模块名__名称”,用双下划线区隔

    结构体的方法等二级元素生成C代码后的名称规则是:”模块名 _ 类名 方法名”,用单下划线区隔

    1. //C代码
    2. static void main__main();
    3. static void main__main() {
    4.     println(tos_lit("from main"));
    5. }

    导入模块

    1. //V代码
    2. import os
    1. //AST代码
    2. pub struct Import {
    3. pub:
    4.     pos   token.Position
    5.     mod   string
    6.     alias string
    7. pub mut:
    8.     syms  []ImportSymbol
    9. }
    10. //AST实例
    11. {
    12.             "mod":    "os",
    13.             "alias":    "os",
    14.             "syms":    [],
    15.             "pos":    {
    16.                 "line_nr":    2,
    17.                 "pos":    20,
    18.                 "len":    2
    19.             }
    20. }

    常量

    常量定义

    枚举定义

    1. //AST代码
    2. pub struct EnumField {
    3. pub:
    4.     name     string
    5.     pos      token.Position
    6.     comments []Comment
    7.     expr     Expr
    8.     has_expr bool
    9. }
    11. pub struct EnumDecl {
    12. pub:
    14.     is_pub           bool
    15.     is_flag          bool // true when the enum has [flag] tag
    16.     is_multi_allowed bool
    17.     comments         []Comment // enum Abc { /* comments */ ... }
    18.     fields           []EnumField
    19.     attrs            []table.Attr
    20.     pos              token.Position
    21. }
    22. //AST实例
    23. {
    24.             "ast_type":    "EnumDecl",
    25.             "name":    "main.Color",
    26.             "is_pub":    false,
    27.             "is_flag":    false,
    28.             "is_multi_allowed":    false,
    29.             "pos":    {
    30.                 "line_nr":    9,
    31.                 "pos":    59,
    32.                 "len":    10
    33.             },
    34.             "fields":    [{
    35.                     "ast_type":    "EnumField",
    36.                     "name":    "white",
    37.                     "has_expr":    true,
    38.                     "expr":    {
    39.                         "ast_type":    "IntegerLiteral",
    40.                         "val":    "2",
    41.                         "pos":    {
    42.                             "line_nr":    10,
    43.                             "pos":    81,
    44.                             "len":    1
    45.                         }
    46.                     },
    47.                     "pos":    {
    48.                         "line_nr":    10,
    49.                         "pos":    73,
    50.                         "len":    5
    51.                     },
    52.                     "comments":    []
    53.                 }, {
    54.                     "ast_type":    "EnumField",
    55.                     "name":    "black",
    56.                     "has_expr":    false,
    57.                     "expr":    "",
    58.                     "pos":    {
    59.                         "line_nr":    11,
    60.                         "pos":    84,
    61.                         "len":    5
    62.                     },
    63.                     "comments":    []
    64.                 }, {
    65.                     "ast_type":    "EnumField",
    66.                     "name":    "blue",
    67.                     "has_expr":    false,
    68.                     "expr":    "",
    69.                         "line_nr":    12,
    70.                         "pos":    91,
    71.                         "len":    4
    72.                     },
    73.                     "comments":    []
    74.                 }],
    75.             "comments":    [],
    76.             "attrs":    []
    77.         }
    1. //C代码
    3.     main__Color_white = 2, // 2
    4.     main__Color_black, // 2+1
    5.     main__Color_blue, // 2+2
    6. } main__Color;

    内置类型

    数组

    字典

    函数

    函数定义

    函数调用

    函数多返回值

    条件

    匹配

    循环

    结构体

    结构体定义

    结构体初始化

    结构体方法

    1. //V代码

    类型

    类型别名

    1. //V代码
    2. type Myint = int
    1. //AST代码
    2. pub struct AliasTypeDecl {
    3. pub:
    4.     name        string
    5.     is_pub      bool
    6.     parent_type table.Type
    7.     pos         token.Position
    8. }
    9. //AST实例
    10. {
    11.             "ast_type":    "AliasTypeDecl",
    12.             "name":    "Myint",
    13.             "is_pub":    false,
    14.             "parent_type":    "int",
    15.             "pos":    {
    16.                 "line_nr":    20,
    17.                 "pos":    131,
    18.                 "len":    10
    19.             }
    20.         }

    函数类型

    1. type MyFn = fn ( int,  int) int
    1. pub struct FnTypeDecl {
    2. pub:
    3.     name   string
    4.     is_pub bool
    5.     typ    table.Type
    6.     pos    token.Position
    7. }
    9. {
    10.             "ast_type":    "FnTypeDecl",
    11.             "name":    "main.MyFn",
    12.             "is_pub":    false,
    13.             "typ":    "main.MyFn",
    14.             "pos":    {
    15.                 "line_nr":    24,
    16.                 "pos":    171,
    17.                 "len":    9
    18.             }
    19. }
    1. typedef int (*main__MyFn)(int,int);

    联合类型

    1. type MySumtype = f32 | int | string
    1. pub struct SumTypeDecl {
    2. pub:
    3.     name      string
    4.     is_pub    bool
    5.     sub_types []table.Type
    6.     pos       token.Position
    7. }
    9. {
    10.             "ast_type":    "SumTypeDecl",
    11.             "name":    "MySumtype",
    12.             "is_pub":    false,
    13.             "sub_types":    ["f32", "int", "string"],
    14.             "pos":    {
    15.                 "line_nr":    26,
    16.                 "pos":    204,
    17.                 "len":    14
    18. }

    接口定义

    泛型

    泛型函数

    泛型结构体