Смещение от указателя-члена без временного экземпляра

Question

Я хотел бы получить смещение стандартной переменной элемента компоновки, если она снабжена указателем на эту переменную. Я не могу использовать offsetof, так как у меня есть указатель, а не имя. Текущий код, который у меня есть, выглядит примерно так, и мне интересно, есть ли стандарт, совместимый с тем, чтобы избавиться от переменной dummy.

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

Эта функция должна быть вызываемым с переменными точками int только членов (это намеренно).

Я вполне уверен, что компилятор фактически не создает переменную dummy, но все равно было бы неплохо, если бы я мог избавиться от нее. Я не могу использовать нулевой указатель, так как разворот null не определен (хотя он, вероятно, работает на всех распространенных компиляторах). Решение C++ 03 было бы хорошо, или решение C++ 11 также представляет интерес (но не может использоваться мной сейчас).

ПРИМЕЧАНИЕ: Я уже знаю, что это только стандарты, совместимые с T, является стандартным типом макета.

Answer 1

Я боюсь, что не существует стандартного решения, удовлетворяющего требованиям OP.

Я могу дать пару несоответствующих.

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

Это забавно, но следующие работы в VC2010, используя offsetof быть макрос.

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

Answer 2

Как насчет:

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

Адрес члена союза не зависит от члена профсоюза строится. Работает уже на C++ 03, но только для POD.

Answer 3

Так как насчет:

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

..?

Это позволяет избежать использования фиктивного и разыменованного нуль. Он работает на всех компиляторах, которые я пробовал. Приведение к символьной ссылке, а затем принять адрес (а не взять адрес, а затем передать его в указатель на символ) может показаться необычным, но оно позволяет избежать предупреждения/ошибки некоторых компиляторов.