Typeid.hpp

Go to the documentation of this file.

//
// Aurora C++ Library
// Copyright (c) 2012-2016 Jan Haller
//
// This software is provided 'as-is', without any express or implied
// warranty. In no event will the authors be held liable for any damages
// arising from the use of this software.
//
// Permission is granted to anyone to use this software for any purpose,
// including commercial applications, and to alter it and redistribute it
// freely, subject to the following restrictions:
//
// 1. The origin of this software must not be misrepresented; you must not
//    claim that you wrote the original software. If you use this software
//    in a product, an acknowledgment in the product documentation would be
//    appreciated but is not required.
//
// 2. Altered source versions must be plainly marked as such, and must not be
//    misrepresented as being the original software.
//
// 3. This notice may not be removed or altered from any source distribution.
//


#ifndef AURORA_TYPEID_HPP
#define AURORA_TYPEID_HPP

#include <Aurora/Meta/Templates.hpp>

#include <typeindex>
#include <type_traits>


namespace aurora
{
namespace detail
{

    template <typename T>
    void verifyRttiType()
    {
        AURORA_REQUIRE_COMPLETE_TYPE(T);
        static_assert(std::is_polymorphic<T>::value, "T must be a polymorphic type.");
#ifndef AURORA_TYPEID_ALLOW_NONVIRTUAL_DTOR
        static_assert(std::has_virtual_destructor<T>::value,  "Polymorphic types should have a virtual destructor. "
            "Define AURORA_TYPEID_ALLOW_NONVIRTUAL_DTOR to let this code compile.");
#endif
    }

} // namespace detail


template <typename T>
std::type_index typeIndex(T& reference)
{
    detail::verifyRttiType<T>();
    return typeid(reference);
}

template <typename T>
std::type_index typeIndex()
{
    detail::verifyRttiType<T>();
    return typeid(T);
}



} // namespace aurora

#endif // AURORA_TYPEID_HPP