Unwind-safe scope(failure)

Akso de la Malbono @Cryolite

結論として， std::uncaught_exception は std::size_t を返すべき．

Akso de la Malbono @Cryolite

@decimalbloat GCC ならもうこれでいーじゃーん．ぶーぶーぶー．

Akso de la Malbono @Cryolite

@decimalbloat ところで結局 scope(success) も scope(failure) もダメっぽいですね．

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

@Cryolite はい．commitするしかないですね．

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

std::size_t std::何個ught_exception() noexcept;

Akso de la Malbono @Cryolite

@decimalbloat std::uncaught_exception が bool じゃなくて std::size_t 返してくれれば良いんですが……． GCC 限定で，牛を監禁して「その時点で active な例外の数を得る」とか書かせることができないものか……．

Akso de la Malbono @Cryolite

@decimalbloat しかし commit めんどくさい……．複数同時に commit をする手法もいくつか考えましたけれど C++ の lexical scope のモデルと相性があまり良くなくて直観的にならない……．

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

@Cryolite スコープ単位なら，transaction { … } みたいな記法を強制することぐらいはできそうですが‥

Akso de la Malbono @Cryolite

@decimalbloat デストラクタで暗黙に発動するのがどうもユーザ視点から見ると直観的ではないように思うので，あえてユーザが明示的に発動するようにするのはどうかと思っているんですが http://t.co/TscBklT1

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

@Cryolite どうせ書くなら，明らかに書かないといけない（忘れるとコンパイルエラーになるのが理想）インターフェースにしてしまいたいところですね…

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

牛を捕まえてactiveな例外の数を数えさせる簡単なお仕事

Akso de la Malbono @Cryolite

@decimalbloat でも例外を投げる式というのはコンパイルエラー無しで書けてしまいますから，それは本質的に無理では……．

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

@Cryolite うーんその逆にreturnも同様に普通に書けてしまうので，何かしらの形でcommit/rollbackを強制させるというのはやはり無理そうですね…

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

あれ、いままで例外を検知する方法ばっかり考えてたけど、例外じゃなくてreturn検知すれば良くね？

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

returnおよびスコープ終端への到達を検知したらcommitフラグを自動的に立てる方法思いついたし，やってみよう

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

@kikairoya https://t.co/OpANqa8L

若年寄(もう若くない) @kikairoya

@decimalbloat @Cryolite http://t.co/RUensnpB

Akso de la Malbono @Cryolite

これでGCC限定でscope(failure)を完璧にエミュレートできる下準備がすべて整ったので、後は幽霊と実装競争である。（ただしかなり酔ってる上に私の実体はまだ近鉄奈良にある）

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

そういえばC(ryさんがscope(failure)の実装競争を宣言していたらしいのですが終わったのでしょうか

Akso de la Malbono @Cryolite

http://t.co/r2IhsMms ふむ．ふむ，っていうかこれ使って無限 unwind 再帰によってアクティブな例外で溢れさせるとどうなるんです？

Akso de la Malbono @Cryolite

@decimalbloat っていぅかぁ～，もう実際に書かなくても実装余裕なの明らかだしぃ～？

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

実装できるの分かって飽きた感があるコメント

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

http://t.co/6DExxfJh 飽きた