++ член данных класса/структура C смещение, постоянное выражение

Question

Принимая смещение элемента данных так же просто, как это:

#define MEMBER_OFFSET(Type, Member) \ 
    ((unsigned long)(((char *)&((Type *)0)->Member) - (char *)0)); 

Я хочу, чтобы это константа времени компиляции (или черты использования типа). Например, чтобы использовать его для реализации решений на основе SFINAE с использованием смещений членов, используйте его статические утверждения и т. Д.

ОБНОВЛЕНИЕ: Вопрос в том, как сделать это выражением времени компиляции. Не работает ли он с типами POD, или есть стандартный макрос в библиотеке C и т. Д.

Answer 1

Хотя я не могу получить то, что ваш компилятор, следующий код может быть составлен VC8, ideone (GCC-4.3.4), и Комео онлайн:

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; 
} 

Надеюсь, что это поможет.

Answer 2

В стандартной библиотеке C уже есть offsetof, которая делает то, что пытается (но вы можете использовать его без UB). К сожалению, применение его к не-POD-типу по-прежнему дает неопределенное поведение, поэтому для большого количества C++ он по-прежнему бесполезен.

Answer 3

Во-первых, его плохая идея поставить точку с запятой в макрос - она ​​не может использоваться в большом выражении.

Во-вторых, его плохая идея использовать unsigned long, когда есть совершенно хорошие типы, специально предназначенные для указателей (а именно size_t и ssize_t, предоставленные в stdint.h). Эти типы особенно полезны при использовании 32- и 64-разрядных архитектур - и GCC имеет расширение для printf,% zu, для использования правильного размера слова.

G ++ вычисляет это во время компиляции, по крайней мере, с -O2 и -O3 с типами POD