これは未定義の動作ですか、なぜですか？

Question

なぜこのコードが正しいのか理由を説明してください： 私の意見では、p1が先に参照解除されてからインクリメントされるため、++ * p1 = * p2 ++は未定義の動作をしています。

int main() 
{ 
    char a[] = "Hello"; 
    char b[] = "World"; 

    char* p1 = a; 
    char* p2 = b; 

    //*++p1 = *p2++; // is this OK? 
    ++*p1 = *p2++; // is this OK? Or this is UB? 

    std::cout << a << "\n" << b; 

    return 0; 
} 

Answer 1

最初はokです

*++p1 = *p2++ // p1++; *p1 = *p2; p2++; 

第二は、CとUBである++あなたはp1によって2回指さ（一度ので、一度ので、割り当ての増分の）と何のシーケンスはありませんされているもの変更しているので、 2つの副作用を分けるポイント。

C++ 0xルールでは、説明と理解が複雑で複雑になります。 2番目のような意図的な表現を書いたのなら、それはコードゴルフの競争ではないし、私のために働いているなら、あなた自身が解雇されたと考えてください（たとえそれがC++ 0xで合法であっても）。

C++ 0xで合法であるかどうかわかりません。わかりません。私はこのようにそれらを浪費するニューロンが少なすぎます。

Answer 2

どちらも未定義の動作です。さらに、の実装は、またはと定義されていません。です。

これらの2つの行は両方とも明確に定義されていますが、異なるものです。

*++p1 = *p2++; 

は

_T1* _p1 = ++p1; 
T2_* p2_ = p2++; 
*_p1 = *p2_; 

そして

++*p1 = *p2++; 

と同等です

T1& x = *p1; 
__T1_& y = ++x; 
T2_* p2_ = p2++; 
y = *p2_; 

どこ

に相当します

• T1&は

  はすなわち、すべてのT1/_T1/__T1_/T2_があり、

• __T1_&++(*p1)式の型があり、

• _T1*++p1式の型、
• T2_*p2++式の型があるがあり、*p1式のタイプでありますあなたの場合はcharです。あなたのケースでは（C++のネイティブ型用）++x以来

xへの戻り参照はxとyには同一の参照（すなわち*p1）です - しかし、オーバーロードでT1は、いくつかのカスタムタイプになる場合、それはケースではないかもしれませんoperator++()。

ADD：

が明らかに値をインクリメントし、それに割り当てることは全く無意味です。

はい、他の人のように、すでにこのような質問があるコードは書かれていません。読者にはっきりしていることを明確に書いてください。

ADD2：

係争のポイントを明確にするために、私は標準を引用します。

ISO/IEC 14882から2003 5.3.2：

1. 接頭語のオペランド++ 1を加えることによって修飾されている、またはそれが ブール値である場合（この使用は推奨されている）をtrueに設定します。オペランドは、変更可能な 左辺値でなければならない。オペランドの型は、完全に定義されたオブジェクト型へのポインタである算術型または でなければならない。値はオペランドの新しい の値です。それは左辺値です。 xがbool型でない場合、 式++ xはx + = 1と等価です。