Zxc200611/pocketpy
1
0
Fork 0
mirror of https://github.com/pocketpy/pocketpy synced 2025-10-21 12:00:18 +00:00
Code Issues Packages Projects Releases Wiki Activity

add is_immutable_v

Browse Source
This commit is contained in:
blueloveTH 2024-03-03 15:49:56 +08:00
parent 206685a3f6
commit f076ee431f
1 changed files with 18 additions and 2 deletions
Show Stats Download Patch File Download Diff File Expand all files Collapse all files

20
include/pocketpy/vm.h
View File

@ -451,6 +451,13 @@ public:
} }
}; };
template<typename T>
inline constexpr bool is_immutable_v = std::is_integral_v<T> || std::is_floating_point_v<T>
|| std::is_same_v<T, Str> || std::is_same_v<T, Tuple> || std::is_same_v<T, Bytes> || std::is_same_v<T, bool>
|| std::is_same_v<T, Range> || std::is_same_v<T, Slice>
|| std::is_pointer_v<T> || std::is_enum_v<T>;
constexpr std::pair<const std::type_info*, Type> _const_cxx_typeid_map[] = { constexpr std::pair<const std::type_info*, Type> _const_cxx_typeid_map[] = {
{&typeid(Str), VM::tp_str}, {&typeid(Str), VM::tp_str},
{&typeid(List), VM::tp_list}, {&typeid(List), VM::tp_list},
@ -518,8 +525,10 @@ PyObject* py_var(VM* vm, __T&& value){
template<typename __T, bool with_check> template<typename __T, bool with_check>
__T _py_cast__internal(VM* vm, PyObject* obj) { __T _py_cast__internal(VM* vm, PyObject* obj) {
using T = std::decay_t<__T>; static_assert(!std::is_rvalue_reference_v<__T>, "rvalue reference is not allowed");
using T = std::decay_t<__T>;
if constexpr(std::is_same_v<T, const char*> || std::is_same_v<T, CString>){ if constexpr(std::is_same_v<T, const char*> || std::is_same_v<T, CString>){
static_assert(!std::is_reference_v<__T>); static_assert(!std::is_reference_v<__T>);
// str (shortcuts) // str (shortcuts)
@ -563,7 +572,14 @@ __T _py_cast__internal(VM* vm, PyObject* obj) {
}else{ }else{
constexpr Type const_type = _find_type_in_const_cxx_typeid_map<T>(); constexpr Type const_type = _find_type_in_const_cxx_typeid_map<T>();
if constexpr(const_type.index >= 0){ if constexpr(const_type.index >= 0){
if constexpr(with_check) vm->check_non_tagged_type(obj, const_type); if constexpr(with_check){
if constexpr(std::is_same_v<T, Exception>){
// Exception is `subclass_enabled`
vm->check_compatible_type(obj, const_type);
}else{
vm->check_non_tagged_type(obj, const_type);
}
}
return PK_OBJ_GET(T, obj); return PK_OBJ_GET(T, obj);
} }
} }