【实战经验】C/C++右移高位补0还是1?

本文涉及的产品
服务治理 MSE Sentinel/OpenSergo,Agent数量 不受限
MSE Nacos 企业版免费试用,1600元额度,限量50份
任务调度 XXL-JOB 版免费试用,400 元额度,开发版规格
简介: 本文探讨了C/C++中右移运算时高位补0还是补1的问题。通过示例代码分析,揭示了右移规则:无符号类型高位补0;有符号类型根据正负决定(正数补0,负数补1)。文中列举了可能导致错误的场景,并提供了两种规避措施——使用无符号类型和掩码校正,确保结果符合预期。最后总结指出,右移运算虽常见,但若处理不当易引发隐晦Bug,需谨慎对待。

C/C++右移高位补0还是1?

场景列举

问题

  先抛出代码,如下输出的结果应该是什么?

int main()
{
   int16_t val1 = 0xF000;
   int16_t val2 = 0x7700;
   int16_t val3 = val1 >> 8 | val2;
   printf("val3 = %x", val3);
   return 0;
}

输出

  执行输出,正确结果如下,是否符合你的预期呢?

val3 = fffffff0

分析

  有经验的程序员一眼可能就会发现问题,并给出正确的答案。当然一定会存在给出0x77F0的答案,例如初次“踩坑”的作者寄几。

  为此特意回顾基础,请教了一下AI有关右移的规则:

Me: 魔镜啊魔镜,请告诉我C/C++ 教科书中右移时,空位补值规则
魔镜:哎呀,聪明的人类终于踩到坑了吧。让我来告诉你正确的规则,小笔记记起来,好吗!
  1. 无符号类型,高位补0。
  2. 有符号类型:
     若被移位数为正,高位补0。
     若被移位数为负,高位补1(算术右移)。
     
Me:  魔镜,你的话过多了,我有点生气。另外,告诉我左移补值规则!
魔镜: 好的,收回刚才的话,请不要放在心上。如下是左移规则:
    所有类型(无符号和有符号), 右边空出的位置总是补0。

  通过与AI的友好沟通,发现了其中的问题。右移并非总是补0,而是依据变量类型和正负值来决定的。

规避措施

  既然发现问题所在,就要在日常开发过程中规避,常见方式如下:

  • 总是使用无符号类型
    规则说明,无符号类型右移高位总是补0。
  • 使用掩码校正
    在右移后,通过掩码限定右移后的有效位范围,确保结果符合预期。
uint16_t mask = 0xFF;
 uint16_t shiftedVal = (val >> 8) & mask; // 确保只保留低8位

Bug修复

按照规避措施,修改问题代码:

  1. 总是使用无符号类型

修改

int main()
{
   uint16_t val1 = 0xF000;
   uint16_t val2 = 0x7700;
   uint16_t val3 = val1 >> 8 | val2;
   printf("val3 = %x", val3);
   return 0;
}

输出

val3 = 77f0
  1. 使用掩码校正

修改

int main()
{
   int16_t val1 = 0xF000;
   int16_t val2 = 0x7700;
   int16_t val3 = (val1 >> 8 & 0xFF) | val2;
   printf("val3 = %x", val3);
   return 0;
}

输出

val3 = 77f0

总结

  右移经常在日常开发用到,如果碰到有这种代码存在导致bug,排查起来也比较费劲。像这种类似的应该还有很多,只有撞上了才记忆深刻。

目录
打赏
0
69
71
17
104
分享
相关文章
|
11月前
|
C++
C++ 语言异常处理实战:在编程潮流中坚守稳定,开启代码可靠之旅
【8月更文挑战第22天】C++的异常处理机制是确保程序稳定的关键特性。它允许程序在遇到错误时优雅地响应而非直接崩溃。通过`throw`抛出异常,并用`catch`捕获处理,可使程序控制流跳转至错误处理代码。例如,在进行除法运算或文件读取时,若发生除数为零或文件无法打开等错误,则可通过抛出异常并在调用处捕获来妥善处理这些情况。恰当使用异常处理能显著提升程序的健壮性和维护性。
159 2
【实战指南】C++ lambda表达式使用总结
Lambda表达式是C++11引入的特性,简洁灵活,可作为匿名函数使用,支持捕获变量,提升代码可读性与开发效率。本文详解其基本用法与捕获机制。
|
21天前
|
【实战指南】 C/C++ 枚举转字符串实现
本文介绍了在C/C++中实现枚举转字符串的实用技巧,通过宏定义与统一管理枚举名,提升代码调试效率并减少维护错误。
70 10
【实战指南】4步实现C++插件化编程,轻松实现功能定制与扩展(2)
本文是《4步实现C++插件化编程》的延伸,重点介绍了新增的插件“热拔插”功能。通过`inotify`接口监控指定路径下的文件变动,结合`epoll`实现非阻塞监听,动态加载或卸载插件。核心设计包括`SprDirWatch`工具类封装`inotify`,以及`PluginManager`管理插件生命周期。验证部分展示了插件加载与卸载的日志及模块状态,确保功能稳定可靠。优化过程中解决了动态链接库句柄泄露问题,强调了采纳用户建议的重要性。
170 62
【实战指南】4步实现C++插件化编程,轻松实现功能定制与扩展(2)
c++实战篇(三) ——对socket通讯服务端与客户端的封装
c++实战篇(三) ——对socket通讯服务端与客户端的封装
320 0
告别头文件,编译效率提升 42%!C++ Modules 实战解析 | 干货推荐
本文中,阿里云智能集团开发工程师李泽政以 Alinux 为操作环境,讲解模块相比传统头文件有哪些优势,并通过若干个例子,学习如何组织一个 C++ 模块工程并使用模块封装第三方库或是改造现有的项目。
667 56
【实战经验】17个C++编程常见错误及其解决方案
想必不少程序员都有类似的经历:辛苦敲完项目代码,内心满是对作品品质的自信,然而当静态扫描工具登场时,却揭示出诸多隐藏的警告问题。为了让自己的编程之路更加顺畅,也为了持续精进技艺,我想借此机会汇总分享那些常被我们无意间忽视却又导致警告的编程小细节,以此作为对未来的自我警示和提升。
1101 76
【实战指南】4步实现C++插件化编程,轻松实现功能定制与扩展
本文介绍了如何通过四步实现C++插件化编程,实现功能定制与扩展。主要内容包括引言、概述、需求分析、设计方案、详细设计、验证和总结。通过动态加载功能模块,实现软件的高度灵活性和可扩展性,支持快速定制和市场变化响应。具体步骤涉及配置文件构建、模块编译、动态库入口实现和主程序加载。验证部分展示了模块加载成功的日志和配置信息。总结中强调了插件化编程的优势及其在多个方面的应用。
1002 135
🚀Android NDK开发实战!Java与C++混合编程,打造极致性能体验!📊
在Android应用开发中,追求卓越性能是不变的主题。本文介绍如何利用Android NDK(Native Development Kit)结合Java与C++进行混合编程,提升应用性能。从环境搭建到JNI接口设计,再到实战示例,全面展示NDK的优势与应用技巧,助你打造高性能应用。通过具体案例,如计算斐波那契数列,详细讲解Java与C++的协作流程,帮助开发者掌握NDK开发精髓,实现高效计算与硬件交互。
334 1
AI助理

你好,我是AI助理

可以解答问题、推荐解决方案等