论坛徽章:: 0

电梯直达

1楼 [收藏(0)] [报告]

发表于 2006-06-21 10:27 |只看该作者 |倒序浏览

看代码看到

#define typecheck(type,x) \
({ type __dummy; \
typeof(x) __dummy2; \
(void)(&__dummy == &__dummy2); \
1; \
})

#define time_after(a,b) \
(typecheck(unsigned long, a) && \
typecheck(unsigned long, b) && \
((long)(b) - (long)(a) < 0))

这里typecheck作用是什么？

文库|博客

lenovo

荣誉版主

论坛徽章:: 1

2楼 [报告]

发表于 2006-06-21 10:38 |只看该作者

什么代码？开源的吗？

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

lisan

白手起家

论坛徽章:: 0

3楼 [报告]

发表于 2006-06-21 10:47 |只看该作者

linux kernel

实战分享：从技术角度谈机器学习入门| 【大话IT】RadonDB低门槛向MySQL集群下战书 | ChinaUnix打赏功能已上线！ | 新一代分布式关系型数据库RadonDB知多少？

lenovo

荣誉版主

论坛徽章:: 1

4楼 [报告]

发表于 2006-06-21 11:05 |只看该作者

我的理解是：
typecheck宏有两个参数，
第一个是一个类型，比如unsigned long，
第二个是一个变量，比如a。
它生成一个unsigned long类型的变量__dummy，
然后利用typeof生成和a同样类型的变量__dummy2，
比较__dummy和__dummy2的地址。
如果它们不是同样类型的指针比较，比如a不是unsigned long，
这时候编译器会有一个警告，让你注意到这个问题。