Генерирование исключений, список throw()

[_-Re@l-_]

Как бы если мы делаем так:

std :: string func2(std :: string x) throw(std :: string)

то это значит, что мы разрешаем этой функции генерировать только std :: string исключения. Но почему данный код компилируется и работает?!

std :: string func2(std :: string x) throw(std :: string)
{
   if ( x.length() < 10 ) throw 0;
   else throw 1;
}

[Blade]

Сообщение от _-Re@l-_

Но почему данный код компилируется и работает?!

Компилируется потому что во время компиляции не известно какие исключения генерирует ваша функция на самом деле.

Что вы подразумеваете под словом "работает" я не знаю, но если функция генерирует исключение, которого нет в спецификации исключений, вызывается unexpected(), которая по-умолчанию вызывает terminate()

[_-Re@l-_]

Что вы подразумеваете под словом "работает" я не знаю, но если функция генерирует исключение, которого нет в спецификации исключений, вызывается unexpected(), которая по-умолчанию вызывает terminate()

Нет, неправда.. У меня стоит такой код

try
{
    t = func2(s);
}
catch(std :: string)
{ 
    std :: cout << "std :: string";
}
catch(...)
{
    std :: cout << "unknown";
}

И вот вылазит, как раз, unknown...

[Blade]

Сообщение от _-Re@l-_

Нет, неправда..

Где не правда? Стандарт в руки и вперед.

Сообщение от _-Re@l-_

У меня стоит такой код

конструкция catch(...), в вашем случаи, перехватывает любые исключения, кроме std::string. Т.к. unexpected() попадает в категорию "любые" - оно ловится

[_-Re@l-_]

Вы меня не поняли, Blade.
Я имею ввиду, почему в функции мы можем вбрасывать те исключения, которые мы не указали в списке throw().

[netrino]

А какой компилятор? MSVS игнорирует спецификацию исключений.

[Blade]

Сообщение от _-Re@l-_

Я имею ввиду, почему в функции мы можем вбрасывать те исключения, которые мы не указали в списке throw().

Еще раз. Компилятор ничего не знает о том, какие исключения мы генерируем в функции, поэтому на этапе компиляции все проходит нормально. В рантайме же, если функция пытается генерировать исключение, которого нет в спецификации, вызывается unexpected().
Так положено по стандарту. Как это реализовано в различных компиляторах я не знаю, ибо не пользуюсь спецификациями исключений. Вообще этот механизм весьма своеобразный, и им особо не пользуются. Разве что указанием пустого списка throw(), для функций, которые гарантированно не должны генерировать исключений (например для методов std::exception)