详解C++语言中的加法运算符与赋值运算符的用法

加法运算符：+ 和 -
语法

expression + expression
expression – expression

备注
相加运算符为：

• 加 (+)
• 减 (–)

这些二进制运算符具有从左至右的关联性。

相加运算符采用算术或指针类型的操作数。加法 (+) 运算符的结果是操作数之和。减法 (–) 运算符的结果是操作数之差。如果一个操作数是指针或两个操作数都是指针，则它们必须是指向对象的指针，而不是指向函数的指针。如果两个操作数都是指针，则结果没有意义，除非它们是指向同一数组中的对象的指针。
相加运算符采用 arithmetic、integral 和 scalar 类型的操作数。下表定义了这些操作数。
用于相加运算符的类型

这些运算符的合法组合为：

• 算术 + 算术
• 标量 + 整数
• 整数 + 标量
• 算术 – 算术
• 标量 – 标量

请注意，加法和减法不是等效运算。

// expre_Additive_Operators.cpp
// compile with: /EHsc
#include <iostream>
#define SIZE 5
using namespace std;
int main() {
  int i = 5, j = 10;
  int n[SIZE] = { 0, 1, 2, 3, 4 };
  cout << "5 + 10 = " << i + j << endl
     << "5 - 10 = " << i - j << endl;

  // use pointer arithmetic on array

  cout << "n[3] = " << *( n + 3 ) << endl;
}

指针加法
在加法运算中，如果其中一个操作数是指向对象数组的指针，则另一个操作数必须是整型。结果为与原始指针类型相同的指针和指向另一个数组元素的指针。以下代码片段阐述了此概念：
short IntArray[10]; // Objects of type short occupy 2 bytes
short *pIntArray = IntArray;

for( int i = 0; i < 10; ++i )
{
  *pIntArray = i;
  cout << *pIntArray << "\n";
  pIntArray = pIntArray + 1;
}

虽然将整数值 1 添加到 pIntArray，但这并不表示“将 1 添加到该地址”，而是指“调整指针使其指向数组中的下一个对象”，而该对象恰好是在 2 字节（或者 sizeof( int )）之外。
注意
在 C++ 程序中很少找到 pIntArray = pIntArray + 1 形式的代码；若要实现递增，以下形式更可取：pIntArray++ 或 pIntArray += 1。

指针减法
如果两个操作数都是指针，则减法运算的结果就是两个操作数之差（在数组元素中）。减法表达式产生类型 ptrdiff_t（在标准包含文件 STDDEF.H 中定义）的带符号的整数结果。
其中一个操作数可以是整型，条件是该操作数是第二操作数。减法的结果的类型与原始指针的类型相同。减法的值是指向第 (n – i) 个数组元素的指针，其中 n 是由原始指针指向的元素，而 i 是第二操作数的整数值。

赋值运算符

语法

    expression assignment-operator expression
assignment-operator : one of
  =  *=  /=  %=  +=  –=  <<=  >>=  &=  ^=  |=

备注
赋值运算符将值存储在左操作数指定的对象中。有两种赋值操作：简单赋值，其中第二个操作数的值存储在第一个操作数指定的对象中；复合赋值，其中先执行算术、移位或位运算，然后再存储结果。下表中除 = 运算符之外的所有其他赋值运算符都是复合赋值运算符。
赋值运算符

运算符关键字
三个复合赋值运算符具有文本等效项。它们是：

在您的程序中有两种访问这些运算符关键字的方法：包括标头文件 iso646.h 或使用 /Za（禁用语言扩展）编译器选项进行编译。

// expre_Assignment_Operators.cpp
// compile with: /EHsc
// Demonstrate assignment operators
#include <iostream>
using namespace std;
int main() {
  int a = 3, b = 6, c = 10, d = 0xAAAA, e = 0x5555;

  a += b;   // a is 9
  b %= a;   // b is 6
  c >>= 1;   // c is 5
  d |= e;   // Bitwise--d is 0xFFFF

  cout << "a = 3, b = 6, c = 10, d = 0xAAAA, e = 0x5555" << endl
     << "a += b yields " << a << endl
     << "b %= a yields " << b << endl
     << "c >>= 1 yields " << c << endl
     << "d |= e yields " << hex << d << endl;
}

简单赋值
简单赋值运算符 (=) 将使第二个操作数的值存储在第一个操作数指定的对象中。如果两个对象都是算术类型，则在存储值之前，正确的操作数将转换为左侧的类型。
常量和可变类型的对象可赋给可变类型的左值或者既不是常量类型也不是可变类型的左值。
对类类型（结构、联合和类类型）的对象的赋值由名为 operator= 的函数执行。此运算符函数值的默认行为是执行按位复制；但是，可使用重载运算符修改此行为。（有关详细信息，请参阅重载运算符。）
任何从给定基类明确派生的类的对象均可赋给基类的对象。反之则不然，因为有一个隐式转换，它能从派生类转换到基类，但不能从基类转换到派生类。例如:

// expre_SimpleAssignment.cpp
// compile with: /EHsc
#include <iostream>
using namespace std;
class ABase
{
public:
  ABase() { cout << "constructing ABase\n"; }
};

class ADerived : public ABase
{
public:
  ADerived() { cout << "constructing ADerived\n"; }
};

int main()
{
  ABase aBase;
  ADerived aDerived;

  aBase = aDerived; // OK
  aDerived = aBase; // C2679
}

对引用类型的赋值的行为方式就像对引用所指向的对象进行赋值一样。
对于类类型对象，赋值与初始化不同。若要演示不同赋值和初始化的工作方式，请考虑以下代码

UserType1 A;
UserType2 B = A;

上面的代码显示了一个初始值设定项；它调用了采用 UserType2 类型的参数的 UserType1 的构造函数。给定以下代码

UserType1 A;
UserType2 B;

B = A;

赋值语句

B = A;

可能具有以下效果之一：
将为 UserType2 调用函数 operator=，前提是 operator= 提供 UserType1 参数。
如果存在显式转换函数 UserType1::operator UserType2，则调用该函数。
调用采用 UserType2::UserType2 参数并复制结果的构造函数 UserType1，前提是存在此类构造函数。
复合赋值
显示在的表中的复合赋值运算符以 e1 op= e2 的形式指定，其中 e1 是非常量类型的可修改左值，而 e2 是以下项之一：
算术类型
指针（如果 op 为 + 或 –）
e1 op= e2 形式的行为方式与 e1 = e1 op e2 的相同，但 e1 只计算一次。
对枚举类型的复合赋值将生成错误消息。如果左操作数属于指针类型，则右操作数必须属于指针类型或必须是计算结果为 0 的常量表达式。如果左操作数属于整数类型，则右操作数不能属于指针类型。
赋值运算符的结果
赋值后，赋值运算符将返回由左操作数指定的对象的值。获得的类型是左操作数的类型。赋值表达式的结果始终为左值。这些运算符具有从右向左的关联性。左操作数必须为可修改的左值。
在 ANSI C 中，赋值表达式的结果不是左值。因此，合法的 C++ 表达式 (a += b) += c 在 C 中是非法的。