C++で暗黙のビット単位の比較が行われないのはなぜですか？

Question

#include <iostream> 
using namespace std; 

struct S { 
    int m_i; 
}; 

int main() { 
    S s1; 
    // okay - implicit copy constructor 
    S s2(s1); 

    S s3; 
    // okay - implicit copy assignment 
    s3 = s1; 

    // awkward 
    if(s1 == s2) 
     cout << "can't be" << endl; 

    return 0; 
} 

このピースは予想通りにはコンパイルされません。このデザイン決定の年齢と（おそらく）それに依存するコードの量を考えると、私たちは永遠にそれに固執しています。それでも、誰もその背後にある最初の理由について勘違いをしていますか？

Answer 1

これは、初期化されていないため、任意の値を持つことができるパディングバイトのためです。例えば

次のようにSが定義されている場合、：

struct S { 
    char m_c; 
    int m_i; 
}; 

m_cとm_i間、s1とs2は、すべてのメンバーが同じ値であっても、等しくない比較することができパディングバイトが存在します。

もう1つの理由は、いくつかの型が同じ値に対して複数のオブジェクト表現を持つ可能性があるということです。

Answer 2

もしSがポインタを含んでいれば、Sの2つのインスタンスは同じ内容を持つかもしれませんが、ポインタは異なるメモリを指しているかもしれません（それらのメモリ位置のデータが同じであっても）。

あなたのスキームは完全な一般性では機能しません。