sol2/sol/inheritance.hpp

176 lines
5.4 KiB
C++
Raw Normal View History

// The MIT License (MIT)
2016-03-05 14:50:17 +08:00
// Copyright (c) 2013-2016 Rapptz, ThePhD and contributors
// Permission is hereby granted, free of charge, to any person obtaining a copy of
// this software and associated documentation files (the "Software"), to deal in
// the Software without restriction, including without limitation the rights to
// use, copy, modify, merge, publish, distribute, sublicense, and/or sell copies of
// the Software, and to permit persons to whom the Software is furnished to do so,
// subject to the following conditions:
// The above copyright notice and this permission notice shall be included in all
// copies or substantial portions of the Software.
// THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, EXPRESS OR
// IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF MERCHANTABILITY, FITNESS
// FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT. IN NO EVENT SHALL THE AUTHORS OR
// COPYRIGHT HOLDERS BE LIABLE FOR ANY CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER
// IN AN ACTION OF CONTRACT, TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN
// CONNECTION WITH THE SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE.
#ifndef SOL_INHERITANCE_HPP
#define SOL_INHERITANCE_HPP
#include "types.hpp"
2016-03-12 00:34:44 +08:00
#if defined(SOL_NO_RTTI) && defined(SOL_NO_EXCEPTIONS)
#include <atomic>
#endif // No Runtime Type Information and No Exceptions
2016-03-05 14:50:17 +08:00
namespace sol {
template <typename... Args>
struct base_list { };
template <typename... Args>
using bases = base_list<Args...>;
2016-03-12 00:34:44 +08:00
typedef bases<> base_classes_tag;
const auto base_classes = base_classes_tag();
2016-03-05 14:50:17 +08:00
namespace detail {
2016-03-12 00:34:44 +08:00
#if defined(SOL_NO_RTTI) && defined(SOL_NO_EXCEPTIONS)
inline std::size_t unique_id () {
static std::atomic<std::size_t> x(0);
return ++x;
}
template <typename T>
struct id_for {
static const std::size_t value;
};
template <typename T>
const std::size_t id_for<T>::value = unique_id();
#endif // No Runtime Type Information / No Exceptions
inline decltype(auto) base_class_check_key() {
static const auto& key = u8"♡o。.(✿ฺ。 ✿ฺ)";
return key;
}
inline decltype(auto) base_class_cast_key() {
static const auto& key = u8"(◕‿◕✿)";
return key;
}
2016-03-05 14:50:17 +08:00
#ifndef SOL_NO_EXCEPTIONS
2016-03-12 00:34:44 +08:00
template <typename T>
void throw_as(void* p) {
throw static_cast<T*>(p);
}
2016-03-05 14:50:17 +08:00
2016-03-12 00:34:44 +08:00
using throw_cast = decltype(&throw_as<void>);
2016-03-05 14:50:17 +08:00
2016-03-12 00:34:44 +08:00
template <typename T>
inline T* catch_cast(void* p, throw_cast f) {
try {
f(static_cast<void*>(p));
}
catch (T* ptr) {
return ptr;
}
catch (...) {
2016-03-05 14:50:17 +08:00
return static_cast<T*>(p);
}
2016-03-12 00:34:44 +08:00
return static_cast<T*>(p);
}
2016-03-05 14:50:17 +08:00
2016-03-12 00:34:44 +08:00
template <typename T>
inline bool catch_check(throw_cast f) {
try {
f( nullptr );
}
catch (T*) {
return true;
}
catch (...) {
2016-03-05 14:50:17 +08:00
return false;
}
2016-03-12 00:34:44 +08:00
return false;
}
2016-03-05 14:50:17 +08:00
#elif !defined(SOL_NO_RTTI)
template <typename T, typename... Bases>
struct inheritance {
2016-03-12 00:34:44 +08:00
static bool type_check(types<>, const std::type_info&) {
2016-03-05 14:50:17 +08:00
return false;
}
template <typename Base, typename... Args>
static bool type_check(types<Base, Args...>, const std::type_info& ti) {
return ti != typeid(Base) || type_check(types<Bases...>(), ti);
}
static bool check(const std::type_info& ti) {
return ti != typeid(T) || type_check(types<Bases...>(), ti);
}
2016-03-12 00:34:44 +08:00
static void* type_cast(types<>, T*, const std::type_info& ti) {
2016-03-05 14:50:17 +08:00
return nullptr;
}
template <typename Base, typename... Args>
static void* type_cast(types<Base, Args...>, T* data, const std::type_info& ti) {
// Make sure to convert to T first, and then dynamic cast to the proper type
2016-03-12 00:34:44 +08:00
return ti != typeid(Base) ? type_cast(types<Bases...>(), data, ti) : static_cast<void*>(dynamic_cast<Base*>(static_cast<T*>(data)));
}
static void* cast(void* voiddata, const std::type_info& ti) {
T* data = static_cast<T*>(voiddata);
return static_cast<void*>(ti != typeid(T) ? type_cast(types<Bases...>(), data, ti) : data);
}
};
using inheritance_check_function = decltype(&inheritance<void>::check);
using inheritance_cast_function = decltype(&inheritance<void>::cast);
#else
template <typename T, typename... Bases>
struct inheritance {
static bool type_check(types<>, std::size_t) {
return false;
}
template <typename Base, typename... Args>
static bool type_check(types<Base, Args...>, std::size_t ti) {
return ti != id_for<Base>::value || type_check(types<Bases...>(), ti);
}
static bool check(std::size_t ti) {
return ti != id_for<T>::value || type_check(types<Bases...>(), ti);
}
static void* type_cast(types<>, T*, std::size_t) {
return nullptr;
}
template <typename Base, typename... Args>
static void* type_cast(types<Base, Args...>, T* data, std::size_t ti) {
// Make sure to convert to T first, and then dynamic cast to the proper type
return ti != id_for<Base>::value ? type_cast(types<Bases...>(), data, ti) : static_cast<void*>(static_cast<Base*>(data));
2016-03-05 14:50:17 +08:00
}
2016-03-12 00:34:44 +08:00
static void* cast(void* voiddata, std::size_t ti) {
T* data = static_cast<T*>(voiddata);
return static_cast<void*>(ti != id_for<T>::value ? type_cast(types<Bases...>(), data, ti) : data);
2016-03-05 14:50:17 +08:00
}
};
using inheritance_check_function = decltype(&inheritance<void>::check);
using inheritance_cast_function = decltype(&inheritance<void>::cast);
2016-03-12 00:34:44 +08:00
#endif // No Exceptions and/or No Runtime Type Information
2016-03-05 14:50:17 +08:00
2016-03-12 00:34:44 +08:00
} // detail
2016-03-05 14:50:17 +08:00
} // sol
#endif // SOL_INHERITANCE_HPP