爱死Thinking in系列了,所以起了这个名字。本文的思想也部分来至于这套书,或参照对比,或深入挖掘,或补益拾慧,或有感而发,既包括Thinking in C++,甚至也包括Thinking in Java。
Thinking again in C++(四)运算符重载形式推导
关键字:C++,运算符,operator,重载,overload,形式推导
大前提
定理:自定义类型不要毫无价值地与内建类型不兼容(Effective C++ 2e)。这个定理是本篇所有内容的理论基础,可见它的重要性。但我无法证明,只是从直觉上认为它是正确的,如果允许的话,我更乐意把它称为公理。
小前提
内建类型的运算符串链规则:
int a=1,b=2,c=3;
a=(b+=c); //[A] ok
(b+=c)=a; //[B] ok
(a+b)=c; //[C] error
(a=b)=c; //[D] ok
(++a)=b; //[E] ok
(a++)=b; //[F] error
结论
成员函数版运算符重载的声明形式:
class Arrow
{
private:
double x;
double y;
public:
Arrow & operator+=(const Arrow & r); //[1]
const Arrow operator+(const Arrow & r) const; //[2]
double operator*(const Arrow & r) const; //[3]
Arrow & operator=(const Arrow & r); //[4]
Arrow & operator++(); //[5]
const Arrow operator++(int); //[6]
};
Arrow的真实含义是矢量,也就是数学中有大小和方向的量,本来英文名应该是vector,但STL中已经有了同名但不同义的东西,为以示区别就取了这个不伦不类的名字。对这个类来说,++运算符没有意义,另外,赋值运算符使用编译器的默认版本即可,写它们纯粹是起示例作用。
推导手段
通过合理使用const修饰符和引用,使重载运算符的行为同内建类型一致。
单个解析
[1]由于[A][B]的关系,+=运算符的返回值应能够被改写,所以传回*this的引用。
Arrow & Arrow::operator+=(const Arrow & r)
{
x += r.x;
y += r.y;
return *this;
}
[2]+运算符不改变左操作数,所以函数为const性质。+的结果存放在函数的local对象中,出于安全上的考虑,local对象不能作为引用返回,又因为[C]的关系,所以传回local对象的const拷贝。
const Arrow Arrow::operator+(const Arrow & r) const
{
return Arrow(x+r.x,y+r.y);
}
Arrow的构造器省略。
[3]内建类型的返回值被编译器约定不能作左值,此时可省略返回值的const。其他同[2]。
double Arrow::operator*(const Arrow & r) const
{
return x*r.x+y*r.y;
}
矢量相乘得到它们的内积,内积是数而不是矢量。
[4]由于[D]的关系,同[1]。
Arrow & Arrow::operator=(const Arrow & r)
{
x = r.x;
y = r.y;
return *this;
}
[5]自增运算符的前缀版本返回改变后的对象,又由于[E]的关系,所以传回*this的引用。
Arrow & Arrow::operator++()
{
//...
return *this;
}
[6]自增运算符的后缀版本返回改变前的对象,所以必须建立一个local对象保存原状态,于是函数返回值同[2]。
const Arrow Arrow::operator++(int)
{
Arrow arr(*this);
//...
return arr;
}
逆推
从[1][4][5]的实现可以看到,我们能够自然提供[A][B][D][E],同时保证足够的严谨。而对于[2],不存在安全的手段,让形如[C]的式子通过编译。还有,为什么内建类型的串链规则[E][F]有如此微妙的差异,从[5][6]可以看出来,因为函数可以安全地返回改变后的对象,却无法安全地返回改变前的对象。
这些都增加了大前提定理的可信度,小前提也显得更加合理。
后记:
1.限于篇幅,这里只列出了最简单的运算符重载,省略了很多关于复杂、特种运算符的讨论。
2.+、*这类二元运算符最好采用非成员形式,也就是友元形式。
如果希望看到进一步的讨论,我会再写一点。
分享到:
相关推荐
内容概要:本文详细介绍了C++的多项进阶特性,包括模板的使用、命名空间与作用域的概念、运算符重载、异常处理以及智能指针等。具体内容涵盖模板的基础和高级应用,如函数模板、类模板、模板元编程、模板特化和偏...
4. **运算符重载**:运算符重载允许为已存在的运算符赋予新的含义,但不能创建新运算符。重载运算符通常作为成员函数实现,但某些运算符如赋值运算符可以作为友元函数。二元运算符重载时通常需要两个参数,但可以...
运算符重载是C++的一个重要特性,它允许我们为已有的运算符赋予新的含义,以便在自定义类型上使用。通过函数重载或成员函数,我们可以实现不同类型的运算符,如+、-、*等,以符合类对象的操作逻辑。理解运算符重载的...
C++支持三种主要的多态性形式:静态多态(通过函数重载和运算符重载实现)、编译时多态(通过虚函数和继承实现)以及运行时多态(通过指针和引用的动态类型实现)。这些多态性机制使得代码更加灵活,可以适应不同的...
本篇文章主要探讨了如何在C++中利用运算符重载来实现3D变换中的矩阵运算。 首先,矩阵在3D变换中的作用在于它可以将一个三维坐标(x, y, z)转换为另一个坐标(x', y', z')。例如,我们可以通过一系列矩阵乘法来完成多...
然而,运算符重载也有一些限制,例如某些运算符不能被重载,同时在重载运算符时需要遵循一定的规则以确保代码的一致性和正确性。 #### 六、特殊成员函数 特殊成员函数包括默认构造函数、拷贝构造函数、析构函数以及...
3. **参数错误**:运算符重载函数的参数列表不正确,如重载单目运算符应该只有一个参数。 #### 八、模板使用错误 1. **模板实例化错误**:在实例化模板时提供的实参类型与模板参数类型不匹配。 2. **模板特化错误*...
书中会探讨不同类型的运算符重载(如成员和非成员函数形式,以及左值和右值操作符),以及重载运算符时需要注意的细节。 7. **模板与元编程**:模板是C++的泛型编程工具,元编程则是在编译时进行计算。书中将详细...
它首先介绍了类、内联、线程、异常、虚函数、运算符重载等概念,这些都是C++中面向对象编程的基础。同时,教程还涉及了移动语义,这是C++11引入的重要特性,用于优化资源的拷贝和赋值,提升性能。 教程中的一个重要...
4. **运算符重载(Operator Overloading)**:C++允许为自定义类型重载运算符,但需要注意正确性和效率。书中可能会讨论重载规则、最佳实践和常见陷阱。 5. **构造与析构(Ctor & Dtor)**:理解构造函数和析构函数的...
C++基于C语言,并在此基础上扩展了诸多特性,如类、模板、异常处理、命名空间、运算符重载等,使得它在系统编程、应用程序开发、游戏引擎等多个领域都有广泛的应用。 1. **面向对象编程**:C++引入了类的概念,允许...
书中的知识点丰富多样,涵盖了模板、智能指针、运算符重载、函数对象、Lambda表达式、并发编程等多个方面。以下是对这些关键知识点的详细解释: 1. **模板元编程(Template MetaProgramming)**:C++11引入了更多对...
而运算符重载则允许我们为运算符赋予特定类型的操作,提高代码的可读性和表达力。 除了这些基础概念,教案还可能涵盖模板、异常处理、STL(标准模板库)、智能指针和C++11及更高版本的新特性,如右值引用、lambda...
- 避免隐式类型转换:理解为何不应过度使用运算符重载,特别是可能导致隐式类型转换的情况。 - 考虑const和引用返回值:确保运算符重载的行为符合预期,考虑是否需要为const对象提供版本。 4. **模板**: - 类...
7. **函数重载和运算符重载**:C++允许在同一作用域内声明同名但参数列表不同的函数,这就是函数重载。运算符重载则允许我们为自定义类型定义运算符的行为,比如自定义加法、减法等。 8. **预处理器**:C++的预...
C++的进阶特性包括模板、异常处理、命名空间、运算符重载、继承、多态和虚函数。模板使得我们可以编写泛型代码,适用于不同数据类型。异常处理用于在程序出错时提供一种结构化的恢复机制。命名空间有助于避免全局...
命名空间用于避免全局作用域的命名冲突,内联函数和友元可以优化程序设计,而运算符重载则能提供更加自然的编程接口。 此外,C++笔试题集锦可能还会涵盖C++11及后续标准的新特性,比如右值引用、移动语义、lambda...