diff options
Diffstat (limited to 'include/pybind11/stl.h')
-rw-r--r-- | include/pybind11/stl.h | 301 |
1 files changed, 180 insertions, 121 deletions
diff --git a/include/pybind11/stl.h b/include/pybind11/stl.h index 721bb669..f39f44f7 100644 --- a/include/pybind11/stl.h +++ b/include/pybind11/stl.h @@ -10,42 +10,26 @@ #pragma once #include "pybind11.h" -#include <set> -#include <unordered_set> +#include "detail/common.h" + +#include <deque> +#include <list> #include <map> +#include <ostream> +#include <set> #include <unordered_map> -#include <iostream> -#include <list> -#include <deque> +#include <unordered_set> #include <valarray> -#if defined(_MSC_VER) -#pragma warning(push) -#pragma warning(disable: 4127) // warning C4127: Conditional expression is constant -#endif - -#ifdef __has_include -// std::optional (but including it in c++14 mode isn't allowed) -# if defined(PYBIND11_CPP17) && __has_include(<optional>) +// See `detail/common.h` for implementation of these guards. +#if defined(PYBIND11_HAS_OPTIONAL) # include <optional> -# define PYBIND11_HAS_OPTIONAL 1 -# endif -// std::experimental::optional (but not allowed in c++11 mode) -# if defined(PYBIND11_CPP14) && (__has_include(<experimental/optional>) && \ - !__has_include(<optional>)) +#elif defined(PYBIND11_HAS_EXP_OPTIONAL) # include <experimental/optional> -# define PYBIND11_HAS_EXP_OPTIONAL 1 -# endif -// std::variant -# if defined(PYBIND11_CPP17) && __has_include(<variant>) +#endif + +#if defined(PYBIND11_HAS_VARIANT) # include <variant> -# define PYBIND11_HAS_VARIANT 1 -# endif -#elif defined(_MSC_VER) && defined(PYBIND11_CPP17) -# include <optional> -# include <variant> -# define PYBIND11_HAS_OPTIONAL 1 -# define PYBIND11_HAS_VARIANT 1 #endif PYBIND11_NAMESPACE_BEGIN(PYBIND11_NAMESPACE) @@ -54,29 +38,47 @@ PYBIND11_NAMESPACE_BEGIN(detail) /// Extracts an const lvalue reference or rvalue reference for U based on the type of T (e.g. for /// forwarding a container element). Typically used indirect via forwarded_type(), below. template <typename T, typename U> -using forwarded_type = conditional_t< - std::is_lvalue_reference<T>::value, remove_reference_t<U> &, remove_reference_t<U> &&>; +using forwarded_type = conditional_t<std::is_lvalue_reference<T>::value, + remove_reference_t<U> &, + remove_reference_t<U> &&>; /// Forwards a value U as rvalue or lvalue according to whether T is rvalue or lvalue; typically /// used for forwarding a container's elements. template <typename T, typename U> -forwarded_type<T, U> forward_like(U &&u) { +constexpr forwarded_type<T, U> forward_like(U &&u) { return std::forward<detail::forwarded_type<T, U>>(std::forward<U>(u)); } -template <typename Type, typename Key> struct set_caster { +// Checks if a container has a STL style reserve method. +// This will only return true for a `reserve()` with a `void` return. +template <typename C> +using has_reserve_method = std::is_same<decltype(std::declval<C>().reserve(0)), void>; + +template <typename Type, typename Key> +struct set_caster { using type = Type; using key_conv = make_caster<Key>; +private: + template <typename T = Type, enable_if_t<has_reserve_method<T>::value, int> = 0> + void reserve_maybe(const anyset &s, Type *) { + value.reserve(s.size()); + } + void reserve_maybe(const anyset &, void *) {} + +public: bool load(handle src, bool convert) { - if (!isinstance<pybind11::set>(src)) + if (!isinstance<anyset>(src)) { return false; - auto s = reinterpret_borrow<pybind11::set>(src); + } + auto s = reinterpret_borrow<anyset>(src); value.clear(); + reserve_maybe(s, &value); for (auto entry : s) { key_conv conv; - if (!conv.load(entry, convert)) + if (!conv.load(entry, convert)) { return false; + } value.insert(cast_op<Key &&>(std::move(conv))); } return true; @@ -84,35 +86,49 @@ template <typename Type, typename Key> struct set_caster { template <typename T> static handle cast(T &&src, return_value_policy policy, handle parent) { - if (!std::is_lvalue_reference<T>::value) + if (!std::is_lvalue_reference<T>::value) { policy = return_value_policy_override<Key>::policy(policy); + } pybind11::set s; for (auto &&value : src) { - auto value_ = reinterpret_steal<object>(key_conv::cast(forward_like<T>(value), policy, parent)); - if (!value_ || !s.add(value_)) + auto value_ = reinterpret_steal<object>( + key_conv::cast(detail::forward_like<T>(value), policy, parent)); + if (!value_ || !s.add(std::move(value_))) { return handle(); + } } return s.release(); } - PYBIND11_TYPE_CASTER(type, _("Set[") + key_conv::name + _("]")); + PYBIND11_TYPE_CASTER(type, const_name("Set[") + key_conv::name + const_name("]")); }; -template <typename Type, typename Key, typename Value> struct map_caster { - using key_conv = make_caster<Key>; +template <typename Type, typename Key, typename Value> +struct map_caster { + using key_conv = make_caster<Key>; using value_conv = make_caster<Value>; +private: + template <typename T = Type, enable_if_t<has_reserve_method<T>::value, int> = 0> + void reserve_maybe(const dict &d, Type *) { + value.reserve(d.size()); + } + void reserve_maybe(const dict &, void *) {} + +public: bool load(handle src, bool convert) { - if (!isinstance<dict>(src)) + if (!isinstance<dict>(src)) { return false; + } auto d = reinterpret_borrow<dict>(src); value.clear(); + reserve_maybe(d, &value); for (auto it : d) { key_conv kconv; value_conv vconv; - if (!kconv.load(it.first.ptr(), convert) || - !vconv.load(it.second.ptr(), convert)) + if (!kconv.load(it.first.ptr(), convert) || !vconv.load(it.second.ptr(), convert)) { return false; + } value.emplace(cast_op<Key &&>(std::move(kconv)), cast_op<Value &&>(std::move(vconv))); } return true; @@ -128,78 +144,92 @@ template <typename Type, typename Key, typename Value> struct map_caster { policy_value = return_value_policy_override<Value>::policy(policy_value); } for (auto &&kv : src) { - auto key = reinterpret_steal<object>(key_conv::cast(forward_like<T>(kv.first), policy_key, parent)); - auto value = reinterpret_steal<object>(value_conv::cast(forward_like<T>(kv.second), policy_value, parent)); - if (!key || !value) + auto key = reinterpret_steal<object>( + key_conv::cast(detail::forward_like<T>(kv.first), policy_key, parent)); + auto value = reinterpret_steal<object>( + value_conv::cast(detail::forward_like<T>(kv.second), policy_value, parent)); + if (!key || !value) { return handle(); - d[key] = value; + } + d[std::move(key)] = std::move(value); } return d.release(); } - PYBIND11_TYPE_CASTER(Type, _("Dict[") + key_conv::name + _(", ") + value_conv::name + _("]")); + PYBIND11_TYPE_CASTER(Type, + const_name("Dict[") + key_conv::name + const_name(", ") + value_conv::name + + const_name("]")); }; -template <typename Type, typename Value> struct list_caster { +template <typename Type, typename Value> +struct list_caster { using value_conv = make_caster<Value>; bool load(handle src, bool convert) { - if (!isinstance<sequence>(src) || isinstance<str>(src)) + if (!isinstance<sequence>(src) || isinstance<bytes>(src) || isinstance<str>(src)) { return false; + } auto s = reinterpret_borrow<sequence>(src); value.clear(); reserve_maybe(s, &value); for (auto it : s) { value_conv conv; - if (!conv.load(it, convert)) + if (!conv.load(it, convert)) { return false; + } value.push_back(cast_op<Value &&>(std::move(conv))); } return true; } private: - template <typename T = Type, - enable_if_t<std::is_same<decltype(std::declval<T>().reserve(0)), void>::value, int> = 0> - void reserve_maybe(sequence s, Type *) { value.reserve(s.size()); } - void reserve_maybe(sequence, void *) { } + template <typename T = Type, enable_if_t<has_reserve_method<T>::value, int> = 0> + void reserve_maybe(const sequence &s, Type *) { + value.reserve(s.size()); + } + void reserve_maybe(const sequence &, void *) {} public: template <typename T> static handle cast(T &&src, return_value_policy policy, handle parent) { - if (!std::is_lvalue_reference<T>::value) + if (!std::is_lvalue_reference<T>::value) { policy = return_value_policy_override<Value>::policy(policy); + } list l(src.size()); - size_t index = 0; + ssize_t index = 0; for (auto &&value : src) { - auto value_ = reinterpret_steal<object>(value_conv::cast(forward_like<T>(value), policy, parent)); - if (!value_) + auto value_ = reinterpret_steal<object>( + value_conv::cast(detail::forward_like<T>(value), policy, parent)); + if (!value_) { return handle(); - PyList_SET_ITEM(l.ptr(), (ssize_t) index++, value_.release().ptr()); // steals a reference + } + PyList_SET_ITEM(l.ptr(), index++, value_.release().ptr()); // steals a reference } return l.release(); } - PYBIND11_TYPE_CASTER(Type, _("List[") + value_conv::name + _("]")); + PYBIND11_TYPE_CASTER(Type, const_name("List[") + value_conv::name + const_name("]")); }; -template <typename Type, typename Alloc> struct type_caster<std::vector<Type, Alloc>> - : list_caster<std::vector<Type, Alloc>, Type> { }; +template <typename Type, typename Alloc> +struct type_caster<std::vector<Type, Alloc>> : list_caster<std::vector<Type, Alloc>, Type> {}; -template <typename Type, typename Alloc> struct type_caster<std::deque<Type, Alloc>> - : list_caster<std::deque<Type, Alloc>, Type> { }; +template <typename Type, typename Alloc> +struct type_caster<std::deque<Type, Alloc>> : list_caster<std::deque<Type, Alloc>, Type> {}; -template <typename Type, typename Alloc> struct type_caster<std::list<Type, Alloc>> - : list_caster<std::list<Type, Alloc>, Type> { }; +template <typename Type, typename Alloc> +struct type_caster<std::list<Type, Alloc>> : list_caster<std::list<Type, Alloc>, Type> {}; -template <typename ArrayType, typename Value, bool Resizable, size_t Size = 0> struct array_caster { +template <typename ArrayType, typename Value, bool Resizable, size_t Size = 0> +struct array_caster { using value_conv = make_caster<Value>; private: template <bool R = Resizable> bool require_size(enable_if_t<R, size_t> size) { - if (value.size() != size) + if (value.size() != size) { value.resize(size); + } return true; } template <bool R = Resizable> @@ -209,16 +239,19 @@ private: public: bool load(handle src, bool convert) { - if (!isinstance<sequence>(src)) + if (!isinstance<sequence>(src)) { return false; + } auto l = reinterpret_borrow<sequence>(src); - if (!require_size(l.size())) + if (!require_size(l.size())) { return false; + } size_t ctr = 0; for (auto it : l) { value_conv conv; - if (!conv.load(it, convert)) + if (!conv.load(it, convert)) { return false; + } value[ctr++] = cast_op<Value &&>(std::move(conv)); } return true; @@ -227,81 +260,100 @@ public: template <typename T> static handle cast(T &&src, return_value_policy policy, handle parent) { list l(src.size()); - size_t index = 0; + ssize_t index = 0; for (auto &&value : src) { - auto value_ = reinterpret_steal<object>(value_conv::cast(forward_like<T>(value), policy, parent)); - if (!value_) + auto value_ = reinterpret_steal<object>( + value_conv::cast(detail::forward_like<T>(value), policy, parent)); + if (!value_) { return handle(); - PyList_SET_ITEM(l.ptr(), (ssize_t) index++, value_.release().ptr()); // steals a reference + } + PyList_SET_ITEM(l.ptr(), index++, value_.release().ptr()); // steals a reference } return l.release(); } - PYBIND11_TYPE_CASTER(ArrayType, _("List[") + value_conv::name + _<Resizable>(_(""), _("[") + _<Size>() + _("]")) + _("]")); + PYBIND11_TYPE_CASTER(ArrayType, + const_name<Resizable>(const_name(""), const_name("Annotated[")) + + const_name("List[") + value_conv::name + const_name("]") + + const_name<Resizable>(const_name(""), + const_name(", FixedSize(") + + const_name<Size>() + const_name(")]"))); }; -template <typename Type, size_t Size> struct type_caster<std::array<Type, Size>> - : array_caster<std::array<Type, Size>, Type, false, Size> { }; +template <typename Type, size_t Size> +struct type_caster<std::array<Type, Size>> + : array_caster<std::array<Type, Size>, Type, false, Size> {}; -template <typename Type> struct type_caster<std::valarray<Type>> - : array_caster<std::valarray<Type>, Type, true> { }; +template <typename Type> +struct type_caster<std::valarray<Type>> : array_caster<std::valarray<Type>, Type, true> {}; -template <typename Key, typename Compare, typename Alloc> struct type_caster<std::set<Key, Compare, Alloc>> - : set_caster<std::set<Key, Compare, Alloc>, Key> { }; +template <typename Key, typename Compare, typename Alloc> +struct type_caster<std::set<Key, Compare, Alloc>> + : set_caster<std::set<Key, Compare, Alloc>, Key> {}; -template <typename Key, typename Hash, typename Equal, typename Alloc> struct type_caster<std::unordered_set<Key, Hash, Equal, Alloc>> - : set_caster<std::unordered_set<Key, Hash, Equal, Alloc>, Key> { }; +template <typename Key, typename Hash, typename Equal, typename Alloc> +struct type_caster<std::unordered_set<Key, Hash, Equal, Alloc>> + : set_caster<std::unordered_set<Key, Hash, Equal, Alloc>, Key> {}; -template <typename Key, typename Value, typename Compare, typename Alloc> struct type_caster<std::map<Key, Value, Compare, Alloc>> - : map_caster<std::map<Key, Value, Compare, Alloc>, Key, Value> { }; +template <typename Key, typename Value, typename Compare, typename Alloc> +struct type_caster<std::map<Key, Value, Compare, Alloc>> + : map_caster<std::map<Key, Value, Compare, Alloc>, Key, Value> {}; -template <typename Key, typename Value, typename Hash, typename Equal, typename Alloc> struct type_caster<std::unordered_map<Key, Value, Hash, Equal, Alloc>> - : map_caster<std::unordered_map<Key, Value, Hash, Equal, Alloc>, Key, Value> { }; +template <typename Key, typename Value, typename Hash, typename Equal, typename Alloc> +struct type_caster<std::unordered_map<Key, Value, Hash, Equal, Alloc>> + : map_caster<std::unordered_map<Key, Value, Hash, Equal, Alloc>, Key, Value> {}; // This type caster is intended to be used for std::optional and std::experimental::optional -template<typename T> struct optional_caster { - using value_conv = make_caster<typename T::value_type>; +template <typename Type, typename Value = typename Type::value_type> +struct optional_caster { + using value_conv = make_caster<Value>; - template <typename T_> - static handle cast(T_ &&src, return_value_policy policy, handle parent) { - if (!src) - return none().inc_ref(); + template <typename T> + static handle cast(T &&src, return_value_policy policy, handle parent) { + if (!src) { + return none().release(); + } if (!std::is_lvalue_reference<T>::value) { - policy = return_value_policy_override<T>::policy(policy); + policy = return_value_policy_override<Value>::policy(policy); } - return value_conv::cast(*std::forward<T_>(src), policy, parent); + // NOLINTNEXTLINE(bugprone-unchecked-optional-access) + return value_conv::cast(*std::forward<T>(src), policy, parent); } bool load(handle src, bool convert) { if (!src) { return false; - } else if (src.is_none()) { - return true; // default-constructed value is already empty + } + if (src.is_none()) { + return true; // default-constructed value is already empty } value_conv inner_caster; - if (!inner_caster.load(src, convert)) + if (!inner_caster.load(src, convert)) { return false; + } - value.emplace(cast_op<typename T::value_type &&>(std::move(inner_caster))); + value.emplace(cast_op<Value &&>(std::move(inner_caster))); return true; } - PYBIND11_TYPE_CASTER(T, _("Optional[") + value_conv::name + _("]")); + PYBIND11_TYPE_CASTER(Type, const_name("Optional[") + value_conv::name + const_name("]")); }; #if defined(PYBIND11_HAS_OPTIONAL) -template<typename T> struct type_caster<std::optional<T>> - : public optional_caster<std::optional<T>> {}; +template <typename T> +struct type_caster<std::optional<T>> : public optional_caster<std::optional<T>> {}; -template<> struct type_caster<std::nullopt_t> - : public void_caster<std::nullopt_t> {}; +template <> +struct type_caster<std::nullopt_t> : public void_caster<std::nullopt_t> {}; #endif #if defined(PYBIND11_HAS_EXP_OPTIONAL) -template<typename T> struct type_caster<std::experimental::optional<T>> +template <typename T> +struct type_caster<std::experimental::optional<T>> : public optional_caster<std::experimental::optional<T>> {}; -template<> struct type_caster<std::experimental::nullopt_t> +template <> +struct type_caster<std::experimental::nullopt_t> : public void_caster<std::experimental::nullopt_t> {}; #endif @@ -322,7 +374,7 @@ struct variant_caster_visitor { /// `namespace::variant` types which provide a `namespace::visit()` function are handled here /// automatically using argument-dependent lookup. Users can provide specializations for other /// variant-like classes, e.g. `boost::variant` and `boost::apply_visitor`. -template <template<typename...> class Variant> +template <template <typename...> class Variant> struct visit_helper { template <typename... Args> static auto call(Args &&...args) -> decltype(visit(std::forward<Args>(args)...)) { @@ -331,9 +383,10 @@ struct visit_helper { }; /// Generic variant caster -template <typename Variant> struct variant_caster; +template <typename Variant> +struct variant_caster; -template <template<typename...> class V, typename... Ts> +template <template <typename...> class V, typename... Ts> struct variant_caster<V<Ts...>> { static_assert(sizeof...(Ts) > 0, "Variant must consist of at least one alternative."); @@ -341,7 +394,7 @@ struct variant_caster<V<Ts...>> { bool load_alternative(handle src, bool convert, type_list<U, Us...>) { auto caster = make_caster<U>(); if (caster.load(src, convert)) { - value = cast_op<U>(caster); + value = cast_op<U>(std::move(caster)); return true; } return load_alternative(src, convert, type_list<Us...>{}); @@ -354,8 +407,9 @@ struct variant_caster<V<Ts...>> { // E.g. `py::int_(1).cast<variant<double, int>>()` needs to fill the `int` // slot of the variant. Without two-pass loading `double` would be filled // because it appears first and a conversion is possible. - if (convert && load_alternative(src, false, type_list<Ts...>{})) + if (convert && load_alternative(src, false, type_list<Ts...>{})) { return true; + } return load_alternative(src, convert, type_list<Ts...>{}); } @@ -366,23 +420,28 @@ struct variant_caster<V<Ts...>> { } using Type = V<Ts...>; - PYBIND11_TYPE_CASTER(Type, _("Union[") + detail::concat(make_caster<Ts>::name...) + _("]")); + PYBIND11_TYPE_CASTER(Type, + const_name("Union[") + detail::concat(make_caster<Ts>::name...) + + const_name("]")); }; #if defined(PYBIND11_HAS_VARIANT) template <typename... Ts> -struct type_caster<std::variant<Ts...>> : variant_caster<std::variant<Ts...>> { }; +struct type_caster<std::variant<Ts...>> : variant_caster<std::variant<Ts...>> {}; + +template <> +struct type_caster<std::monostate> : public void_caster<std::monostate> {}; #endif PYBIND11_NAMESPACE_END(detail) inline std::ostream &operator<<(std::ostream &os, const handle &obj) { +#ifdef PYBIND11_HAS_STRING_VIEW + os << str(obj).cast<std::string_view>(); +#else os << (std::string) str(obj); +#endif return os; } PYBIND11_NAMESPACE_END(PYBIND11_NAMESPACE) - -#if defined(_MSC_VER) -#pragma warning(pop) -#endif |