constructor_of.h

Go to the documentation of this file.

/*******************************************************************\
 
Module: constructor_of
 
Author: Diffblue Ltd.
 
\*******************************************************************/
 
#ifndef CPROVER_UTIL_CONSTRUCTOR_OF_H
#define CPROVER_UTIL_CONSTRUCTOR_OF_H
 
#include <utility>
 
template <typename constructedt>
class constructor_oft final
{
public:
  template <typename... argumentst>
  constructedt operator()(argumentst &&... arguments)
  {
    return constructedt{std::forward<argumentst>(arguments)...};
  }
  constructedt operator()(argumentst &&... arguments) {…}
};
class constructor_oft final {…};
 
template <typename constructedt>
constexpr constructor_oft<constructedt> constructor_of()
{
  return {};
}
constexpr constructor_oft<constructedt> constructor_of() {…}
 
#endif // CPROVER_UTIL_CONSTRUCTOR_OF_H