Future.h

Go to the documentation of this file.

/*
* Copyright Onix Solutions Limited [OnixS]. All rights reserved.
*
* This software owned by Onix Solutions Limited [OnixS] and is protected by copyright law
* and international copyright treaties.
*
* Access to and use of the software is governed by the terms of the applicable OnixS Software
* Services Agreement (the Agreement) and Customer end user license agreements granting
* a non-assignable, non-transferable and non-exclusive license to use the software
* for it's own data processing purposes under the terms defined in the Agreement.
*
* Except as otherwise granted within the terms of the Agreement, copying or reproduction of any part
* of this source code or associated reference material to any other location for further reproduction
* or redistribution, and any amendments to this copyright notice, are expressly prohibited.
*
* Any reproduction or redistribution for sale or hiring of the Software not in accordance with
* the terms of the Agreement is a violation of copyright law.
*/
 
#pragma once
 
#include <OnixS/FIXEngine/ABI.h>
#include <OnixS/FIXEngine/Compiler.h>
#include <OnixS/FIXEngine/Threading/Definitions.h>
 
#ifdef ONIXS_FIXENGINE_CXX11
#include <exception>
#endif
 
namespace OnixS {
 
namespace System
{
    class FutureSharedState;
}
 
namespace Threading {

struct FutureStatus
{
    enum Enum
    {
        ready,
        timeout,
        deferred
    };
};
 
namespace Implementation {
 
class FutureHelper;
class PromiseBase;
 
// Implementation details.
class ValueBase
{
public:
 
    virtual ~ValueBase() ONIXS_FIXENGINE_DEFAULT;
    virtual ValueBase * clone() const = 0;
};

class FutureValue
{
public:
 
    FutureValue(ValueBase * value);
    FutureValue();
    FutureValue(const FutureValue & other);
    ~FutureValue();
 
    ValueBase * value() const { return value_; }
 
private:
 
    ValueBase * value_;
};

template<typename ValueType>
class Value : public ValueBase
{
    typedef Value<ValueType> Type;
 
public:
 
    static const ValueType & value(const ValueBase * value)
    {
        return static_cast<const Type*>(value)->value();
    }
 
    static ValueBase * create(const ValueType & value)
    {
        return new Type(value);
    }
 
    ValueBase * clone() const ONIXS_FIXENGINE_OVERRIDE
    {
        return create(value_);
    }
 
private:
 
    explicit Value(const ValueType & value) : value_(value) {}
 
    const ValueType & value() const { return value_; }
 
    const ValueType value_;
};

class FutureBase
{
public:
    bool valid() const ONIXS_FIXENGINE_NOTHROW
    {
        return state_ != ONIXS_FIXENGINE_NULLPTR;
    }

    ONIXS_FIXENGINE_API bool isReady() const;

    ONIXS_FIXENGINE_API bool hasValue() const;

    ONIXS_FIXENGINE_API bool hasException() const;
 
#ifdef ONIXS_FIXENGINE_CXX11

    ONIXS_FIXENGINE_API std::exception_ptr getExceptionPtr() const;
 
#endif
 
    enum { InfiniteTimeout = -1 };

    ONIXS_FIXENGINE_API FutureStatus::Enum wait(int timeoutInMs = InfiniteTimeout) const;
 
protected:
    FutureBase()
        : state_() {}
 
    ONIXS_FIXENGINE_API FutureBase(const FutureBase & other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API FutureBase & operator=(const FutureBase & other) ONIXS_FIXENGINE_NOTHROW;
 
#ifdef ONIXS_FIXENGINE_CXX11
 
    ONIXS_FIXENGINE_API FutureBase(FutureBase && other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API FutureBase & operator=(FutureBase && other) ONIXS_FIXENGINE_NOTHROW;
 
#endif
 
    struct moving_init_t {};

    ONIXS_FIXENGINE_API FutureBase(const System::FutureSharedState * state) ONIXS_FIXENGINE_NOTHROW;

    ONIXS_FIXENGINE_API FutureBase(const System::FutureSharedState * state, moving_init_t) ONIXS_FIXENGINE_NOTHROW;

    ONIXS_FIXENGINE_API  ~FutureBase() ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API void swap(FutureBase & other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API const FutureValue & getValue() const;
 
    ONIXS_FIXENGINE_API void getVoid() const;
 
private:
    const System::FutureSharedState * state_;
 
    friend class FutureHelper;
    friend class PromiseBase;
};
 
template<typename T>
struct FutureGetReturn
{
    typedef const T & Type;
};
 
template<>
struct FutureGetReturn<void>
{
    typedef void Type;
};
 
}

template <typename T>
class SharedFuture : public Implementation::FutureBase
{
public:
    SharedFuture() ONIXS_FIXENGINE_NOTHROW
        : FutureBase() {}

    SharedFuture(const SharedFuture<T> & other) ONIXS_FIXENGINE_NOTHROW
        : FutureBase(other) {}

    SharedFuture<T> & operator=(const SharedFuture<T> & other) ONIXS_FIXENGINE_NOTHROW
    {
        FutureBase::operator=(other);
        return *this;
    }
 
#ifdef ONIXS_FIXENGINE_CXX11
 
    SharedFuture(SharedFuture<T> && other) ONIXS_FIXENGINE_NOTHROW
        : FutureBase(std::move(other)) {}
 
    FutureBase & operator=(SharedFuture<T> && other) ONIXS_FIXENGINE_NOTHROW
    {
        FutureBase::operator=(std::move(other));
        return *this;
    }
 
#endif

    typename Implementation::FutureGetReturn<T>::Type get() const
    {
        return Implementation::Value<T>::value(getValue().value());
    }

    void swap(SharedFuture<T> & other) ONIXS_FIXENGINE_NOTHROW
    {
        FutureBase::swap(other);
    }
 
private:
    SharedFuture(const System::FutureSharedState * state)
        : FutureBase(state) {}

    SharedFuture(const System::FutureSharedState * state, moving_init_t t) ONIXS_FIXENGINE_NOTHROW
        : FutureBase(state, t) {}
 
    friend class Implementation::FutureHelper;
    friend class Implementation::PromiseBase;
};
 
template<>
inline void SharedFuture<void>::get() const
{
    getVoid();
}
 
namespace Implementation {

class PromiseBase
{
public:
    bool valid();
 
    ONIXS_FIXENGINE_API void setExceptionImpl();
 
protected:
    ONIXS_FIXENGINE_API PromiseBase() ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API PromiseBase(const PromiseBase & other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API PromiseBase & operator=(const PromiseBase & other) ONIXS_FIXENGINE_NOTHROW;
 
#ifdef ONIXS_FIXENGINE_CXX11
 
    ONIXS_FIXENGINE_API PromiseBase(PromiseBase && other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API PromiseBase & operator=(PromiseBase && other) ONIXS_FIXENGINE_NOTHROW;
 
#endif

    ONIXS_FIXENGINE_API ~PromiseBase() ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API void swap(PromiseBase & other) ONIXS_FIXENGINE_NOTHROW;
 
    ONIXS_FIXENGINE_API void setValue(ValueBase * value);
 
    ONIXS_FIXENGINE_API void setVoid();
 
 
    ONIXS_FIXENGINE_API SharedFuture<FutureValue> getFutureImpl() const;
 
    template<typename T>
    SharedFuture<T> getTypedFuture() const
    {
        return SharedFuture<T>(getFutureImpl().state_);
    }
 
private:

    struct Impl;
    Impl * impl_;
};
 
}

template <typename T>
class Promise : public Implementation::PromiseBase
{
public:
 
    Promise() ONIXS_FIXENGINE_NOTHROW
        : PromiseBase() {}

    Promise(const Promise<T> & other) ONIXS_FIXENGINE_NOTHROW
        : PromiseBase(other) {}

    Promise<T> & operator=(const Promise<T> & other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::operator=(other);
        return *this;
    }
 
#ifdef ONIXS_FIXENGINE_CXX11
 
    Promise(Promise<T> && other) ONIXS_FIXENGINE_NOTHROW
        : PromiseBase(std::move(other)) {}
 
    Promise & operator=(Promise<T> && other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::operator=(std::move(other));
        return *this;
    }
 
#endif

    void swap(Promise<T> & other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::swap(other);
    }
 
    SharedFuture<T> getFuture() const
    {
        return getTypedFuture<T>();
    }

    void set(const T & value)
    {
        setValue(Implementation::Value<T>::create(value));
    }

    template<typename ExceptionType>
    void setException(const ExceptionType & exception)
    {
        try
        {
            throw exception;
        }
        catch(...)
        {
            setExceptionImpl();
        }
    }
};
 
template<>
class Promise<void> : public Implementation::PromiseBase
{
public:
 
    Promise() ONIXS_FIXENGINE_NOTHROW
        : PromiseBase() {}

    Promise(const Promise<void> & other) ONIXS_FIXENGINE_NOTHROW
        : PromiseBase(other) {}

    Promise<void> & operator=(const Promise<void> & other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::operator=(other);
        return *this;
    }
 
#ifdef ONIXS_FIXENGINE_CXX11
 
    Promise(Promise<void> && other) ONIXS_FIXENGINE_NOTHROW
        : PromiseBase(std::move(other)) {}
 
    Promise & operator=(Promise<void> && other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::operator=(std::move(other));
        return *this;
    }
 
#endif

    void swap(Promise<void> & other) ONIXS_FIXENGINE_NOTHROW
    {
        PromiseBase::swap(other);
    }
 
    SharedFuture<void> getFuture() const
    {
        return getTypedFuture<void>();
    }

    void set()
    {
        setVoid();
    }

    template<typename ExceptionType>
    void setException(const ExceptionType & exception)
    {
        try
        {
            throw exception;
        }
        catch(...)
        {
            setExceptionImpl();
        }
    }
};
 
}
}