标签：c floating-point arduino type-conversion avr-gcc

我有一个关于使用Arduino IDE 1.8.2(gcc 4.9.2.)隐式转换uint8_t和uint16_t的问题.硬件是标准的Arduino(ATMega328p).

我使用uint8_t编写了一段代码,然后决定切换到uint16_t. (本来应该看到……)

但是,对于隐式转换,它们的行为似乎略有不同,导致程序出错.

最低工作示例如下：

void setup()
{
  uint8_t x = 15;
  uint8_t y = 5;
  float myF = y-x;

  Serial.begin(74880);
  Serial.println(myF);
}

这将在我的串行控制台上打印-10.00.
这很好,我的预期.

但是,如果我将x(或x和y)更改为uint16_t,结果将为65526.00！
如果我将myF从float更改为int,我再次得到-10. (我永远不会改变任何值)

当我将结果存储在有符号的数据类型中时,我假设编译器意识到负值的可能性并“正确处理情况”(保留符号,就像在int情况下那样)或者在它不是的情况下打印警告.对于不匹配的数据类型感到高兴.但是,即使警告级别设置为“全部”,它也从未显示警告.所以我假设编译器知道如何在不丢失符号/数据的情况下处理这种情况.

此外,因为它使用int作为目标数据类型,令我惊讶的是它不适用于更大的浮点数.

我已经在我的x86系统上测试了这种情况 – gcc 4.7.3保留了这个标志.但是,在AVR的8位微控制器世界中,可能适用不同的规则/条件. (？)

那么那里发生了什么？也许拥有更多编译器知识的人可以在这里帮忙..
(我知道我可以通过明确的施法避免这种情况,但因此我必须意识到这个陷阱.
所以我想知道究竟是什么导致它,因为当从uint8_t切换到uint16_t时真的很惊讶..)

我已经读过根据integer conversion rules“小于int的整数类型在对它们执行操作时被提升为int”.我假设avr-gcc遵循整数提升. (？)所以我理解实际计算通常在int上运行,然后转换为目标数据类型(在这种情况下为float).这里的问题是uint16_t是否与AVR的16位int相等但不小,因此无法提升uint16_t？如果是这样,为什么它使用int作为目标类型？

为什么它可以作为目标变量使用int,但不能使用4字节的浮点数？
为什么不警告？

解决方法:

So what is going on there?

整数促销

If an int can represent all values of the original type …, the value is converted to an int; otherwise, it is converted to an unsigned int. These are called the integer promotions.
C11 §6.3.1.1 2

使用下面的代码,y-x将每个x,y提升为int并计算5-15,即int -10,并将该值赋给mF.

  uint8_t x = 15;
  uint8_t y = 5;
  float myF = y-x;

使用下面的代码,y-x将每个x,y提升为无符号,并计算5u-15u,这是无符号的65526u,并将该值赋给mF.

  uint16_t x = 15;
  uint16_t y = 5;
  float myF = y-x;

为什么unsigned而不是int？在提升uint16_t时,uint16_t不符合16位int平台上的“如果int可以表示原始类型的所有值”条件.

没有神秘感,只是在具有16位int / unsigned的平台上进行整数提升

标签：c,floating-point,arduino,type-conversion,avr-gcc
来源： https://codeday.me/bug/20190828/1747088.html

本站声明： 1. iCode9 技术分享网（下文简称本站）提供的所有内容，仅供技术学习、探讨和分享；
2. 关于本站的所有留言、评论、转载及引用，纯属内容发起人的个人观点，与本站观点和立场无关；
3. 关于本站的所有言论和文字，纯属内容发起人的个人观点，与本站观点和立场无关；
4. 本站文章均是网友提供，不完全保证技术分享内容的完整性、准确性、时效性、风险性和版权归属；如您发现该文章侵犯了您的权益，可联系我们第一时间进行删除；
5. 本站为非盈利性的个人网站，所有内容不会用来进行牟利，也不会利用任何形式的广告来间接获益，纯粹是为了广大技术爱好者提供技术内容和技术思想的分享性交流网站。