C++: как использовать признаки типа для определения тривиальности класса?

В C++0x я хотел бы определить, является ли класс тривиальным/имеет стандартную компоновку, поэтому я могу использовать memcpy (), memset () и т. д...

как я должен реализовать код ниже, используя type_traits, чтобы я мог подтвердить, что тип тривиален?

template< typename T >
bool isTrivialType()
{
  bool isTrivial = ???
  return isTrivial;
}

Примечание: is_pod () слишком ограничен: я хотел бы, чтобы мой класс имел тривиальные конструкторы и т. д... ...для удобства.

добавлено: я думаю, std:: is_standard_layout может дать мне то, что я ищу. 1. Если я добавлю конструкторы, он по-прежнему возвращает true 2. Если я добавляю виртуальный метод, он возвращает false Это то, что мне нужно, чтобы определить, могу ли я использовать memcpy (), memset()

Edit: из объяснения Люка Дантона и ссылки ниже (уточнение):

struct N { // neither trivial nor standard-layout
   int i;
   int j;
    virtual ~N();
};

struct T { // trivial but not standard-layout
    int i;
private:
    int j;
};

struct SL { // standard-layout but not trivial
    int i;
    int j;
    ~SL();
};

struct POD { // both trivial and standard-layout
    int i;
    int j;
};

для memcpy (), чтобы быть счастливым:

// N -> false
// T -> true
// SL -> ??? (if there are pointer members in destructor, we are in trouble)
// POD -> true

таким образом, похоже, что is_trivial_class правильно: is_standard_layout не обязательно правильно...