C++において、初期化子の値をチェックしNGであれば例外を送出しているがその例外をcatchできない

Question

以下のソースにおいて、メンバ変数grade_が1未満であった場合に、例外を送出し、Formクラスをインスタンス化しないようにしたいのですが、(おそらく)throwをcatchできず、

terminate called after throwing an instance of 'std::runtime_error'
  what():  Grade Error
[1]    780 abort (core dumped)  ./a.out

となってしまいます。
どのようにすれば、所望の動作ができるでしょうか。
よろしくお願いいたします。

[Form.hpp]

#ifndef FORM_HPP
# define FORM_HPP

# include <iostream>
# include <string>

class Form
{
public:
	Form(int grade);
	virtual ~Form();
	int	validateGrade(int grade) const;
private:
	Form();
	const int	grade_;
};

#endif

[Form.cpp]

#include "Form.hpp"

Form::Form() : grade_(1) {}

int		Form::validateGrade(int grade) const
{
	if (grade < 1)
	{
		throw std::runtime_error("Grade Error");
	}
	return (grade);
}

Form::Form(int grade)
try
 :  grade_(validateGrade(grade))
{
	std::cout << "Form Name constructor called" << std::endl;
}
catch (...)
{
	std::cout << "Form Name constructor call Failed" << std::endl;
}

Form::~Form()
{
	std::cout << "Form Destructor called" << std::endl;
}

[main.cpp]

#include "Form.hpp"

int main(void)
{
	Form* form001 = new Form(1);
	delete form001;

	Form* form002 = new Form(0);

	return 0;
}

Answer 1

...こんなのがお望みか?

// Form.cpp
#include "Form.hpp"

Form::Form() : grade_(1) {}

int        Form::validateGrade(int grade) const
{
    if (grade < 1)
    {
        throw std::runtime_error("Grade Error");
    }
    return (grade);
}

Form::Form(int grade)
try
 :  grade_(validateGrade(grade))
{
    std::cout << "Form Name constructor called" << std::endl;
}
catch (...)
{
    std::cout << "Form Name constructor call Failed" << std::endl;
    throw; // <------ [追加]
}

Form::~Form()
{
    std::cout << "Form Destructor called" << std::endl;
}

// main.cpp
#include <iostream>
#include <stdexcept>

#include "Form.hpp"

int main(void) try {
    Form* form001 = new Form(1);
    delete form001;

    Form* form002 = new Form(0);

    return 0;
} catch (std::exception& ex) {
  std::cerr << "exception caught in main: " << ex.what();
}

実行結果:

Form Name constructor called
Form Destructor called
Form Name constructor call Failed
exception caught in main: Grade Error   <--- mainでcatch できた♪

Comments

[ap2c9w]

回答ありがとうございます!

Form.cppに追加頂いた
throw; // <------ [追加]
がなくても、実行結果が同じになる…つまり、int Form::validateGrade(int grade) const{}で投げられたthrowが、Form::Form(int grade{}のcatchでも、int main(void) try {}のcatchでもcatchされることを確認しました。

Form::Form(int grade{}のcatchで、throwをcatchしているのに、int main(void) try {}のcatchがないと、terminate called after throwing an instance of 'std::runtime_error'となってしまう理由はわかりますでしょうか。

※自分は、throwされた例外がcatchされたら、そこでその例外は処理される…と思っていましたので、int main(void) try {}でcatchするには、回答頂いたように、Form::Form(int grade){}のcatchでもthrowが必要であると思っておりました。

[SaitoAtsushi]

コンストラクタの function try block は暗黙に例外を再送出します。 コンストラクタの中で例外が発生した場合にはそのオブジェクトは正しく構築できている保証がありません。 catch でなんとかして例外を外に見せないということは出来ません。

[episteme]

ん? 例外を握りつぶしたかったの?

[ap2c9w]

SaitoAtsushiさん

ありがとうございます。納得いたしました。
暗黙の動作に自分で気がつくことができませんでした。

epistemeさん

いえ、例外を握りつぶしたかったというわけではないです。
Form::validateGrade(int grade)でthrowした例外をForm::Form(int grade)のcatchでcatchしているはずなのに、なぜ、terminate called after throwing an instance of 'std::runtime_error'となるのかが知りたかったです。
SaitoAtsushiさんの回答より、コンストラクタの function try block は暗黙に例外を再送出するので、main()でもtry/catchが必要であることを理解いたしました。