最新版本学习笔记:github电子书
利用闲暇时间,体验了V语言,边看边动手记录,所以有了这个V语言学习笔记
写在前头的话
毕竟这是一门新发布的语言,开源时间不到1年,稳定性和成熟度肯定还需要时间完善,目前不能期望太高
不过V语言作者还是实现了很多不错的语言特性,也很佩服他有勇气,有能力,又开发了一门新语言,并且很努力地全职开发,快速更新
总之,V语言还算是很有潜力的一门新语言,不喜欢的人可以忽略,喜欢的人不妨抽点时间跟进一下,一起跟着V语言成长...
V语言github:https://github.com/vlang
为什么喜欢V
V感觉就是go+rust+c的结合体，吸收了这三者的优点,不过像go更多一点
V实现了自举，编译器把V代码生成C代码，然后再调用gcc或者clang来编译生成的C代码
V的语法看着，写着都很舒服，比go和rust都好
吸收了go和rust中的各种简洁和优秀的特性
主要还是看重:
1.简洁,干净的语法,看起来,写起来都很舒服
2.没有GC,编译快,生成的执行文件很小,执行很快
感觉V才是 "better C"
当然,目前V的阶段还是比较早期的,还是不够稳定
开发的速度挺快的，新语法特性一直在完善，bug也还挺多的，还不能用到实际的项目中
即使1.0发布了,也有挺长的路要走,毕竟一门编译语言的发展是按年来计算的
安装
源代码安装
目前V语言还处在快速开发的不稳定阶段,首选源代码安装方式.
编译准备
目前V语言的编译需要依赖C编译器:gcc或clang
如果没有C编译器,可以参考以下文档,进行安装:
下载源码/编译
git clone https://github.com/vlang/v
cd v
make
编译成功后,会在当前目录生成V编译器的可执行文件,大小700k左右,小巧得很.
可以使用v version查看当前的版本
后续升级
方式一:
v up //抓取github上V代码库的主干代码,然后自动重新编译
方式二:
git pull
make
下载预编译安装包
在官网直接下载对应平台的安装包
这个目前不推荐使用,更新太慢
快速总览
这个部分试图展示V语言的总体特性,形成对V语言的一个总体印象,后续章节再展开逐个部分详细介绍
V语言是一门静态类型,编译型语言
语法追求简洁,基本就是吸收了go和rust中各自简洁的部分,go的部分更多一些,代码看起来,写起来都很舒服,这个应该也是大多数人第一眼看到V语言的感觉,被吸引的主要原因之一
无GC,错误处理机制,支持泛型,这三点一直是go有争议的地方,V语言都有
无全局变量,无空值null,变量默认不可变,结构体默认不可变,从rust那边吸收了一些
模块化支持,包管理工具
提供跟go一样的并发
7个1级元素:const常量,enum枚举,function函数,struct结构体,method方法,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语言的特性总览,里面有的特性已经实现,有的还未实现
有些未实现的特性好得让人感觉不真实,拭目以待吧,毕竟语言的发展周期都是按年来计算的
未实现的功能正在逐步实现,计划在2020年5月份发布0.2版本,相对完善一些，稳定一些
希望作者和开发团队能持续下去,周边生态能起来
V语言代码初步印象:
//单行注释
/*
多行注释
*/
module main //定义主模块,编译生成可执行程序
import os //导入模块
import strings
import time
fn main() { //主函数,程序运行入口
println('say hello world') //语句结尾不需要分号
}
//模块内7个主要一级元素:常量,枚举,函数,结构体,方法,接口,类型
//1.常量
pub const (
Version = '0.1.21'
supported_platforms = ['windows', 'mac', 'linux']
)
//2.枚举
pub enum OS {
mac
linux
windows
}
//3.函数-函数的定义风格基本跟go一样,只是关键字改为更简短的fn，支持不确定个数参数，支持多返回值
//pub表示公共级别的访问控制，可以被模块外使用，否则只能在模块内使用
pub fn my_fn(x,y int) int {
i:=1 //强类型，类型推断
s:='abc' //变量默认不可变,约定用单引号表示字符串,双引号也可以,反引号才是单字符
mut a:=3 //可变用var
a=5 //声明可变后,才可修改
println(i)
println(s)
return a
}
//3.函数-泛型函数
pub fn g_fn<T>(p T) T {
return p
}
//4.结构体-结构体定义
pub struct Point { //结构体字段一共有5种访问控制
//默认私有且不可变
a int
//私有，但可变
mut:
x int
y int
//公共，但不可变
pub:
d int
//模块内可访问且可变;模块外可访问,但是只读
pub mut:
e int
//全局字段,模块内部和外部都可访问,可修改,这样等于破坏了封装性,不推荐使用
__global:
f int
}
//4.结构体-泛型结构体
struct Repo<T> {
db DB
mut:
model T
}
//5.方法-方法只是指定了接收者的函数，跟go一样
pub fn (mut p Point) move(x,y int) {
p.x+=x
p.y+=y
}
//6.接口-接口无须显式声明实现,鸭子类型,跟go一样
pub interface Walker {
walk(int,int) int
}
//7.类型-类型别名,可以基于基本类型,也可基于结构体类型创建类型别名
pub type myint = int
//7.类型-函数类型，表示这一类相同签名的函数
pub type fn_type = fn(int) int
//7.类型-联合类型，跟typescript类似，表示类型Expr可以是这几种类型的其中一种
pub type Expr = Foo | BoolExpr | BinExpr | UnaryExpr
