Rust中合法的标识符（包括变量名、函数名、triat名等）必须由数字、字母、下划线组成，而且不能以数字开头。这个和很多语言都是一样的。Rust将来也会允许其他Unicode字符作为标识符，还有raw identifier功能，这样可以使关键字作为标识符，比如r#self,这个用途在FFI中最多。
变量的声明: let variable : i32 = 100; , 在rust中采用的变量的声明方式不同于以往语言的声明方式，这里先看变量的声明， 变量的声明时，是变量的名字先在前，而变量的类型在后面，let variable: i32;就是这个样子。
这样变量声明的好处是，对于语法分析来说分析更为方便，并且在变量声明语句中最为重要的是变量的名字，将变量名提前突出显式变量名的重要性，对于类型是变量名的附加说明，可以通过上下文推导出变量的类型，当让rust的自动类型推导具有局限性，对于不能推导出来的类型，需要手动添加类型说明。
变量声明中的let的使用也是借鉴了函数式语言的思想，let表明的是绑定的含义，表示的是将变量名和内存作了一层绑定关系。在Rust中，一般把声明的局部变量并初始化的语句称为”变量绑定“， 这里强调的是”绑定“的含义，这里和C++/C中的”赋值初始化语句有所不同。
变量定义的一些问题
Rust中，每个变量必须被合理初始化之后才能被使用，使用未初始化变量这样的错误，在rust中是不可能出现的。
检查是否声明初始化变量
刚刚上面的let variable : i32;这个是声明，而没有给变量赋值，这个在别的语言中可能是行的通的，但是在rust中，编译器直接报错（如果在后面使用这个为赋值（定义）的变量， Rust编译器会对代码作基本的静态分支流程分析，确保变量在使用之前一定被初始化，variable没有绑定任何值，这样的代码会引起很多内存不安全的问题，比如计算结果非预期、程序崩溃，所以Rust编译器必须报错。
1 let variable: i32;
2 println!("variable = {}", variable); // error[E0381]: use of possibly unintialized 'variable'检测分支流程是否产生为初始化变量
Rust编译器的静态分支流程分析比较严格。
1 fn main() { 2 let x: i32; 3 if true { 4 x = 1; 5 } else { 6 x = 2; 7 } 8 println!("x = {}", x); 9 }
这里的if分支的所有情况都给变量x绑定了值，所以它可以运行。但是如果去掉else分支，编译器就会报错：
error: use of possibly unintialized variable : 'x'
println!("x = {}", x);
从这里可以看到编译器已经检查出来变量x没有被正确的初始化。去掉else分支后，编译器的静态分支流程分析判断出在if表达式之外的println!也用到了变量x，但并未有绑定任何值得行为。编译器的静态分支流程分析并不能识别if表达式中的条件是true， 所以他要检查所有分支的情况。（这个在程序设计语言领域中有专门去做研究的，比如软件的静态分析，一些参考材料：南京大学的软件分析课程）
要是在把println!语句也去掉的话，则可以正常编译运行，这是因为if表达式之外再也没有任何地方使用变量x， 在唯一使用到x的if表达式中已经绑定了值，所以编译正常。
1 // 有一个例子 2 fn test(condition: bool ){ 3 let x: i32; //声明x 4 if condition { 5 x = 1; //初始化x,这里是初始化 6 println!("{}", x); 7 } 8 // 如果条件不满足，x没有被初始化 9 10 //但是没有关系，只要这里不使用x就没有事 11 }
检测循环中是否产生未初始化变量
当循环中使用break关键字的时候，break会将分支中的变量值返回。
1 fn main() { 2 let x : i32; 3 loop { 4 if true { 5 x = 2; 6 break; 7 } 8 } 9 println!("{}", x);// 2 10 }
Rust编译器的静态分支流程分析知道，break会将x的值返回,这样loop循环之外println!可以正常打印x的值
空数组或向量可以初始化变量
当变量绑定空的数组或向量时，需要显式制定类型，否则编译器无法推断其类型。
1 fn main() { 2 let a: Vec<i32> = vec![]; 3 let b: [i32; 0] = []; 4 }
要是不加显式类型标注的话，编译器就会报错： error[e0282]: type annotation needed 空数组或向量可以用来初始化变量，但目前暂时无法用于初始化常量或静态变量。
转移了所有权产生了未初始化变量
当将一个已经初始化的变量y绑定给另外一个变量y2时，Rust会把y看做逻辑上的未初始化变量。 这里的y和y2都是移动语义的变量，移动语义的变量会发生所有权的交接，而值语义，就像其他C++语言默认的都是传值。
1 fn main() { 2 let x = 42; //原生类型都是值语义，默认存储在栈上， 3 let y = Box::new(4); //变量是由Box装箱到堆上的， Box::new方法在堆上分配内存返回指针 4 //并与y绑定，而指针y存储在栈上， 5 println!("{}", y); 6 let x2 = x; 7 let y2 = y; 8 //println!("{}", y);//发生了所有权的转移，所以这里的变量y可以看做没有未被初始化的变量 9 //但是如果重新给变量绑定上一个值，变量y依然是可用的，这个过程叫做重新初始化 10 }