Рассчитать смещения элементов структуры без создания экземпляра

Question

Как насчет этого кода, он стандартный? Я видел такой код в заголовке Visual C++, он может вычислять смещения некоторых членов структуры, но как это работает?

#include <iostream> 

struct Foo 
{ 
    int a; 
    int b; 
    int c; 
}; 


int main(int argc, char** argv)  
{ 
    int* i1 = (&((Foo*)0)->a); 
    int* i2 = (&((Foo*)0)->b); 
    int* i3 = (&((Foo*)0)->c); 

    std::cout << "i1 = " << i1 << "\ni2 = " << i2 << "\ni3 = " << i3 << "\n"; 
    return 0; 
} 

Results : i1 = 0, i2 = 4, i3 = 8 

Edit: Просто вспомнил, где я видел этот код раньше. Он находится в WinNT.h

#define FIELD_OFFSET(type, field) ((LONG)(LONG_PTR)&(((type *)0)->field)) 

Answer 1

Это довольно распространено, как макрос offsetof. Взгляните на http://en.cppreference.com/w/cpp/types/offsetof.

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