StrongTypeDef.h

Go to the documentation of this file.

// (c) IMT - Information Management Technology AG, CH-9470 Buchs, www.imt.ch.
//
// ActiveParts (AP) and the corresponding Data Flow Framework (DFF) is invented and designed by Jakob Daescher.
// ANY USE OF THIS CODE CONSTITUTES ACCEPTANCE OF THE TERMS OF THE COPYRIGHT NOTICE.
// ===================================================================================================
// COPYRIGHT NOTICE
// ===================================================================================================
// Copyright (C) 2005-2075, IMT Information Management Technology AG, 9470 Buchs, Switzerland
// All rights reserved.
// This code is proprietary software of IMT Information Management Technology AG (hereinafter: "IMT").
// Proprietary software is computer software licensed under exclusive legal right of IMT.
//
// The licensee is given the irrevocable, perpetual, worldwide, non-exclusive right and license to use,
// execute and reproduce the software in binary form within the licensed products.
//
// Redistribution and use in source forms, without modification, are permitted provided that the following conditions are met:
// (1) Copying of source code must retain the above copyright notice, this list of conditions and the following disclaimer.
// (2) Copying of source code is only allowed for regulatory documentation and archiving purposes
// (3) Redistributions in binary form must reproduce the above copyright notice,
//     this list of conditions and the following disclaimer in the documentation and/or other materials provided with the distribution.
//
// IMT provide no reassurances that the source code provided does not infringe
// any patent, copyright, or any other intellectual property rights of third parties.
// IMT disclaim any liability to any recipient for claims brought against
// recipient by any third party for infringement of that parties intellectual property rights.
//
// THIS SOFTWARE IS PROVIDED BY IMT AND CONTRIBUTORS "AS IS" AND ANY EXPRESS OR IMPLIED WARRANTIES,
// INCLUDING, BUT NOT LIMITED TO, THE IMPLIED WARRANTIES OF MERCHANTABILITY AND FITNESS FOR A PARTICULAR PURPOSE ARE DISCLAIMED.
// IN NO EVENT SHALL IMT OR CONTRIBUTORS BE LIABLE FOR ANY DIRECT, INDIRECT, INCIDENTAL, SPECIAL, EXEMPLARY,
// OR CONSEQUENTIAL DAMAGES (INCLUDING, BUT NOT LIMITED TO, PROCURE-MENT OF SUBSTITUTE GOODS OR SERVICES;
// LOSS OF USE, DATA, OR PROFITS; OR BUSINESS INTERRUPTION) HOWEVER CAUSED AND ON ANY THEORY OF LIABILITY,
// WHETHER IN CONTRACT, STRICT LIABILITY, OR TORT (INCLUDING NEGLIGENCE OR OTHERWISE) ARISING
// IN ANY WAY OUT OF THE USE OF THIS SOFTWARE, EVEN IF ADVISED OF THE POSSIBILITY OF SUCH DAMAGE.
// ===================================================================================================
 
#ifndef IMT_BASE_CORE_UTIL_STRONGTYPEDEF_H
#define IMT_BASE_CORE_UTIL_STRONGTYPEDEF_H
 
#include <type_traits>
#include <utility>
 
namespace imt {
namespace base {
namespace core {
namespace util {
 
template<class T, template<class> class CrtpType>
struct CrtpHelper {
    T& underlying() noexcept {
        return static_cast<T&>(*this);
    }
 
    T const& underlying() const noexcept {
        return static_cast<T const&>(*this);
    }
};
 
template<class T>
struct Ignore1 {
};
 
template<class T>
struct Ignore2 {
};
 
template<class T>
struct Ignore3 {
};
 
template<class T>
struct Ignore4 {
};
 
template<class T>
struct Ignore5 {
};
 
template<class T>
struct Ignore6 {
};
 
template<class T>
struct Ignore7 {
};
 
template<class T>
struct Ignore8 {
};
 
template<class T>
struct Ignore9 {
};
 
template<class T>
struct Ignore10 {
};
 
template<class T>
struct EqualityComparable : CrtpHelper<T, EqualityComparable> {
    bool operator==(T const& other) const {
        return other.get() == this->underlying().get();
    }
    bool operator!=(T const& other) const {
        return !(*this == other);
    }
};
 
template<class T>
struct LessThanComparable : CrtpHelper<T, LessThanComparable> {
    bool operator<(T const& other) const {
        return this->underlying().get() < other.get();
    }
    bool operator>(T const& other) const {
        return other.get() < this->underlying().get();
    }
    bool operator<=(T const& other) const {
        return !(other.get() < this->underlying().get());
    }
    bool operator>=(T const& other) const {
        return !(*this < other);
    }
};
 
template<class T>
struct TotallyOrdered
    : EqualityComparable<T>,
      LessThanComparable<T> {
};
 
template<class T>
struct Addable : CrtpHelper<T, Addable> {
    T operator+(T const& other) const {
        return T(this->underlying().get() + other.get());
    }
    T& operator+=(T const& other) {
        this->underlying().get() += other.get();
        return this->underlying();
    }
};
 
template<class T>
struct Subtractable : CrtpHelper<T, Subtractable> {
    T operator-(T const& other) const {
        return T(this->underlying().get() - other.get());
    }
    T& operator-=(T const& other) {
        this->underlying().get() -= other.get();
        return this->underlying();
    }
};
 
template<class T>
struct Additive
    : Addable<T>,
      Subtractable<T> {
};
 
template<class T>
struct Multipliable : CrtpHelper<T, Multipliable> {
    T operator*(T const& other) const {
        return T(this->underlying().get() * other.get());
    }
};
 
template<class T>
struct Dividable : CrtpHelper<T, Dividable> {
    T operator/(T const& other) const {
        return T(this->underlying().get() / other.get());
    }
};
 
template<class T>
struct Multiplicative
    : Multipliable<T>,
      Dividable<T> {
};
 
template<class T>
struct Arithmetic
    : Additive<T>,
      Multiplicative<T> {
};
 
template<class T>
struct Incrementable : CrtpHelper<T, Incrementable> {
    T& operator++() {
        ++(this->underlying().get());
        return this->underlying();
    }
    T operator++(int) {
        T temp(this->underlying());
        ++(this->underlying().get());
        return temp;
    }
};
 
template<class T>
struct Decrementable : CrtpHelper<T, Decrementable> {
    T& operator--() {
        --(this->underlying().get());
        return this->underlying();
    }
    T operator--(int) {
        T temp(this->underlying());
        --(this->underlying().get());
        return temp;
    }
};
 
template<class T>
struct UnitStepable
    : Incrementable<T>,
      Decrementable<T> {
};
 
template<class T, class TagType, template<class> class Skill1 = Ignore1, template<class> class Skill2 = Ignore2, template<class> class Skill3 = Ignore3, template<class> class Skill4 = Ignore4, template<class> class Skill5 = Ignore5, template<class> class Skill6 = Ignore6, template<class> class Skill7 = Ignore7, template<class> class Skill8 = Ignore8, template<class> class Skill9 = Ignore9, template<class> class Skill10 = Ignore10>
class StrongTypedef
    : public Skill1<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill2<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill3<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill4<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill5<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill6<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill7<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill8<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill9<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>>,
      public Skill10<StrongTypedef<T, TagType, Skill1, Skill2, Skill3, Skill4, Skill5, Skill6, Skill7, Skill8, Skill9, Skill10>> {
public:
 
    constexpr StrongTypedef() noexcept(std::is_nothrow_default_constructible<T>::value) :
        m_value() {
    }
 
    explicit constexpr StrongTypedef(T const& value) noexcept(std::is_nothrow_copy_constructible<T>::value) :
        m_value(value) {
    }
 
    explicit constexpr StrongTypedef(T&& value) noexcept(std::is_nothrow_move_constructible<T>::value) :
        m_value(std::move(value)) {
    }
    T& get() noexcept {
        return m_value;
    }
    T const& get() const noexcept {
        return m_value;
    }
 
private:
 
    // instance value
    T m_value;
};
 
} // namespace util
} // namespace core
} // namespace base
} // namespace imt
 
#endif // IMT_BASE_CORE_UTIL_STRONGTYPEDEF_H