хорошая или плохая практика, чтобы сделать чистые виртуальные функции noexcept

Question

Хорошая или плохая практика делать чистые виртуальные функции noexcept? Я всегда думал, что мы не должны вводить дополнительное ограничение на его классы реализации, что их реализация не должна быть броском, поскольку это может привести к модификации в реализации и ненужным блокам catch try для предотвращения исключения. я думал, что реализация должна решить, может ли функция отмечена как noexcept, а не спецификация исключения должна решить реализацию?

Может кто-нибудь, пожалуйста, поправьте меня, если я ошибаюсь здесь?

Answer 1

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

Answer 2

noexcept является частью спецификации функции-члена, аналогично его возвращаемому типу, списку параметров и классификатору const. Он помогает пользователям функции - очевидно, за счет исполнителей функций.

Если вам нужно предоставить разработчикам больше гибкости, предоставляя пользователям функцию noexcept, создайте пару функций - не виртуальную публичную функцию с noexcept и защищенную виртуальную функцию без noexcept. Сделайте вызов общественной noexcept функции виртуальной реализацию и обработку исключений, чтобы скрыть их от своих абонентов:

class Base { 
protected: 
    virtual void doSomethingImpl() = 0; 
public: 
    void doSomething() noexcept { 
     try { 
      doSomethingImpl(); 
     } catch(...) { 
      // Provide some handling here 
     } 
    } 
}; 

class Derived : public Base { 
    void doSomethingImpl() { 
     ... // Implementers have flexibility to throw here 
    } 
}