scope_exit.h

Go to the documentation of this file.

// ---------------------------------------------------------------------
//
// Copyright (C) 2023 by the deal.II authors
//
// This file is part of the deal.II library.
//
// The deal.II library is free software; you can use it, redistribute
// it, and/or modify it under the terms of the GNU Lesser General
// Public License as published by the Free Software Foundation; either
// version 2.1 of the License, or (at your option) any later version.
// The full text of the license can be found in the file LICENSE.md at
// the top level directory of deal.II.
//
// ---------------------------------------------------------------------
 
#ifndef dealii_scope_exit_h
#define dealii_scope_exit_h
 
#include <deal.II/base/config.h>
 
#include <functional>
 
 
DEAL_II_NAMESPACE_OPEN
 
class ScopeExit
{
public:
  explicit ScopeExit(const std::function<void()> &exit_function);
 
  ScopeExit(const ScopeExit &) = delete;
 
  ~ScopeExit();
 
  ScopeExit &
  operator=(const ScopeExit &) = delete;
 
private:
  const std::function<void()> exit_function;
};
 
 
 
inline ScopeExit::ScopeExit(const std::function<void()> &exit_function)
  : exit_function(exit_function)
{}
 
 
 
inline ScopeExit::~ScopeExit()
{
  // Actually trigger the stored function
  exit_function();
}
 
 
DEAL_II_NAMESPACE_CLOSE
 
#endif