orange
さんがブースト
私は「OS によるプロセス実行を即座にやめさせろ」と言っているのではなく「汚染されたおそれのある実行文脈を破棄しろ」と言っているわけで、文脈が破棄されたあとメッセージを表示して終了するくらいの遺言は普通にあるべきだと思います
orange
さんがブースト
「ダメだった」と伝えたあとユーザに何も通常の操作を許さず終了するなら、実質クラッシュじゃないですか？
CLI プログラムのクラッシュだって abort 前にメッセージを表示しますよ
いや、無事だって主張してるんじゃなくアプリは終了せずに処理は中止して「ダメだった！＞＜」ってユーザーに伝えてるんだけど・・・＞＜
orange
さんがブースト
何が起きたかもわからないのに「俺は無事です」と主張するプログラム、普通に信用できないんですが……
それはよくわからないけど、GUIを持つアプリはGUIが全く操作不能になることだけは絶対に避けなければならない(最悪でもいかなるときにも終了ボタンは機能しなければならない)って発想で作ってた＞＜(GUIアプリをCとかで書くのが辺り前だった頃の古い本ならわりと近いことが書いてあったかも＞＜)
orange
さんがブースト
そういえば Win 9x でブルースクリーンから復帰できるやつを思い出した (もちろん復帰してもファイルの保存などはできない)
あれ復帰する意味あるか？？？？？
よくわからないけど、受けとることすら不可能だったら外側で例外が最終的なキャッチ(ポケモンキャッチ？)されて「なんだかよくわからないけどこの機能はダメっぽい＞＜ 出来る限りの終了処理はしてみた＞＜(その状況のデバッグ用データ)」みたいな感じになるかも＞＜
でもアプリは終了させない＞＜(実用的な処理はなにもしてないけど生きていてGUIは使用できる＞＜)
ように作るようにしてる＞＜
orange
さんがブースト
https://mstdn.nere9.help/@orange_in_space/105635631053077620
> 関門の向こうから受け取ったものが「ダメっぽい＞＜」となったら
これ「ダメっぽいデータが来ることを想定している」ので「想定」の範疇じゃないですか、想定していない状況の話ではないですよね……
想定していない状況というか、想定していない状況が起きるかもしれないので、関門の向こうから受け取ったものが「ダメっぽい＞＜」となったら「これこういう風にダメっぽい＞＜」ってデバッグ情報話して、「ダメっぽいので出来ない＞＜」ってエラーだす＞＜
でも、アプリは終了させない＞＜
そのために内部データ形式に「これぶっ壊れてるフラグ」をつけたり、壊れてるときにはアクセスしてはいけない部分にアクセスすると例外吐くようにしてる＞＜
で、扱う側はチェックしたり例外受け取って「この処理出来ないっぽい＞＜」ってなる＞＜
でもアプリは終了させない＞＜
orange
さんがブースト
想定していない状態が発生したということは、プログラムを書くときに開発者が置いた前提と実世界が食い違っていたということで、それって既に「間違った前提で書いたコードが見掛け上正しく動いてるだけ」ですよ
デバッグ実行してるから＞＜；
orange
さんがブースト
なんで既に仕様通りに動いていないプログラムを見て「や、でも終了処理とリソース解放だけはちゃんと行われているはずだ！」と信用できるんですか……
発狂してる部分とそこから影響受ける部分の機能は、ちゃんと機能せずに止まるかも＞＜
それと無関係の部分が生きてるだけで＞＜
orange
さんがブースト
「正常ですという顔をして裏では発狂していて、ユーザの想定しない悪行を為している」とか絶対許さないマンですよ私は！
いや、でも、終了処理はきちんと行われるし、メモリリークとかリソース解放の失敗とかは基本的に起きないよ？＞＜；
orange
さんがブースト
なんだよ根本から噛み合ってねえじゃねえか！！！w
orange
さんがブースト
それ、まさしく私が許したくない状態ですが……
文脈難しいけど、オレンジが書くアプリだとたまになる現象っぽい気がしなくもないかも？＞＜；
アプリ自体はクラッシュしないでエラーメッセージは出るけど、その後、アプリの実用上なにも出来ない状態になったり＞＜；
(アプリの正常終了とか、場合によってはファイルの保存だけ出来たり、逆に保存すら出来ないけど新たなファイルを読み込むと何事もなかったように正常動作するとか＞＜；)
orange
さんがブースト
で、「一部の (意味ある) 値の参照が許されなくなったけど続行してね！」というのは通常不可能なので、文脈そのものを破棄するというデフォルトは合理的でもあるわけです。
そうしないオプションが提供されているとしても、デフォルトでは文脈の破棄になるのは妥当。
- ＠orange_in_space
2017年 4月に登録
