初始化和赋值赋值.PDFVIP

初始化和赋值 对复杂数据类型的对象，初始化操作也可能很复杂 • 初始化操作需要把对象设置到合法的初始状态，保证程序安全 • 在定义/使用对象处反复写细节，很容易出错（赋值的情况类似） • 方便使用的抽象很有价值 C++ 语言引入了程序员定义的初始化和赋值的概念 解决这类问题的一个很好的想法（需要重载功能的支持） 初始化和赋值是意义不同的操作 • 在赋值时应认为被赋值对象已经有值，因此可能需要对原值做适当处理 • 而初始化总是对新建的对象进行 • C++ 特别细致地考虑了初始化与赋值之间的差异，允许程序员为类的这 两个操作定义不同的动作，很有道理 2012年3月 47 赋值 赋值是常规语言里最重要最基本的操作，但赋值的意义是什么？ 赋值改变变量的值约束。在x := ...y... 中 • 左边（一般而言是表达式）指称被赋值对象，通常确定一个位置。允许 放在赋值符左边的表达式称为左值表达式 • 赋值符右边的表达式表示一个可以赋的值，这种值称为右值 有些表达式同时可以表示左值和右值，放在赋值符号左边时取其左值，放在 右边就取其右值（例如变量名x，表达式a[i]，c.m 等） 在值语义（值模型）和引用语义（引用模型）里，赋值的意义不同 值语义模型下的赋值的效果是值的复制（拷贝） x x 34 x := y y 34 y 34 2012年3月 48 赋值 引用语义下赋值是引用的复制，结果是值的共享 x x x := y y 34 y 34 注意这里有两个现象： • 变量的值是另一对象，赋值导致不同变量以同一对象为值 • 赋值使x 原来引用的对象（值对象）现在丧失了来自x 的引用 在采用引用语义的语言里，如果变量出现在表达式里，在需要使用被引用对 象的值时，（编译后的）程序将自动做间接操作（dereference ） 例：如果a 是Java 的数组变量（a 的值是数 1, 2, 3 组），可以直接写a[2]。想想a[2] 的意思 变量a 值对象 2012年3月 49 变量的语义模型 不同语言采用了不同的变量语义模型。例如： C：彻底的值语义，变量的所有属性都是静态的，只供编译时使用 名字 值 Java ：基本类型的变量采用值语义， 名字 值 无动态属性信息 对象类型变量采用引用语义， 名字 值 值对象约束了部分属性信息 Perl 等一些脚本语言：引用语义，值 对象包含所有类型信息 名字 Lisp ：类似变量的实体称为符号，属 值 性关联关系见图。值