2016-12-26

誤り:paizaの問題はC++17でも成り立つ

この記事は間違っていた。

この変更では、インクリメント演算子の副作用のコミット順序はまだ規定されていない。

paizaが以下のような質問を出している。

問題は、int i = 0 ;であるとき、以下の式を評価した結果が1になるのはどれかという問題だ。
  1. i++ + ++i
  2. ++i + ++i
  3. i++ + i++
  4. ++i + i++

C言語では、この式を評価した結果は未定義である。

C++14までは、この式を評価した結果は未定義である。

C++17では、サブ式の評価順序が固定されたことにより、この式は以下のように評価されることが規格上保証されている。

C++17でも未だに未定義。§1.10 p18に書かれている。

  1. 2
  2. 3
  3. 1
  4. 2

参考:

[PDF] P0145R3: Refining Expression Evaluation Order for Idiomatic C++

P0400R0: Wording for Order of Evaluation of Function Arguments

現在、Clang 4.0 headがP0145R3とP0400R0を正しく実装している。GCC 7 headはP0145R3の実装を謳っているが現時点ではバグのため、2番目の式の評価が4になるようだ。

ドワンゴ広告

ドワンゴは本物のC++プログラマーを募集しています。

採用情報|株式会社ドワンゴ

CC BY-ND 4.0: Creative Commons — Attribution-NoDerivatives 4.0 International — CC BY-ND 4.0

5 comments:

  1. isocpp.orgの最新のDraft(http://open-std.org/JTC1/SC22/WG21/docs/papers/2016/n4618.pdf)の12ページ下のExampleを見ると、

    i = i++ + i; // the behavior is undefined

    となっているので、C++17でも「i++ + ++i」のような式の評価値も、undefinedなのかなとと思ってたのですが、どうなんでしょう?

    ReplyDelete
  2. あれ・・・
    それを変更し忘れているのだろうか。

    ReplyDelete
  3. ご確認ありがとうございます。undefinedなのですね・・・。

    ReplyDelete

  4. Greetings! Very helpful advice in this particular post!
    It is the little changes which will make the largest changes. Thanks a lot for sharing!

    Click here to chceck my blog :: 오피

    (freaky)

    ReplyDelete
  5. ทางเข้า pg เกมสล็อต เล่นง่าย แตกง่าย การเล่นเกมออนไลน์ pg slot มีความนิยมและเป็นที่ต้องการของผู้คนในยุคปัจจุบัน โดยเฉพาะเกมสล็อตออนไลน์ที่เติบโตมากขึ้นเรื่อย ๆ

    ReplyDelete

You can use some HTML elements, such as <b>, <i>, <a>, also, some characters need to be entity referenced such as <, > and & Your comment may need to be confirmed by blog author. Your comment will be published under GFDL 1.3 or later license with no Invariant Sections, no Front-Cover Texts, and no Back-Cover Texts.