1. 目的

继续熟悉 rust 语言的基本数据类型, 感受 rust 编译期类型检查的严格， 并和 C/C++ 做简单对比。

2. 布尔类型

2.1 只能赋值为小写的 true, false

rust 语言的 bool 类型只有 true 和 false 两种取值。

换言之， 赋值为大写开头、全大写的 True, False, TRUE, FALSE, 都不被识别，编译阶段就会报错：

t1.rs:

fn main() {
    let a = true;
    let b = false;
    let c = True;
    let d = False;
    let e = TRUE;
    let f = FALSE;

    println!("a {}", a);
    println!("b {}", b);
    println!("c {}", c);
    println!("d {}", d);
    println!("e {}", e);
    println!("f {}", f);
}

(base) zz@Legion-R7000P% rustc t1.rs 
error[E0425]: cannot find value `True` in this scope
 --> t1.rs:4:13
  |
4 |     let c = True;
  |             ^^^^ not found in this scope
  |
help: you may want to use a bool value instead
  |
4 |     let c = true;
  |             ~~~~

error[E0425]: cannot find value `False` in this scope
 --> t1.rs:5:13
  |
5 |     let d = False;
  |             ^^^^^ not found in this scope
  |
help: you may want to use a bool value instead
  |
5 |     let d = false;
  |             ~~~~~

error[E0425]: cannot find value `TRUE` in this scope
 --> t1.rs:6:13
  |
6 |     let e = TRUE;
  |             ^^^^ not found in this scope
  |
help: you may want to use a bool value instead
  |
6 |     let e = true;
  |             ~~~~

error[E0425]: cannot find value `FALSE` in this scope
 --> t1.rs:7:13
  |
7 |     let f = FALSE;
  |             ^^^^^ not found in this scope
  |
help: you may want to use a bool value instead
  |
7 |     let f = false;
  |             ~~~~~

error: aborting due to 4 previous errors

2.2 不能把数字赋值给bool类型变量

t2.rs:

fn main() {
    let a:bool = 1;
    let b:bool = 0;
}

如果是来自 C/C++ 的环境， 很容易觉得奇怪，为啥不能把整数类型窄化到 bool 类型。然而 rust 就是这么的严格， 编译阶段就不让你这么写，避免潜在的坑。

看看编译报错：

(base) zz@Legion-R7000P% rustc t2.rs 
error[E0308]: mismatched types
 --> t2.rs:2:18
  |
2 |     let a:bool = 1;
  |           ----   ^ expected `bool`, found integer
  |           |
  |           expected due to this

error[E0308]: mismatched types
 --> t2.rs:3:18
  |
3 |     let b:bool = 0;
  |           ----   ^ expected `bool`, found integer
  |           |
  |           expected due to this

error: aborting due to 2 previous errors

For more information about this error, try `rustc --explain E0308`.

2.3 正确写法汇总

fn main() {
    let a = true;
    let b = false;
    let c:bool = true;
    let d:bool = false;
    let e:bool = a;
    let f:bool = b;
}

3. 字符类型

3.1 UTF-8 编码

rust 语言的字符使用 UTF-8 编码， 意味着既可以赋值为英文字符、数字、下划线、英文标点， 也可以用中文， 甚至 emoji。

fn main() {
    let a = 'a';
    let b = '~';
    let c = '"';
    let d = '润';
    let e = '😀';

    println!("a {}", a);
    println!("b {}", b);
    println!("c {}", c);
    println!("d {}", d);
    println!("e {}", e);
}

运行:

zz@Legion-R7000P% rustc c1.rs
zz@Legion-R7000P% ./c1 
a a
b ~
c "
d 润
e 😀

3.2 字符的意思是单个字符，多个字符不能用单引号

这一点和C/C++的概念上是一贯相承的，只不过C/C++中如果你给多个字符用单引号包起来，编译阶段并不是报错。

c2.rs:

fn main() {
    let a = '你好';
    let b = 'hi';
}

error: character literal may only contain one codepoint
 --> c2.rs:2:13
  |
2 |     let a = '你好';
  |             ^^^^^^
  |
help: if you meant to write a `str` literal, use double quotes
  |
2 |     let a = "你好";
  |             ~~~~~~

error: character literal may only contain one codepoint
 --> c2.rs:3:13
  |
3 |     let b = 'hi';
  |             ^^^^
  |
help: if you meant to write a `str` literal, use double quotes
  |
3 |     let b = "hi";
  |             ~~~~

error: aborting due to 2 previous errors

作为对比，我们用C++写一写，单引号包裹多个字符赋值到变量：
c2.cpp

int main() {
    char a = '你好';
    char b = 'hi';

    return 0;
}

编译， 发现仅仅是报告警告：

zz@Legion-R7000P% g++ c2.cpp
c2.cpp:2:14: warning: character constant too long for its type
    2 |     char a = '你好';
      |              ^~~~~~
c2.cpp:3:14: warning: multi-character character constant [-Wmultichar]
    3 |     char b = 'hi';
      |              ^~~~
c2.cpp: In function ‘int main()’:
c2.cpp:2:14: warning: overflow in conversion from ‘int’ to ‘char’ changes value from ‘-1595562563’ to ‘'\37777777675'’ [-Woverflow]
    2 |     char a = '你好';
      |              ^~~~~~
c2.cpp:3:14: warning: overflow in conversion from ‘int’ to ‘char’ changes value from ‘26729’ to ‘'i'’ [-Woverflow]
    3 |     char b = 'hi';
      |              ^~~~

4. 总结

Rust 的数据类型， 乍一看是用 let 赋值， 似乎是和 javascript 学的， 颇有一种“自由定义类型”的感觉。

然而， 你可以指定数据类型，如 let a:bool = true， 它会“傻傻的”按你指定的类型做编译期的类型检查。

你即便不指定数据类型， 但等号右侧的值如果是瞎写， 例如 True False 这样不存在的关键字， 又或者把 >=2 个字符塞到单引号里的“胡搞行为”， rust 编译器都会一一识别并且准确报告， 相比之下 C/C++ 编译器让人觉得“很坑”： 都识别出来问题了， 就是不报告为错误。从这一点来说， rust 很安全， 习惯了“自由自在”写C/C++代码的人也许会觉得“很难受”， 而踩过“自由C/C++”代码坑的人会觉得 rust 真好。

实际上， C/C++ 把一些编译选项做人为修改， 把一些重要的 warning 强行设置为 error， 那么某种程度上就享受到了 rust 语言的那种编译期安全检查的优点， 这并不难做到， 只要使用 overlook 就可以做到：

include(overlook.cmake)

欢迎尝试。