Использование offsetof для шаблонных классов

Из стандарта C ++:

Класс стандартного макета — это класс, который:

— не имеет нестатических членов данных типа нестандартного класса макета (или
массив таких типов) или ссылка,

— не имеет виртуальных функций (10.3) и виртуальных базовых классов (10.1),

— имеет одинаковый контроль доступа (пункт 11) для всех нестатических элементов данных,
— не имеет нестандартных макетов базовых классов,

— либо не имеет нестатических членов данных в наиболее производном классе и
не более одного базового класса с нестатическими членами данных или не имеет базы
классы с нестатическими членами данных, и

— не имеет базовых классов того же типа, что и первые нестатические данные
член

Макрос offsetof (тип, член-указатель) принимает ограниченный набор
аргументов типа в этом международном стандарте. Если тип не является
класс стандартного макета (раздел 9), результаты не определены

Учитывая эти заявления, есть ли безопасный способ использования offsetof для членов, которые зависят от параметров шаблона? Если нет, как я могу получить смещение члена в шаблонных классах? Что может быть небезопасно при использовании чего-то вроде:

//MS Visual Studio 2013 definition
#define offsetof(s,m)   (size_t)&reinterpret_cast<const volatile char&>((((s *)0)->m))

на нестандартных классах макета?

После образца, где не безопасно в соответствии со стандартом:

#include <cstddef>
#include <iostream>

template<typename T>
struct Test
{
int     a;
T       b;
};

struct NonStdLayout
{
virtual void f(){};
};

int main()
{
std::cout << offsetof(Test<int>, b) << std::endl;
std::cout << offsetof(Test<NonStdLayout>, b) << std::endl;
return 0;
}