(void) (&_x == &_y) 作用

最新推荐文章于 2023-03-09 22:51:48 发布
转载 最新推荐文章于 2023-03-09 22:51:48 发布 · 896 阅读 · 0 ·
CC 4.0 BY-SA版权
原文链接：https://blog.youkuaiyun.com/haozhao_blog/article/details/26284909

本文深入解析了一种在GCC中使用的特殊C宏定义技巧，通过typeof关键字动态确定变量类型，并巧妙利用编译警告避免类型错误，适用于类型比较和最大值计算。

#define max(x,y) ({ \
typeof(x) _x = (x);    \
typeof(y) _y = (y);    \
(void) (&_x == &_y);    \
_x > _y ? _x : _y; })


typeof(x)的意思是取x的类型，这不是标准C里的，gcc支持，vc不支持


(void) (&_x == &_y);这句话本身从执行程序来讲完全是一句废话，它的作用在于，本身我们无法做这样的操作typeof(_x)==typeof(_y)，所以故意判断他们2个的地址指针是否相等，显然是不可能相等，但是如果_x和_y的类型不一样，其指针类型也会不一样，2个不一样的指针类型进行比较操作，会抛出一个编译警告。也就是说char *p; int *q; 然后p==q;，这个判断因为一个是char*一个是int*，会在编译时产生一个warning。巧妙就巧妙在这里。巧妙就巧妙在这里。通过void显式丢弃一个表达式的值，否则有些编译器会就此给出警告信息。

 

转自：https://blog.youkuaiyun.com/haozhao_blog/article/details/26284909

解决ROS报错(min.x ＜= max.x && min.y ＜= max.y && min.z ＜= max.z)
Electrical_IT的博客
08-31 3459
ROS - rviz 报错： rviz: OgreAxisAlignedBox.h:252：void Ogre::AxisAlignedBox::setExtents(const Ogre::Vector3&, const Ogre ::Vector3&): 假设(min.x <= max.x && min.y <= max.y && min.z <= max.z) && “The minimum corner of the
pwm调速流程图小车_51单片机智能小车《pwm调速按键控制小车动作》
weixin_29082143的博客
02-19 4754
//P1.0～P1.7分别对应小车1N1～1N8。#include //头文件#define uint unsigned int//宏定义#define uchar unsigned char#define left_moto_go {P1_0=1,P1_1=0,P1_2=1,P1_3=0;} //小车方位定义，左边两个电机正转(前进)#define l...
(void) (&_x == &_y)
天堂人间
12-18 5812
【整理】min()的宏定义中的(void) (&_x == &_y)的含义 转自： http://hi.baidu.com/serial_story/blog/item/b6fd81098b5b1b296a60fb4d.html 近日无意间发现，关于常见的min的宏定义，在Linux中是这样的： /* * min()/max()/clamp() macros that also do
(void)(&x==&y)
思索的IT脚印
05-19 2115
#define max(x,y) ({ \ typeof(x) _x = (x);    \ typeof(y) _y = (y);    \ (void) (&_x == &_y);    \ _x > _y ? _x : _y; }) typeof(x)的意思是取x的类型，这不是标准C里的，gcc支持，vc不支持 (void) (&_x == &_y);这句话本身从执行程序来讲
(void) (&_x == &_y)的作用
aiduan6474的博客
03-30 287
如果有下面这段代码： #define min(x, y) ({ \ const typeof(x) _x = (x); \ const typeof(y) _y = (y); \ (void) (&_x == &_y); \ _x < _y ? _x : _y; }) i...
void (&_x==&_y)
DALAN1942的博客
11-10 259
#define min(x, y) ({ \ typeof(x) _min1 = (x); \ typeof(y) _min2 = (y); \ (void) (&_min1 == &_min2); \ _min1 < _min2 ? ...
(void) (&_x == &_y);判断是否同一类型
qq_42275888的博客
07-10 332
#define max(x,y) ({ \ typeof(x) _x = (x); \ typeof(y) _y = (y); \ (void) (&_x == &_y); \ _x > _y ? _x : _y; }) typeof(x)的意思是取x的类型，这不是标准C里的，gcc支持，vc不支持 (void) (&_x == &_y)...
18、江科大stm32视频学习笔记——USART串口发送&串口发送和接收
weixin_45981798的博客
03-09 4405
USART串口发送&串口发送和接收
OLED自定义显示图像实验(基础-＞进阶)
超级霸霸强的博客
09-03 7512
目录 OLED显示实验(8080接口方式) OLED接口说明 读写流程简述 SSD1306 的 8080 并口读写时序解析 OLED显存的排列 OLED基本操作流程 OLED库函数使用说明 OLED库函数使用示例 写入字节操作函数——OLED_WR_Byte(u8 dat,u8 cmd) 画点操作函数——OLED_Fill(u8 x1,u8 y1,u8 x2,u8 y2,u8 dot) OLED的取模方式 矩形区域填充函数——OLED_Fill(u8 x1,u8 y1,u8 x.
VTM代码学习 01一 DATA STRUCTURES
小惊大怪的博客
04-25 1790
相较于上一代参考软件HM， z-index 类等函数叠加顺序上不优，TcomdataCU这个数据模型太模糊。等等细节问题。 加入了面向对象设计程序， 取消了z-index的使用，消除CTU->z-index的信号寻址。 TComDataCU 存储编码信息, 可能代表一个CU或CTU(包含多个CU),图像位置到编码信息的映射 TComTU 不包含实际数据，而是包装TComDataCU TComPicYuv 存储视频信号 ...
(void)(&x==&y)
weixin_33895016的博客
01-12 145
#define max(x,y) ({ \ typeof(x) _x = (x);    \ typeof(y) _y = (y);    \ (void) (&_x == &_y);    \ _x > _y ? _x : _y; }) typeof(x)的意思是取x的类型，这不是标准C里的，gcc支持，vc不支持 (void) (&_x =...
（void）（&_x == &_y）
jason的专栏
03-16 980
#define min(x, y) ({ \ const typeof(x) _x = (x); \ const typeof(y) -y = (y); \ (void) (&_x == &_y); \ _x < _y ? _x : _y; }) 这段代码是在阅读《Linux设备驱动开发详解》的时候看到的，自己查阅相关资料对其中几个点做一...
(void)(&x == &y)妙用
06-06 1884
<br />今天看代码时看到一个有趣的东东,就是linux内核也有min函数，但它的实现很是奇怪，先贴出来：<br />在linux/types.h中的程序如下：<br />view plaincopy to clipboardprint?<br />#ifndef _TYPES_H_  <br />#define _TYPES_H_  <br /> <br />#define ARRAY_SIZE(x) (sizeof(x) / sizeof((x)[0]))   <br />  <br />typede
【转】 从一个简单的宏定义看linux内核的严谨，窥C语言的强大(ZZ)
sanitizer的专栏
11-16 949
include/linux/kernel.h ------------------------------------------------------ /*  * min()/max() macros that also do  * strict type-checking.. See the  * "unnecessary" pointer comparison.  */ #d
偶遇(void)(&_x == &_y)
weixin_30929195的博客
10-28 134
在阅读linux内核代码时候，遇到如下宏定义： 1 #define min(x,y) ({ \2 typeof(x) _x = (x); \3 typeof(y) _y = (y); \4 (void) (&amp;_x == &amp;_y); \5 _x &lt; _...
#include &lt;stdio.h&gt; #define MIN(x, y) ({ \ typeof(x) _x = x; \ typeof(y) _y = y; \ (void)(&amp;_x==&amp;_y); \ _x &lt; _y ? _x : _y;\ }) int main(void) { float x, y; scanf(&quot;%f%f&quot;, &amp;x, &amp;y); printf(&quot;最小值: %f\n&quot;, MIN(x, y)); return 0; }
最新发布
05-24
### C语言中的MIN宏定义及其组成部分 #### MIN宏的整体结构 `MIN` 宏是一种通用的最小值计算工具，在C语言中通常用于比较两个值并返回较小的那个。为了实现这一功能，同时兼顾类型安全性和代码可读性，许多实现会引入 `typeof` 关键字和 `(void)(&amp;_x == &amp;_y)` 这样的表达式来增强安全性。 以下是常见的 `MIN` 宏定义形式： ```c #define min(x, y) ({ \ typeof(x) _x = (x); \ typeof(y) _y = (y); \ (void) (&amp;_x == &amp;_y); \ _x &lt; _y ? _x : _y; }) ``` --- #### `typeof` 关键字的作用 `typeof` 是一种扩展的关键字（并非标准C的一部分），主要用于获取某个表达式的类型，并将其作为新变量声明的基础。这使得我们可以动态地推导输入参数的类型，从而避免显式指定类型带来的麻烦[^3]。 具体来说： 1. 当 `x` 的类型为 `int` 时，`_x` 变量的数据类型也会被自动设置为 `int`。 2. 如果 `x` 是一个复杂的表达式（如 `3 - 4` 或其他运算结果），`_x` 的类型会被设定为该表达式的结果类型。 3. 对于函数调用的情况，例如 `function(int, int)`，`typeof(function(1, 2))` 将得到的是函数返回值的类型，而不是实际执行函数。 这种机制允许我们在不关心具体数据类型的情况下编写泛型代码，增强了代码的灵活性和重用性。 --- #### `(void)(&amp;_x == &amp;_y)` 的作用 `(void)(&amp;_x == &amp;_y)` 表达式的目的是进行严格的类型检查，防止潜在的误用或逻辑错误。其工作原理如下： 1. **地址取值操作**：`&amp;_x` 和 `&amp;_y` 分别表示 `_x` 和 `_y` 的内存地址。 2. **强制转换为空操作符**：虽然 `&amp;_x == &amp;_y` 实际上不会影响最终结果，但由于编译器会对未使用的表达式发出警告，因此通过 `(void)` 显式丢弃结果可以消除这些警告。 3. **类型一致性验证**：如果 `_x` 和 `_y` 类型不同，则它们的指针可能无法相等比较，此时编译器会产生错误提示，帮助开发者发现隐藏的问题[^5]。 这种方法不仅提高了代码的安全性，还减少了因隐式类型转换引发的风险。 --- #### 使用示例 以下是一个完整的例子，展示如何利用 `MIN` 宏完成数值比较任务： ```c #include &lt;stdio.h&gt; // MIN 宏定义 #define min(x, y) ({ \ typeof(x) _x = (x); \ typeof(y) _y = (y); \ (void) (&amp;_x == &amp;_y); \ _x &lt; _y ? _x : _y; }) int main() { int a = 10; double b = 5.5; printf(&quot;Minimum value is %f\n&quot;, min(a, b)); // 输出 5.5 return 0; } ``` 在这个例子中，尽管 `a` 和 `b` 的类型不同，但 `typeof` 自动处理了类型匹配问题，而 `(void)(&amp;_x == &amp;_y)` 则确保两者能够兼容比较。 --- ### 总结 - `MIN` 宏的核心在于使用 `typeof` 动态推断输入参数的类型，提供了一种灵活且强大的方式来实现跨类型的最小值计算[^3]。 - `(void)(&amp;_x == &amp;_y)` 提供额外的保护层，检测潜在的类型冲突，提升代码健壮性[^5]。 ---
评论
添加红包

请填写红包祝福语或标题

个

红包个数最小为10个

元

红包金额最低5元

当前余额3.43元 前往充值 >
需支付：10.00元
成就一亿技术人!
领取后你会自动成为博主和红包主的粉丝 规则
hope_wisdom
发出的红包
实付元
使用余额支付
点击重新获取
扫码支付
钱包余额 0

抵扣说明：

1.余额是钱包充值的虚拟货币，按照1:1的比例进行支付金额的抵扣。
2.余额无法直接购买下载，可以购买VIP、付费专栏及课程。

余额充值