在C99及后续标准中能否安全将unsigned char转换为char？

已知getc等函数会返回转换为int类型的unsigned char，典型系统中取值范围是0-255及EOF。如果已经检查过EOF，确认当前值是转换为int的unsigned char，能否安全将其转换回char存入字符串？

日常代码里大量存在直接将unsigned char存入char的写法，依赖隐式转换而非显式转换。但根据C标准，有符号整数的部分行为属于未定义或实现定义：

• 有符号整数溢出行为未定义（无符号整数溢出则通过模运算明确定义）
• 将超出范围的值转换为有符号整数的行为由实现定义，甚至可能触发信号（无符号整数转换则始终按模最大值加1的规则定义）

因此怀疑需要如下函数来安全转换unsigned char至char：

static inline char uchar_to_char(unsigned char uch)
{
  if (CHAR_MIN < 0 && uch > CHAR_MAX)
  {
    return (char)(((int)uch) - (((int)UCHAR_MAX)+1));
  }
  return (char)uch;
}

优化编译器在多数平台上应能将其优化为无操作函数，仅返回同值的不同类型。但事实是否如此？是否真的需要该函数？或是char类型在转换时有特殊规则？

注：仅关注C99及后续标准，以及ISO C+POSIX组合规范（若POSIX补充了ISO C未规定的内容，可能使简单转换合法），且仅考虑char被定义为signed char的系统。

1. C标准层面的转换规则 #

在C99及后续标准中，当把unsigned char转换为signed char（即你的场景中char为有符号的情况）时：

• 如果unsigned char的值不超过CHAR_MAX，转换是直接的，行为完全定义。
• 如果值超过CHAR_MAX，这个转换行为是实现定义的——标准允许实现选择保留位模式（即直接截断高位，这也是绝大多数平台的实际行为），也允许触发信号或采取其他操作。

2. 自定义转换函数的作用 #

你写的函数本质上是手动实现了补码系统下的位模式保留逻辑：当uch超过CHAR_MAX时，通过减去UCHAR_MAX+1（也就是256），把0-255的无符号值映射到signed char的-128到127范围（假设CHAR_BIT=8）。

对于采用补码的主流平台（几乎所有现代系统），编译器确实会把这个函数优化成无操作——因为直接强制转换(char)uch在这些平台上的行为和你的函数逻辑完全一致。但从标准严格性来说，这个函数可以保证在所有符合C标准的实现中，转换行为都是明确的，不会出现触发信号等意外情况。

3. POSIX的补充规定 #

POSIX标准对这个场景做了补充：在POSIX兼容系统中，把超出signed char范围的无符号字符值转换为char时，必须保留其位模式。这意味着在POSIX系统上，直接写(char)uch的行为是完全定义的，和你的函数逻辑等价，不需要额外写转换函数。

4. 实际开发中的选择 #

• 若仅针对POSIX兼容系统开发，直接用(char)uch完全安全，无需额外函数。
• 若需要兼容所有符合C标准的特殊实现（比如非补码系统，或者转换会触发信号的系统），那你的转换函数是必要的，它能保证行为的一致性。
• 从代码可读性角度，显式转换（不管是用你的函数还是直接(char)uch）都比隐式转换更清晰，能明确表达你的意图。

内容的提问来源于stack exchange，提问作者juhist