出问题的代码是这样子的:
#include <stdio.h>
#include <stddef.h>
struct TestStruct {
int array[13];
};
struct TempStruct {
int index;
};
int array_offset(struct TempStruct *index)
{
return offsetof(struct TestStruct, array[index->index]);
}
int main(int argc, char **argv)
{
struct TempStruct tmp = {3};
printf("Offset of array[3] is %d.\n", array_offset(&tmp));
}
这代码用gcc编译,稳定通过。然而如果换成用C++编译,报错如下:
test.c: 在函数‘int array_offset(TempStruct*)’中:
test.c:14:10: 错误: ‘index’不能出现在常量表达式中
test.c:14:10: 错误: ‘->’ cannot appear in a constant-expression
我在Debian CentOS 和 Ubuntu下面测试过gcc 4.4.5 4.4.7 和 4.6.3都有这个问题。然而同样的平台下用clang 3.4编译,都可以正常编译。
补充:本来我非常坚定得认为这是一个gcc的bug,都已经一怒之下去gcc的bugzilla上面留言抱怨了。但是现在我又有点儿动摇了,因为我不确定C++的标准里面是怎么写的,我看到一个网站上写的是:
The macro offsetof expands to a constant of typestd::size_t, the value of which is the offset, in bytes, from the beginning of an object of specified type to its specified member, including padding if any.
注意那个constant,如果这个宏要求被扩展成常量(编译时常量)的话,那这个宏的参数确实不能包含运行时数据(比如函数参数)。但是我不知道这句话是不是从C++的标准里面摘出来的(因为另外一个C++参考网站就没有提常量这事儿)。不过就算C++标准这么写了,我还是要说一句:尼玛搞得C和C++在这里不一样也太操蛋了吧!我挺Clang!
还有:抱怨一下儿让我涨这种知识的code,源自Lustre!我知道你在Kernel的世界里活得好好的,那里只有C编译器。但既然你提供了用户空间的头文件,那就照顾一下儿其它编译器的感受好不好,你丫int直接转enum,匿名union里面声明struct,调用offsetof(struct A, array_member[arg])等等行为直接秒杀了g++好不好?有木有?有木有!深刻理解了C和C++其实也没我想像中的那么亲!
补充2:gcc 4.8.1里面的g++是好的,它会接受上面这段代码,不报任何错误。所以这应该就是那些特定版本的gcc的bug。