Przesunięcie od wskaźnika członka bez tymczasowej instancji

Question

Chciałbym uzyskać przesunięcie standardowej zmiennej składowej układu, jeśli podano ją poinsem dla tej zmiennej. Nie mogę użyć offsetof, ponieważ mam wskaźnik, a nie nazwę. Obecny kod Mam coś takiego wygląda i zastanawiam się, czy istnieje zgodny z normami sposób, aby pozbyć się zmiennej dummy.

template<class T> 
struct { 
    ptrdiff_t get_offset(int (T::*mem)) 
    { 
    T dummy; 
    return reinterpret_cast<char*>(&(dummy.*mem)) 
     - reinterpret_cast<char*>(&dummy); 
    } 
}; 

Funkcja ta powinna być tylko wymagalne z int członkowskich zmiennych punktów (jest to celowe).

Jestem całkowicie pewien, że kompilator nie tworzy zmiennej dummy, ale nadal byłoby miło, gdybym mógł się jej pozbyć. Nie mogę użyć wskaźnika pustego, ponieważ dereferencja null nie jest zdefiniowana (chociaż prawdopodobnie działa na wszystkich typowych kompilatorach). Rozwiązanie C++ 03 byłoby dobre, lub rozwiązanie C++ 11 jest również interesujące (ale nie jest już użyteczne dla mnie).

UWAGA: Mam już świadomość, że jest to zgodne tylko ze standardami, T to standardowy typ układu.

Answer 1

Obawiam się, że nie istnieje żadne zgodne z normami rozwiązanie, które spełnia wymagania PO.

Mogę podać kilka niezgodnych z nimi.

template<class T> 
    size_t get_offset(int (T::*mem)) 
    { 
    return reinterpret_cast<char*>(&(((T*)nullptr)->*mem))-reinterpret_cast<char*>(nullptr); 
    } 

To zabawne, ale następujące prace w VC2010, wykorzystując offsetof bycia makro.

template<class T> 
    size_t get_offset(int (T::*mem)) 
    { 
    return offsetof(T, *mem); 
    } 

Answer 2

Jak o:

template<class T> 
struct { 
    ptrdiff_t get_offset(int (T::*mem)) 
    { 
    union { 
     int used; 
     T unused; 
    } dummy; 
    return reinterpret_cast<char*>(&(dummy.unused.*mem)) 
     - reinterpret_cast<char*>(&dummy.unused); 
    } 
}; 

Adres członka unii nie zależy na członie związkowej w trakcie budowy. Działa już w C++ 03, ale tylko dla POD.

Answer 3

Tak jak o:

template<class T> 
struct { 
    ptrdiff_t get_offset(int (T::*mem)) 
    { 
     return 
     (&reinterpret_cast<const char&>( 
      reinterpret_cast<const T*>(1)->*mem) 
      - reinterpret_cast<const char*>(1)  ); 
    } 
}; 

..?

Pozwala to uniknąć użycia zarówno pustej, jak i zerowej zerowej wartości. Działa na wszystkich kompilatorach, których próbowałem. Odsunięcie do odwołania do znaku, a następnie pobranie adresu (zamiast odebrania adresu, a następnie przeniesienia do wskaźnika) może wydawać się niezwykłe, ale pozwala uniknąć ostrzeżenia/błędu w niektórych kompilatorach.