2018-01-24 14:10:35 +08:00
|
|
|
// sol2
|
|
|
|
|
|
|
|
// The MIT License (MIT)
|
|
|
|
|
2018-02-20 10:15:26 +08:00
|
|
|
// Copyright (c) 2013-2018 Rapptz, ThePhD and contributors
|
2018-01-24 14:10:35 +08:00
|
|
|
|
|
|
|
// 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"
|
2018-06-16 03:54:43 +08:00
|
|
|
#include "usertype_traits.hpp"
|
2018-01-24 14:10:35 +08:00
|
|
|
|
|
|
|
namespace sol {
|
|
|
|
template <typename... Args>
|
|
|
|
struct base_list {};
|
|
|
|
template <typename... Args>
|
|
|
|
using bases = base_list<Args...>;
|
|
|
|
|
|
|
|
typedef bases<> base_classes_tag;
|
|
|
|
const auto base_classes = base_classes_tag();
|
|
|
|
|
|
|
|
namespace detail {
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
struct has_derived {
|
|
|
|
static bool value;
|
|
|
|
};
|
|
|
|
|
|
|
|
template <typename T>
|
|
|
|
bool has_derived<T>::value = false;
|
|
|
|
|
|
|
|
inline decltype(auto) base_class_check_key() {
|
|
|
|
static const auto& key = "class_check";
|
|
|
|
return key;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline decltype(auto) base_class_cast_key() {
|
|
|
|
static const auto& key = "class_cast";
|
|
|
|
return key;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline decltype(auto) base_class_index_propogation_key() {
|
|
|
|
static const auto& key = u8"\xF0\x9F\x8C\xB2.index";
|
|
|
|
return key;
|
|
|
|
}
|
|
|
|
|
|
|
|
inline decltype(auto) base_class_new_index_propogation_key() {
|
|
|
|
static const auto& key = u8"\xF0\x9F\x8C\xB2.new_index";
|
|
|
|
return key;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename T, typename... Bases>
|
|
|
|
struct inheritance {
|
|
|
|
static bool type_check_bases(types<>, const std::string&) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename Base, typename... Args>
|
|
|
|
static bool type_check_bases(types<Base, Args...>, const std::string& ti) {
|
|
|
|
return ti == usertype_traits<Base>::qualified_name() || type_check_bases(types<Args...>(), ti);
|
|
|
|
}
|
|
|
|
|
|
|
|
static bool type_check(const std::string& ti) {
|
|
|
|
return ti == usertype_traits<T>::qualified_name() || type_check_bases(types<Bases...>(), ti);
|
|
|
|
}
|
|
|
|
|
|
|
|
static void* type_cast_bases(types<>, T*, const std::string&) {
|
|
|
|
return nullptr;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename Base, typename... Args>
|
|
|
|
static void* type_cast_bases(types<Base, Args...>, T* data, const std::string& ti) {
|
|
|
|
// Make sure to convert to T first, and then dynamic cast to the proper type
|
|
|
|
return ti != usertype_traits<Base>::qualified_name() ? type_cast_bases(types<Args...>(), data, ti) : static_cast<void*>(static_cast<Base*>(data));
|
|
|
|
}
|
|
|
|
|
|
|
|
static void* type_cast(void* voiddata, const std::string& ti) {
|
|
|
|
T* data = static_cast<T*>(voiddata);
|
|
|
|
return static_cast<void*>(ti != usertype_traits<T>::qualified_name() ? type_cast_bases(types<Bases...>(), data, ti) : data);
|
|
|
|
}
|
2018-06-16 01:19:09 +08:00
|
|
|
|
|
|
|
template <typename U>
|
|
|
|
static bool type_unique_cast_bases(void*, const string_view&) {
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename U, typename Base, typename... Args>
|
|
|
|
static bool type_unique_cast_bases(void* source_data, void* target_data, const string_view& ti) {
|
|
|
|
typedef unique_usertype_traits<U>::typename rebind_base<Base> base_ptr;
|
|
|
|
string_view base_ti = usertype_traits<Base>::qualified_name();
|
|
|
|
if (base_ti == ti) {
|
|
|
|
if (target_data != nullptr) {
|
|
|
|
U* source = static_cast<U*>(source_data);
|
|
|
|
base_ptr* target = static_cast<base_ptr*>(target_data);
|
|
|
|
// perform proper derived -> base conversion
|
|
|
|
*target = *source;
|
|
|
|
}
|
|
|
|
return true;
|
|
|
|
}
|
|
|
|
return type_unique_cast_bases<Args...>(source_data, target_data, ti);
|
|
|
|
}
|
|
|
|
|
|
|
|
template <typename U>
|
|
|
|
static bool type_unique_cast(void* source_data, void* target_data, const string_view& ti, const string_view& rebind_ti) {
|
|
|
|
typedef unique_usertype_traits<U>::typename rebind_base<void> rebind_t;
|
|
|
|
string_view this_rebind_ti = usertype_traits<rebind_t>::qualified_name();
|
|
|
|
if (rebind_ti != this_rebind_ti) {
|
|
|
|
// this is not even of the same container type
|
|
|
|
return false;
|
|
|
|
}
|
|
|
|
return type_unique_cast_bases<Bases...>(source_data, target_data, ti);
|
|
|
|
}
|
2018-01-24 14:10:35 +08:00
|
|
|
};
|
|
|
|
|
|
|
|
using inheritance_check_function = decltype(&inheritance<void>::type_check);
|
|
|
|
using inheritance_cast_function = decltype(&inheritance<void>::type_cast);
|
2018-06-16 01:19:09 +08:00
|
|
|
using inheritance_unique_cast_function = decltype(&inheritance<void>::type_unique_cast<void>);
|
2018-01-24 14:10:35 +08:00
|
|
|
} // namespace detail
|
|
|
|
} // namespace sol
|
|
|
|
|
|
|
|
#endif // SOL_INHERITANCE_HPP
|