any.hpp

Go to the documentation of this file.

//
// Implementation of N4562 std::experimental::any (merged into C++17) for C++11 compilers.
//
// See also:
//   + http://en.cppreference.com/w/cpp/any
//   + http://en.cppreference.com/w/cpp/experimental/any
//   + http://www.open-std.org/jtc1/sc22/wg21/docs/papers/2015/n4562.html#any
//   + https://cplusplus.github.io/LWG/lwg-active.html#2509
//
//
// Copyright (c) 2016 Denilson das Merc�s Amorim
//
// Distributed under the Boost Software License, Version 1.0. (See accompanying
// file LICENSE_1_0.txt or copy at http://www.boost.org/LICENSE_1_0.txt)
//
#ifndef LINB_ANY_HPP
#define LINB_ANY_HPP
#pragma once
#include <typeinfo>
#include <type_traits>
#include <stdexcept>
 
namespace linb
{
class bad_any_cast : public std::bad_cast
{
  public:
    const char* what() const noexcept override
    {
        return "bad any cast";
    }
};
 
class any final
{
  public:
    any() : vtable(nullptr)
    {
    }
 
    any(const any& rhs) : vtable(rhs.vtable)
    {
        if (!rhs.empty())
        {
            rhs.vtable->copy(rhs.storage, this->storage);
        }
    }
 
    any(any&& rhs) noexcept : vtable(rhs.vtable)
    {
        if (!rhs.empty())
        {
            rhs.vtable->move(rhs.storage, this->storage);
            rhs.vtable = nullptr;
        }
    }
 
    ~any()
    {
        this->clear();
    }
 
    template <typename ValueType, typename = typename std::enable_if<!std::is_same<
                                      typename std::decay<ValueType>::type, any>::value>::type>
    any(ValueType&& value)
    {
        static_assert(std::is_copy_constructible<typename std::decay<ValueType>::type>::value,
                      "T shall satisfy the CopyConstructible requirements.");
        this->construct(std::forward<ValueType>(value));
    }
 
    any& operator=(const any& rhs)
    {
        any(rhs).swap(*this);
        return *this;
    }
 
    any& operator=(any&& rhs) noexcept
    {
        any(std::move(rhs)).swap(*this);
        return *this;
    }
 
    template <typename ValueType, typename = typename std::enable_if<!std::is_same<
                                      typename std::decay<ValueType>::type, any>::value>::type>
    any& operator=(ValueType&& value)
    {
        static_assert(std::is_copy_constructible<typename std::decay<ValueType>::type>::value,
                      "T shall satisfy the CopyConstructible requirements.");
        any(std::forward<ValueType>(value)).swap(*this);
        return *this;
    }
 
    void clear() noexcept
    {
        if (!empty())
        {
            this->vtable->destroy(storage);
            this->vtable = nullptr;
        }
    }
 
    bool empty() const noexcept
    {
        return this->vtable == nullptr;
    }
 
    const std::type_info& type() const noexcept
    {
        return empty() ? typeid(void) : this->vtable->type();
    }
 
    void swap(any& rhs) noexcept
    {
        if (this->vtable != rhs.vtable)
        {
            any tmp(std::move(rhs));
 
            // move from *this to rhs.
            rhs.vtable = this->vtable;
            if (this->vtable != nullptr)
            {
                this->vtable->move(this->storage, rhs.storage);
                //this->vtable = nullptr; -- uneeded, see below
            }
 
            // move from tmp (previously rhs) to *this.
            this->vtable = tmp.vtable;
            if (tmp.vtable != nullptr)
            {
                tmp.vtable->move(tmp.storage, this->storage);
                tmp.vtable = nullptr;
            }
        }
        else   // same types
        {
            if (this->vtable != nullptr)
                this->vtable->swap(this->storage, rhs.storage);
        }
    }
 
  private:   // Storage and Virtual Method Table
    union storage_union
    {
        using stack_storage_t =
            typename std::aligned_storage<2 * sizeof(void*), std::alignment_of<void*>::value>::type;
 
        void* dynamic;
        stack_storage_t stack;   // 2 words for e.g. shared_ptr
    };
 
    struct vtable_type
    {
        // Note: The caller is responssible for doing .vtable = nullptr after destructful operations
        // such as destroy() and/or move().
 
        const std::type_info& (*type)() noexcept;
 
        void (*destroy)(storage_union&) noexcept;
 
        void (*copy)(const storage_union& src, storage_union& dest);
 
        void (*move)(storage_union& src, storage_union& dest) noexcept;
 
        void (*swap)(storage_union& lhs, storage_union& rhs) noexcept;
    };
 
    template <typename T>
    struct vtable_dynamic
    {
        static const std::type_info& type() noexcept
        {
            return typeid(T);
        }
 
        static void destroy(storage_union& storage) noexcept
        {
            //assert(reinterpret_cast<T*>(storage.dynamic));
            delete reinterpret_cast<T*>(storage.dynamic);
        }
 
        static void copy(const storage_union& src, storage_union& dest)
        {
            dest.dynamic = new T(*reinterpret_cast<const T*>(src.dynamic));
        }
 
        static void move(storage_union& src, storage_union& dest) noexcept
        {
            dest.dynamic = src.dynamic;
            src.dynamic = nullptr;
        }
 
        static void swap(storage_union& lhs, storage_union& rhs) noexcept
        {
            // just exchage the storage pointers.
            std::swap(lhs.dynamic, rhs.dynamic);
        }
    };
 
    template <typename T>
    struct vtable_stack
    {
        static const std::type_info& type() noexcept
        {
            return typeid(T);
        }
 
        static void destroy(storage_union& storage) noexcept
        {
            reinterpret_cast<T*>(&storage.stack)->~T();
        }
 
        static void copy(const storage_union& src, storage_union& dest)
        {
            new (&dest.stack) T(reinterpret_cast<const T&>(src.stack));
        }
 
        static void move(storage_union& src, storage_union& dest) noexcept
        {
            // one of the conditions for using vtable_stack is a nothrow move constructor,
            // so this move constructor will never throw a exception.
            new (&dest.stack) T(std::move(reinterpret_cast<T&>(src.stack)));
            destroy(src);
        }
 
        static void swap(storage_union& lhs, storage_union& rhs) noexcept
        {
            storage_union tmp_storage;
            move(rhs, tmp_storage);
            move(lhs, rhs);
            move(tmp_storage, lhs);
        }
    };
 
    template <typename T>
    struct requires_allocation
      : std::integral_constant<
            bool,
            !(std::is_nothrow_move_constructible<T>::value   // N4562 �6.3/3 [any.class]
              && sizeof(T) <= sizeof(storage_union::stack) &&
              std::alignment_of<T>::value <=
                  std::alignment_of<storage_union::stack_storage_t>::value)>
    {
    };
 
    template <typename T>
    static vtable_type* vtable_for_type()
    {
        using VTableType = typename std::conditional<requires_allocation<T>::value,
                                                     vtable_dynamic<T>, vtable_stack<T>>::type;
        static vtable_type table = {
            VTableType::type, VTableType::destroy, VTableType::copy,
            VTableType::move, VTableType::swap,
        };
        return &table;
    }
 
  protected:
    template <typename T>
    friend const T* any_cast(const any* operand) noexcept;
    template <typename T>
    friend T* any_cast(any* operand) noexcept;
 
    bool is_typed(const std::type_info& t) const
    {
        return is_same(this->type(), t);
    }
 
    static bool is_same(const std::type_info& a, const std::type_info& b)
    {
#ifdef ANY_IMPL_FAST_TYPE_INFO_COMPARE
        return &a == &b;
#else
        return a == b;
#endif
    }
 
    template <typename T>
    const T* cast() const noexcept
    {
        return requires_allocation<typename std::decay<T>::type>::value ?
                   reinterpret_cast<const T*>(storage.dynamic) :
                   reinterpret_cast<const T*>(&storage.stack);
    }
 
    template <typename T>
    T* cast() noexcept
    {
        return requires_allocation<typename std::decay<T>::type>::value ?
                   reinterpret_cast<T*>(storage.dynamic) :
                   reinterpret_cast<T*>(&storage.stack);
    }
 
  private:
    storage_union storage;   // on offset(0) so no padding for align
    vtable_type* vtable;
 
    template <typename ValueType, typename T>
    typename std::enable_if<requires_allocation<T>::value>::type do_construct(ValueType&& value)
    {
        storage.dynamic = new T(std::forward<ValueType>(value));
    }
 
    template <typename ValueType, typename T>
    typename std::enable_if<!requires_allocation<T>::value>::type do_construct(ValueType&& value)
    {
        new (&storage.stack) T(std::forward<ValueType>(value));
    }
 
    template <typename ValueType>
    void construct(ValueType&& value)
    {
        using T = typename std::decay<ValueType>::type;
 
        this->vtable = vtable_for_type<T>();
 
        do_construct<ValueType, T>(std::forward<ValueType>(value));
    }
};
 
namespace detail
{
template <typename ValueType>
inline ValueType any_cast_move_if_true(typename std::remove_reference<ValueType>::type* p,
                                       std::true_type)
{
    return std::move(*p);
}
 
template <typename ValueType>
inline ValueType any_cast_move_if_true(typename std::remove_reference<ValueType>::type* p,
                                       std::false_type)
{
    return *p;
}
}
 
template <typename ValueType>
inline ValueType any_cast(const any& operand)
{
    auto p =
        any_cast<typename std::add_const<typename std::remove_reference<ValueType>::type>::type>(
            &operand);
    if (p == nullptr)
        throw bad_any_cast();
    return *p;
}
 
template <typename ValueType>
inline ValueType any_cast(any& operand)
{
    auto p = any_cast<typename std::remove_reference<ValueType>::type>(&operand);
    if (p == nullptr)
        throw bad_any_cast();
    return *p;
}
 
template <typename ValueType>
inline ValueType any_cast(any&& operand)
{
#ifdef ANY_IMPL_ANY_CAST_MOVEABLE
    // https://cplusplus.github.io/LWG/lwg-active.html#2509
    using can_move = std::integral_constant<bool, std::is_move_constructible<ValueType>::value &&
                                                      !std::is_lvalue_reference<ValueType>::value>;
#else
    using can_move = std::false_type;
#endif
 
    auto p = any_cast<typename std::remove_reference<ValueType>::type>(&operand);
    if (p == nullptr)
        throw bad_any_cast();
    return detail::any_cast_move_if_true<ValueType>(p, can_move());
}
 
template <typename T>
inline const T* any_cast(const any* operand) noexcept
{
    if (operand == nullptr || !operand->is_typed(typeid(T)))
        return nullptr;
    else
        return operand->cast<T>();
}
 
template <typename T>
inline T* any_cast(any* operand) noexcept
{
    if (operand == nullptr || !operand->is_typed(typeid(T)))
        return nullptr;
    else
        return operand->cast<T>();
}
}
 
namespace std
{
inline void swap(linb::any& lhs, linb::any& rhs) noexcept
{
    lhs.swap(rhs);
}
}
 
#endif