快速总览

这个部分试图展示V语言的总体特性,形成对V语言的一个总体印象,后续章节再展开逐个部分详细介绍

  • V语言是一门静态类型,编译型语言
  • 语法追求简洁,基本就是吸收了go和rust中各自简洁的部分,go的部分更多一些,代码看起来,写起来都很舒服,这个应该也是大多数人第一眼看到V语言的感觉,被吸引的主要原因之一
  • 无GC,错误处理机制,支持泛型,这三点一直是go有争议的地方,V语言都有
  • 无全局变量,无空值null,变量默认不可变,结构体默认不可变,从rust那边吸收了一些
  • 模块化支持,包管理工具
  • 提供跟go一样的并发
  • 6个一级元素:const常量,enum枚举,fn函数/方法,struct结构体,interface接口,type类型
  • 编译速度很快,可以跨平台交叉编译,编译出来的可执行文件很小,运行速度就是C的速度
  • 实现自举,编译器也是用V语言写的
  • 基本的编译器思路是:把V源代码编译生成C源代码,然后调用C编译器编译生成单一可执行文件
  • 很容易跟C集成,方便使用C成熟丰富的代码库
  • 可以使用C手动管理内存malloc,calloc,memmove,memcpy实现对内存进行手工控制
  • Vscript可以像python脚本那样简单,方便地写系统shell
  • 内置json支持,非运行时反射实现,性能更好
  • 内置SQL语法支持,实现更简单的ORM
  • 内置一个轻量的跨平台GUI库
  • 内置一个web框架
  • 代码热更新,修改代码,实时显示结果
  • V代码生成javascript,webassembly代码
  • C/C++代码生成V代码

以上是对V语言的特性总览,里面有的特性已经实现,有的还未实现

有些未实现的特性好得让人感觉不真实,拭目以待吧,毕竟语言的发展周期都是按年来计算的

未实现的功能正在逐步实现

希望作者和开发团队能持续下去,周边生态能起来

V语言代码初步印象:

1. //单行注释
2. /*
3. 多行注释
4. 多行注释
5. */
6. //定义主模块,编译生成可执行程序
7. module main

9. //导入模块
10. import os
11. import time

13. //主函数,程序运行入口
14. pub fn main() {
15. println('say hello world') //语句结尾不需要分号
16. println(os.args) //使用os模块的args变量
17. println(time.now()) //调用time模块的now函数
18. }

20. //模块内6个一级元素:常量,枚举,函数/方法,结构体,接口,类型
21. // 1.常量
22. pub const usage = 'usage ...' // 定义单行常量

24. // 定义常量组
25. pub const (
26. version             = '0.1.21'
27. supported_platforms = ['windows', 'mac', 'linux']
28. )

30. // 2.枚举
31. pub enum OS {
32. mac
33. linux
34. windows
35. }

37. // 3.函数-函数的定义风格基本跟go一样,只是关键字改为更简短的fn，支持不确定个数参数，支持多返回值
38. // pub表示公共级别的访问控制，可以被模块外使用，否则只能在模块内使用
39. pub fn my_fn(x int, y int) int {
40. i := 1 //强类型，类型推断
41. s := 'abc' //变量默认不可变,约定用单引号表示字符串,双引号也可以,反引号才是单字符
42. mut a := 3 //可变用mut
43. a = 5 //声明可变后,才可修改
44. println(i)
45. println(s)
46. return a
47. }

49. // 3.函数-泛型函数
50. pub fn g_fn<T,U>(x T,y U) (T,U) {
51. return x,y
52. }

54. // 3.方法-方法只是指定了接收者的函数，跟go一样
55. pub fn (mut p Point) move(x int, y int) {
56. p.x += x
57. p.y += y
58. }

60. // 4.结构体-结构体定义
61. pub struct Point {
62. //结构体字段一共有5种访问控制
63. // 1.默认私有且不可变
64. a int
65. // 2.私有，但可变
66. mut:
67. x int
68. y int
69. // 3.公共，但不可变
70. pub:
71. d int
72. // 4.模块内可访问且可变;模块外可访问,但是只读
73. pub mut:
74. e int
75. // 5.全局字段,模块内部和外部都可访问,可修改,这样等于破坏了封装性,不推荐使用
76. f int
77. }

79. // 4.结构体-泛型结构体
80. pub struct Repo <T> {
81. db DB
82. mut:
83. model T
84. }

86. pub struct DB {
87. }

89. // 5.接口-接口无须显式声明实现,鸭子类型,跟go一样
90. pub interface Walker {
91. name string  //接口支持字段约束
92. walk(int, int) int
93. }

95. // 6.类型-类型别名,可以基于基本类型,也可基于结构体类型创建类型别名
96. pub type Myint = int

98. // 6.类型-函数类型，表示这一类相同签名的函数
99. pub type Fn_type = fn (int) int

101. // 6.类型-联合类型，跟typescript类似，表示类型Expr可以是这几种类型的其中一种
102. pub struct BinExpr {}

104. pub struct BoolExpr {}

106. pub struct UnaryExpr {}

108. pub type Expr = BinExpr | BoolExpr | UnaryExpr