Как уничтожить локальные переменные, если исключения, сгенерированные функцией, могут быть неперехвачены?

Когда функция генерирует ошибку, когда исключение не обработано, раскрутка стека вряд ли сработает, поэтому деструкторы локальных переменных не будут вызываться. Например, следующий код выводит только «созданные» (и сообщения об ошибках) под g ++ 7.1.0:

#include <iostream>
using namespace std;

struct A {
A() { cerr << "created\n"; }
~A() { cerr << "destroyed\n"; }
};

void f() {
A a;
throw 0;
}

int main() {
f();
}

Это может привести к утечке памяти при сбое, если A выделяет память, и будет ли она освобождена, зависит от ОС.

Возможное решение, которое я нахожу, это f() в блоке try-catch функции:

void f() try {
A a;
throw 0;
} catch (...) {
throw;
}

Таким образом, деструктор a всегда называется. Тем не менее, я не нахожу это удовлетворительным, потому что нужно написать пустое предложение catch, а это не так просто.

Итак, что из следующего следует считать правильным, или если есть лучшая практика (особенно при реализации функции в библиотеке)?

1. Оберните каждую потенциально-вызывающую функцию блоком try-catch, упомянутым выше;
2. Притворяться, что вызывающие абоненты этой функции всегда ловят исключение;
3. Поскольку необработанное исключение вызывает сбой, мне не нужно уничтожать локальные переменные.