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/wrapper.hpp"
#include "lib/meta/util.hpp"
#include "lib/null-value.hpp"

#include <type_traits>
#include <exception>
#include <utility>



namespace lib {
  
  namespace error = lumiera::error;

  template<class FUN, typename...ARGS>
  inline auto
  failsafeInvoke (std::exception_ptr& capturedFailure
                 ,FUN&& callable
                 ,ARGS&& ...args)  noexcept
  {
    using Res = std::invoke_result_t<FUN,ARGS...>;
    try {
        capturedFailure = nullptr;
        if constexpr (std::is_void_v<Res>)
          std::invoke (std::forward<FUN>(callable), std::forward<ARGS>(args)...);
        else
          return std::invoke (std::forward<FUN>(callable), std::forward<ARGS>(args)...);
      }
    catch(...)
      {
        capturedFailure = std::current_exception();
        if constexpr (not std::is_void_v<Res>)
          return lib::NullValue<Res>::get();
      }
  }
  
  
  
  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_{}
        {
          failsafeInvoke (failure_
                         ,std::forward<FUN> (callable)
                         ,std::forward<ARGS>(args)...);
        }
      
      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_{failsafeInvoke (failure_
                                ,std::forward<FUN> (callable)
                                ,std::forward<ARGS>(args)...)}
        { }
      
      // 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