struct abc1 { int a, b, c; };
union abc2 { int a, b, c; };
struct abc3 { abc3() { } int a, b, c; }; // non-POD
union abc4 { abc4() { } int a, b, c; }; // non-POD
assert(offsetof(abc1, a) == 0); // always, because there's no padding before a.
assert(offsetof(abc1, b) == 4); // here, on my system
assert(offsetof(abc2, a) == offsetof(abc2, b)); // (members overlap)
assert(offsetof(abc3, c) == 8); // undefined behavior. GCC outputs warnings
assert(offsetof(abc4, a) == 0); // undefined behavior. GCC outputs warnings
4条答案
按热度按时间bfhwhh0e1#
它是GCC编译器提供的一个内置函数,用于实现C和C++标准指定的
offsetof
宏:GCC-抵销f
它返回POD结构体/联合体成员所在的偏移量(以字节为单位)。
样品:
@Jonathan提供了一个很好的例子来说明你可以在哪里使用它。我记得我见过它被用来实现侵入式列表(列表的数据项本身包括下一个和上一个指针),但我不记得它在哪里对实现它有帮助,很遗憾。
a1o7rhls2#
正如@litb指出和@JesperE所示,offsetof()提供了一个以字节为单位的整数偏移量(作为
size_t
值)。你什么时候用?
一种可能与此相关的情况是表驱动操作,用于从文件中阅读大量不同的配置参数,并将这些值填充到同样庞大的数据结构中。(并且忽略各种各样必要的实际实践,比如在头中定义结构类型),我的意思是一些参数可以是整数,而另一些参数可以是字符串,代码可能看起来有点像:
现在可以编写一个通用函数,从配置文件中读取行,丢弃注解行和空行,然后分离出参数名,并在
desc_configuration
表中查找(您可以对它进行排序,以便进行二进制搜索-多个SO问题可以解决这个问题)。当它找到正确的config_desc
记录时,它可以将它找到的值和config_desc
条目传递给两个例程之一一一个例程用于处理字符串,另一个例程用于处理整数。这些职能的关键部分是:
这样就不必为结构的每个单独成员编写单独的函数。
qyswt5oh3#
内置
__offsetof
操作符的目的是编译器供应商可以继续#定义offsetof()
宏,但让它与定义一元operator&
的类一起工作。offsetof()
的典型C宏定义仅在(&lvalue)
返回右值的地址时才起作用。p3rjfoxz4#
正如@litb所说:返回结构体/类成员的偏移量。在C++中,有时候它是未定义的,以防编译器抱怨。IIRC,实现它的一种方法(至少在C中)是
但我肯定这里面有问题,但我会留给感兴趣的读者来指出...