为什么将'uint8_t'分配给'uint8t'会发出转换警告？

Question

为什么这段C代码：

#include <stdint.h>

uint8_t do_foo() {
  uint8_t int8;
  int8 = 0x80;
  int8 = int8 + (uint8_t) 1;
  return int8;
}

给这个编译器警告？

$ gcc --version
gcc (Debian 4.9.2-10) 4.9.2
$ gcc -c -Wall -Wextra -Wconversion test.c
test.c: In function ‘do_foo’:
test.c:6:10: warning: conversion to ‘uint8_t’ from ‘int’ may alter its value [-Wconversion]
   int8 = int8 + (uint8_t) 1;
          ^

据我所知，右边的表达式绝对是uint8_t类型，而不是int类型。

Answer 1

为了简化编译器，最初定义的C只允许对五种数字类型进行算术运算：int、unsigned int、long和unsignedlong，这意味着编译器只需要知道执行每个算术运算符的五种方法。此外，在二补系统上，许多运算符可以对有符号和无符号整数类型使用相同的实现，因此只需要三种实现。尝试对除上述一种类型之外的任何类型或任何类型组合执行算术运算将导致“两个”操作数从上述列表转换为同一类型[左移位和右移位类型的右运算符独立于左运算符]。

尽管Standard已更改为将浮动添加到可以执行算术的类型列表中，但您的示例使用不在该列表中的类型uint8_t。通常，不在列表中的类型的值会转换为列表中第一个可以保存相应类型的所有值的类型，在您的情况下是int。将两个操作数提升到int类型的加法并执行加法后，编译器会在尝试将结果分配回较小的类型时抱怨。

Answer 2

这是由于整数提升。

的操作数小于 int。因此，它们被提升为int，并且在int中执行加法。

对于< code>int8的赋值，结果必须转换回导致警告的< code>uint8_t，因为该值可能不合适。