Наткнулся вот на такой метод:


Я в курсе про исключения, но когда оно возникает в теле функции, поэтому код выше ввел меня в ступор.
Объясните пожалуйста для чего там throw() ?

Это список исключений, которые может бросить метод. В данном случае список пуст, т.е. метод исключения бросать не может.

а в чем тогда суть?

Суть в том, что метод не может бросать исключения, и достаточно умный компилятор С++ может этим знанием воспользоваться при его вызове. Например не генерить каких то структур необходимых для обработке возможных исключений при вызове метода.

так, ладно. Пустой throw() говорит о том что метод исключений бросать не может, отсюда возможен профит в виде оптимизации бинарного кода.
Тогда возникают два вопроса:
1. Почему это оооочень редко встречается, ведь несложно это добавить к прототипу... хуже точно не будет (как inline) ?
2. Говоришь, что можно после throw() перечислить исключения. А тогда тут в чем смысл?

  Я думал это делается для того, чтобы он бил по рукам при попытке сделать throw внутри такого метода. 

Потому что компиляторы это поддерживают через пень-колоду. Смысл throw(...) в том, что в случае выброса исключения, которое не обозначено в списке, будет вызван установленный unexpected_handler. Как-то так.

Alexeis, звучит логичнее... что-то типа const - на бинарный код влияния никакого не оказывает, а вот программиста подстраховывает.

  Чем это поведение отличается от поведения по умолчанию? Если исключение есть в списке, то оно будет вызвано, если его нет, оно тоже будет вызвано, просто будет неожиданным для нижестоящей по стеку функции.

и как эта "неожиданность" отразится на ход программы, да и вообще что изменится если ты говоришь, что исключение в любом случае сработает несмотря на объявленный список?

Будет вызвана некоторая функция, которую ты установил через set_unexpected. По-умолчанию это terminate, которая завершает процесс. Ну и теоретически тебе позволяется обработать эту неожиданность и выбросить что-то более ожидаемое. Если ожидемое опять оказалось неожиданным, то неожиданное в определенных случаях заменяется на std::bad_exception. Короче попытка дать гарантии, что функция генерирует исключения именно те, которые у нее перечислены в throw().

В идеале компилятор должен бить по рукам при попытках бросить неописанное в списке исключение, а если оно вылетит, то вызывать unexpected handler, который можно установить самому, а так же оптимизировать код, если функция ничего не бросает... Но это в идеале, а в реальности у каждого компилятора это реализовано по своему, и проще вообще спецификацию исключений не писать... А в C++11 есть новое слово noexcept (или как-то так), которое говорит, что функция ну прям вообще 100% ничего не бросает...

  Это понятно, но если функцию не помечать как throw() , то поведение будет точь в точь. Точно также будет вызван обработчик unexpected handler и если там есть свой, то будет вызван свой. Почитал описание на сайте CplusPlus , там также не говориться ничего определенного на счет того как измениться поведение программы или компилятора.

Сейчас попробовал на gcc 4.7.1 - кастомный хэндрел не вызывается, если в сигнатуре throw отсутствует.