两个字符相加产生 int

Question

我做了一个简单的程序，用 GCC 4.4/4.5 编译如下：

int main ()
{
  char u = 10;
  char x = 'x';
  char i = u + x;

  return 0;
}

g++ -c -Wconversion a.cpp

我有以下内容：

a.cpp: In function ‘int main()’:
a.cpp:5:16: warning: conversion to ‘char’ from ‘int’ may alter its value

对于以下代码，我收到了同样的警告：

  unsigned short u = 10;
  unsigned short x = 0;
  unsigned short i = u + x;

a.cpp: In function ‘int main()’:
a.cpp:5:16: warning: conversion to ‘short unsigned int’ from ‘int’ may alter its value

谁能解释一下为什么添加两个字符（或两个无符号短裤）会产生 int？ 是编译器错误还是符合标准？

谢谢。

Answer 1

您所看到的是算术表达式期间发生的所谓“通常算术转换”的结果，尤其是那些本质上是二进制的（带两个参数）。

这在 §5/9 中有描述：

许多期望算术或枚举类型的操作数的二元运算符会导致转换并以类似的方式产生结果类型。目的是产生一个通用类型，这也是结果的类型。这种模式称为常用算术转换，定义如下：

——如果任一操作数的类型为long double，则另一个应转换为long double。
— 否则，如果任一操作数为double，则另一个应转换为double。
— 否则，如果任一操作数为float，则另一个应转换为float。
— 否则，应在两个操作数上执行积分提升 (4.5)。⁵⁴⁾
— 然后，如果任一操作数为 unsigned long，则另一个应转换为 unsigned long。
— 否则，如果一个操作数是long int 而另一个是unsigned int，那么如果long int 可以表示unsigned int 的所有值，则unsigned int 应转换为long int；否则两个操作数都应转换为unsigned long int。
— 否则，如果任一操作数为long，则另一个应转换为long。
— 否则，如果任一操作数为unsigned，则另一个应转换为unsigned。

[注意：否则，唯一剩下的情况是两个操作数都是int]

第 4.5 节中提到的促销活动是：

1 如果int 可以表示源类型；否则，源右值可以转换为unsigned int 类型的右值。

2 wchar_t (3.9.1) 或枚举类型 (7.2) 类型的右值可以转换为以下第一种类型的右值，这些类型可以表示其基础类型的所有值：int 、unsigned int、long 或 unsigned long。

3 如果int 可以表示位域的所有值，则整数位域（9.6）的右值可以转换为int 类型的右值；否则，如果unsigned int 可以表示位域的所有值，则可以将其转换为unsigned int。如果位域更大，则不会对其应用积分提升。如果位字段具有枚举类型，则将其视为该类型的任何其他值以用于提升目的。

4 bool 类型的右值可以转换为 int 类型的右值，false 变为零，true 变为 one。

5 这些转换称为积分促销。

从这里开始，诸如“乘法运算符”或“加法运算符”之类的部分都有这样的短语：“执行通常的算术转换...... " 来指定表达式的类型。

换句话说，当您进行积分算术时，类型是由上述类别确定的。在您的情况下，促销包含在 §4.5/1 中，表达式的类型为 int。

Answer 2

当您对char 类型进行任何算术运算时，它返回的结果是int 类型。

看这个：

char c = 'A';
cout << sizeof(c) << endl;
cout << sizeof(+c) << endl;
cout << sizeof(-c) << endl;
cout << sizeof(c-c) << endl;
cout << sizeof(c+c) << endl;

输出：

1
4
4
4
4

ideone 演示：http://www.ideone.com/jNTMm

Answer 3

当您将这两个字符相互添加时，它们首先被提升为 int。

加法的结果是一个右值，它被隐式提升为 如有必要，键入 int，如果 int 可以包含结果值。 在 sizeof(int) > sizeof(char) 的任何平台上都是如此。 但请注意 char 可能被视为已签名的字符 你的编译器。

这些链接可以提供更多帮助 - wiki 和 securecoding