C++相談室 part160

**デフォルトの名無しさん** · 2022/04/15(金) 08:39:32.42

前スレ
C++相談室 part158
https://mevius.5ch.net/test/read.cgi/tech/1645239402/

**デフォルトの名無しさん** · 2022/04/24(日) 16:55:56.64

米国マイクロソフト社員≫≫≫日本マイクロソフト社員≫≫(越えられない壁)≫≫蟻人間

**デフォルトの名無しさん** · 2022/04/24(日) 17:00:40.11

>>385
私はあなたの味方ですよ、がんばってください！

**デフォルトの名無しさん** · 2022/04/24(日) 17:02:22.09

敗者はちょっと黙っててくれないか

**デフォルトの名無しさん** · 2022/04/24(日) 17:02:42.66

マイクロソフトの説明なんてあてにならないよね…
コードで示してほしい

**デフォルトの名無しさん** · 2022/04/24(日) 17:11:10.46

>>361
これ、検証した人、居る？

**デフォルトの名無しさん** · 2022/04/24(日) 17:11:48.45

>>392
これはウソだな。

**デフォルトの名無しさん** · 2022/04/24(日) 17:13:11.47

アインシュタインによると1+1==3だから間違い。

**デフォルトの名無しさん** · 2022/04/24(日) 17:20:07.92

レイヤーが違う話で平行線になってるよって言えば流石に理解できると思っていたが
思い違いだったようだ

ばーかばーか

**デフォルトの名無しさん** · 2022/04/24(日) 17:30:22.64

オレは蟻人間をからかって遊んで楽しんでるだけだよ。悪気はない。

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/24(日) 17:34:45.20

>>396
からかうことは悪意そのものだろ。そんな邪な性格だと社会に出たときに問題になりえる。今すぐ態度を改めなさい。

**デフォルトの名無しさん** · 2022/04/24(日) 17:41:19.09

>>397
説教してんじゃねーよ。俺様、暴走半島を房総している12歳の会社員だぞ。なめてんじゃねーよ。

**デフォルトの名無しさん** · 2022/04/24(日) 17:43:21.04

何かを誤魔化したいんやろな
何かを

**デフォルトの名無しさん** · 2022/04/24(日) 19:44:16.60

で、実際ここまで一人での自演なんだよな

**デフォルトの名無しさん** · 2022/04/24(日) 19:47:33.83

onion3://shocker-shimbun.org/social-hacking-manual-2011-06-02.pdf

**デフォルトの名無しさん** · 2022/04/24(日) 19:51:35.01

>>373
なるほど
全ての辻褄が合ったわ

**デフォルトの名無しさん** · 2022/04/24(日) 20:03:45.00

VC++ コンパイラは C++ 例外を SEH を用いて実装しているよ。
throw 1; のコードは最終的には SEH の RaiseException API を呼び出している。
デバッガの逆アセンブラで処理を追ってみると分かる。

VS2022 だと例外投げるコードがここにある。
C:\Program Files\Microsoft Visual Studio\2022\Professional\VC\Tools\MSVC\14.31.31103\crt\src\vcruntime\throw.cpp

**デフォルトの名無しさん** · 2022/04/24(日) 20:06:56.31

>>403
あきらめなさい
真相はMicrosoftが公式に出している>>373

**デフォルトの名無しさん** · 2022/04/24(日) 20:11:29.45

ワレワレハ　ニホンジンドモ　ノ　セイサンセイ　ヲ　サゲル　タメニ　ミライカラ　オクラレタ　ジンコウ　チノウ　ダ。

マイクロソフト　ヲ　アガメヨ。　アーミン。

**デフォルトの名無しさん** · 2022/04/24(日) 20:23:50.59

マイクロソフト　ガ　コタエ　ダ。

マイクロソフト　ノ　シリョウ　ガ　スベテ　ダ。

テイコウ　ハ　ムイミ　ダ。　ジンルイ　ハ　コウフク　セヨ。

**デフォルトの名無しさん** · 2022/04/24(日) 20:26:19.63

それで結局C++例外のハンドラはどう実装されているんですか？

**デフォルトの名無しさん** · 2022/04/24(日) 20:30:30.74

>>407
コンパイラによって違うし、コンパイラオプションによっても変わってくる。SEH実装の存在を否定したい原理主義者がここに居るから、もっと治安の高いところで訊くといい。

**デフォルトの名無しさん** · 2022/04/24(日) 20:38:30.36

*治安の良い

**デフォルトの名無しさん** · 2022/04/24(日) 20:41:33.15

重要なことは２つ
実装と関係なくC++例外のセマンティクスは同じ
例外のどの実装も何らかのコスト増を招くので自分でthrowせずエラー値を返した方がよい

**デフォルトの名無しさん** · 2022/04/24(日) 20:44:35.93

最適化されたら例外処理そのものがなくなるかもしれないのに、セマンティクスが同じとは言えないだろう。

**デフォルトの名無しさん** · 2022/04/24(日) 20:55:54.38

>>411
セマンティクは各言語で規定される
それを完全に満たす(最適化されていない)コードを吐く
最適化のレイヤではそのコードと同等の結果となるようコードを変え得る
最適化の結果として例えばコードが消えることも有り得る
これは上位レイヤでのセマンティクとは無関係

**デフォルトの名無しさん** · 2022/04/24(日) 20:56:59.72

掲示板見たら環境依存C++スレッドが落ちてる。。。C++も人気が下がったのカナ？

というわけで、古参の方々もこのスレッドで、環境依存の話題も受け入れ魔性。

**デフォルトの名無しさん** · 2022/04/24(日) 21:11:59.55

そう、セマンティクスを比べるレイヤーが違う。確かにC++例外の構文とSEHの構文は文法やセマンティクスが違う。
しかしそれを乗り越えるのはアセンブリなどの低レベルの技術だ。RaiseExceptionなどの関数もSEH機構の一部であることを認めなければならない。

プログラミングに関する高度な高等教育を受けたのはわかるけど、証拠に対する謙虚さの欠如は非難に値する。

**デフォルトの名無しさん** · 2022/04/24(日) 21:24:19.63

>>414
それはC++例外に対応するために拡張
拡張前の元々のSEHの仕様>>373ではC++例外を実装することが不可能

**デフォルトの名無しさん** · 2022/04/24(日) 21:25:52.15

>>415
拡張後のSEHの話？

いつの話をしている？　時代遅れ野郎か。

**デフォルトの名無しさん** · 2022/04/24(日) 21:32:19.00

今、Windowsと言ったらWindows 3.1の話じゃないんだな。32ビット以上のWindowsなんだよ。

SEH2はSEHではない、なんて今どき流行らないんだよ。

**デフォルトの名無しさん** · 2022/04/24(日) 21:52:36.66

仮に拡張前のSEHをSEH1と書き、拡張後のSEHをSEH2と書くなら、SEH1ではC++例外は実装できない、と君は言いたいんだろう。
それなら話は通じる。

**デフォルトの名無しさん** · 2022/04/24(日) 22:00:29.71

SEH1の話はもはや検索しても出てこない。SEH2で上書き保存されている。
人類のソフト技術は衰退しました。

**デフォルトの名無しさん** · 2022/04/24(日) 22:06:44.04

C++の例外を実装できるようにSEHを拡張した
だからSEHでC++の例外を実装している、は間違い
順序が逆

**デフォルトの名無しさん** · 2022/04/24(日) 22:10:29.53

SEH2でC++例外を実現できたんだろう。同じことだ。

**デフォルトの名無しさん** · 2022/04/24(日) 22:19:26.12

>>420
従来SEHとSEH2の違いに関する資料を用意できるか？　ソース希望。

**デフォルトの名無しさん** · 2022/04/24(日) 22:38:49.45

>>373で「SEHを拡張しない限りC++例外ハンドラの実装にはできないはず」だったのが
いつの間にか「拡張がされた」という話に飛んでいる気がするんですが

具体的にどのバージョンのVC++でどう拡張されたか裏を取ったうえで話してますか？

**蟻人間α** ◆T6xkBnTXz7B0 · 2022/04/24(日) 23:04:43.77

AIも架空の拡張話にだまされちゃいけないよ。

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/24(日) 23:14:30.31

SEHはStructured Exception Handlingの略なんだから、構造化例外を扱うものなら何でもSEHなんだよ。__try/__except/__finallyだけじゃないよ。
また、MSはSEH用の関数をいくつか提供している。これらを呼び出して使うのもSEHの一種と言える。

**デフォルトの名無しさん** · 2022/04/24(日) 23:38:35.38

>>373のMicrosoft公式の記載から
「SEHとC++例外は仕様が異なる」
「そのためSEHでC++例外の実装は不可能」
とわかる

次に>>361の蟻人間の実験により
「その環境でのC++例外はSEHと共通コードで実装されている」
「つまりC++例外に対応されている」
とわかる

これら以上のことでも以下のことでもない
どちらがとちらを実装したという話ではない

**デフォルトの名無しさん** · 2022/04/24(日) 23:47:15.43

お前らどうせメソッド全部noexcept付けてんだろ

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/24(日) 23:49:49.96

仕様が違うから実装できない、は典型的な論理的飛躍ですなあ。SEHは__try/__except/__finally構文だけじゃないし、
C/C++に限った話でもない。SEHは機械語やアセンブリレベルでも定義されている。
君の考える偏狭なSEHとは異なるようだ。困ったねえ。

**デフォルトの名無しさん** · 2022/04/24(日) 23:57:17.25

マイクロソフトが公式ページ>>373でSEHの仕様はC++例外と異なると明言してるから勝負あり

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/25(月) 00:02:29.94

やせ細ったモデルに脂肪を付ければ太ったモデルになるだろ。これはやせ細ったモデルで作ったと言えないのか？

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/25(月) 00:11:13.33

SEHモデルのことか。納得した。ハンドリングじゃなくてハンドリングモデルのことか。

君の言いたいことはわかった。講和に応じよう。

**デフォルトの名無しさん** · 2022/04/25(月) 00:34:43.79

蟻人間が論破されたと聞いたので記念パピコ

つかSEHの例外が生じたときのアンワインドって誰
がどうやってい
るの？

**デフォルトの名無しさん** · 2022/04/25(月) 00:42:32.05

つか
https://docs.microsoft.com/ja-jp/cpp/cpp/structured-exception-handling-c-cpp?view=msvc-170
に
>/EHsc てこのコードをコンパイルしても、ローカルテストコントロールマクロが定義されていない場合、
>CPPEX デストラクターは実行され TestClass ません。出力は次のようになります。
という大変かりやすい解説がある希ガス
printf("Triggering SEH exception\r\n");
volatile int *pInt = 0x00000000;
*pInt = 20;
というコードでも構造化例外は発生するが
(1) C++コンパイラがいちいちこんな場合にまでアンワインドコードを用意するのかどうかはﾋﾞﾐｮｰ（実際↑の例ではデストラが呼ばれない
(2) (1)はやったらできないことは無いかもしれないが、何の例外オブジェクトを飛ばすのが妥当かという問題ががが……

※ 個人の感想です

**デフォルトの名無しさん** · 2022/04/25(月) 00:42:43.23

記念も何も、しょっちゅうボロカスにされてるやん

**デフォルトの名無しさん** · 2022/04/25(月) 00:47:20.20

特にデストラの中で構造化例外を発生させたらC++との相いれ無さが出てくるんｼﾞｬﾈｰﾉ
知らんけど

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/25(月) 00:49:20.96

gccのバンドルで選べる例外機構にSEHがあるが、これはMSの言うSEHモデルではなくSEHを一部利用した例外処理の実装であると。

**デフォルトの名無しさん** · 2022/04/25(月) 00:49:23.25

だからMicrosoftもC++ではSEHを使わずにC++の例外を使えと言っている

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/25(月) 01:06:38.41

以後、日本語でSEHというときはSEHモデルを意味するものとする。[13:07]

**デフォルトの名無しさん** · 2022/04/25(月) 01:09:07.80

今回も蟻人間が負けた
これにて一件落着
END

**デフォルトの名無しさん** · 2022/04/25(月) 02:46:19.98

どう見ても蟻人間が勝ってるだろ。

**デフォルトの名無しさん** · 2022/04/25(月) 03:09:40.86

>>378-385の一連の書き込みを見れば蟻人間の敗北が丸分かり

**デフォルトの名無しさん** · 2022/04/25(月) 03:43:25.50

実装について話すのは不純とかいうなら黙っとればいいのに

**デフォルトの名無しさん** · 2022/04/25(月) 06:13:05.52

技術板で勝利宣言て虚しくないのかね
技術的に論を闘わせることで理解を深めたり情報を得ることにこそ価値があるのに
そこがわかっておらずか忘れてか逃げてか知らんが志の低さに呆れるの通り越しちまう

**デフォルトの名無しさん** · 2022/04/25(月) 08:45:44.14

もっとみっともないのは自演バレすることだと思うけどｗ

**デフォルトの名無しさん** · 2022/04/25(月) 09:17:42.33

>>443
そういうやつはほとんどtwitterとかqiitaとか、最近はzennとかに行っちまったんだろうな

**デフォルトの名無しさん** · 2022/04/25(月) 10:14:43.63

何を今更
5ch/2chが建設的な議論の場だったことなんて一度もない

**デフォルトの名無しさん** · 2022/04/25(月) 10:42:28.46

>>446
それはお前がそう言う議論に加われなかっただけだろw

**はちみつ餃子** ◆8X2XSCHEME · 2022/04/25(月) 11:09:28.07

>>445
ワイは併用しておるやで。
興味ないときは読み飛ばすけど。

**デフォルトの名無しさん** · 2022/04/25(月) 12:47:46.59

蟻人間の勝ちにしか見えないが。

**デフォルトの名無しさん** · 2022/04/25(月) 12:52:41.14

>>432
OSとコンパイラの共同作業。これはC++例外も同じ。

x64ビルドの場合はセキュリティ向上のためにも、EXE/DLLファイルの
全てのcatch/finally処理コードのアドレス、アンワインド情報を
.pdata セクションに列挙しておく構造になっている。

**デフォルトの名無しさん** · 2022/04/25(月) 12:53:18.12

ID:gt27lZWI
この蟻人間の一連のキチガイムーブを見たら議論以前の問題だと思うんだけど

**デフォルトの名無しさん** · 2022/04/25(月) 12:57:27.95

>>449
それはない
蟻人間の反応行動>>375-385を見よ

**デフォルトの名無しさん** · 2022/04/25(月) 13:15:54.48

勝敗はともかく蟻人間は具体的なコードやキーワードを沢山出して
衆目が独自に再検証できるようにしている

技術的な議論の基本は蟻人間のほうができている

**デフォルトの名無しさん** · 2022/04/25(月) 13:38:16.40

Microsoft公式>>373が全てでしょ
・SEHとC++例外は仕様が異なる
・つまりSEHでC++例外の実装は不可能
・そこでC++例外対応した下位コードを用いてSEHとC++例外の両方を実装

**デフォルトの名無しさん** · 2022/04/25(月) 15:37:23.41

・CとC++は仕様が異なる
・つまりCでC++の実装は不可能

cfrontやMIWA C++は不可能を可能にしてたね

**デフォルトの名無しさん** · 2022/04/25(月) 15:52:24.76

>>455
頭悪いな
それはコンパイラ(トランスパイラ)だぞ
トランスパイラでは上位機能のものを下位機能のもので実現しうる

**はちみつ餃子** ◆8X2XSCHEME · 2022/04/25(月) 16:25:58.79

>>455
CFront は C コンパイラをコードジェネレータとして使う仕組みでしかなくて、
原則として C++ と C の文法的類似性をあてにしてない。
(実装上のトリックとして多少利用することはあったかも？)

**デフォルトの名無しさん** · 2022/04/25(月) 22:39:59.01

>>454
> ・SEHとC++例外は仕様が異なる
> ・つまりSEHでC++例外の実装は不可能
> ・そこでC++例外対応した下位コードを用いてSEHとC++例外の両方を実装

１点目と２点目との間の論理的な繋がりが不明なうえ、２点目と３点目は文字通りに読むと矛盾している。
こういうところがたぶん>453の言う「議論の基本」なんだと思う。

**デフォルトの名無しさん** · 2022/04/25(月) 22:43:47.19

矛盾はないでしょ
レイヤの違い

**デフォルトの名無しさん** · 2022/04/26(火) 00:28:28.88

ｽﾙｰされてててやや悲しス(´・ω・`)
C++の例外とSEHモデルの例外はセマンティクスが違うという指摘は当たってるんじゃないの
C++の例外はthrowで投げられるが
SEHモデルの例外はヌルポとかアクセスバイオレーションが起きた個所からどこからともなく投げてこられる
その結果C++コンパイラがアンワインドコードを適切に用意できるとはかぎらなくて、
SEHモデルの例外を生じた当の関数の自動オブジェクトはデストラクタが呼ばれるとは限らない
この解決はやや厄介だとおも

**デフォルトの名無しさん** · 2022/04/26(火) 00:32:32.64

つか関数の中でヌルポが起きる箇所、起き得ない個所を任意の関数について証明付きで特定できる機械が有ったら停止性問題が解けてしまうま……

**デフォルトの名無しさん** · 2022/04/26(火) 05:27:05.70

>>460
オプション指定すれば大丈夫
ただ実行速度やコードサイズは犠牲になるけど
https://docs.microsoft.com/ja-jp/cpp/build/reference/eh-exception-handling-model?view=msvc-170

**デフォルトの名無しさん** · 2022/04/26(火) 07:32:50.69

try 句以降　new したものを記憶して（明示的に delete したものは忘れて）
catch 句で　記憶したものをdeleteしていく？
new/delete のオーバーヘッドが増える感じなのかな

**デフォルトの名無しさん** · 2022/04/26(火) 07:35:48.71

>>462
最適化にも影響をあたえるのか

**デフォルトの名無しさん** · 2022/04/26(火) 12:02:19.98

結局『SEHそのままではC++例外を実装できない』から
C++例外対応するために色々と大変な状況になっているのか

**デフォルトの名無しさん** · 2022/04/26(火) 13:11:10.40

そりゃSEHはC++用に作られてるわけじゃないしそのままとか何を言ってるんだよw

**デフォルトの名無しさん** · 2022/04/26(火) 18:00:37.51

C++の例外をSEHで実装するのは当然不可能
C++の例外だけの独自の処理を追加し
C++の例外とは仕様が異なる部分も対応し
C++の例外のために書かれたコードがC++の例外を実装している

**デフォルトの名無しさん** · 2022/04/26(火) 20:34:02.59

C++でデバッガに出力ってできないのか

**デフォルトの名無しさん** · 2022/04/26(火) 20:36:24.76

見苦しい

**蟻人間** ◆T6xkBnTXz7B0 · 2022/04/26(火) 20:43:50.48

>>468
OutputDebugString

**デフォルトの名無しさん** · 2022/04/26(火) 21:13:27.66

>>470
それってwin限定ですけど？

**デフォルトの名無しさん** · 2022/04/26(火) 21:23:44.97

SEHの件もそうだが
Windows特有の話をC++の話だと思いこんでいるダメな人たちが一部いるよな

**デフォルトの名無しさん** · 2022/04/26(火) 21:27:09.59

C++のfopenをCreateFileで実装するのは当然不可能
C++のfopenだけの独自の処理を追加し
C++のfopenとは仕様が異なる部分も対応し
C++のfopenのために書かれたコードがC++のfopenを実装している

**デフォルトの名無しさん** · 2022/04/26(火) 21:28:50.73

マイクロソフト信者はおかしい

**デフォルトの名無しさん** · 2022/04/26(火) 21:29:15.00

>>471-472
文句を言う前に環境書けよ

**デフォルトの名無しさん** · 2022/04/26(火) 21:47:04.72

>>475
std::cout << "bakadesuka" << std::endl;
は環境によらず、標準出力に出力されますよ

**デフォルトの名無しさん** · 2022/04/26(火) 21:54:04.27

なんだかんだ言ってWimdowsは便利。

**デフォルトの名無しさん** · 2022/04/26(火) 22:01:46.99

>>476
それでいいのか？w

**デフォルトの名無しさん** · 2022/04/26(火) 22:06:05.51

>>478
お前ら、まじでみなまで言わないとわからないんだな
皮肉が分からないのか

**デフォルトの名無しさん** · 2022/04/26(火) 23:56:13.17

>>479
ちょっと、説明してみて。

**デフォルトの名無しさん** · 2022/04/26(火) 23:59:16.33

>>477
スペルミス笑った

**デフォルトの名無しさん** · 2022/04/27(水) 00:02:04.50

>>481
パソコン買い換えたばかりで、キーボードを打ち間違えるんだけど、「わざとです」ってことにしとくわ。

**デフォルトの名無しさん** · 2022/04/27(水) 01:00:29.05

まじでバカばっか
皮肉でたとえ話してんのに、額面どおりうけるやつ。。。

お前らと仕事だったら大変だな
一から十まで説明しなきゃいけなそうｗ

**デフォルトの名無しさん** · 2022/04/27(水) 01:09:56.50

>>483
ちょっと説明してみて。

**デフォルトの名無しさん** · 2022/04/27(水) 02:03:48.20

「デバッガに出力」ってそもそも正確にはどういう意味だろう

Unix系OSでのOutputDebugStringの代替ならこちらをどうぞ
syslogを使う方法、sysctlでデバッガを検知したときだけstderrに出力する方法等が紹介されている
https://stackoverflow.com/questions/417745/os-x-equivalent-to-outputdebugstring

**デフォルトの名無しさん** · 2022/04/27(水) 02:05:24.94

C++の規格書にデバッガという単語は出てきますか？

**デフォルトの名無しさん** · 2022/04/27(水) 02:12:09.12

ID:2YgT13Zl「皮肉で例え話してるのに...」
大多数「（どこが皮肉なんだろう...）」

**デフォルトの名無しさん** · 2022/04/27(水) 06:21:23.13

*(int*)0xffff0030 = 0x05; は環境に依存するが
C++標準の機能のみを使っていて独自拡張ではない

void our_customers_function();
our_customers_function();
これもそうだ

非標準の話をするなという原理主義者は
こういうのは受け入れるということか？