Rust变量绑定

事实上每个非‘Hello World’Rust程序都使用“变量绑定”。看起来如下:

fn main() {
    let x = 5i;}

在每个例子前都加上fn main() {有点单调乏味,所以以后就省略。如果读者一直跟着学习,请确保编辑main
()
函数,不能省略,否则会出错。

在很多语言中,这叫做“变量”。但Rust的变量绑定却暗藏玄机。例如,Rust左边的let表达式是一个“模式”,而不仅仅是一个变量名。这意味着可以这么做:

let (x, y) = (1i, 2i);

这个表达式求值以后,x是1,y是2。模式是非常强大的,独立成一个章节。我先现在还用不到这些特性,往下学习之际,暂且记住这一点。

顺便说一下,在这些例子中,i表示数字是整型。

Rust是静态类型语言,这意味着,提前指定类型,在编译是会进行类型检查。那么第一个例子为什么能编译呢?那是因为Rust有“类型推断”的能力。如果Rust能分析出来某个东西的类型,就不要求开发者实际敲出来。

不过,如果愿意,也可以加上类型。类型放在冒号(:)后面:

let x: int = 5;

如果我让你大声地对着全班读出来,就是“x绑定到int类型,绑定值5”。

在本例中我们选择x是一个32位无符号整数。Rust有许多不同的整型。符号整型以i开头,无符号整型以u开头。可能整型大小为8,16,32,64位。

绑定默认是不可更改的。如下代码无法编译:

let x = 5i;
x = 10i;

编译器会报错:

error: re-assignment of immutable variable `x`
    x = 10i;
    ^~~~~~~

如果想要绑定可以更改,必须使用mut

let mut x = 5i;
x = 10i;

绑定默认不可变更的不能用一句话说清楚,不过可以从Rust的核心考虑:安全。如果忘记使用mut,编译器就会捕捉到,让你知道更改了本不想更改的东西。如果默认绑定可变,编译器就不能告诉你这个问题。如果缺失想要设成可变,解决办法很简单:加上mut

尽可能避免使用可变状态还有其他很好的理由,但超出了本指南所述范围。一般而言,通常能够避免使用可变量,因此在Rust中这么做更可取。尽管如此,有时需要使用可变量,因此并不禁止使用。

再回到变量绑定。Rust变量绑定还有一个区别于其他语言之处:绑定必须用值初始化才能使用。如果这么做:

let x;

就会出错:

src/main.rs:2:9: 2:10 error: cannot determine a type for this local variable: unconstrained type
src/main.rs:2     let x;
                      ^

不过,指定类型就可以编译:

let x: int;

我们来试一试。修改src/main.rs如下:

fn main() {
    let x: int;
    println!("Hello, world!");}

可以在命令行使用cargo build来生成程序。会出现警告,但仍会输出“Hello,
world!”

Compiling hello_world v0.0.1 (file:///home/you/projects/hello_world)
src/main.rs:2:9: 2:10 warning: unused variable: `x`, #[warn(unused_variable)] on by default
src/main.rs:2     let x: int;
                       ^

Rust警告我们从未使用变量绑定,但由于我们没有使用这个变量,没出问题,也不可怕。但如果实际使用这个x,那就不一样了。我们试一下。修改程序如下:

fn main() {
    let x: int;
    println!("The value of x is:{}", x);}

试试生成这个程序。会得到如下错误:

$ cargo build
   Compiling hello_world v0.0.1 (file:///home/you/projects/hello_world)
src/main.rs:4:39: 4:40 error: use of possibly uninitialized variable: `x`
src/main.rs:4     println!("The value of x is: {}", x);
                                                    ^
note: in expansion of format_args!<std macros>:2:23: 2:77 note: expansion site
<std macros>:1:1: 3:2 note: in expansion of println!
src/main.rs:4:5: 4:42 note: expansion site
error: aborting due to previous error
Could not compile `hello_world`.

Rust不允许使用未经初始化的值。接下来,我们谈谈添加到println!的大括号。如果在输出的字符串中包含两个大括号({}),Rust会解释成要求在这个问题插入某种值。字符串插入上一个计算机科学术语,意思是“在字符串中间插入”。我们增加了一个都要好,紧跟着x,表示想要在大括号的位置插入x的值。如果传递个参数有多个,逗号用来分割传给函数的参数和宏。

如果仅使用大括号,Rust会尝试检查值的类型,以有意义的方式显示值。如果想要更详细地指定格式,还有很多选项可供使用。目前,我们仅使用默认设置:输入整型并不复杂。

时间: 2024-10-12 20:24:17

Rust变量绑定的相关文章

WPF 变量绑定实现

最近初学WPF,遇到如控件的内容是动态生成的.这时候就需要变量绑定. 简单写下变量绑定的步骤. 如下面的 例子,TextBlock 的内容是动态的,绑定变量StuName. <TextBlock x:Name="textBlock1" Grid.Column="7" HorizontalAlignment="Left" Margin="68.205,6,0,96" Grid.Row="3" TextW

oracle = : := 和变量绑定 oracle通配符和运算符

这篇是7788凑的:":="是赋值语句 如: l_name :='sky';..."=" 是判断是否相等. 如: if 1=1 then...":" 是变量绑定 如: if :P_NAME ='sky' then... 变量绑定 是指在sql语句的条件中使用变量而不是常量.比如shared pool里有两条sql语句,select * from tab1 where col1=1;select * from tab1 where col1=2;对

Timestamp 与 Date 变量绑定与Oracle的自动分区

好久没有更新博客了,其实是工作中遇到的很多问题在Google上都能找到答案,也就没有记录下来的必要了.今天主要想聊一下在实际的系统中遇到的Oracle数据库的问题,希望对大家有一点点帮助就好. 我首先描述一下我所遇到的场景:我们的数据库用的是Oracle 11g,我想大家立马就对它的自动分区(Interval)有了基本的认识了,这是一个非常棒的功能,免除了在建表时弄一大堆建Range分区的代码,也免除了以后对数据库进行分区扩充的麻烦.当然利用JOB也是可以完成分区扩展的,但是既然Oracle提供

thinkphp5.0学习笔记(三)获取信息,变量,绑定参数

1.构造函数: 控制器类必须继承了\think\Controller类,才能使用: 方法_initialize 代码: <?php namespace app\lian\controller; use think\Controller; use think\Db; use think\Request; class Index extends Controller { public function _initialize() { echo 'init|||'; } public function

动态sql与变量绑定

有时候动态sql需要进行变量的赋值,这个时候就需要调用系统的存储过程sp_executesql了.使用中还是有些注意事项,代码如下: --字符型字段需声明为NVARCHAR类型 DECLARE @STRSQL NVARCHAR(1000),@VALUE_STR NVARCHAR(254) --动态SQL拼接 SET @STRSQL='SELECT @VALUE_STR=ISNULL(VALUE_STR,'''') FROM [Mast'+'ADMIN'+'@Prop_Fld] WHERE FOR

rust变量与可变性

fn main() { //let x = 5; let mut x = 5; //通过const定义常量名称要大写,并且值不可更改 const Y:i32=6; println!("Y is {}",Y); println!("The value of x is {}", x); x = 6; println!("The value of x is {}", x); //如果要覆盖上一个变量 需要使用let //如果不是let而改变了x的类型会

Oracle 10g中一个关于绑定变量和非绑定变量的测试对比

首先创建测试表并记录解析统计数据: 进行循环插入数据,以下代码并未使用绑定变量: 发现在增加了11个硬解析. 查询v$sqlarea视图,可以找到这些不能共享的SQL,注意每条SQL都只执行了一次,这些SQL不仅解析要消耗密集的SQL资源,也要占用共享内存存储这些不同的SQL代码: 重建测试表,进行第二次测试: 这一次使用绑定变量,同样10次数据插入: 现在看一下SQL解析的统计数据库,硬解析由原来的145增加到147. 对于该SQL,共享池中只存在一份,解析一次,执行10次,这就是绑定变量的优

Rust中文翻译12

Page 63 我们已经学习了如何写一些Rust代码了.但是能写Rust代码和能写好的Rust代码又很大区别. 这一章讲述一些相对独立的指南,告诉你如何把的Rust代码更进一步.一些常用的模式和标准库会被提到.你可以随意安排阅读本章的顺序. 4.1 栈和堆 作为一个系统级别的语言,Rust可以在底层进行操作.如果你来自于高层语言,有一些系统编程概念你可能不太熟悉.最重要的就是内存中的栈和堆是如何工作的.如果你了解类C语言中栈的分配,这一章就是一个回顾.如果你不了解,你可以在本章学习这些概念了,但

Rust: move和borrow

感觉Rust官方的学习文档里关于ownship,borrow和lifetime介绍的太简略了,无法真正理解这些语法设计的原因以及如何使用(特别是lifetime).所以找了一些相关的blog来看,总结一下,以备以后参考. 起因 Rust想要解决的问题是在无GC的情况下安全地管理资源.这点并不容易实现,但不是一点思路都没有.比如,有一个Java程序: public void foo() { byte[] a = new byte[10000000]; a = null; byte[] c = ne