问C++类/结构数据成员偏移量作为常量表达式

EN

虽然我无法理解您的编译器是什么，但以下代码可以由VC8、ideone(gcc-4.3.4)和Comeau online编译：

struct A { int i; };
template< size_t > struct S;

int main() {
  S< offsetof( A, i ) > *p;
}

Gcc有__offsetof__扩展。VC似乎有能力采取一个非编译时间常数的模板参数奇怪。至于Comeau，不幸的是，我对Comeau的offsetof内部一无所知。

顺便说一句，虽然这不会直接回答您的问题，但对于SFINAE而言，由于成员指针常量可以用作模板参数，您可以专门编写如下内容：

struct A {
  int i, j;
};

template< int A::* > struct S;
template<> struct S< &A::i > { static char const value = 'i'; };
template<> struct S< &A::j > { static char const value = 'j'; };

int main() {
  cout<< S< &A::i >::value <<endl;
  cout<< S< &A::j >::value <<endl;
}

希望这能有所帮助。

C标准库已经有了offsetof，它可以尝试这样做(但是您可以不用UB使用它)。不幸的是，将其应用于非POD类型仍然会导致未定义的行为，因此对于许多C++来说，它仍然是无用的。

首先，把分号放在宏中是个坏主意--它不能用于一个大表达式中。

其次，如果有专门为指针设计的非常好的类型(即stdint.h中提供的size_t和ssize_t )，那么使用size_t是个坏主意。当使用32位和64位架构时，这些类型尤其有用-- GCC对printf "%zu“进行了扩展，以使用正确的单词大小。

G++在编译时计算这一点，至少在-O2和-O3中是这样的。