Спецификация исключений

[Kn793]

Почему допустим такой код? В функции b() ведь явно указано что она не вызывает никаких исключений. Да и никаких unexpected()'ов с terminate()'ами не вызывается.

void a() throw(int) {
	throw 1;
}

void b() throw() {
	a();
}

void c() throw(int) {
	try {
		b();
	} catch(int b) {
		std::cerr << b << endl;
	}
}

int main() {
	c();
}

[Carbon]

Что "такой код"???

[Kn793]

Что "Что "такой код"???"?

[Somebody]

http://www.open-std.org/jtc1/sc22/op...ml#except.spec

Сообщение от Kn793

Почему допустим такой код?

Вот так оно...

An implementation shall not reject an expression merely because when
executed it throws or might throw an exception that the containing
function does not allow. [Example:
extern void f() throw(X, Y);

void g() throw(X)
{
f(); // OK
}
the call to f is well-formed even though when called, f might throw
exception Y that g does not allow. ]

Сообщение от Kn793

Да и никаких unexpected()'ов с terminate()'ами не вызывается.

Если поймать исключение, до unexpected дело не доходит.

Whenever an exception is thrown and the search for a handler
(_except.handle_) encounters the outermost block of a function with an
exception-specification, the function unexpected() is called
(_except.unexpected_) if the exception-specification does not allow
the exception.