2010年11月27日 18:35
一、c/c++赋值运算符的本意为“返回左值的引用”(左值:赋值号左面的变量而非其值)
例:
int a, b = 3, c = 2;
(a = b) = c;
cout<<a<<endl;
对于a = b(a,b均为对象时),若不返回左值的引用,将会生成临时对象。如果不处理a = b = c这样的表达式,也会正常(只是会调用拷贝构造函数和析构函数处理临时对象)。
二、为了进行连续赋值,即 x = y = z
1、赋值返回引用
x = y = z 先执行y = z,返回y的引用,执行x = y
2、赋值不返回引用
x = y = z 先执行y = z,返回用y初始化的临时对象(注意临时对象都是常对象),再执行x = y的临时对象(要求operator=(const X&) ),返回用x初始化的临时对象(此处要求拷贝构造函数必须为X(const X&) )。
所以也并非必须返回引用,返回引用的好处既可以于赋值的原始语义已知,又可避免拷贝构造函数和析构函数的调用。
“题外话”:如果在类中没有说明本身的拷贝构造函数和赋值运算符,编译程序将会提供,但他们都只是对对象进行成员浅拷贝。在那些指向堆空间指针作为数据成员的类中,必须避免使用浅拷贝,而要为类定义自己的赋值运算符,以给对象分配堆内存。
PS:浅拷贝:调用系统默认的拷贝构造函数,不再新分配资源内存。深拷贝:调用自己的拷贝构造函数,分配新的资源内存。
拷贝构造函数用已存在的对象创建一个相同的新对象。而赋值运算符用已存在的对象赋予一个已存在的同类对象。
Tags:
Posted in C/C++ | 51 Comments
2010年11月14日 18:39
C++之父Bjarn Stroustrup对C++语言概括的第一条就是"a betterC"。struct这个关键字就来源于C。而在C++中,struct的含义已经和C中的struct不尽相同了。在C++中,用户定义类型,也就是class,拥有和内建类型一样的地位。这可以从C++中struct定义的类型在声明变量时不必再写出struct关键字看出。如
struct Foo {
// ...
};
Foo f;
在C++程序中,人们似乎更热衷于使用class,而几乎忽略了struct的存在。实际上,struct就是成员默认为public的class(在class中,成员默认为private)。事实上以下两端代码完全等价:
代码一:
struct Foo {
// ...
};
代码二:
class Foo {
public:
// ...
};
那么为什么要有struct的存在呢?首先的原因自然是保持对C的兼容。原先的C代码可以不必修改就成为合法的C++代码。第二个原因(个人愚见),是为了让struct来表示抽象的数据类型以及抽象接口,而与class所表示的类的概念相区别。
struct在C中的使用方式转移到C++以后仍然是非常重要,作为一组相关的数据而存在于一个struct,说明了他们在逻辑上是相互关联的数据,同时他们被保存在struct里而不是全局变量,也是对数据的一种管理。个人认为一种很朴素的用法要取代当前很热门的get-set用法。比如
class Foo {
int bar;
public:
int get_bar() { return bar; }
void set_bar(const int& b) { bar = b; }
};
这里Foo::bar是一个需要频繁存取的数据对象,它作为类Foo的私有成员存在,而通过公共接口存取。这是面向对象思想中数据封装的体现。而考虑一下这个Foo::bar是否有必要成为私有成员?没有,因为它就是一个数据,没有必要用私有类成员的思想来封装它,似乎可以看成是面向对象思想的过度滥用。等效的可以写成:
struct Foo {
int bar;
};
然后通过普通的赋值操作来完成。这样做似乎是回到了原始时代,但没有必要用的就不要用,否则还会影响效率。 其次一个struct的应用就是来描述纯虚类,也就是后来Java语言中类似接口的东西:
struct Foo {
virtual void Bar1() = 0;
virtual void Bar2() = 0;
// ...
};
使用struct可以些许节省编译器的语法分析时间:),而且能在语义上表达的更为清楚。
一般来讲,当一个类中有必要进行数据隐藏时,请用class声明,并将私有数据标记为private,公共接口标记为public;而当所有成员都有必要成为公有成员的时候,请用struct来声明它。
Tags:
Posted in C/C++ | 0 Comments