好的,所以我知道在技术上这是未定义的行为,但尽管如此,我已经在生产代码中看到了不止一次.如果我错了,请更正我,但我也听说有些人将这个“特征”用作现在C标准缺乏方面的一个合法的替代品,即无法获得地址(好的,偏移真的)一个成员函数.例如,这是普遍实现的PCRE(Perl兼容正则表达式)库:
#ifndef offsetof #define offsetof(p_type,field) ((size_t)&(((p_type *)0)->field)) #endif
人们可以辩论,在这样的情况下,这种语言的微妙利用是否有效,甚至是必要的,但是我也看过这样使用:
struct Result { void stat() { if(this) // do something... else // do something else... } }; // ...somewhere else in the code... ((Result*)0)->stat();
这工作很好!它通过测试存在此方法避免了空指针取消引用,并且不尝试访问else块中的类成员.只要这些守卫到位,这是合法的代码吧?所以问题仍然存在:有没有一个实际的用例,哪里可以从使用这样的结构中获益?我特别关心第二种情况,因为第一种情况是更多的语言限制的解决方法.还是吗
PS.对于C风格的演员,不幸的是,人们仍然喜欢可以输入较少的.