Unwind-safe scope(failure)

Akso de la Malbono @Cryolite

http://t.co/yVSy6PeD ようやく要点を思い出した．これでグローバル変数消せる．寝る．

でちまるさん（実際かわいい） @decimalbloat

そういえばメンバ関数をtrailing-return-typeの形式で宣言したいけどその中でその他のメンバにアクセスしたいと考えた末に思いついたのが http://t.co/vWmtcxnQ

でちまるさん（実際かわいい） @decimalbloat

これもうちょっとカッコいい方法ある気がするんだけど思いつかない．あとそもそもこれ規格的には必要あるのかどうかも分かってない．

Akso de la Malbono @Cryolite

@decimalbloat 9.2/2 から trailing-return-type 内では PoD においては定義中のクラスは incomplete とみなされるので，たとえばやっているように dependent にして PoI まで解決を遅延する必要はあるかと．

でちまるさん（実際かわいい） @decimalbloat

@Cryolite ありがとうございます．

でちまるさん（実際かわいい） @decimalbloat

C++の闇鉱脈広すぎるし，多分まだ謎の資源いっぱい埋まってる．

でちまるさん（実際かわいい） @decimalbloat

さて，昨晩C(ryさんから提供していただいた闇資源をもとにSCOPE_EXITをいじるか…

Akso de la Malbono @Cryolite

@decimalbloat std::uncaught_exception 使えば良い気がしてきました．（いきなり振出しに戻る）

でちまるさん（実際かわいい） @decimalbloat

@Cryolite えっ

Akso de la Malbono @Cryolite

@decimalbloat いや，要するに dynamic scope に unwind のデストラクタがあったら rollback 黙らせればよいんですよね？

でちまるさん（実際かわいい） @decimalbloat

@Cryolite まぁ確かにそうですが…

Akso de la Malbono @Cryolite

@decimalbloat std::uncaught_exception 使えば判定できるじゃないですか！

でちまるさん（実際かわいい） @decimalbloat

@Cryolite はい．しかしそれだと何か問題的なものがあったから闇資源を採掘しようとしていたのでは

Akso de la Malbono @Cryolite

@decimalbloat はい！ std::uncaught_exception だけで判定すると問題があるので，まず std::uncaught_exception で判定するんですよ！

でちまるさん（実際かわいい） @decimalbloat

@Cryolite はい，ではあと何か判定に使えそうなものありました？

Akso de la Malbono @Cryolite

@decimalbloat はい！ std::uncaught_exception ですよ！

でちまるさん（実際かわいい） @decimalbloat

@Cryolite 何ちょっと言ってるか分かんない

Akso de la Malbono @Cryolite

@decimalbloat SG のデストラクタで std::uncaught_exception 使うと， SG が宣言されているスコープの途中で例外が飛んできたのか，そもそも SG が宣言されている関数が unwinding で呼ばれて正常終了したのか分からないのが問題で，

Akso de la Malbono @Cryolite

@decimalbloat しかし！！！ ここで SG の宣言文の位置で std::uncaught_exception を使うと……！！！

でちまるさん（実際かわいい） @decimalbloat

@Cryolite 宣言して初期化しようとしているまさにその瞬間に，既にuncaught_exceptionが真だったらそれはunwindingの途中！！！！！！

Akso de la Malbono @Cryolite

@decimalbloat That's right!!!!!

でちまるさん（実際かわいい） @decimalbloat

@Cryolite やりました！！！！！！ありがとうございます！！！！！！！！

Akso de la Malbono @Cryolite

@decimalbloat One more thing.

でちまるさん（実際かわいい） @decimalbloat

@Cryolite ？

Akso de la Malbono @Cryolite

@decimalbloat unwind 中であることを判定するための std::uncaught_exception の呼び出しは， lexical で最初のときだけ呼び出してその値を記録すれば十分です．「lexical で最初のときだけ呼び出してその値を記録」