try, throwで投げた値の型とcatchで受け取る型が整合しない場合の、Visudal Studioの挙動が分からない

Question

C++の初学者です。
Visual Studio 2017にて、VC++でコンパイルしています。

throwで整数を投げて、
catchでは、あえてdoubleしか受け取らないようにしています。

#include <iostream>

int main()
{
	std::cout << "Don't type 0.>";

	int input;
	std::cin >> input;

	try {
		throw input;
	}
	catch(double &i){
		std::cout << i;
	}
}

この場合、int型はcatchされないので、std::cout << i; は無視されると理解しているのですが、Visual Studio 2017でLocal Windows Debuggerで実行した際、図のように
"Unhandled exception at 0x74ED46D2 in section26.exe: Microsoft C++ exception: int at memory location 0x00B9FD00."
なるメッセージが表示されます。
なぜこのような挙動になるのか、プログラムに問題があるのかが分からず困っております。

ちなみに、プロジェクトをBuildして作成されるsection26.exeを直接実行すると、エラーは発生せず、
std::cout << i;
も実行されていないため、意図通り動作しているようではあります。

Answer 1

Unhandled exception

未処理の例外

catch されない例外（未処理の例外）が発生した場合は、規定のterminate functionが呼び出され処理が中断(abort)されます。
※以下公式ドキュメントですが日本語訳が機械翻訳なので原文読まれた方がわかりやすいと思います。
規定のterminate functionは、set_terminate() で独自の物に変更することが可能です。

(docs.microsoft.com)未処理の C++ 例外

現在の例外に一致するハンドラー (または省略記号ハンドラー) が見つからない場合は、 catch 定義済みの terminate ランタイム関数が呼び出されます。

---

補足追記です。

ちなみに、プロジェクトをBuildして作成されるsection26.exeを直接実行すると、エラーは発生せず、

std::cout << i;
も実行されていないため、意図通り動作しているようではあります。

正確には意図通り動作していません。
以下のように、try{}catch(){}の後に処理があった場合terminate function内でabortするため、その処理は行われません。

// ・・・略・・・
    try {
        throw input;
    }
    catch(double &i){
        std::cout << i;
    }

    std::cout << "Finish.";
}

Comments

[Y.H.]

再現出来る環境ないので憶測ですが、Unhandled exceptionになった場合、
プロセスの終了コードは3に設定されるのかな？

https://docs.microsoft.com/ja-jp/cpp/c-runtime-library/reference/abort
> Windows エラー報告ハンドラーが呼び出されていない場合、 abort は _exit を呼び出して終了コード3でプロセスを終了し、親プロセスまたはオペレーティングシステムに制御を戻します。
> _exit は、ストリームバッファーをフラッシュせず、atexit/_onexit 処理を行いません。

[saku26]

なるほど、terminate functionというものが実行されるのですね。大変勉強になりました。
参考書では、catchしたものしか実行しないという説明で、catchされない場合の説明がなかったのですが、これで理解できました。

Answer 2

間違っていないと思いますが……

Unhandled exception at 0x74ED46D2 in section26.exe: Microsoft C++ exception: int at memory location 0x00B9FD00.

[訳]
ハンドルされていない例外。

intで投げているため、捕捉されず、デフォルトのterminatorが起動しただけでは？

Answer 3

catchされない例外は例外メッセージがでます。
それがでてるだけなのでは。