Как вызывается деструктор для временных объектов, возвращаемых функцией в C++?

Вы правы, этот код не работает. Он работает корректно, только если применяется оптимизация возвращаемого значения. Эта строка:

auto act1 = finally([&]{delete p;cout<<"Goodbye,cruel world\n"})

Может или не может вызывать конструктор копирования. Если это так, то у вас будет два объекта типа Final_action, и вы, таким образом, дважды вызовете эту лямбду.

Самое простое исправление

template<typename F> 
struct Final_action
{
  Final_action(F f): clean{std::move(f)} {}
  Final_action(const Final_action&) = delete;
  void operator=(const Final_action&) = delete;
  ~Final_action() { clean(); }
  F clean;
};

template<class F> 
Final_action<F> finally(F f)
{
  return { std::move(f) };
}

И использовать как

auto&& act1 = finally( [&]{delete p;cout<<"Goodbye,cruel world\n";} );

Использование инициализации списка копирования и ссылки на переадресацию с продлением срока службы позволяет избежать копирования/перемещения объекта Final_action. Copy-list-initialization создает временное возвращаемое значение Final_action напрямую, а временное значение, возвращаемое finally, продлевается за счет привязки к act1 — также без какого-либо копирования или перемещения.

Код сломан. Пересмотренный код, упомянутый Саймоном Кремером, также не работает — он не компилируется (оператор return в finally недопустим, поскольку Final_action нельзя ни копировать, ни перемещать). Создание Final_action только для перемещения с помощью сгенерированного конструктора перемещения также не работает, потому что F гарантированно имеет конструктор перемещения (если его нет, то сгенерированный конструктор перемещения Final_action будет молча использовать конструктор копирования F в качестве запасного варианта), а также не гарантируется F быть бездействующим после переезда. На самом деле лямбда из примера не превратится в неоперативную.

Существует относительно простое и портативное решение:

Добавьте флаг bool valid = true; к Final_action и перезапишите команду перемещения и назначение перемещения, чтобы снять флажок в исходном объекте. Вызывать clean() только если valid. Это предотвращает создание копии и назначение копии, поэтому их не нужно явно удалять. (Дополнительные баллы: поместите флаг в многократно используемую оболочку только для перемещения, чтобы вам не пришлось реализовывать команду перемещения и назначение перемещения Final_action. В этом случае вам также не нужны явные удаления.)

В качестве альтернативы удалите аргумент шаблона Final_action и измените его, чтобы вместо него использовалось std::function<void()>. Перед вызовом убедитесь, что clean не пусто. Добавьте c'tor перемещения и назначение перемещения, которое устанавливает исходный std::function на nullptr. (Да, это необходимо для переносимости. Перемещение std::function не гарантирует, что исходный код будет пуст.) Преимущество: обычные преимущества стирания типов, такие как возможность вернуть защиту области видимости в кадр внешнего стека без раскрытия F. Недостаток: может значительно увеличить время выполнения.

В моем текущем рабочем проекте я в основном объединил два подхода с ScopeGuard<F> и AnyScopeGuard, используя объект функции стирания типа. Первый использует boost::optional<F> и может быть преобразован во второй. В качестве дополнительного преимущества, позволяющего оставлять охранники области видимости пустыми, я также могу явно dismiss() их использовать. Это позволяет использовать защиту области действия для настройки откатной части транзакции, а затем отклонить ее при фиксации (с кодом без выбрасывания).

ОБНОВЛЕНИЕ: новый пример Страуструпа даже не компилируется. Я пропустил, что явное удаление c'tor копии также отключает создание c'tor перемещения.