C++ 参考手册

位置:首页 > C++ 参考手册 >C++ 语言 > 算术运算符

返回特定算术运算的结果。

运算符名 语法 可重载 原型示例(对于 class T
类内定义 类外定义
一元加 +a T T::operator+() const; T operator+(const T &a);
一元减 -a T T::operator-() const; T operator-(const T &a);
加法 a + b T T::operator+(const T2 &b) const; T operator+(const T &a, const T2 &b);
减法 a - b T T::operator-(const T2 &b) const; T operator-(const T &a, const T2 &b);
乘法 a * b T T::operator*(const T2 &b) const; T operator*(const T &a, const T2 &b);
除法 a / b T T::operator/(const T2 &b) const; T operator/(const T &a, const T2 &b);
a % b T T::operator%(const T2 &b) const; T operator%(const T &a, const T2 &b);
逐位非 ~a T T::operator~() const; T operator~(const T &a);
逐位与 a & b T T::operator&(const T2 &b) const; T operator&(const T &a, const T2 &b);
逐位或 a | b T T::operator|(const T2 &b) const; T operator|(const T &a, const T2 &b);
逐位异或 a ^ b T T::operator^(const T2 &b) const; T operator^(const T &a, const T2 &b);
逐位左移 a << b T T::operator<<(const T2 &b) const; T operator<<(const T &a, const T2 &b);
逐位右移 a >> b T T::operator>>(const T2 &b) const; T operator>>(const T &a, const T2 &b);
注解
  • 所有内建运算符都返回值,而大多数用户定义重载亦返回值,从而能以与内建版本相同的方式使用用户定义运算符。不过,用户定义重载中,任何类型都可以作为返回类型(包括 void)。特别是,operator<<operator>> 为流插入和流抽取的重载所返回的是 T&
  • T2 可以为包括 T 在内的任何类型。

解释

所有算术运算符计算特定算术运算的结果,并返回其结果。不修改实参。

转换

若传递给算术运算符的操作数是整型或无作用域枚举类型,则在任何其他行动前(但在左值到右值转换后,若其适用),对操作数实施整型提升。若操作数之一具有数组或函数类型,则实施数组到指针函数到指针转换。

对于(除移位之外的)二元运算符,当提升后的操作数拥有不同类型时,实施称为一般算术转换 (usual arithmetic conversion)的一组额外的隐式转换,目的是产生公共类型 (common type)(亦可由 std::common_type 类型特性访问)。若在任何整型提升前,一个操作数为枚举类型而另一操作数为浮点类型或不同的枚举类型,则此行为被弃用。 (C++20 起)

  • 若任一操作数具有有作用域枚举类型,则不进行转换:另一操作数和返回类型必须具有相同类型
  • 否则,若任一操作数为 long double,则将另一操作数转换为 long double
  • 否则,若任一操作数为 double,则将另一操作数转换为 double
  • 否则,若任一操作数为 float,则将另一操作数转换为 float
  • 否则,操作数拥有整数类型(因为 boolcharchar8_tchar16_tchar32_twchar_t 和无作用域枚举在此时已被提升),并对其实施整型转换以产生如下的公共类型:
  • 若两个操作数均为有符号或均为无符号,则将拥有较小转换等级的操作数转换为拥有较大整数转换等级的操作数的类型。
  • 否则,若无符号操作数的转换等级大于或等于有符号操作数的转换等级,则将有符号操作数转换为无符号操作数的类型。
  • 否则,若有符号操作数的类型能表示无符号操作数类型的所有值,则将无符号操作数转换为有符号操作数的类型。
  • 否则,将两个操作数都转换为有符号操作数的无符号对应版本。

转换等级(conversion rank)boolsigned charshortintlonglong long 顺序递增。任何无符号类型的等级都等于其对应的有符号类型的等级。char 的等级等于 signed charunsigned char 的等级。char8_tchar16_tchar32_twchar_t 的等级等于其底层类型的等级。

溢出

无符号整数算术始终进行 modulo 2n
,其中 n 是该整数的位数。例如对于 unsigned int,向 UINT_MAX 加一得到 0,而从 0 减一得到 UINT_MAX

有符号整数算术运算溢出(结果类型无法容纳其结果)时,行为未定义:它可能按照表示法的规则(典型为补码)发生回绕,可能在某些平台上或由于编译器选项(例如 GCC 和 Clang 中的 -ftrapv)引发陷阱,也可能完全被编译器优化掉

浮点环境

若支持 #pragma STDC FENV_ACCESS 并设置它为 ON,则所有浮点算术运算符都服从当前浮点舍入方向,并报告 math_errhandling 中指定的浮点算术错误,除非是发生于静态初始化器之中(该情况下不引发浮点异常,而舍入模式为最近舍入)。

浮点缩略

除非支持 #pragma STDC FP_CONTRACT 并设置它为 OFF,否则所有浮点算术都可以如同其中间结果拥有无限范围和精度一般进行,即允许实施省略舍入误差和浮点异常的优化。例如 C++ 允许以单条融合乘加 CPU 指令来实现 (x*y) + z,或把 a = x*x*x*x; 优化为 tmp = x *x; a = tmp*tmp

无关乎缩略,浮点算术的中间结果可拥有与其类型所指定不同的范围和精度,见 FLT_EVAL_METHOD

正式而言,C++ 标准不在浮点运算的精度上做任何保证。

一元算术运算符

一元算术运算符表达式的形式为

+ 表达式 (1)
- 表达式 (2)
1) 一元加(提升)。
对于内建运算符,表达式 必须拥有算术、无作用域枚举或指针类型。若操作数具有整型或无作用域枚举类型,则对其实施整型提升,并确定结果类型。
2) 一元减(取反)。
对于内建运算符,表达式 必须拥有算术或无作用域枚举类型。对操作数实施整型提升,并确定结果类型。

内建的一元加运算符返回其操作数的值。仅有的非无操作情形,是当操作数拥有整型类型或无作用域枚举类型时,它将被整型提升所更改,例如将 char 转换为 int,或者当操作数服从左值到右值、数组到指针或函数到指针转换时。

内建的一元减运算符计算其提升后操作数的相反数。对于无符号的 a-a 的值为 2b
-a
,其中 b 为提升后的位数。

针对用户定义运算符的重载决议中,对于每个提升后算术类型 A 和每个类型 T,下列函数签名参与重载决议:

A operator+(A)
T* operator+(T*)
A operator-(A)
#include <iostream>
int main()
{
    char c = 0x6a;
    int n1 = 1;
    unsigned char n2 = 1;
    unsigned int n3 = 1;
    std::cout << "char: " << c << " int: " << +c << '\n'
              << "-1, where 1 is signed: " << -n1 << '\n'
              << "-1, where 1 is unsigned char: " << -n2 << '\n'
              << "-1, where 1 is unsigned int: " << -n3 << '\n';
    char a[3];
    std::cout << "size of array: " << sizeof a << '\n'
              << "size of pointer: " << sizeof +a << '\n';
}

输出:

char: j int: 106
-1, where 1 is signed: -1
-1, where 1 is unsigned char: -1
-1, where 1 is unsigned int: 4294967295
size of array: 3
size of pointer: 8

加性运算符

二元加性算术运算符表达式的形式为

lhs + rhs (1)
lhs - rhs (2)
1) 加法
对于内建运算符,lhsrhs 必须为下列之一:
  • 都拥有算术或无作用域枚举类型。此情况下,对两个操作数都实施一般算术转换,并确定结果类型。
  • 一个是指向完整定义的对象的指针类型,另一个拥有整型或无作用域枚举类型。此情况下,结果具有指针的类型。
2) 减法
对于内建运算符,lhsrhs 必须为下列之一:
  • 都拥有算术或无作用域枚举类型。此情况下,对两个操作数都实施一般算术转换,并确定结果类型。
  • lhs 为指向完整定义的对象类型的指针,rhs 拥有整型或无作用域枚举类型。此情况下,结果具有指针的类型。
  • 忽略 cv 限定符时,两者都是指向相同完整定义的对象类型的指针。此情况下,结果类型为 std::ptrdiff_t

对于算术或枚举类型的操作数,二元加的结果是操作数(经一般算术转换后)的和,而二元减运算符的结果是第一操作数减去第二操作数(经一般算术转换后)的结果,但是,如果该类型支持 IEEE 浮点算术(见 std::numeric_limits::is_iec559),

  • 若操作数之一为 NaN,则结果为 NaN
  • 无穷减无穷为 NaN,并引发 FE_INVALID
  • 无穷加负无穷为 NaN,并引发 FE_INVALID

若任何操作数为指针,则适用下列规则:

  • 把指向非数组对象的指针当做指向大小为 1 的数组的首元素的指针。
  • 若指针 P 指向数组的第 i 个元素,则表达式 P+nn+PP-n 分别是指向同一数组的第 i+n、第 i+n 和第 i-n 个元素的同类型指针。指针加法的结果亦可为末尾后一位置(one past the end)的指针(即使得 P-1 指向数组末元素的指针 P)。任何其他情形(即试图生成不指向同一数组的任何元素或同一数组末尾后一位置的指针)均引起未定义行为。
  • 若指针 P 指向数组的第 i 个元素,而指针 Q 指向同一数组的第 j 个元素,则表达式 P-Q 拥有值 i-j(若 std::ptrdiff_t 可容纳该值)。两个操作数都必须指向同一数组的元素(或末尾后一位置),否则行为未定义。若结果不能由 std::ptrdiff_t 容纳,则行为未定义。
  • 任何情况下,如果所指向的类型与数组元素类型不同(其中对于每一层元素,若它们自身即为指针,则不考虑其 cv 限定性),则指针算术的行为未定义。特别是,以指向某个派生对象数组中的元素的指向基类指针做指针算术是未定义的。
  • 对指针加或减 0,结果就是该指针,没有更改。若两个指针指向同一对象,或都指向同一数组的末尾后一位置,或都是空指针,则减法的结果等于 (std::ptrdiff_t)0

这些指针算术运算符,允许指针得以满足遗留随机访问迭代器 (LegacyRandomAccessIterator) 的要求。

针对用户定义运算符的重载决议中,对于每对提升后的算术类型 LR 和每个对象类型 T,下列函数签名参与重载决议:

LR operator+(L, R)
LR operator-(L, R)
T* operator+(T*, std::ptrdiff_t)
T* operator+(std::ptrdiff_t, T*)
T* operator-(T*, std::ptrdiff_t)
std::ptrdiff_t operator-(T*, T*)

其中 LR 是对 LR 实施一般算术转换的结果。

#include <iostream>
int main()
{
    char c = 2;
    unsigned int un = 2;
    int  n = -10;
    std::cout <<  " 2 + (-10), where 2 is a char    = " << c + n << '\n'
              <<  " 2 + (-10), where 2 is unsigned  = " << un + n << '\n'
              <<  " -10 - 2.12  = " << n - 2.12 << '\n';
 
    char a[4] = {'a', 'b', 'c', 'd'};
    char* p = &a[1];
    std::cout << "Pointer addition examples: " << *p << *(p + 2)
              << *(2 + p) << *(p - 1) << '\n';
    char* p2 = &a[4];
    std::cout << "Pointer difference: " << p2 - p << '\n';
}

输出:

2 + (-10), where 2 is a char    = -8
 2 + (-10), where 2 is unsigned  = 4294967288
 -10 - 2.12  = -12.12
Pointer addition examples: bdda
Pointer difference: 3

乘性运算符

二元乘性运算符表达式的形式为

lhs * rhs (1)
lhs / rhs (2)
lhs % rhs (3)
1) 乘法
对于内建运算符,lhsrhs 必须都具有算术或无作用域枚举类型。
2) 除法
对于内建运算符,lhsrhs 必须都具有算术或无作用域枚举类型。
3) 求余
对于内建运算符,lhsrhs 必须都具有算术或无作用域枚举类型。

所有三个运算符,均对两个操作数实施一般算术转换,并确定结果类型。

二元运算符 * 进行其操作数(经一般算术转换后)的乘法,但对于浮点乘法,

  • NaN 乘以任何数均得 NaN
  • 无穷乘以零得 NaN 并引发 FE_INVALID

二元运算符 / 将第一操作数除以第二操作数(经一般算术转换后)。

对于整型操作数,它产生代数商,

以实现定义的方向对商进行舍入。

(C++11 前)

商向零取整(舍弃小数部分)。

(C++11 起)

若第二操作数为零,则行为未定义,但若进行浮点除法且类型支持 IEEE 浮点算术(见 std::numeric_limits::is_iec559),则:

  • 若操作数之一为 NaN,则结果为 NaN
  • 非零数除以 ±0.0 得到符号正确的无穷,并引发 FE_DIVBYZERO
  • 0.0 除以 0.0 得 NaN,并引发 FE_INVALID

二元运算符 % 产生以第二操作数整除第一操作数的余数(经一般算术转换后;注意各操作数的类型必须都为整型类型)。若商 a/b 能以结果类型表示,则 (a/b)*b + a%b == a。若第二操作数为零,则行为未定义。若商 a/b 不能以结果类型表示,则 a/ba%b 的行为均未定义(这意味着,补码系统上 INT_MIN%-1 为未定义)。

注意:C++11 之前,若二元运算符 % 的一或两个操作数为负,则余数符号是实现定义的,因为它取决于整数除法的舍入方向。函数 std::div 在该情况下提供良好定义的行为。

注意:对于浮点余数,见 std::remainderstd::fmod

针对用户定义运算符的重载决议中,对于每对提升后的算术类型 LARA 及每对提升后的整型类型 LIRI,下列函数签名参与重载决议:

LRA operator*(LA, RA)
LRA operator/(LA, RA)
LRI operator%(LI, RI)

其中 LRx 是对 LxRx 实施一般算术转换的结果。

#include <iostream>
int main()
{
    char c = 2;
    unsigned int un = 2;
    int  n = -10;
    std::cout <<  "2 * (-10), where 2 is a char    = " << c * n << '\n'
              <<  "2 * (-10), where 2 is unsigned  = " << un * n << '\n'
              <<  "-10 / 2.12  = " << n / 2.12 << '\n'
              <<  "-10 / 21  = " << n / 21 << '\n'
              <<  "-10 % 21  = " << n % 21 << '\n';
}

输出:

2 * (-10), where 2 is a char    = -20
2 * (-10), where 2 is unsigned  = 4294967276
-10 / 2.12  = -4.71698
-10 / 21  = 0
-10 % 21  = -10

逐位逻辑运算符

逐位算术运算符表达式的形式为

~ rhs (1)
lhs & rhs (2)
lhs | rhs (3)
lhs ^ rhs (4)
1) 逐位非(NOT)
2) 逐位与(AND)
3) 逐位或(OR)
4) 逐位异或(XOR)
对于内建运算符,lhsrhs 必须都拥有整型或无作用域枚举类型。对两个操作数实施一般算术转换,并确定结果类型。

operator~ 的结果是实参值(提升后)的逐位非(反码,一的补码)。operator& 的结果是两个操作数值(经一般算术转换后)的逐位与。operator| 的结果是两个操作数值(经一般算术转换后)的逐位或。operator^ 的结果是两个操作数值(经一般算术转换后)的逐位异或。

针对用户定义运算符的重载决议中,对于每对提升后的整型类型 LR,下列函数签名参与重载决议:

R operator~(R)
LR operator&(L, R)
LR operator^(L, R)
LR operator|(L, R)

其中 LR 是对 LR 实施一般算术转换的结果。

#include <iostream>
int main()
{
    std::cout << std::hex << std::showbase;
    uint16_t mask = 0x00f0;
    uint32_t a = 0x12345678;
    std::cout << "Value: " << a << " mask: " << mask << '\n'
              << "Setting bits: " << (a | mask) << '\n'
              << "Clearing bits: " << (a & ~mask) << '\n'
              << "Selecting bits: " << (a & mask) << '\n';
}

输出:

Value: 0x12345678 mask: 0xf0
Setting bits: 0x123456f8
Clearing bits: 0x12345608
Selecting bits: 0x70

移位运算符

移位运算符表达式的形式为

lhs << rhs (1)
lhs >> rhs (2)
1)lhs 左移 rhs
2)lhs 右移 rhs
对于内建运算符,lhsrhs 必须都具有整型或无作用域枚举类型。对两个运算数实施整型提升。

返回类型是提升后的左操作数的类型。

对于无符号 aa << b 的值是 a * 2b
2N
取模,其中 N 是返回类型中的位数(即进行逐位左移并舍弃移出目标类型的位)。

对于有符号的非负 aa << b 的值是 a * 2b
,若它能以返回类型表示,否则行为未定义。

(C++14 前)

对于有符号的非负 a,若 a * 2b
能以返回类型的无符号版本表示,则将该值转换到有符号后即是 a << b 的值(这使得以 1<<31 创建 INT_MIN 合法);否则行为未定义。

(C++14 起)
(C++20 前)

对于负 aa << b 的行为未定义。

对于无符号 a 和有符号的非负 aa >> b 的值是 a/2b
的整数部分。

对于负 aa >> b 的值是实现定义的(大多数平台上进行算术右移,故结果保留为负)。

(C++20 前)

a << b 的值是与 a * 2b
2N
同余的唯一值,其中 N 是返回类型中的位数(即进行逐位左移并舍弃移出目标类型的位)。

a >> b 的值是 a/2b
向下取整(换言之,有符号 a 上的右移是算术右移)。

(C++20 起)

任何情况下,若右操作数的值为负或大于等于提升后左操作数中的位数,则行为未定义。

针对用户定义运算符的重载决议中,对于每对提升后的整型类型 LR,下列函数签名参与重载决议:

L operator<<(L, R)
L operator>>(L, R)
#include <iostream>
enum {ONE=1, TWO=2};
int main()
{
    std::cout << std::hex << std::showbase;
    char c = 0x10;
    unsigned long long ull = 0x123;
    std::cout << "0x123 << 1 = " << (ull << 1) << '\n'
              << "0x123 << 63 = " << (ull << 63) << '\n' // 无符号中的溢出
              << "0x10 << 10 = " << (c << 10) << '\n';   // 提升 char 到 int
    long long ll = -1000;
    std::cout << std::dec << "-1000 >> 1 = " << (ll >> ONE) << '\n';
}

输出:

0x123 << 1 = 0x246
0x123 << 63 = 0x8000000000000000
0x10 << 10 = 0x4000
-1000 >> 1 = -500

标准库

许多标准库类型都重载了算术运算符。

一元算术运算符

实现一元 + 和一元 -
(std::chrono::duration<Rep,Period> 的公开成员函数)
对复数运用一元运算符
(函数模板)
对 valarray 的每个元素运用一元算术运算符
(std::valarray<T> 的公开成员函数)

加性运算符

实施涉及时间点的加法和减法运算
(函数模板)
实现以时长为实参的算术运算
(函数模板)
year_month_day 与一定量的年数或月数相加或相减
(std::chrono::year_month_day 的公开成员函数)
连接两个字符串或者一个字符串和一个字符
(函数模板)
推进或减小迭代器
(std::reverse_iterator<Iter> 的公开成员函数)
推进或减小迭代器
(std::move_iterator<Iter> 的公开成员函数)
在两个复数,或一个复数与一个标量上进行复数算术运算
(函数模板)
对两个 valarray 的每个元素,或一个 valarray 的每个元素和一个值运用二元运算符
(函数模板)

乘性运算符

实现以时长为实参的算术运算
(函数模板)
在两个复数,或一个复数与一个标量上进行复数算术运算
(函数模板)
对两个 valarray 的每个元素,或一个 valarray 的每个元素和一个值运用二元运算符
(函数模板)

逐位逻辑运算符

进行二进制与、或、异或及非
(std::bitset<N> 的公开成员函数)
在 bitset 上执行二元逻辑操作
(函数)
对 valarray 的每个元素运用一元算术运算符
(std::valarray<T> 的公开成员函数)
对两个 valarray 的每个元素,或一个 valarray 的每个元素和一个值运用二元运算符
(函数模板)

移位运算符

对两个 valarray 的每个元素,或一个 valarray 的每个元素和一个值运用二元运算符
(函数模板)
进行二进制左移和右移
(std::bitset<N> 的公开成员函数)

流插入/抽取运算符

整个标准库中,移位运算符常对 I/O 流( std::ios_base& 或从它派生的类之一)重载,以之为左运算数和返回类型。这种运算符被称为流插入流抽取运算符:

提取带格式数据
(std::basic_istream<CharT,Traits> 的公开成员函数)
提取字符和字符数组
(函数模板)
插入带格式数据
(std::basic_ostream<CharT,Traits> 的公开成员函数)
插入字符数据
(函数)
复数的序列化和反序列化
(函数模板)
执行 bitset 的流输入和输出
(函数)
执行字符串的流输入与输出
(函数模板)
执行伪随机数引擎的流输入和输出
(函数)
执行伪随机数分布的流输入和输出
(函数模板)

参阅

运算符优先级

运算符重载

常见运算符
赋值 自增
自减
算术 逻辑 比较 成员访问 其他

a = b
a += b
a -= b
a *= b
a /= b
a %= b
a &= b
a |= b
a ^= b
a <<= b
a >>= b

++a
--a
a++
a--

+a
-a
a + b
a - b
a * b
a / b
a % b
~a
a & b
a | b
a ^ b
a << b
a >> b

!a
a && b
a || b

a == b
a != b
a < b
a > b
a <= b
a >= b
a <=> b

a[b]
*a
&a
a->b
a.b
a->*b
a.*b

a(...)
a, b
? :

特殊运算符

static_cast 转换一个类型为另一相关类型
dynamic_cast 在继承层级中转换
const_cast 添加或移除 cv 限定符
reinterpret_cast 转换类型到无关类型
C 风格转型static_castconst_castreinterpret_cast 的混合转换一个类型到另一类型
new 创建有动态存储期的对象
delete 销毁先前由 new 表达式创建的对象,并释放其所拥有的内存区域
sizeof 查询类型的大小
sizeof... 查询形参包的大小(C++11 起)
typeid 查询类型的类型信息
noexcept 查询表达式是否能抛出异常(C++11 起)
alignof 查询类型的对齐要求(C++11 起)