整数整数型と全く同じように動作するC++整数クラスを作成する

Question

私は数日前に見た、小さくてかわいらしい問題です。私の友人にインタビューで尋ねました。

最初のインタビューの質問は、「次のコードの出力はどうなりますか？」

int i = 2; 
i = i++ + i++; 

正解である（（2 + 2）+ 1）+ 1 = 6、即ちポストインクリメントを二回割り当て前に、しかし添加後に適用されます。

次に、オペレータが実行される正確な順序をログに記録するために、1つの整数とオーバーロード演算子+（）と演算子++（int）を持つ単純なクラスを作成したかったのです。

これは私が得たものである：

class A 
{ 
public: 
A(int _data) : data(_data) { } 

A &operator=(const A& _rhs) 
{ 
    data = _rhs.data; 
    cout<<" -- assign: "<<data<<endl; 
} 

A operator++(int _unused) 
{ 
    A _tmp = data; 
    data++; 

    cout<<" -- post-increment: "<<data<<endl; 
    return _tmp; 
} 

A operator+(const A &_rhs) 
{ 
    A _tmp = data + _rhs.data; 

    cout<<" -- addition: "<<data<<"+"<<_rhs.data<<endl; 
    return _tmp; 
} 

inline operator int() const { return data; } 

private: 
    int data; 
}; 

結果はかなり落胆した次のようなあまり洗練された構造物については、

-- post-increment: 3 
-- post-increment: 4 
-- addition: 3+2 
-- assign: 5 

（A _dt2 = A ++;）、それはそれが必要として動作しかし、演算子の実行順序は整数型と同じではありません。

それは私が推測する、コンパイラ固有の問題かもしれません：

$ gcc --version 
gcc (Ubuntu 4.4.3-4ubuntu5) 4.4.3 
Copyright (C) 2009 Free Software Foundation, Inc. 
This is free software; see the source for copying conditions. There is NO 
warranty; not even for MERCHANTABILITY or FITNESS FOR A PARTICULAR PURPOSE. 

だから、私は失われたビットよ:)

Answer 1

初期の面接の質問だった：「の出力がどうなりますか次のコード？

int i = 2; 
i = i++ + i++; 

あなたが間のシーケンスポイントなしで同じ変数を複数回変更しているので、正しい答えは、undefined behaviourです。

C++ 03標準§5 [expr] p4：

指摘し、個々の事業者や個々の表現の部分式のオペランドの評価のため、副作用が行われる順番は、指定されていない場合を除き。

これはあなたの本当の質問に答えることはできませんが、あなたが、整数のようなクラスを作成し、operator++(int)とoperator+(A const&)をオーバーロードしても同様であろう。関数への引数の評価の順序は指定されていません。コンパイラが好きな順番で実行することができます。結果は不定です。

Answer 2

実際、あなたはかなり早い段階でエラーが発生しました。

最初のインタビューの質問は、「次のコードの出力はどうなりますか？」

int i = 2; 
i = i++ + i++; 

この質問に対する正しい答えは、出力が定義されていない「です。「とりなしシーケンスポイントなしで変数を変更して読み取ることにより

、あなたは未定義の動作を起動されている。

---

具体的には、この場合にはどのようなお尻であなたを噛むことは順序がするためのパラメータということです+オペレータが評価不定されている;これは、いくつかの注目すべき例外すなわち、短絡論理演算子を用いて、オペレータおよび機能の両方の一般的な場合に真である

Answer 3

正解は（（2 + 2です。 ）+ 1）+ 1 = 6、すなわちポストincr割り当ては割り当ての前に2回適用されますが、追加後に適用されます。指摘し、個々の事業者や個々の表現の部分式のオペランドの評価のため、副作用が行われる順番は、指定されていない場合を除いて

：正しい答えではありません

。前のシーケンスポイントと次のシーケンスポイントの間では、スカラーオブジェクトは、最大でも1回の式の評価によってストアされた値を変更しなければならない。さらに、以前の値は、格納される値を決定するためにのみアクセスされるものとする。この段落の要件は、完全な 式の部分式の許容可能な順序ごとに満たされなければならない。それ以外の場合、動作は未定義です。 - 「整数整数型と全く同じ行動するC++整数クラスを作成します」 - 私が指している必要があり、単独であなたの質問のタイトルを取る： -
別に他の人がすでに指摘したものとISO-IEC-14882

Answer 4

全く別の理由があるのはなぜですか不可です。

はありませんショートカットの動作をエミュレートするには||および& &オペランドの両側、すなわちオペランドの両側にある演算子は、何が評価されても評価されます。

編集：のコメントをチェックしてください。 「私の知識には」十分ではないようです。しかし、Steve Jessopは、全体的なポイントを有効にする別の例を持っています。

これは完全にあなたの増分の質問に関係のない、しかし、あなたの質問のタイトルへの局所的であるので、私はそれが言及されるべきであると思いました。