XC8中的不匹配比较

Question

当定义EUSART_BUFFER_SIZE与uint8_t类型的变量eusart_rx_buffer_rd进行比较时，不匹配的比较。但是，如果变量的类型更改为uint16_t，则警告将消失。为什么？

#define EUSART_BUFFER_SIZE 256
uint8_t eusart_rx_buffer_rd = 0;            

if (eusart_rx_buffer_rd >= EUSART_BUFFER_SIZE)                 
 {
     eusart_rx_buffer_rd = 0;
 }

Answer 1

文字常量256的隐式类型是int，因此您将int与uint8_t进行比较。

比较本身会导致对int的隐式提升，但无论如何都是假的，因为256个不能由uint8_t表示。

目前还不清楚合适的解决方案是什么，但是如果uint8_t变量的所有值都是有效的，那么测试就没有意义，而对更大类型的简单更改实际上可能会通过允许分配无效的值来引入bug。