c - 为什么 `uint8_t`赋值给 `uint8_t`会出现转换警告？

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

这是由于整数提升。

+的操作数小于int。因此，将它们提升为int，并在int中进行加法。

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