草庐IT

c++ - 为什么 C 或 C++ 标准不明确将 char 定义为有符号或无符号？

coder 2023-05-02 原文 

int main()
{
    char c = 0xff;
    bool b = 0xff == c;
    // Under most C/C++ compilers' default options, b is FALSE!!!
}

C 或 C++ 标准都没有将 char 指定为有符号或无符号，它是实现定义的。

为什么 C/C++ 标准没有明确将 char 定义为有符号或无符号，以避免像上面的代码这样的危险误用？

最佳答案

主要是历史原因。

char 类型的表达式在大多数情况下都被提升为 int(因为很多 CPU 没有 8 位算术运算)。在某些系统上，符号扩展是执行此操作的最有效方式，它主张使普通 char 签名。

另一方面，EBCDIC 字符集具有带有高位集的基本字符(即，值为 128 或更大的字符)；在 EBCDIC 平台上，char 几乎必须是无符号的。

ANSI C Rationale (对于 1989 年标准)在这个问题上没有太多可说的；第 3.1.2.5 节说:

Three types of char are specified: signed, plain, and unsigned. A plain char may be represented as either signed or unsigned, depending upon the implementation, as in prior practice. The type signed char was introduced to make available a one-byte signed integer type on those systems which implement plain char as unsigned. For reasons of symmetry, the keyword signed is allowed as part of the type name of other integral types.

更进一步，C Reference Manual 的早期版本从 1975 年开始说:

A char object may be used anywhere an int may be. In all cases the char is converted to an int by propagating its sign through the upper 8 bits of the resultant integer. This is consistent with the two’s complement representation used for both characters and integers. (However, the sign-propagation feature disappears in other implementations.)

这个描述比我们在后面的文档中看到的更具体，但它确实承认 char 可能是有符号或无符号的。在“符号传播消失”的“其他实现”上，将 char 对象提升为 int 将对 8 位表示进行零扩展，本质上将其视为 8 位无符号数。 (该语言还没有 signed 或 unsigned 关键字。)

C 的直接前身是一种称为 B 的语言。B 是一种无类型语言，因此 char 是有符号还是无符号的问题不适用。有关 C 早期历史的更多信息，请参阅已故 Dennis Ritchie 的 home page ，现在 moved here .

至于您的代码中发生了什么(应用现代 C 规则):

char c = 0xff;
bool b = 0xff == c;

如果普通 char 是无符号的，则 c 的初始化将其设置为 (char)0xff，比较等于 0xff 在第二行。但是如果普通的 char 被签名，那么 0xff (int 类型的表达式)被转换为 char --但由于 0xff 超过 CHAR_MAX(假设 CHAR_BIT==8)，结果是实现定义。在大多数实现中，结果是 -1。在比较 0xff == c 中，两个操作数都转换为 int，使其等价于 0xff == -1 或 255 == -1，这当然是假的。

另一个需要注意的重要事情是 unsigned char、signed char 和(plain)char 是三种不同的类型。 char 与 either unsigned char or signed char 具有相同的表示；它是由实现定义的。 (另一方面，signed int 和 int 是同一类型的两个名称；unsigned int 是不同的类型。(除了，只是为了增加轻浮性，它是由实现定义的，声明为普通 int 的位字段是有符号的还是无符号的。))

是的，这有点乱，我敢肯定，如果今天从头开始设计 C，它的定义会有所不同。但是 C 语言的每个版本都必须避免破坏(太多)现有代码，以及在较小程度上破坏现有实现。

关于c++ - 为什么 C 或 C++ 标准不明确将 char 定义为有符号或无符号？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/15533115/

amp43codecharsignedc++ctypescompiler-constructionstandards

有关c++ - 为什么 C 或 C++ 标准不明确将 char 定义为有符号或无符号？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby - Facter::Util::Uptime:Module 的未定义方法 get_uptime (NoMethodError) - 2

    我正在尝试设置一个puppet节点，但ruby​​gems似乎不正常。如果我通过它自己的二进制文件(/usr/lib/ruby/gems/1.8/gems/facter-1.5.8/bin/facter)在cli上运行facter，它工作正常，但如果我通过由ruby​​gems(/usr/bin/facter)安装的二进制文件，它抛出:/usr/lib/ruby/1.8/facter/uptime.rb:11:undefinedmethod`get_uptime'forFacter::Util::Uptime:Module(NoMethodError)from/usr/lib/ruby

  3. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  4. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  5. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  6. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  7. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  8. ruby-on-rails - 如何优雅地重启 thin + nginx？ - 2

    我的瘦服务器配置了nginx，我的ROR应用程序正在它们上运行。在我发布代码更新时运行thinrestart会给我的应用程序带来一些停机时间。我试图弄清楚如何优雅地重启正在运行的Thin实例，但找不到好的解决方案。有没有人能做到这一点？ 最佳答案 #Restartjustthethinserverdescribedbythatconfigsudothin-C/etc/thin/mysite.ymlrestartNginx将继续运行并代理请求。如果您将Nginx设置为使用多个上游服务器，例如server{listen80;server

  9. ruby-on-rails - form_for 中不在模型中的自定义字段 - 2

    我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢

  10. ruby - 主要 :Object when running build from sublime 的未定义方法 `require_relative' - 2

    我已经从我的命令行中获得了一切，所以我可以运行rubymyfile并且它可以正常工作。但是当我尝试从sublime中运行它时，我得到了undefinedmethod`require_relative'formain:Object有人知道我的sublime设置中缺少什么吗？我正在使用OSX并安装了rvm。 最佳答案 或者，您可以只使用“require”，它应该可以正常工作。我认为“require_relative”仅适用于ruby​​1.9+ 关于ruby-主要:Objectwhenrun

随机推荐