Из чтения версии N3242 проекта С++ 11 видно, что некоторые компоненты интерфейсов стандартной библиотеки (в частности, многопоточность и блокировка) зависят от обработки исключений.
Поскольку я много работаю с отключенными исключениями, мне интересно, какие компоненты/функции библиотеки будут (практически или логически) непригодными для использования без включенной обработки исключений?
Прежде всего (как напоминание), отключение исключений и RTTI — это специфичные для компилятора расширения, которые Стандарт не рассматривает.
Поскольку стандартная библиотека обычно привязана к компилятору, может случиться так, что ваша реализация стандартной библиотеки была специально разработана, чтобы справляться с этим (и, в частности, справляться с при этом new возвращает нулевые указатели вместо повышения std::bad_alloc).
Поэтому то, о чем вы просите, бессмысленно. Полный список смотрите в документации вашей собственной библиотеки.
При этом Стандарт действительно гарантирует, что ряд операций никогда не будет генерировать ошибки. Я не знаю ни одной операции, которая проглатывает исключения, я полагаю, что большинство из них на самом деле безопасно использовать как есть.
Например, все алгоритмы должны быть безопасными.
Тем не менее, еще раз, я могу только порекомендовать прочитать документацию по вашей реализации.
new, чтобы избежать bad_alloc. nothrow_t — это встроенная форма, предоставляемая библиотекой, другие (включая определяемые пользователем распределители) могут быть определены пользователем посредством размещения new. для коллекций можно указать распределитель, который не выбрасывает: std::vector<double, my_nonthrowing_allocator<double> > и тогда интерфейс вектора в значительной степени пригоден для использования, если вы придерживаетесь правил. (продолжение)
- person justin; 13.09.2011
new (nothrow_t) существует, vector может его не использовать. Теперь я знаю, что некоторые библиотеки компилируются без исключений, например, LLVM/Clang. Однако они также переопределили большинство служебных классов.
- person Matthieu M.; 14.09.2011
Этому вопросу больше месяца, и он остался без ответа.
Я даю ответ, который можно считать вики сообщества, добавляйте к нему по мере необходимости.
std::thread Раздел 30.2.2. переходный. Абстракция реализована с использованием нативных реализаций.
std::mutex, std::recursive_mutex, std::timed_mutex, std::recursive_timed_mutex. Раздел 30.4.1, непереходный, если вы указываете собственную блокировку без исключений (через BasicLockable, Lockable, TimedLockable). Абстракция реализована с использованием нативных реализаций.
std::condition_variable Раздел 30.5. переходный. Абстракция реализована с использованием нативных реализаций.
примечание: будет больше.
std::vector.at(size_t), по сравнению с потоками и блокировками программы/среды. реализовав библиотеки потоков и блокировок, я могу сказать вам, что вы можете легко и предсказуемо защитить себя от первого. (продолжение) - person justin schedule 13.09.2011