【未经书面许可,严禁转载】-- 2020-10-09 --

正式开始Rust学习之路了!

思而不学则罔,学而不思则殆。边学边练才能快速上手,让我们先来个Hello World!

但前提是有Rust环境啊!

Rust是跨平台的语言,而且无论在Windows还是在Linux、macOS上安装都比较简单。打开官网的安装指导页面:

https://www.rust-lang.org/tools/install

网站会根据当前使用的系统给予响应的安装指导。Windows系统就是下载exe安装程序,下载后安装即可;macOS和Linux使用一道curl命令安装。

安装过程是在命令行模式下进行,当有如下提示时输入1,即可:

Current installation options:
default host triple: x86_64-apple-darwin
default toolchain: stable (default)
profile: default
modify PATH variable: yes 1) Proceed with installation (default)
2) Customize installation
3) Cancel installation
>

[题内话]

  • Rust安装目录都是默认在用户的家目录。我在Windows上安装的时候按照说明改了系统变量也没修改成功安装目录,但是安装后可以把系统盘的用户目录里安装后的文件夹(有两个文件夹:.cargo和.rustup,注意文件夹的第一个字符是一个点)拷贝到别的盘,然后修改系统变量指向新的位置(必要的步骤)。更改安装位置是因为后期随着Rust安装的库增多,.cargo文件夹会变的很大,有系统盘吃紧的危险。
  • Windows系统需要同时安装Visual Studio C++ Build tools,如果安装过visual Studio2013以上可以忽略,否则请至https://visualstudio.microsoft.com/visual-cpp-build-tools/下载安装。
  • macOS安装后编译Rust程序出现linking with cc failed错误,并且有xcrun error字样的话,安装苹果家的开发环境Xcode即可(APP Store搜索安装)。
  • 由于访问Rust官网下载和安装较慢,可以使用国内镜像服务器(以清华大学TUNA镜像站为例,也可自行选择其他镜像站):在安装前,Windows系统在系统变量里增加RUSTUP_DIST_SERVER,变量值为https://mirrors.tuna.tsinghua.edu.cn/rustup;macOS和Linux执行命令:echo 'export RUSTUP_DIST_SERVER=https://mirrors.tuna.tsinghua.edu.cn/rustup' >> ~/.bash_profile,执行此命令后可能需要重新打开终端输入安装命令才能生效。

[题外话]

  • 当今时代,跨平台已成为硬通货。Rust是跨平台的,这意味着,使用率最高的三大系统Windows、macOS、Linux都可以安装使用,源码不用改动即可以从Windows上编写,然后把源码拷贝到Linux上,重新编译即可使用(当然涉及到依赖系统API的除外)。
  • 最近的Windows 10更新版本内置了Linux系统,而且不是用虚拟化技术实现,而是直接嵌入式。微软积极拥抱Linux内核,说明可能十年八年以后,桌面操作系统的格局会有很大变化,所以,学习跨平台的技术,能使用更持久。

因为安装很简单,不多赘述。

关于用什么IDE(写代码、编译、调试的环境),其实有很多选择。国内更喜欢微软的Visual Studio Code,国外用Atom的也很多,还有jetbrains公司的IntelliJ Rust + Clion(Clion是IDE,Intellij Rust是插件,貌似免费的社区版不带调试功能)。因为配置环境的教程很多,我也不多说了,各个电脑有各个电脑的情况,出现了不能调试或其他问题的解决方法也不能一概而论。

安装完毕,先跑个分?(Oh, NO!我们不是雷总)

按照国际编程惯例,先Hello World一下?

Emmm,我们应该更有追求一点,写个稍微有意义点的Demo。

[题内话]

如果需要Rust安装或IDE安装详细过程,可以留言,我再考虑完善。

[题外话]

某些方面真的能体现出Rust是年轻的编程语言:一方面:没有统领性的IDE,几大IDE厂商还在完善和竞争的阶段,各IDE都有优缺点,配置也是各种野路子;另一方面,Rust主要还是开发黑窗口应用,GUI编程还不成熟。不过好消息是据说Rust2021版会集成有官方GUI框架。

开始进入Rust的世界!

Rust源码文件的后缀名是rs,主文件一般命名为main.rs。下面我们新建一个Rust源码文件main.rs,用IDE的编辑器,甚至可以用记事本打开此文件,输入:

 1 //Rust程序1.1
2 //程序入口函数
3 fn main() {
4 let a = 4;
5 let b = 6;
6 let num = gcd(a,b);
7 println!("{}和{}的最大公约数是{}", a, b, num);
8 }
9 //函数,输入两个数字,输出二者的最大公约数
10 fn gcd(mut n: i32, mut m: i32) -> i32 {
11 assert!(n != 0 && m != 0);
12 while m != 0 {
13 if m < n {
14 let t = m;
15 m = n;
16 n = t;
17 }
18 m = m % n;
19 }
20 n
21 }

这个小程序使用欧几里得算法计算两个数字的最大公约数。将main.rs文件保存,打开命令提示符(windows系统)或终端窗口(macOS、Linux),使用cd命令切换到文件保存目录,然后输入编译命令:

rustc main.rs

回车,main.rs就会进行编译,编译完成在同一目录就会有编译成功的程序main.exe(Windows系统)或main(macOS、Linux)。

然后输入:

main

回车,命令就会执行。执行结果输出为:

4和6的最大公约数是2

然后程序自动退出。

此段程序代码的信息量很大,不要着急,我们一句一句来解释,解释通了这个小程序,就相当于望见了Rust大门的门楣了!

程序1.1的第3行(正式代码的第1行):

fn main() {

这是Rust的函数定义,关键字fn是function(函数)的缩写,音标读作[fʌn]。用fn来表示此处正在定义一个函数。main是函数名称,可以使用字母、数字、下划线,但不能用数字开头。前面说过,Rust的入口函数必须是main,即,一个Rust可执行程序的源代码必须有且只有一个main函数,程序就是从main函数开始的。函数名后跟一对小括号,如果函数有参数,可以放到小括号中间(此处main函数是没有参数的,所以小括号内是空的)。此行最后是左大括号,预示着后面是main函数的函数体了。

第4、5行:

let a = 4;
let b = 6;

各声明了一个变量并给变量赋值,let是变量声明的关键字,后面跟的是变量名、赋值操作符=以及变量的值(数字4和6)。

变量名的规则和函数名一样,使用字母、数字和下划线。所赋的值4和6在Rust中默认是i32型,即32位带符号整数型,带符号的意思是有正值也有负值,下一节讲数据类型。

Rust的变量声明规则有:

  • 声明变量并同时赋值语句中,如果能从所赋的值推断出类型,那么就不需要写变量的类型。如果无法推断,或者是只有变量声明,没有赋值(形如 let a;),则必须加变量的类型,语法是let 变量名:类型(写作let a:i32);
  • 赋值可以用字面量,也可以用表达式(例如后面学习的match、if else语句);
  • 关于推断,Rust是非常高阶的。会分析整个代码,将没标明类型的变量做出推断。如发现无法推断又没标明类型的,就会发出异常编译错误。
  • 默认情况下,一旦一个变量被初始化,它的值就不能改变,但是在变量名之前加上mut关键字(发音为[mjuːt],是mutable的缩写)可以声明可变变量。在实践中,大多数变量都没有声明为可变。使用mut强调变量是否可变在阅读代码时非常有用。

[题内话]

Rust的类型推断不限于当前的赋值语句,而是对所有代码综合分析,这一点不像其他语言。例如:

将程序1.1中的gcd函数签名修改为:fn gcd(mut n: u64, mut m:u64) -> u64

即函数的输入参数和返回值都修改为64位无符号整型,其他代码都不变。那a、b应该推断为什么类型呢?

按常规理论,编译器首先读取了let a=4;let b=6;代码以后,应该把a和b推断成最常规的、数字4和6的类型:i32型。然而事实并非如此!

事实是:对整段程序代码进行分析,后面会将a、b当做实参传入gcd函数,而gcd的形参类型我们修改为u64型了,所以,a和b最好的安排就是使用u64型,这样传入gcd函数的时候,值类型才正确。这一点是可以证明的。

Rust的绝大多数类型的值都有一个type_id()方法,用于返回类型标识,其值是std::any::TypeId类型,这个类型用一串数字标识各种类型,每种类型都不一样。另外std::any::TypeId类型还有一个泛型静态函数TypeId::of::<T>(),尖括号<>内的T是某种类型名,例如i32,String等等,返回值是这种类型的类型标识。

我们就用这个函数验证一下上面的结论:在main函数的最后部分:

println!("{}和{}的最大公约数是{}", a, b, num);

//加上如下一段代码

println!("a的TypeId是:{:?}", a.type_id());

println!("b的TypeId是:{:?}", b.type_id());

println!("num的TypeId是:{:?}", num.type_id());

println!("i32类型的TypeId是:{:?}", TypeId::of::<i32>());

println!("u64类型的TypeId是:{:?}", TypeId::of::<u64>());

//以上为加上的代码段

}

运行后会打印出a、b、num、i32类型、u64类型的TypeId,可以看出a、b、num都和u64类型的TypeId相同,而不是i32的TypeId。

上面有些概念不理解没问题,后面会陆续讲到。

第6行:

let num = gcd(a,b);

前半部分let num=,和上面讲的一样,是变量声明和赋值。后半部分gcd(a,b),是函数调用的格式,即程序运行到此处,会进入到函数gcd内执行,并把a、b两个变量分别赋给gcd函数的两个形参。gcd函数执行完毕,获取执行的结果,然后赋值给num变量。

第7行:

println!("{}和{}的最大公约数是{}", a, b, num);

Rust中,一个标识符加一个叹号,是宏的使用格式,println是宏名。在编译的时候,宏会被一段代码替换,代码是println宏定义来定义的。println宏接收一个模板字符串,将第2个及以后的参数的格式化版本填充到模板字符串。在本例中,a的值替换掉字符串中第一个{},b替换第二个{},num替换第三个{}。形成了“4和6的最大公约数是2”字符串。然后输出到标准输出,也就是屏幕。

第10行:

fn gcd(mut n: i32, mut m: i32) -> i32 {

声明了gcd函数,与上面的main函数不同,gcd函数的小括号内有两个参数。因为函数体内需要改变m和n的值,所以参数用mut标记为可变,而且函数的形参需要声明类型,格式为:变量名:类型。i32表示为32位带符号整型,而u32表示32位无符号整型,u是unsigned的简写。

函数声明的后半部分 ->i32,表示的是函数的返回值类型也是i32。

第11-21行:

    assert!(n != 0 && m != 0);
while m != 0 {
if m < n {
let t = m;
m = n;
n = t;
}
m = m % n;
}
n
}

这一段是函数gcd的函数体和结尾大括号。函数体以对assert宏的调用开始,验证两个参数都不是零。叹号!将其标记为宏调用,而不是函数调用。像C和C++中的断言宏一样,Rust的断言检查它的参数是否为真,如果不是,则输出一条提示消息提示失败及失败的代码位置,并终止程序。Rust的这种突然终止称为panic,大多数中文译文中直译为恐慌,我觉得翻译成异常更好,虽然这样很不Rust。C和C++程序可以跳过断言,但Rust总是检查断言,而不管程序是以什么方式编译的。另外还有一个debug_assert!宏,只有在debug模式下才检查断言,而已优化代码的方式进行release编译时不检查。

函数的核心是包含if语句和赋值的while循环,逻辑很简单,可以了解一下最大公约数的欧几里得计算法。先确认m大于或等于n,如果m比n小,则交换值,然后求m除以n的余数,赋值给m,直到m=0,则此时n就是原来两个数的最大公约数。

所以,函数gcd应该返回n的值,注意函数体最后一行,只有一个n,而且n后面没有分号作为结束。这是Rust的函数返回值的通常写法,函数最后一行,写一个表达式,表达式的值就是函数的返回值。但是如果在函数体代码中间返回时,需要写return xxx;并且需要有分号结束。例如:

fn xxx(a:i32, b:i32)->i32{
if a>b{
return a;
}
else{
b
}
}

[题外话]

表达式和语句:在Rust中,一句代码后面没有分号结束,就是表达式,是有值的;有分号结束,就是语句,没有返回值(实际上返回值是个(),()是一种特殊的元组类型,意为空,所以认为是没有返回值)。

Rust不需要在if后的条件表达式用括号括起来,但函数体需要用大括号括起来。后面会用到的whle循环和match匹配,也遵循同样的规定。

程序1.1由两个函数组成:main()和gcd(),main是程序入口。在大多数语言中,main函数体内调用gcd函数,那必须在main函数之前定义gcd函数,最起码像C++那样有个前向声明。但是Rust不在意两个函数的顺序,只要有,编译器就能知道。

Cargo包管理器

我们再看一下在Rust中的大杀器Cargo工具,cargo是Rust的编译管理器、包管理器和通用工具。可以使用Cargo启动一个新项目,构建和运行程序,以及管理代码所依赖的任何外部库。换句话说,用Cargo命令可以创建一个项目,然后可以用IDE编写代码,代码编写完成后,Cargo可以执行编译、运行、测试(当然是Cargo调用了其他的命令来执行这些动作)。而且程序中使用到的依赖包也能靠Cargo在编译阶段自动在线下载和编译,你只需要在配置文件中输入依赖包的名称和版本需求。

例如一个项目开发的过程:

事项 操作/命令 备注
创建一个项目文件夹

创建一个可执行程序:

cargo new --bin project01

创建一个库项目:

cargo new --lib project01

project01是项目名称,bin或lib选项前是两个减号--。命令执行完毕,会创建一个项目文件夹,里面包括配置文件(toml后缀名),src文件夹(文件夹内有main.rs或lib.rs)
编写程序代码 在IDE中编写代码,部署多个rs文件 第三方依赖包需要在toml配置文件的[dependencies]段添加
编译 cargo build 下载、编译依赖包,编译程序
测试 cargo test 此操作会测试代码中使用#[test]标记的函数,其他函数都会忽略
运行 cargo run 如果想直接运行,可忽略cargo build操作,直接run

这些是cargo的基本使用,此命令还有很多用法,可运行cargo –h查看帮助。

让我们把上面的程序改造成用cargo来管理。

首先在适当的位置新建一个项目,比如在D:\Programs(Windows)或~/Programs(macOS、Linux)。

Windows

 

macOS、Linux

 

用IDE或记事本打开prog_gcd目录下的main.rs文件,你会发现里面有个HelloWorld程序,所以本例没有展示HelloWorld的写法,因为Rust自带了!把main.rs的内容清空,然后输程序1.1的代码,保存。

再回到命令提示符/终端窗口,运行cargo run,cargo就会自动编译,然后运行编译后的程序,最终得到想要的结果!

是不是So easy!

在Rust开发中,一定要用cargo,它做了很多的幕后工作,为我们节省时间和精力。在包含多文件的项目中,cargo的文件组织能力才是最有用的。

cargo新建项目的时候,新建了项目文件夹prog_gcd,进入项目文件夹,新建了配置文件(项目名).toml,打开后内容为:

1 [package]
2 name = "prog_gcd" #修改此处,可重命名生成的程序名
3 version = "0.1.0" #版本号
4 authors = ["sumyuan"] #作者和版权信息
5 edition = "2018" #Rust版本,目前只能写2015和2018两个版本之一
6 #下面是一段自动生成的说明信息
7 # See more keys and their definitions at https://doc.rust-lang.org/cargo/reference/manifest.html
8
9 [dependencies] #这下面可以添加程序的依赖包

toml文件中注释写在#后。我们这个简单程序暂时没有依赖第三方包,所以[dependencies]节的内容为空。

src文件夹内存放rs源文件。在经过cargo build编译,或cargo run编译并运行后,项目文件夹内会产生target文件夹,在taget文件夹内,有debug文件夹,它用于存放编译后的程序,如果在编译时加了release参数,命令如:

cargo build –release  或  cargo run –release

target文件夹内会产生release文件夹,它用于存放release模式编译后的程序。

文件夹内其他的文件我们暂且不管。

题内话:

debug模式和release模式,是绝大多数编译器的两种编译方式。debug模式不对代码做任何优化,并且可以设置断点,附加了很多调试所用到的状态,用于自行调试;release模式对代码会做优化,优化程度也可用参数控制,使得生成的程序或库体积小、运行速度快,但是不能断点调试,用于最终发布。

需要说的内容还有个坑要填。cargo test用于测试程序,前提是代码中设置了测试函数。

我们在程序1.1的最后,加入一个函数,代码如下:

//Rust程序1.1
//前面内容省略......
#[test]
fn test_gcd() {
let num = gcd(120, 90);
println!("{}和{}的最大公约数是{}", 120, 90, num);
}

在函数test_gcd()的上方,加上#[test],cargo进行测试的时候会知道这个函数是测试函数。在执行cargo test时,不是去找main函数,反而会查找代码中所有有此标记的函数,依次执行。执行结果:

D:\Programs\prog_gcd>cargo test
Compiling prog_gcd v0.1.0 (D:\Programs\prog_gcd)
Finished test [unoptimized + debuginfo] target(s) in 1.59s
Running target\debug\deps\prog_gcd-d88e6d06203d2866.exe running 1 test
test test_gcd ... ok test result: ok. 1 passed; 0 failed; 0 ignored; 0 measured; 0 filtered out

结果显示测试通过,说明我们写的test_gcd以及调用的gcd函数是没问题的。

【总结】

在我们写的第一个小程序中,包含了Rust的诸多语法:

变量的声明和赋值,以及可变性(let关键字,mut的用法);

简单的数字类型i32,u64;

函数的声明和定义的语法(fn关键字,返回值类型用->表明);

初步认识宏的使用(叹号!的使用);

类型推断(整体推断);

函数传参(变量或值传入函数);

另外,讨论了cargo的常用命令(new\build\run\test)和程序测试(#[test])。

知道了这些,就算跨入了正式的Rust学习之路了,后面我们陆续进行各种语法的学习和演练。

Rust之路(1)的更多相关文章

  1. Rust之路(0)

    Rust--一个2012年出现,2015年推出1.0版本的"年轻"语言.在 2016 至 2018 年的 stack overflow 开发人员调查中,被评比为 "最受欢 ...

  2. Rust之路(4)——所有权

    [未经书面同意,严禁转载] -- 2020-10-14 -- 所有权是Rust的重中之重(这口气咋像高中数学老师 WTF......). 所有权是指的对内存实际存储的数据的访问权(包括读取和修改),在 ...

  3. Rust之路(2)——数据类型 上篇

    [未经书面同意,严禁转载] -- 2020-10-13 -- Rust是系统编程语言.什么意思呢?其主要领域是编写贴近操作系统的软件,文件操作.办公工具.网络系统,日常用的各种客户端.浏览器.记事本. ...

  4. Rust之路(3)——数据类型 下篇

    [未经书面同意,严禁转载] -- 2020-10-14 -- 架构是道,数据是术.道可道,非常道:术不名,不成术!道无常形,术却可循规. 学习与分析数据类型,最基本的方法就是搞清楚其存储原理,变量和对 ...

  5. Tokio,Rust异步编程实践之路

    缘起 在许多编程语言里,我们都非常乐于去研究在这个语言中所使用的异步网络编程的框架,比如说Python的 Gevent.asyncio,Nginx 和 OpenResty,Go 等,今年年初我开始接触 ...

  6. C蛮的全栈之路-序章 技术栈选择与全栈工程师

    目录 C蛮的全栈之路-序章 技术栈选择与全栈工程师C蛮的全栈之路-node篇(一) 环境布置C蛮的全栈之路-node篇(二) 实战一:自动发博客 博主背景 985院校毕业,至今十年C++开发工作经验, ...

  7. Web前端 web的学习之路2

    2019 年 Web 开发技术指南和趋势 2019/01/23 · JavaScript · 趋势 转载:原文出处: 李棠辉(http://web.jobbole.com/95622/)    以下内 ...

  8. 转:Java工程师成神之路~(2018修订版)

    转: http://www.hollischuang.com/archives/489 阿里大牛珍藏架构资料,点击链接免费获取 针对本文,博主最近在写<成神之路系列文章> ,分章分节介绍所 ...

  9. Java工程师成神之路~(2018修订版)

    针对本文,博主最近在写<成神之路系列文章> ,分章分节介绍所有知识点.欢迎关注. 主要版本 更新时间 备注 v1.0 2015-08-01 首次发布 v1.1 2018-03-12 增加新 ...

随机推荐

  1. nginx模型概念和配置文件结构

    一. nginx模型概念: Nginx会按需同时运行多个进程: 一个主进程(master)和几个工作进程(worker),配置了缓存时还会有缓存加载器进程(cache loader)和缓存管理器进程( ...

  2. 最好用的流程编辑器bpmn-js系列之基本使用

    最好用的流程编辑器bpmn-js系列文章 BPMN(Business Process Modeling Notation)是由业务流程管理倡议组织BPMI(The Business Process M ...

  3. 传值&传值引用

    转自http://www.cnblogs.com/androidsuperman/p/9012320.html 首先对传值和传引用要有个基本的概念 传值:传递的是值的副本.方法中对副本的修改,不会影响 ...

  4. [go语言]-深入理解singleflight

    目录 前言 singleflight使用场景 singleflight 简介 singleflight的使用 从singleflight的test最简单用法 验证并发重复请求 singleflight ...

  5. 容器云平台No.4~kubernetes 服务暴露之Ingress

    这是容器云平台第四篇,接上一篇继续, 首先kubernetes服务暴露有如下几种方式: NodePort Loadbalance ClusterIP Ingress 本文紧贴第一篇架构图,只介绍Ing ...

  6. 关于window服务器中新建的普通用户无法登录远程桌面

    今天在公司服务器中为客户创建了一个普通用户 user5201351  并设置好了密码, 发给客户后,反映使用我们创建的用户不能通过远程桌面进行登录 查询资料后才知道,在windows中,需要将用户加入 ...

  7. JVM的整体结构

    整个jvm的运行流程图如上所示,首先需要进行加载class文件,然后使用类加载子系统将class翻译解析导入内存,在内存中分别导入到对应的运行时数据区,然后执行引擎开始执行,对于需要的数据在对应的区域 ...

  8. Java基础一篇过(三)I/O流总结

    一.啥是I/O 概念:I/O为输入,输出流的统称,流是一组有顺序的,有起点和终点的字节集合,是对数据传输的总称或抽象. 本质:本质是数据传输,即数据在两设备间的传输称为流,根据数据传输特性将流抽象为各 ...

  9. 一款Java开源的Springboot即时通讯 IM,附源码

    # 开篇 电商平台最不能缺的就是即时通讯,例如通知类下发,客服聊天等.今天,就来给大家分享一个开源的即时通讯系统.如对文章不感兴趣可直接跳至文章末尾,有获取源码链接的方法. 但文章内容是需要你简单的过 ...

  10. @DependsOn注解的使用

    如果Bean A 在创建前需要先创建BeanB此时就可以使用DependsOn注解 @Configuration public class MyConfig { @Bean @DependsOn(&q ...