result.hpp

Go to the documentation of this file.

/*
  RESULT.hpp  -  intermediary token representing the result of an operation
 
   Copyright (C)
     2010,            Hermann Vosseler <Ichthyostega@web.de>
 
 **Lumiera** is free software; you can redistribute it and/or modify it
 under the terms of the GNU General Public License as published by the
 Free Software Foundation; either version 2 of the License, or (at your
 option) any later version. See the file COPYING for further details.
 
*/
 
 
#ifndef LIB_RESULT_H
#define LIB_RESULT_H
 
#include "lib/error.hpp"
#include "lib/item-wrapper.hpp"
#include "lib/meta/util.hpp"
 
#include <type_traits>
#include <exception>
#include <utility>
 
 
 
namespace lib {
  
  namespace error = lumiera::error;
  
  
  template<typename RES>
  class Result;
  
  
  template<>
  class Result<void>
    {
    protected:
      std::exception_ptr failure_;
      
    public:
      Result (bool success =false)
        : failure_{success? nullptr: std::make_exception_ptr (error::State{"operation failed"})}
        { }
      
      Result (lumiera::Error const& reason)
        : failure_{std::make_exception_ptr (reason)}
        { }
       
      template<class FUN, typename...ARGS,        typename=lib::meta::enable_if<std::is_invocable<FUN,ARGS...>>>
      Result (FUN&& callable, ARGS&& ...args)     noexcept
        : failure_{}
        {
          try {
              static_assert (std::is_invocable_v<FUN,ARGS...>);
              std::invoke (std::forward<FUN>(callable)
                          ,std::forward<ARGS>(args)...
                          );
            }
          catch(...)
            {
              failure_ = std::current_exception();
            }
        }
      
      explicit
      operator bool() const { return isValid(); }
      bool isValid()  const { return not failure_; }
      
      void
      maybeThrow()  const
        {
          if (failure_)
            std::rethrow_exception(failure_);
        }
    };
  
  
  template<typename RES>
  class Result
    : public Result<void>
    {
      wrapper::ItemWrapper<RES> value_;
      
    public:
      Result (lumiera::Error const& reason)
       : Result<void>{reason}
       { }
      
      template<                                     typename=lib::meta::disable_if<std::is_invocable<RES>>>
      Result (RES&& value)
       : Result<void>{true}
       , value_{std::forward<RES> (value)}
       { }
      
      template<class FUN, typename...ARGS,          typename=lib::meta::enable_if<std::is_invocable<FUN,ARGS...>>>
      Result (FUN&& callable, ARGS&& ...args)       noexcept
        : Result<void>{true}
        , value_{}
        {
          try {
              static_assert (std::is_invocable_r_v<RES,FUN,ARGS...>);
              value_ = std::invoke_r<RES> (std::forward<FUN>(callable)
                                          ,std::forward<ARGS>(args)...
                                          );
            }
          catch(...)
            {
              failure_ = std::current_exception();
            }
        }
      
      // is or is not copyable depending on RES
      
      
      operator RES()  const
        {
          maybeThrow();
          return *value_;
        }
      
      template<typename TY =RES>
      TY
      get()  const
        {
          maybeThrow();
          return static_cast<TY> (*value_);
        }
      
      template<typename O>
      RES
      value_or (O&& defaultVal)
        {
          return isValid()? *value_ : std::forward<O> (defaultVal);
        }
      
      template<typename MAKE, typename...ARGS>
      RES
      or_else (MAKE&& producer, ARGS ...args)
        {
          if (isValid())
            return *value_;
          else
            return std::invoke(std::forward<MAKE> (producer), std::forward<ARGS> (args)...);
        }
    };
  
  template<typename VAL,                             typename=lib::meta::disable_if<std::is_invocable<VAL>>>
  Result (VAL&&) -> Result<VAL>;
 
  template<typename FUN, typename...ARGS>
  Result (FUN&&, ARGS&&...) -> Result<std::invoke_result_t<FUN,ARGS...>>;
  
  
  
} // namespace lib
#endif