std :: is_trivially_copyable要求

Question

c ++标准（以及多个SO answers）声明要符合is_trivially_copyable<T>的要求，类型T必须具有：

1. 默认析构函数
2. 没有虚拟功能，
3. 没有虚拟基类。

（这些不是唯一的要求，但问题仅针对这些问题）

有人可以解释为什么？我没有看到如何违反这3个中的任何一个使T对memcpy不安全。