看到
this question后,我的第一个想法是定义通用等价和关系运算符是微不足道的：
#include <cstring>
template<class T>
bool operator==(const T& a,const T& b) {
return std::memcmp(&a,&b,sizeof(T)) == 0;
}
template<class T>
bool operator<(const T& a,sizeof(T)) < 0;
}
使用命名空间std :: rel_ops将变得更加有用,因为它将被完全通用于运算符==和<的默认实现.显然,这不执行成员比较,而是一个按位的比较,就好像该类型只包含POD成员一样.这与C生成复制构造函数(例如,执行成员复制)的方式并不完全一致. 但是我不知道上述实现是否确实是安全的.这些结构自然地具有相同类型的包装,但是填充物的内容保证相同(例如,用零填充)？是否有任何理由或这种情况不起作用？
