Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1 | /* |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 2 | pybind11/pybind11.h: Main header file of the C++11 python |
| 3 | binding generator library |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 4 | |
Wenzel Jakob | 8cb6cb3 | 2016-04-17 20:21:41 +0200 | [diff] [blame] | 5 | Copyright (c) 2016 Wenzel Jakob <wenzel.jakob@epfl.ch> |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 6 | |
| 7 | All rights reserved. Use of this source code is governed by a |
| 8 | BSD-style license that can be found in the LICENSE file. |
| 9 | */ |
| 10 | |
Wenzel Jakob | bd4a529 | 2015-07-11 17:41:48 +0200 | [diff] [blame] | 11 | #pragma once |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 12 | |
| 13 | #if defined(_MSC_VER) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 14 | # pragma warning(push) |
Wenzel Jakob | 1ffce74 | 2016-08-25 01:43:33 +0200 | [diff] [blame] | 15 | # pragma warning(disable: 4100) // warning C4100: Unreferenced formal parameter |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 16 | # pragma warning(disable: 4127) // warning C4127: Conditional expression is constant |
Wenzel Jakob | 1ffce74 | 2016-08-25 01:43:33 +0200 | [diff] [blame] | 17 | # pragma warning(disable: 4512) // warning C4512: Assignment operator was implicitly defined as deleted |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 18 | # pragma warning(disable: 4800) // warning C4800: 'int': forcing value to bool 'true' or 'false' (performance warning) |
| 19 | # pragma warning(disable: 4996) // warning C4996: The POSIX name for this item is deprecated. Instead, use the ISO C and C++ conformant name |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 20 | # pragma warning(disable: 4702) // warning C4702: unreachable code |
Dean Moldovan | 2bab579 | 2016-09-23 00:27:59 +0200 | [diff] [blame] | 21 | # pragma warning(disable: 4522) // warning C4522: multiple assignment operators specified |
Wenzel Jakob | 1ffce74 | 2016-08-25 01:43:33 +0200 | [diff] [blame] | 22 | #elif defined(__INTEL_COMPILER) |
Ben Pritchard | 33f3430 | 2016-02-18 15:25:51 -0500 | [diff] [blame] | 23 | # pragma warning(push) |
Wenzel Jakob | 1ffce74 | 2016-08-25 01:43:33 +0200 | [diff] [blame] | 24 | # pragma warning(disable: 186) // pointless comparison of unsigned integer with zero |
| 25 | # pragma warning(disable: 1334) // the "template" keyword used for syntactic disambiguation may only be used within a template |
| 26 | # pragma warning(disable: 2196) // warning #2196: routine is both "inline" and "noinline" |
Wenzel Jakob | 6d25296 | 2016-05-01 20:47:49 +0200 | [diff] [blame] | 27 | #elif defined(__GNUG__) && !defined(__clang__) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 28 | # pragma GCC diagnostic push |
| 29 | # pragma GCC diagnostic ignored "-Wunused-but-set-parameter" |
| 30 | # pragma GCC diagnostic ignored "-Wunused-but-set-variable" |
| 31 | # pragma GCC diagnostic ignored "-Wmissing-field-initializers" |
Wenzel Jakob | deeab55 | 2016-05-15 23:54:34 +0200 | [diff] [blame] | 32 | # pragma GCC diagnostic ignored "-Wstrict-aliasing" |
| 33 | # pragma GCC diagnostic ignored "-Wattributes" |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 34 | #endif |
| 35 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 36 | #include "attr.h" |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 37 | #include "options.h" |
Dean Moldovan | c91f8bd | 2017-02-13 18:11:24 +0100 | [diff] [blame^] | 38 | #include "class_support.h" |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 39 | |
Wenzel Jakob | 8f4eb00 | 2015-10-15 18:13:33 +0200 | [diff] [blame] | 40 | NAMESPACE_BEGIN(pybind11) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 41 | |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 42 | /// Wraps an arbitrary C++ function/method/lambda function/.. into a callable Python object |
Wenzel Jakob | bd4a529 | 2015-07-11 17:41:48 +0200 | [diff] [blame] | 43 | class cpp_function : public function { |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 44 | public: |
Wenzel Jakob | bd4a529 | 2015-07-11 17:41:48 +0200 | [diff] [blame] | 45 | cpp_function() { } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 46 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 47 | /// Construct a cpp_function from a vanilla function pointer |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 48 | template <typename Return, typename... Args, typename... Extra> |
| 49 | cpp_function(Return (*f)(Args...), const Extra&... extra) { |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 50 | initialize(f, f, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 51 | } |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 52 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 53 | /// Construct a cpp_function from a lambda function (possibly with internal state) |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 54 | template <typename Func, typename... Extra, |
| 55 | typename FuncType = typename detail::remove_class<decltype(&std::remove_reference<Func>::type::operator())>::type> |
| 56 | cpp_function(Func &&f, const Extra&... extra) { |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 57 | initialize(std::forward<Func>(f), |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 58 | (FuncType *) nullptr, extra...); |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 59 | } |
| 60 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 61 | /// Construct a cpp_function from a class method (non-const) |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 62 | template <typename Return, typename Class, typename... Arg, typename... Extra> |
| 63 | cpp_function(Return (Class::*f)(Arg...), const Extra&... extra) { |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 64 | initialize([f](Class *c, Arg... args) -> Return { return (c->*f)(args...); }, |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 65 | (Return (*) (Class *, Arg...)) nullptr, extra...); |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 66 | } |
| 67 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 68 | /// Construct a cpp_function from a class method (const) |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 69 | template <typename Return, typename Class, typename... Arg, typename... Extra> |
| 70 | cpp_function(Return (Class::*f)(Arg...) const, const Extra&... extra) { |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 71 | initialize([f](const Class *c, Arg... args) -> Return { return (c->*f)(args...); }, |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 72 | (Return (*)(const Class *, Arg ...)) nullptr, extra...); |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 73 | } |
| 74 | |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 75 | /// Return the function name |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 76 | object name() const { return attr("__name__"); } |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 77 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 78 | protected: |
Wenzel Jakob | 382484a | 2016-09-10 15:28:37 +0900 | [diff] [blame] | 79 | /// Space optimization: don't inline this frequently instantiated fragment |
| 80 | PYBIND11_NOINLINE detail::function_record *make_function_record() { |
| 81 | return new detail::function_record(); |
| 82 | } |
| 83 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 84 | /// Special internal constructor for functors, lambda functions, etc. |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 85 | template <typename Func, typename Return, typename... Args, typename... Extra> |
| 86 | void initialize(Func &&f, Return (*)(Args...), const Extra&... extra) { |
Dean Moldovan | 9e62558 | 2016-06-04 00:27:32 +0200 | [diff] [blame] | 87 | |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 88 | struct capture { typename std::remove_reference<Func>::type f; }; |
Wenzel Jakob | d4258ba | 2015-07-26 16:33:49 +0200 | [diff] [blame] | 89 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 90 | /* Store the function including any extra state it might have (e.g. a lambda capture object) */ |
Wenzel Jakob | 382484a | 2016-09-10 15:28:37 +0900 | [diff] [blame] | 91 | auto rec = make_function_record(); |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 92 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 93 | /* Store the capture object directly in the function record if there is enough space */ |
| 94 | if (sizeof(capture) <= sizeof(rec->data)) { |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 95 | /* Without these pragmas, GCC warns that there might not be |
| 96 | enough space to use the placement new operator. However, the |
| 97 | 'if' statement above ensures that this is the case. */ |
Jason Rhinelander | 0b12f91 | 2016-07-07 16:26:04 -0400 | [diff] [blame] | 98 | #if defined(__GNUG__) && !defined(__clang__) && __GNUC__ >= 6 |
Jason Rhinelander | cae0e00 | 2016-07-07 16:11:42 -0400 | [diff] [blame] | 99 | # pragma GCC diagnostic push |
| 100 | # pragma GCC diagnostic ignored "-Wplacement-new" |
| 101 | #endif |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 102 | new ((capture *) &rec->data) capture { std::forward<Func>(f) }; |
Jason Rhinelander | 0b12f91 | 2016-07-07 16:26:04 -0400 | [diff] [blame] | 103 | #if defined(__GNUG__) && !defined(__clang__) && __GNUC__ >= 6 |
Jason Rhinelander | cae0e00 | 2016-07-07 16:11:42 -0400 | [diff] [blame] | 104 | # pragma GCC diagnostic pop |
| 105 | #endif |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 106 | if (!std::is_trivially_destructible<Func>::value) |
| 107 | rec->free_data = [](detail::function_record *r) { ((capture *) &r->data)->~capture(); }; |
| 108 | } else { |
| 109 | rec->data[0] = new capture { std::forward<Func>(f) }; |
| 110 | rec->free_data = [](detail::function_record *r) { delete ((capture *) r->data[0]); }; |
| 111 | } |
Wenzel Jakob | 19208fe | 2015-10-13 17:37:25 +0200 | [diff] [blame] | 112 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 113 | /* Type casters for the function arguments and return value */ |
Dean Moldovan | 719c173 | 2016-11-27 18:19:34 +0100 | [diff] [blame] | 114 | using cast_in = detail::argument_loader<Args...>; |
| 115 | using cast_out = detail::make_caster< |
| 116 | detail::conditional_t<std::is_void<Return>::value, detail::void_type, Return> |
| 117 | >; |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 118 | |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 119 | static_assert(detail::expected_num_args<Extra...>(sizeof...(Args), cast_in::has_args, cast_in::has_kwargs), |
| 120 | "The number of named arguments does not match the function signature"); |
| 121 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 122 | /* Dispatch code which converts function arguments and performs the actual function call */ |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 123 | rec->impl = [](detail::function_call &call) -> handle { |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 124 | cast_in args_converter; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 125 | |
| 126 | /* Try to cast the function arguments into the C++ domain */ |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 127 | if (!args_converter.load_args(call)) |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 128 | return PYBIND11_TRY_NEXT_OVERLOAD; |
| 129 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 130 | /* Invoke call policy pre-call hook */ |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 131 | detail::process_attributes<Extra...>::precall(call); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 132 | |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 133 | /* Get a pointer to the capture object */ |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 134 | auto data = (sizeof(capture) <= sizeof(call.func.data) |
| 135 | ? &call.func.data : call.func.data[0]); |
| 136 | capture *cap = const_cast<capture *>(reinterpret_cast<const capture *>(data)); |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 137 | |
Dean Moldovan | d079f41 | 2016-11-20 05:31:02 +0100 | [diff] [blame] | 138 | /* Override policy for rvalues -- always move */ |
| 139 | constexpr auto is_rvalue = !std::is_pointer<Return>::value |
| 140 | && !std::is_lvalue_reference<Return>::value; |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 141 | const auto policy = is_rvalue ? return_value_policy::move : call.func.policy; |
Dean Moldovan | d079f41 | 2016-11-20 05:31:02 +0100 | [diff] [blame] | 142 | |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 143 | /* Perform the function call */ |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 144 | handle result = cast_out::cast(args_converter.template call<Return>(cap->f), |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 145 | policy, call.parent); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 146 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 147 | /* Invoke call policy post-call hook */ |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 148 | detail::process_attributes<Extra...>::postcall(call, result); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 149 | |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 150 | return result; |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 151 | }; |
| 152 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 153 | /* Process any user-provided function attributes */ |
| 154 | detail::process_attributes<Extra...>::init(extra..., rec); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 155 | |
| 156 | /* Generate a readable signature describing the function's arguments and return value types */ |
Dean Moldovan | ed23dda | 2016-08-04 01:40:40 +0200 | [diff] [blame] | 157 | using detail::descr; using detail::_; |
Dean Moldovan | 719c173 | 2016-11-27 18:19:34 +0100 | [diff] [blame] | 158 | PYBIND11_DESCR signature = _("(") + cast_in::arg_names() + _(") -> ") + cast_out::name(); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 159 | |
| 160 | /* Register the function with Python from generic (non-templated) code */ |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 161 | initialize_generic(rec, signature.text(), signature.types(), sizeof...(Args)); |
Wenzel Jakob | 178c8a8 | 2016-05-10 15:59:01 +0100 | [diff] [blame] | 162 | |
| 163 | if (cast_in::has_args) rec->has_args = true; |
| 164 | if (cast_in::has_kwargs) rec->has_kwargs = true; |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 165 | |
| 166 | /* Stash some additional information used by an important optimization in 'functional.h' */ |
Jason Rhinelander | 1d7998e | 2017-02-17 06:56:41 -0500 | [diff] [blame] | 167 | using FunctionType = Return (*)(Args...); |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 168 | constexpr bool is_function_ptr = |
| 169 | std::is_convertible<Func, FunctionType>::value && |
| 170 | sizeof(capture) == sizeof(void *); |
| 171 | if (is_function_ptr) { |
| 172 | rec->is_stateless = true; |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 173 | rec->data[1] = const_cast<void *>(reinterpret_cast<const void *>(&typeid(FunctionType))); |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 174 | } |
Wenzel Jakob | 281aa0e | 2015-07-30 15:29:00 +0200 | [diff] [blame] | 175 | } |
| 176 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 177 | /// Register a function call with Python (generic non-templated code goes here) |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 178 | void initialize_generic(detail::function_record *rec, const char *text, |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 179 | const std::type_info *const *types, size_t args) { |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 180 | |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 181 | /* Create copies of all referenced C-style strings */ |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 182 | rec->name = strdup(rec->name ? rec->name : ""); |
| 183 | if (rec->doc) rec->doc = strdup(rec->doc); |
| 184 | for (auto &a: rec->args) { |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 185 | if (a.name) |
| 186 | a.name = strdup(a.name); |
| 187 | if (a.descr) |
| 188 | a.descr = strdup(a.descr); |
| 189 | else if (a.value) |
Dean Moldovan | 242b146 | 2016-09-08 17:02:04 +0200 | [diff] [blame] | 190 | a.descr = strdup(a.value.attr("__repr__")().cast<std::string>().c_str()); |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 191 | } |
Wenzel Jakob | 954b793 | 2016-07-10 10:13:18 +0200 | [diff] [blame] | 192 | |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 193 | /* Generate a proper function signature */ |
| 194 | std::string signature; |
| 195 | size_t type_depth = 0, char_index = 0, type_index = 0, arg_index = 0; |
| 196 | while (true) { |
| 197 | char c = text[char_index++]; |
| 198 | if (c == '\0') |
| 199 | break; |
| 200 | |
| 201 | if (c == '{') { |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 202 | // Write arg name for everything except *args, **kwargs and return type. |
Dean Moldovan | ed23dda | 2016-08-04 01:40:40 +0200 | [diff] [blame] | 203 | if (type_depth == 0 && text[char_index] != '*' && arg_index < args) { |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 204 | if (!rec->args.empty() && rec->args[arg_index].name) { |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 205 | signature += rec->args[arg_index].name; |
Wenzel Jakob | 31fbf18 | 2016-11-20 05:27:05 +0100 | [diff] [blame] | 206 | } else if (arg_index == 0 && rec->is_method) { |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 207 | signature += "self"; |
| 208 | } else { |
Wenzel Jakob | 31fbf18 | 2016-11-20 05:27:05 +0100 | [diff] [blame] | 209 | signature += "arg" + std::to_string(arg_index - (rec->is_method ? 1 : 0)); |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 210 | } |
| 211 | signature += ": "; |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 212 | } |
| 213 | ++type_depth; |
| 214 | } else if (c == '}') { |
| 215 | --type_depth; |
Dean Moldovan | ed23dda | 2016-08-04 01:40:40 +0200 | [diff] [blame] | 216 | if (type_depth == 0) { |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 217 | if (arg_index < rec->args.size() && rec->args[arg_index].descr) { |
| 218 | signature += "="; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 219 | signature += rec->args[arg_index].descr; |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 220 | } |
| 221 | arg_index++; |
| 222 | } |
| 223 | } else if (c == '%') { |
| 224 | const std::type_info *t = types[type_index++]; |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 225 | if (!t) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 226 | pybind11_fail("Internal error while parsing type signature (1)"); |
Ivan Smirnov | 8f3e045 | 2016-10-23 15:43:03 +0100 | [diff] [blame] | 227 | if (auto tinfo = detail::get_type_info(*t)) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 228 | #if defined(PYPY_VERSION) |
| 229 | signature += handle((PyObject *) tinfo->type) |
| 230 | .attr("__module__") |
| 231 | .cast<std::string>() + "."; |
| 232 | #endif |
Ivan Smirnov | 8f3e045 | 2016-10-23 15:43:03 +0100 | [diff] [blame] | 233 | signature += tinfo->type->tp_name; |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 234 | } else { |
| 235 | std::string tname(t->name()); |
| 236 | detail::clean_type_id(tname); |
| 237 | signature += tname; |
| 238 | } |
| 239 | } else { |
| 240 | signature += c; |
| 241 | } |
| 242 | } |
Wenzel Jakob | 95d1869 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 243 | if (type_depth != 0 || types[type_index] != nullptr) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 244 | pybind11_fail("Internal error while parsing type signature (2)"); |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 245 | |
| 246 | #if !defined(PYBIND11_CPP14) |
| 247 | delete[] types; |
| 248 | delete[] text; |
| 249 | #endif |
Wenzel Jakob | f5fae92 | 2015-08-24 15:31:24 +0200 | [diff] [blame] | 250 | |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 251 | #if PY_MAJOR_VERSION < 3 |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 252 | if (strcmp(rec->name, "__next__") == 0) { |
| 253 | std::free(rec->name); |
| 254 | rec->name = strdup("next"); |
Wenzel Jakob | d1bfc4e | 2016-05-16 18:52:46 +0200 | [diff] [blame] | 255 | } else if (strcmp(rec->name, "__bool__") == 0) { |
| 256 | std::free(rec->name); |
| 257 | rec->name = strdup("__nonzero__"); |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 258 | } |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 259 | #endif |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 260 | rec->signature = strdup(signature.c_str()); |
| 261 | rec->args.shrink_to_fit(); |
Wenzel Jakob | a380ed9 | 2016-05-15 23:54:13 +0200 | [diff] [blame] | 262 | rec->is_constructor = !strcmp(rec->name, "__init__") || !strcmp(rec->name, "__setstate__"); |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 263 | rec->nargs = (std::uint16_t) args; |
Wenzel Jakob | bd4a529 | 2015-07-11 17:41:48 +0200 | [diff] [blame] | 264 | |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 265 | #if PY_MAJOR_VERSION < 3 |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 266 | if (rec->sibling && PyMethod_Check(rec->sibling.ptr())) |
| 267 | rec->sibling = PyMethod_GET_FUNCTION(rec->sibling.ptr()); |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 268 | #endif |
| 269 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 270 | detail::function_record *chain = nullptr, *chain_start = rec; |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 271 | if (rec->sibling) { |
| 272 | if (PyCFunction_Check(rec->sibling.ptr())) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 273 | auto rec_capsule = reinterpret_borrow<capsule>(PyCFunction_GET_SELF(rec->sibling.ptr())); |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 274 | chain = (detail::function_record *) rec_capsule; |
| 275 | /* Never append a method to an overload chain of a parent class; |
| 276 | instead, hide the parent's overloads in this case */ |
Wenzel Jakob | 7c2461e | 2016-11-20 05:26:02 +0100 | [diff] [blame] | 277 | if (chain->scope != rec->scope) |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 278 | chain = nullptr; |
| 279 | } |
| 280 | // Don't trigger for things like the default __init__, which are wrapper_descriptors that we are intentionally replacing |
| 281 | else if (!rec->sibling.is_none() && rec->name[0] != '_') |
| 282 | pybind11_fail("Cannot overload existing non-function object \"" + std::string(rec->name) + |
| 283 | "\" with a function of the same name"); |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 284 | } |
| 285 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 286 | if (!chain) { |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 287 | /* No existing overload was found, create a new function object */ |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 288 | rec->def = new PyMethodDef(); |
| 289 | memset(rec->def, 0, sizeof(PyMethodDef)); |
| 290 | rec->def->ml_name = rec->name; |
| 291 | rec->def->ml_meth = reinterpret_cast<PyCFunction>(*dispatcher); |
| 292 | rec->def->ml_flags = METH_VARARGS | METH_KEYWORDS; |
Wenzel Jakob | a650179 | 2016-02-04 23:02:07 +0100 | [diff] [blame] | 293 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 294 | capsule rec_capsule(rec, [](PyObject *o) { |
| 295 | destruct((detail::function_record *) PyCapsule_GetPointer(o, nullptr)); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 296 | }); |
Wenzel Jakob | a650179 | 2016-02-04 23:02:07 +0100 | [diff] [blame] | 297 | |
| 298 | object scope_module; |
| 299 | if (rec->scope) { |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 300 | if (hasattr(rec->scope, "__module__")) { |
| 301 | scope_module = rec->scope.attr("__module__"); |
| 302 | } else if (hasattr(rec->scope, "__name__")) { |
| 303 | scope_module = rec->scope.attr("__name__"); |
| 304 | } |
Wenzel Jakob | a650179 | 2016-02-04 23:02:07 +0100 | [diff] [blame] | 305 | } |
| 306 | |
| 307 | m_ptr = PyCFunction_NewEx(rec->def, rec_capsule.ptr(), scope_module.ptr()); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 308 | if (!m_ptr) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 309 | pybind11_fail("cpp_function::cpp_function(): Could not allocate function object"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 310 | } else { |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 311 | /* Append at the end of the overload chain */ |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 312 | m_ptr = rec->sibling.ptr(); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 313 | inc_ref(); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 314 | chain_start = chain; |
| 315 | while (chain->next) |
| 316 | chain = chain->next; |
| 317 | chain->next = rec; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 318 | } |
Wenzel Jakob | 281aa0e | 2015-07-30 15:29:00 +0200 | [diff] [blame] | 319 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 320 | std::string signatures; |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 321 | int index = 0; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 322 | /* Create a nice pydoc rec including all signatures and |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 323 | docstrings of the functions in the overload chain */ |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 324 | if (chain && options::show_function_signatures()) { |
Sylvain Corlay | 0e04fdf | 2016-03-08 16:42:12 -0500 | [diff] [blame] | 325 | // First a generic signature |
| 326 | signatures += rec->name; |
| 327 | signatures += "(*args, **kwargs)\n"; |
| 328 | signatures += "Overloaded function.\n\n"; |
| 329 | } |
| 330 | // Then specific overload signatures |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 331 | for (auto it = chain_start; it != nullptr; it = it->next) { |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 332 | if (options::show_function_signatures()) { |
| 333 | if (chain) |
| 334 | signatures += std::to_string(++index) + ". "; |
| 335 | signatures += rec->name; |
| 336 | signatures += it->signature; |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 337 | signatures += "\n"; |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 338 | } |
| 339 | if (it->doc && strlen(it->doc) > 0 && options::show_user_defined_docstrings()) { |
| 340 | if (options::show_function_signatures()) signatures += "\n"; |
Wenzel Jakob | 218b6ce | 2016-02-28 23:52:37 +0100 | [diff] [blame] | 341 | signatures += it->doc; |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 342 | if (options::show_function_signatures()) signatures += "\n"; |
Wenzel Jakob | 66c9a40 | 2016-01-17 22:36:36 +0100 | [diff] [blame] | 343 | } |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 344 | if (it->next) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 345 | signatures += "\n"; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 346 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 347 | |
| 348 | /* Install docstring */ |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 349 | PyCFunctionObject *func = (PyCFunctionObject *) m_ptr; |
| 350 | if (func->m_ml->ml_doc) |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 351 | std::free(const_cast<char *>(func->m_ml->ml_doc)); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 352 | func->m_ml->ml_doc = strdup(signatures.c_str()); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 353 | |
Wenzel Jakob | 31fbf18 | 2016-11-20 05:27:05 +0100 | [diff] [blame] | 354 | if (rec->is_method) { |
| 355 | m_ptr = PYBIND11_INSTANCE_METHOD_NEW(m_ptr, rec->scope.ptr()); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 356 | if (!m_ptr) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 357 | pybind11_fail("cpp_function::cpp_function(): Could not allocate instance method object"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 358 | Py_DECREF(func); |
| 359 | } |
| 360 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 361 | |
| 362 | /// When a cpp_function is GCed, release any memory allocated by pybind11 |
| 363 | static void destruct(detail::function_record *rec) { |
| 364 | while (rec) { |
| 365 | detail::function_record *next = rec->next; |
| 366 | if (rec->free_data) |
Wenzel Jakob | 5984baa | 2016-05-10 15:05:03 +0100 | [diff] [blame] | 367 | rec->free_data(rec); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 368 | std::free((char *) rec->name); |
| 369 | std::free((char *) rec->doc); |
| 370 | std::free((char *) rec->signature); |
| 371 | for (auto &arg: rec->args) { |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 372 | std::free(const_cast<char *>(arg.name)); |
| 373 | std::free(const_cast<char *>(arg.descr)); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 374 | arg.value.dec_ref(); |
| 375 | } |
| 376 | if (rec->def) { |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 377 | std::free(const_cast<char *>(rec->def->ml_doc)); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 378 | delete rec->def; |
| 379 | } |
| 380 | delete rec; |
| 381 | rec = next; |
| 382 | } |
| 383 | } |
| 384 | |
| 385 | /// Main dispatch logic for calls to functions bound using pybind11 |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 386 | static PyObject *dispatcher(PyObject *self, PyObject *args_in, PyObject *kwargs_in) { |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 387 | using namespace detail; |
| 388 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 389 | /* Iterator over the list of potentially admissible overloads */ |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 390 | function_record *overloads = (function_record *) PyCapsule_GetPointer(self, nullptr), |
| 391 | *it = overloads; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 392 | |
| 393 | /* Need to know how many arguments + keyword arguments there are to pick the right overload */ |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 394 | const size_t n_args_in = (size_t) PyTuple_GET_SIZE(args_in); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 395 | |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 396 | handle parent = n_args_in > 0 ? PyTuple_GET_ITEM(args_in, 0) : nullptr, |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 397 | result = PYBIND11_TRY_NEXT_OVERLOAD; |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 398 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 399 | try { |
Jason Rhinelander | e550589 | 2017-02-03 18:25:34 -0500 | [diff] [blame] | 400 | // We do this in two passes: in the first pass, we load arguments with `convert=false`; |
| 401 | // in the second, we allow conversion (except for arguments with an explicit |
| 402 | // py::arg().noconvert()). This lets us prefer calls without conversion, with |
| 403 | // conversion as a fallback. |
| 404 | std::vector<function_call> second_pass; |
| 405 | |
| 406 | // However, if there are no overloads, we can just skip the no-convert pass entirely |
| 407 | const bool overloaded = it != nullptr && it->next != nullptr; |
| 408 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 409 | for (; it != nullptr; it = it->next) { |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 410 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 411 | /* For each overload: |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 412 | 1. Copy all positional arguments we were given, also checking to make sure that |
| 413 | named positional arguments weren't *also* specified via kwarg. |
Wenzel Jakob | ab60bf1 | 2017-01-31 17:23:53 +0100 | [diff] [blame] | 414 | 2. If we weren't given enough, try to make up the omitted ones by checking |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 415 | whether they were provided by a kwarg matching the `py::arg("name")` name. If |
| 416 | so, use it (and remove it from kwargs; if not, see if the function binding |
| 417 | provided a default that we can use. |
| 418 | 3. Ensure that either all keyword arguments were "consumed", or that the function |
| 419 | takes a kwargs argument to accept unconsumed kwargs. |
| 420 | 4. Any positional arguments still left get put into a tuple (for args), and any |
| 421 | leftover kwargs get put into a dict. |
| 422 | 5. Pack everything into a vector; if we have py::args or py::kwargs, they are an |
| 423 | extra tuple or dict at the end of the positional arguments. |
| 424 | 6. Call the function call dispatcher (function_record::impl) |
| 425 | |
| 426 | If one of these fail, move on to the next overload and keep trying until we get a |
| 427 | result other than PYBIND11_TRY_NEXT_OVERLOAD. |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 428 | */ |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 429 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 430 | function_record &func = *it; |
| 431 | size_t pos_args = func.nargs; // Number of positional arguments that we need |
| 432 | if (func.has_args) --pos_args; // (but don't count py::args |
| 433 | if (func.has_kwargs) --pos_args; // or py::kwargs) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 434 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 435 | if (!func.has_args && n_args_in > pos_args) |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 436 | continue; // Too many arguments for this overload |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 437 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 438 | if (n_args_in < pos_args && func.args.size() < pos_args) |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 439 | continue; // Not enough arguments given, and not enough defaults to fill in the blanks |
| 440 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 441 | function_call call(func, parent); |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 442 | |
| 443 | size_t args_to_copy = std::min(pos_args, n_args_in); |
| 444 | size_t args_copied = 0; |
| 445 | |
| 446 | // 1. Copy any position arguments given. |
| 447 | for (; args_copied < args_to_copy; ++args_copied) { |
| 448 | // If we find a given positional argument that also has a named kwargs argument, |
| 449 | // raise a TypeError like Python does. (We could also continue with the next |
| 450 | // overload, but this seems highly likely to be a caller mistake rather than a |
| 451 | // legitimate overload). |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 452 | if (kwargs_in && args_copied < func.args.size() && func.args[args_copied].name) { |
| 453 | handle value = PyDict_GetItemString(kwargs_in, func.args[args_copied].name); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 454 | if (value) |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 455 | throw type_error(std::string(func.name) + "(): got multiple values for argument '" + |
| 456 | std::string(func.args[args_copied].name) + "'"); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 457 | } |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 458 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 459 | call.args.push_back(PyTuple_GET_ITEM(args_in, args_copied)); |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 460 | call.args_convert.push_back(args_copied < func.args.size() ? func.args[args_copied].convert : true); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 461 | } |
Wenzel Jakob | bd57eb4 | 2016-05-01 14:42:20 +0200 | [diff] [blame] | 462 | |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 463 | // We'll need to copy this if we steal some kwargs for defaults |
| 464 | dict kwargs = reinterpret_borrow<dict>(kwargs_in); |
| 465 | |
| 466 | // 2. Check kwargs and, failing that, defaults that may help complete the list |
| 467 | if (args_copied < pos_args) { |
| 468 | bool copied_kwargs = false; |
| 469 | |
| 470 | for (; args_copied < pos_args; ++args_copied) { |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 471 | const auto &arg = func.args[args_copied]; |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 472 | |
| 473 | handle value; |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 474 | if (kwargs_in && arg.name) |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 475 | value = PyDict_GetItemString(kwargs.ptr(), arg.name); |
| 476 | |
| 477 | if (value) { |
| 478 | // Consume a kwargs value |
| 479 | if (!copied_kwargs) { |
| 480 | kwargs = reinterpret_steal<dict>(PyDict_Copy(kwargs.ptr())); |
| 481 | copied_kwargs = true; |
| 482 | } |
| 483 | PyDict_DelItemString(kwargs.ptr(), arg.name); |
Wenzel Jakob | ab60bf1 | 2017-01-31 17:23:53 +0100 | [diff] [blame] | 484 | } else if (arg.value) { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 485 | value = arg.value; |
| 486 | } |
| 487 | |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 488 | if (value) { |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 489 | call.args.push_back(value); |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 490 | call.args_convert.push_back(arg.convert); |
| 491 | } |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 492 | else |
| 493 | break; |
| 494 | } |
| 495 | |
| 496 | if (args_copied < pos_args) |
| 497 | continue; // Not enough arguments, defaults, or kwargs to fill the positional arguments |
| 498 | } |
| 499 | |
| 500 | // 3. Check everything was consumed (unless we have a kwargs arg) |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 501 | if (kwargs && kwargs.size() > 0 && !func.has_kwargs) |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 502 | continue; // Unconsumed kwargs, but no py::kwargs argument to accept them |
| 503 | |
| 504 | // 4a. If we have a py::args argument, create a new tuple with leftovers |
| 505 | tuple extra_args; |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 506 | if (func.has_args) { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 507 | if (args_to_copy == 0) { |
| 508 | // We didn't copy out any position arguments from the args_in tuple, so we |
| 509 | // can reuse it directly without copying: |
| 510 | extra_args = reinterpret_borrow<tuple>(args_in); |
Wenzel Jakob | ab60bf1 | 2017-01-31 17:23:53 +0100 | [diff] [blame] | 511 | } else if (args_copied >= n_args_in) { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 512 | extra_args = tuple(0); |
Wenzel Jakob | ab60bf1 | 2017-01-31 17:23:53 +0100 | [diff] [blame] | 513 | } else { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 514 | size_t args_size = n_args_in - args_copied; |
| 515 | extra_args = tuple(args_size); |
| 516 | for (size_t i = 0; i < args_size; ++i) { |
| 517 | handle item = PyTuple_GET_ITEM(args_in, args_copied + i); |
| 518 | extra_args[i] = item.inc_ref().ptr(); |
| 519 | } |
| 520 | } |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 521 | call.args.push_back(extra_args); |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 522 | call.args_convert.push_back(false); |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 523 | } |
| 524 | |
| 525 | // 4b. If we have a py::kwargs, pass on any remaining kwargs |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 526 | if (func.has_kwargs) { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 527 | if (!kwargs.ptr()) |
| 528 | kwargs = dict(); // If we didn't get one, send an empty one |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 529 | call.args.push_back(kwargs); |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 530 | call.args_convert.push_back(false); |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 531 | } |
| 532 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 533 | // 5. Put everything in a vector. Not technically step 5, we've been building it |
| 534 | // in `call.args` all along. |
| 535 | #if !defined(NDEBUG) |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 536 | if (call.args.size() != func.nargs || call.args_convert.size() != func.nargs) |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 537 | pybind11_fail("Internal error: function call dispatcher inserted wrong number of arguments!"); |
| 538 | #endif |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 539 | |
Jason Rhinelander | e550589 | 2017-02-03 18:25:34 -0500 | [diff] [blame] | 540 | std::vector<bool> second_pass_convert; |
| 541 | if (overloaded) { |
| 542 | // We're in the first no-convert pass, so swap out the conversion flags for a |
| 543 | // set of all-false flags. If the call fails, we'll swap the flags back in for |
| 544 | // the conversion-allowed call below. |
| 545 | second_pass_convert.resize(func.nargs, false); |
| 546 | call.args_convert.swap(second_pass_convert); |
| 547 | } |
| 548 | |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 549 | // 6. Call the function. |
Wenzel Jakob | bd57eb4 | 2016-05-01 14:42:20 +0200 | [diff] [blame] | 550 | try { |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 551 | result = func.impl(call); |
Wenzel Jakob | 0006259 | 2016-07-01 16:07:35 +0200 | [diff] [blame] | 552 | } catch (reference_cast_error &) { |
Wenzel Jakob | bd57eb4 | 2016-05-01 14:42:20 +0200 | [diff] [blame] | 553 | result = PYBIND11_TRY_NEXT_OVERLOAD; |
| 554 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 555 | |
| 556 | if (result.ptr() != PYBIND11_TRY_NEXT_OVERLOAD) |
| 557 | break; |
Jason Rhinelander | abc29ca | 2017-01-23 03:50:00 -0500 | [diff] [blame] | 558 | |
Jason Rhinelander | e550589 | 2017-02-03 18:25:34 -0500 | [diff] [blame] | 559 | if (overloaded) { |
| 560 | // The (overloaded) call failed; if the call has at least one argument that |
| 561 | // permits conversion (i.e. it hasn't been explicitly specified `.noconvert()`) |
| 562 | // then add this call to the list of second pass overloads to try. |
| 563 | for (size_t i = func.is_method ? 1 : 0; i < pos_args; i++) { |
| 564 | if (second_pass_convert[i]) { |
| 565 | // Found one: swap the converting flags back in and store the call for |
| 566 | // the second pass. |
| 567 | call.args_convert.swap(second_pass_convert); |
| 568 | second_pass.push_back(std::move(call)); |
| 569 | break; |
| 570 | } |
| 571 | } |
| 572 | } |
| 573 | } |
| 574 | |
| 575 | if (overloaded && !second_pass.empty() && result.ptr() == PYBIND11_TRY_NEXT_OVERLOAD) { |
| 576 | // The no-conversion pass finished without success, try again with conversion allowed |
| 577 | for (auto &call : second_pass) { |
| 578 | try { |
| 579 | result = call.func.impl(call); |
| 580 | } catch (reference_cast_error &) { |
| 581 | result = PYBIND11_TRY_NEXT_OVERLOAD; |
| 582 | } |
| 583 | |
| 584 | if (result.ptr() != PYBIND11_TRY_NEXT_OVERLOAD) |
| 585 | break; |
| 586 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 587 | } |
Dean Moldovan | 135ba8d | 2016-09-10 11:58:02 +0200 | [diff] [blame] | 588 | } catch (error_already_set &e) { |
| 589 | e.restore(); |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 590 | return nullptr; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 591 | } catch (...) { |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 592 | /* When an exception is caught, give each registered exception |
| 593 | translator a chance to translate it to a Python exception |
| 594 | in reverse order of registration. |
Wenzel Jakob | 1f66a58 | 2016-07-18 10:47:10 +0200 | [diff] [blame] | 595 | |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 596 | A translator may choose to do one of the following: |
Wenzel Jakob | 1f66a58 | 2016-07-18 10:47:10 +0200 | [diff] [blame] | 597 | |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 598 | - catch the exception and call PyErr_SetString or PyErr_SetObject |
| 599 | to set a standard (or custom) Python exception, or |
| 600 | - do nothing and let the exception fall through to the next translator, or |
| 601 | - delegate translation to the next translator by throwing a new type of exception. */ |
| 602 | |
Wenzel Jakob | 1f66a58 | 2016-07-18 10:47:10 +0200 | [diff] [blame] | 603 | auto last_exception = std::current_exception(); |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 604 | auto ®istered_exception_translators = get_internals().registered_exception_translators; |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 605 | for (auto& translator : registered_exception_translators) { |
| 606 | try { |
| 607 | translator(last_exception); |
| 608 | } catch (...) { |
| 609 | last_exception = std::current_exception(); |
| 610 | continue; |
| 611 | } |
| 612 | return nullptr; |
| 613 | } |
| 614 | PyErr_SetString(PyExc_SystemError, "Exception escaped from default exception translator!"); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 615 | return nullptr; |
| 616 | } |
| 617 | |
| 618 | if (result.ptr() == PYBIND11_TRY_NEXT_OVERLOAD) { |
Wenzel Jakob | 382484a | 2016-09-10 15:28:37 +0900 | [diff] [blame] | 619 | if (overloads->is_operator) |
| 620 | return handle(Py_NotImplemented).inc_ref().ptr(); |
| 621 | |
Wenzel Jakob | e99ebae | 2016-09-12 11:44:37 +0900 | [diff] [blame] | 622 | std::string msg = std::string(overloads->name) + "(): incompatible " + |
| 623 | std::string(overloads->is_constructor ? "constructor" : "function") + |
| 624 | " arguments. The following argument types are supported:\n"; |
| 625 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 626 | int ctr = 0; |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 627 | for (function_record *it2 = overloads; it2 != nullptr; it2 = it2->next) { |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 628 | msg += " "+ std::to_string(++ctr) + ". "; |
Jason Rhinelander | 4e45e18 | 2016-07-17 17:43:00 -0400 | [diff] [blame] | 629 | |
| 630 | bool wrote_sig = false; |
| 631 | if (overloads->is_constructor) { |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 632 | // For a constructor, rewrite `(self: Object, arg0, ...) -> NoneType` as `Object(arg0, ...)` |
Jason Rhinelander | 4e45e18 | 2016-07-17 17:43:00 -0400 | [diff] [blame] | 633 | std::string sig = it2->signature; |
Dean Moldovan | ecced6c | 2016-07-31 20:03:18 +0200 | [diff] [blame] | 634 | size_t start = sig.find('(') + 7; // skip "(self: " |
Jason Rhinelander | 4e45e18 | 2016-07-17 17:43:00 -0400 | [diff] [blame] | 635 | if (start < sig.size()) { |
| 636 | // End at the , for the next argument |
| 637 | size_t end = sig.find(", "), next = end + 2; |
| 638 | size_t ret = sig.rfind(" -> "); |
| 639 | // Or the ), if there is no comma: |
| 640 | if (end >= sig.size()) next = end = sig.find(')'); |
| 641 | if (start < end && next < sig.size()) { |
| 642 | msg.append(sig, start, end - start); |
| 643 | msg += '('; |
| 644 | msg.append(sig, next, ret - next); |
| 645 | wrote_sig = true; |
| 646 | } |
| 647 | } |
| 648 | } |
| 649 | if (!wrote_sig) msg += it2->signature; |
| 650 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 651 | msg += "\n"; |
| 652 | } |
Wenzel Jakob | e99ebae | 2016-09-12 11:44:37 +0900 | [diff] [blame] | 653 | msg += "\nInvoked with: "; |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 654 | auto args_ = reinterpret_borrow<tuple>(args_in); |
Wenzel Jakob | 1f66a58 | 2016-07-18 10:47:10 +0200 | [diff] [blame] | 655 | for (size_t ti = overloads->is_constructor ? 1 : 0; ti < args_.size(); ++ti) { |
Jason Rhinelander | 7146d62 | 2016-11-22 05:28:40 -0500 | [diff] [blame] | 656 | msg += pybind11::repr(args_[ti]); |
Andreas Bergmeier | 16d4394 | 2016-05-24 09:19:35 +0200 | [diff] [blame] | 657 | if ((ti + 1) != args_.size() ) |
| 658 | msg += ", "; |
| 659 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 660 | PyErr_SetString(PyExc_TypeError, msg.c_str()); |
| 661 | return nullptr; |
| 662 | } else if (!result) { |
| 663 | std::string msg = "Unable to convert function return value to a " |
| 664 | "Python type! The signature was\n\t"; |
| 665 | msg += it->signature; |
| 666 | PyErr_SetString(PyExc_TypeError, msg.c_str()); |
| 667 | return nullptr; |
| 668 | } else { |
| 669 | if (overloads->is_constructor) { |
Wenzel Jakob | 772c6d5 | 2016-04-30 19:56:10 +0200 | [diff] [blame] | 670 | /* When a constructor ran successfully, the corresponding |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 671 | holder type (e.g. std::unique_ptr) must still be initialized. */ |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 672 | auto tinfo = get_type_info(Py_TYPE(parent.ptr())); |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 673 | tinfo->init_holder(parent.ptr(), nullptr); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 674 | } |
| 675 | return result.ptr(); |
| 676 | } |
| 677 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 678 | }; |
| 679 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 680 | /// Wrapper for Python extension modules |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 681 | class module : public object { |
| 682 | public: |
Wenzel Jakob | b1b7140 | 2015-10-18 16:48:30 +0200 | [diff] [blame] | 683 | PYBIND11_OBJECT_DEFAULT(module, object, PyModule_Check) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 684 | |
Dean Moldovan | 57a9bbc | 2017-01-31 16:54:08 +0100 | [diff] [blame] | 685 | /// Create a new top-level Python module with the given name and docstring |
Jason Rhinelander | 12d7660 | 2016-10-16 16:27:42 -0400 | [diff] [blame] | 686 | explicit module(const char *name, const char *doc = nullptr) { |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 687 | if (!options::show_user_defined_docstrings()) doc = nullptr; |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 688 | #if PY_MAJOR_VERSION >= 3 |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 689 | PyModuleDef *def = new PyModuleDef(); |
| 690 | memset(def, 0, sizeof(PyModuleDef)); |
| 691 | def->m_name = name; |
| 692 | def->m_doc = doc; |
| 693 | def->m_size = -1; |
| 694 | Py_INCREF(def); |
| 695 | m_ptr = PyModule_Create(def); |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 696 | #else |
| 697 | m_ptr = Py_InitModule3(name, nullptr, doc); |
| 698 | #endif |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 699 | if (m_ptr == nullptr) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 700 | pybind11_fail("Internal error in module::module()"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 701 | inc_ref(); |
| 702 | } |
| 703 | |
Dean Moldovan | 57a9bbc | 2017-01-31 16:54:08 +0100 | [diff] [blame] | 704 | /** \rst |
| 705 | Create Python binding for a new function within the module scope. ``Func`` |
| 706 | can be a plain C++ function, a function pointer, or a lambda function. For |
| 707 | details on the ``Extra&& ... extra`` argument, see section :ref:`extras`. |
| 708 | \endrst */ |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 709 | template <typename Func, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 710 | module &def(const char *name_, Func &&f, const Extra& ... extra) { |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 711 | cpp_function func(std::forward<Func>(f), name(name_), scope(*this), |
| 712 | sibling(getattr(*this, name_, none())), extra...); |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 713 | // NB: allow overwriting here because cpp_function sets up a chain with the intention of |
| 714 | // overwriting (and has already checked internally that it isn't overwriting non-functions). |
| 715 | add_object(name_, func, true /* overwrite */); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 716 | return *this; |
| 717 | } |
| 718 | |
Dean Moldovan | 57a9bbc | 2017-01-31 16:54:08 +0100 | [diff] [blame] | 719 | /** \rst |
| 720 | Create and return a new Python submodule with the given name and docstring. |
| 721 | This also works recursively, i.e. |
| 722 | |
| 723 | .. code-block:: cpp |
| 724 | |
| 725 | py::module m("example", "pybind11 example plugin"); |
| 726 | py::module m2 = m.def_submodule("sub", "A submodule of 'example'"); |
| 727 | py::module m3 = m2.def_submodule("subsub", "A submodule of 'example.sub'"); |
| 728 | \endrst */ |
Wenzel Jakob | bd4a529 | 2015-07-11 17:41:48 +0200 | [diff] [blame] | 729 | module def_submodule(const char *name, const char *doc = nullptr) { |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 730 | std::string full_name = std::string(PyModule_GetName(m_ptr)) |
| 731 | + std::string(".") + std::string(name); |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 732 | auto result = reinterpret_borrow<module>(PyImport_AddModule(full_name.c_str())); |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 733 | if (doc && options::show_user_defined_docstrings()) |
Wenzel Jakob | 8f4eb00 | 2015-10-15 18:13:33 +0200 | [diff] [blame] | 734 | result.attr("__doc__") = pybind11::str(doc); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 735 | attr(name) = result; |
| 736 | return result; |
| 737 | } |
Wenzel Jakob | db028d6 | 2015-10-13 23:44:25 +0200 | [diff] [blame] | 738 | |
Dean Moldovan | 57a9bbc | 2017-01-31 16:54:08 +0100 | [diff] [blame] | 739 | /// Import and return a module or throws `error_already_set`. |
Wenzel Jakob | db028d6 | 2015-10-13 23:44:25 +0200 | [diff] [blame] | 740 | static module import(const char *name) { |
Wenzel Jakob | dd57a34 | 2015-12-26 14:04:52 +0100 | [diff] [blame] | 741 | PyObject *obj = PyImport_ImportModule(name); |
| 742 | if (!obj) |
esquires | 67a68f1 | 2016-12-01 05:35:34 -0500 | [diff] [blame] | 743 | throw error_already_set(); |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 744 | return reinterpret_steal<module>(obj); |
Wenzel Jakob | db028d6 | 2015-10-13 23:44:25 +0200 | [diff] [blame] | 745 | } |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 746 | |
| 747 | // Adds an object to the module using the given name. Throws if an object with the given name |
| 748 | // already exists. |
| 749 | // |
| 750 | // overwrite should almost always be false: attempting to overwrite objects that pybind11 has |
| 751 | // established will, in most cases, break things. |
| 752 | PYBIND11_NOINLINE void add_object(const char *name, object &obj, bool overwrite = false) { |
| 753 | if (!overwrite && hasattr(*this, name)) |
| 754 | pybind11_fail("Error during initialization: multiple incompatible definitions with name \"" + |
| 755 | std::string(name) + "\""); |
| 756 | |
| 757 | obj.inc_ref(); // PyModule_AddObject() steals a reference |
| 758 | PyModule_AddObject(ptr(), name, obj.ptr()); |
| 759 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 760 | }; |
| 761 | |
| 762 | NAMESPACE_BEGIN(detail) |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 763 | extern "C" inline PyObject *get_dict(PyObject *op, void *) { |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 764 | PyObject *&dict = *_PyObject_GetDictPtr(op); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 765 | if (!dict) |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 766 | dict = PyDict_New(); |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 767 | Py_XINCREF(dict); |
| 768 | return dict; |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 769 | } |
| 770 | |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 771 | extern "C" inline int set_dict(PyObject *op, PyObject *new_dict, void *) { |
| 772 | if (!PyDict_Check(new_dict)) { |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 773 | PyErr_Format(PyExc_TypeError, "__dict__ must be set to a dictionary, not a '%.200s'", |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 774 | Py_TYPE(new_dict)->tp_name); |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 775 | return -1; |
| 776 | } |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 777 | PyObject *&dict = *_PyObject_GetDictPtr(op); |
| 778 | Py_INCREF(new_dict); |
| 779 | Py_CLEAR(dict); |
| 780 | dict = new_dict; |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 781 | return 0; |
| 782 | } |
| 783 | |
| 784 | static PyGetSetDef generic_getset[] = { |
| 785 | {const_cast<char*>("__dict__"), get_dict, set_dict, nullptr, nullptr}, |
| 786 | {nullptr, nullptr, nullptr, nullptr, nullptr} |
| 787 | }; |
| 788 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 789 | /// Generic support for creating new Python heap types |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 790 | class generic_type : public object { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 791 | template <typename...> friend class class_; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 792 | public: |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 793 | PYBIND11_OBJECT_DEFAULT(generic_type, object, PyType_Check) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 794 | protected: |
| 795 | void initialize(type_record *rec) { |
Wenzel Jakob | 38d8b8c | 2016-05-31 09:53:28 +0200 | [diff] [blame] | 796 | auto &internals = get_internals(); |
| 797 | auto tindex = std::type_index(*(rec->type)); |
| 798 | |
Ivan Smirnov | 8f3e045 | 2016-10-23 15:43:03 +0100 | [diff] [blame] | 799 | if (get_type_info(*(rec->type))) |
Wenzel Jakob | 38d8b8c | 2016-05-31 09:53:28 +0200 | [diff] [blame] | 800 | pybind11_fail("generic_type: type \"" + std::string(rec->name) + |
| 801 | "\" is already registered!"); |
| 802 | |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 803 | auto name = reinterpret_steal<object>(PYBIND11_FROM_STRING(rec->name)); |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 804 | object scope_module; |
| 805 | if (rec->scope) { |
Jason Rhinelander | 6873c20 | 2016-10-24 21:58:22 -0400 | [diff] [blame] | 806 | if (hasattr(rec->scope, rec->name)) |
| 807 | pybind11_fail("generic_type: cannot initialize type \"" + std::string(rec->name) + |
| 808 | "\": an object with that name is already defined"); |
| 809 | |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 810 | if (hasattr(rec->scope, "__module__")) { |
| 811 | scope_module = rec->scope.attr("__module__"); |
| 812 | } else if (hasattr(rec->scope, "__name__")) { |
| 813 | scope_module = rec->scope.attr("__name__"); |
| 814 | } |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 815 | } |
| 816 | |
| 817 | #if PY_MAJOR_VERSION >= 3 && PY_MINOR_VERSION >= 3 |
| 818 | /* Qualified names for Python >= 3.3 */ |
| 819 | object scope_qualname; |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 820 | if (rec->scope && hasattr(rec->scope, "__qualname__")) |
| 821 | scope_qualname = rec->scope.attr("__qualname__"); |
Dean Moldovan | c91f8bd | 2017-02-13 18:11:24 +0100 | [diff] [blame^] | 822 | object ht_qualname; |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 823 | if (scope_qualname) |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 824 | ht_qualname = reinterpret_steal<object>(PyUnicode_FromFormat( |
| 825 | "%U.%U", scope_qualname.ptr(), name.ptr())); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 826 | else |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 827 | ht_qualname = name; |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 828 | #endif |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 829 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 830 | #if !defined(PYPY_VERSION) |
| 831 | std::string full_name = (scope_module ? ((std::string) pybind11::str(scope_module) + "." + rec->name) |
| 832 | : std::string(rec->name)); |
| 833 | #else |
| 834 | std::string full_name = std::string(rec->name); |
| 835 | #endif |
| 836 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 837 | size_t num_bases = rec->bases.size(); |
Dean Moldovan | e18bc02 | 2016-10-25 22:12:39 +0200 | [diff] [blame] | 838 | auto bases = tuple(rec->bases); |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 839 | |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 840 | char *tp_doc = nullptr; |
Alexander Stukowski | 9a110e6 | 2016-11-15 12:38:05 +0100 | [diff] [blame] | 841 | if (rec->doc && options::show_user_defined_docstrings()) { |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 842 | /* Allocate memory for docstring (using PyObject_MALLOC, since |
| 843 | Python will free this later on) */ |
| 844 | size_t size = strlen(rec->doc) + 1; |
| 845 | tp_doc = (char *) PyObject_MALLOC(size); |
| 846 | memcpy((void *) tp_doc, rec->doc, size); |
| 847 | } |
| 848 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 849 | /* Danger zone: from now (and until PyType_Ready), make sure to |
| 850 | issue no Python C API calls which could potentially invoke the |
| 851 | garbage collector (the GC will call type_traverse(), which will in |
| 852 | turn find the newly constructed type in an invalid state) */ |
| 853 | |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 854 | auto type_holder = reinterpret_steal<object>(PyType_Type.tp_alloc(&PyType_Type, 0)); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 855 | auto type = (PyHeapTypeObject*) type_holder.ptr(); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 856 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 857 | if (!type_holder || !name) |
Wenzel Jakob | e72a676 | 2016-09-14 23:39:16 +0800 | [diff] [blame] | 858 | pybind11_fail(std::string(rec->name) + ": Unable to create type object!"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 859 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 860 | /* Register supplemental type information in C++ dict */ |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 861 | detail::type_info *tinfo = new detail::type_info(); |
| 862 | tinfo->type = (PyTypeObject *) type; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 863 | tinfo->type_size = rec->type_size; |
| 864 | tinfo->init_holder = rec->init_holder; |
Ivan Smirnov | a6e6a8b | 2016-10-23 15:27:13 +0100 | [diff] [blame] | 865 | tinfo->direct_conversions = &internals.direct_conversions[tindex]; |
Pim Schellart | cc88aae | 2017-01-31 10:52:11 -0500 | [diff] [blame] | 866 | tinfo->default_holder = rec->default_holder; |
Wenzel Jakob | 38d8b8c | 2016-05-31 09:53:28 +0200 | [diff] [blame] | 867 | internals.registered_types_cpp[tindex] = tinfo; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 868 | internals.registered_types_py[type] = tinfo; |
| 869 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 870 | /* Basic type attributes */ |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 871 | type->ht_type.tp_name = strdup(full_name.c_str()); |
Wenzel Jakob | 0a07805 | 2016-05-29 13:40:40 +0200 | [diff] [blame] | 872 | type->ht_type.tp_basicsize = (ssize_t) rec->instance_size; |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 873 | |
| 874 | if (num_bases > 0) { |
| 875 | type->ht_type.tp_base = (PyTypeObject *) ((object) bases[0]).inc_ref().ptr(); |
| 876 | type->ht_type.tp_bases = bases.release().ptr(); |
| 877 | rec->multiple_inheritance |= num_bases > 1; |
| 878 | } |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 879 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 880 | type->ht_name = name.release().ptr(); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 881 | |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 882 | #if PY_MAJOR_VERSION >= 3 && PY_MINOR_VERSION >= 3 |
| 883 | type->ht_qualname = ht_qualname.release().ptr(); |
| 884 | #endif |
| 885 | |
Dean Moldovan | c91f8bd | 2017-02-13 18:11:24 +0100 | [diff] [blame^] | 886 | /* Custom metaclass if requested (used for static properties) */ |
| 887 | if (rec->metaclass) |
| 888 | PYBIND11_OB_TYPE(type->ht_type) = internals.default_metaclass; |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 889 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 890 | /* Supported protocols */ |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 891 | type->ht_type.tp_as_number = &type->as_number; |
| 892 | type->ht_type.tp_as_sequence = &type->as_sequence; |
| 893 | type->ht_type.tp_as_mapping = &type->as_mapping; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 894 | |
| 895 | /* Supported elementary operations */ |
| 896 | type->ht_type.tp_init = (initproc) init; |
| 897 | type->ht_type.tp_new = (newfunc) new_instance; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 898 | type->ht_type.tp_dealloc = rec->dealloc; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 899 | |
| 900 | /* Support weak references (needed for the keep_alive feature) */ |
Wenzel Jakob | 88d1d04 | 2016-01-20 01:26:42 +0100 | [diff] [blame] | 901 | type->ht_type.tp_weaklistoffset = offsetof(instance_essentials<void>, weakrefs); |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 902 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 903 | /* Flags */ |
| 904 | type->ht_type.tp_flags |= Py_TPFLAGS_DEFAULT | Py_TPFLAGS_BASETYPE | Py_TPFLAGS_HEAPTYPE; |
| 905 | #if PY_MAJOR_VERSION < 3 |
| 906 | type->ht_type.tp_flags |= Py_TPFLAGS_CHECKTYPES; |
| 907 | #endif |
| 908 | type->ht_type.tp_flags &= ~Py_TPFLAGS_HAVE_GC; |
| 909 | |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 910 | /* Support dynamic attributes */ |
| 911 | if (rec->dynamic_attr) { |
Wenzel Jakob | 64cb699 | 2016-12-26 13:12:10 +0100 | [diff] [blame] | 912 | #if defined(PYPY_VERSION) |
| 913 | pybind11_fail(std::string(rec->name) + ": dynamic attributes are " |
| 914 | "currently not supported in " |
| 915 | "conunction with PyPy!"); |
| 916 | #endif |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 917 | type->ht_type.tp_flags |= Py_TPFLAGS_HAVE_GC; |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 918 | type->ht_type.tp_dictoffset = type->ht_type.tp_basicsize; // place the dict at the end |
| 919 | type->ht_type.tp_basicsize += sizeof(PyObject *); // and allocate enough space for it |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 920 | type->ht_type.tp_getset = generic_getset; |
| 921 | type->ht_type.tp_traverse = traverse; |
| 922 | type->ht_type.tp_clear = clear; |
| 923 | } |
| 924 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 925 | if (rec->buffer_protocol) { |
| 926 | type->ht_type.tp_as_buffer = &type->as_buffer; |
| 927 | #if PY_MAJOR_VERSION < 3 |
| 928 | type->ht_type.tp_flags |= Py_TPFLAGS_HAVE_NEWBUFFER; |
| 929 | #endif |
| 930 | type->as_buffer.bf_getbuffer = getbuffer; |
| 931 | type->as_buffer.bf_releasebuffer = releasebuffer; |
| 932 | } |
| 933 | |
Wenzel Jakob | c47d498 | 2016-07-11 23:40:28 +0200 | [diff] [blame] | 934 | type->ht_type.tp_doc = tp_doc; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 935 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 936 | m_ptr = type_holder.ptr(); |
| 937 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 938 | if (PyType_Ready(&type->ht_type) < 0) |
Wenzel Jakob | e72a676 | 2016-09-14 23:39:16 +0800 | [diff] [blame] | 939 | pybind11_fail(std::string(rec->name) + ": PyType_Ready failed (" + |
| 940 | detail::error_string() + ")!"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 941 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 942 | if (scope_module) // Needed by pydoc |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 943 | attr("__module__") = scope_module; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 944 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 945 | /* Register type with the parent scope */ |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 946 | if (rec->scope) |
| 947 | rec->scope.attr(handle(type->ht_name)) = *this; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 948 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 949 | if (rec->multiple_inheritance) |
| 950 | mark_parents_nonsimple(&type->ht_type); |
| 951 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 952 | type_holder.release(); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 953 | } |
| 954 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 955 | /// Helper function which tags all parents of a type using mult. inheritance |
| 956 | void mark_parents_nonsimple(PyTypeObject *value) { |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 957 | auto t = reinterpret_borrow<tuple>(value->tp_bases); |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 958 | for (handle h : t) { |
| 959 | auto tinfo2 = get_type_info((PyTypeObject *) h.ptr()); |
| 960 | if (tinfo2) |
| 961 | tinfo2->simple_type = false; |
| 962 | mark_parents_nonsimple((PyTypeObject *) h.ptr()); |
| 963 | } |
| 964 | } |
| 965 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 966 | static int init(void *self, PyObject *, PyObject *) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 967 | PyTypeObject *type = Py_TYPE(self); |
| 968 | std::string msg; |
| 969 | #if defined(PYPY_VERSION) |
| 970 | msg += handle((PyObject *) type).attr("__module__").cast<std::string>() + "."; |
| 971 | #endif |
| 972 | msg += type->tp_name; |
| 973 | msg += ": No constructor defined!"; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 974 | PyErr_SetString(PyExc_TypeError, msg.c_str()); |
| 975 | return -1; |
| 976 | } |
| 977 | |
| 978 | static PyObject *new_instance(PyTypeObject *type, PyObject *, PyObject *) { |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 979 | instance<void> *self = (instance<void> *) PyType_GenericAlloc((PyTypeObject *) type, 0); |
| 980 | auto tinfo = detail::get_type_info(type); |
| 981 | self->value = ::operator new(tinfo->type_size); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 982 | self->owned = true; |
Jason Rhinelander | c07ec31 | 2016-11-06 13:12:48 -0500 | [diff] [blame] | 983 | self->holder_constructed = false; |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 984 | detail::get_internals().registered_instances.emplace(self->value, (PyObject *) self); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 985 | return (PyObject *) self; |
| 986 | } |
| 987 | |
| 988 | static void dealloc(instance<void> *self) { |
| 989 | if (self->value) { |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 990 | auto instance_type = Py_TYPE(self); |
| 991 | auto ®istered_instances = detail::get_internals().registered_instances; |
| 992 | auto range = registered_instances.equal_range(self->value); |
| 993 | bool found = false; |
| 994 | for (auto it = range.first; it != range.second; ++it) { |
| 995 | if (instance_type == Py_TYPE(it->second)) { |
| 996 | registered_instances.erase(it); |
| 997 | found = true; |
| 998 | break; |
| 999 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1000 | } |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 1001 | if (!found) |
| 1002 | pybind11_fail("generic_type::dealloc(): Tried to deallocate unregistered instance!"); |
| 1003 | |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1004 | if (self->weakrefs) |
| 1005 | PyObject_ClearWeakRefs((PyObject *) self); |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 1006 | |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 1007 | PyObject **dict_ptr = _PyObject_GetDictPtr((PyObject *) self); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1008 | if (dict_ptr) |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 1009 | Py_CLEAR(*dict_ptr); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1010 | } |
| 1011 | Py_TYPE(self)->tp_free((PyObject*) self); |
| 1012 | } |
| 1013 | |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 1014 | static int traverse(PyObject *op, visitproc visit, void *arg) { |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 1015 | PyObject *&dict = *_PyObject_GetDictPtr(op); |
| 1016 | Py_VISIT(dict); |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 1017 | return 0; |
| 1018 | } |
| 1019 | |
| 1020 | static int clear(PyObject *op) { |
Dean Moldovan | 22726c9 | 2016-10-12 23:20:32 +0200 | [diff] [blame] | 1021 | PyObject *&dict = *_PyObject_GetDictPtr(op); |
| 1022 | Py_CLEAR(dict); |
Dean Moldovan | 6fccf69 | 2016-10-11 01:12:48 +0200 | [diff] [blame] | 1023 | return 0; |
| 1024 | } |
| 1025 | |
Wenzel Jakob | 43398a8 | 2015-07-28 16:12:20 +0200 | [diff] [blame] | 1026 | void install_buffer_funcs( |
| 1027 | buffer_info *(*get_buffer)(PyObject *, void *), |
| 1028 | void *get_buffer_data) { |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1029 | PyHeapTypeObject *type = (PyHeapTypeObject*) m_ptr; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1030 | auto tinfo = detail::get_type_info(&type->ht_type); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1031 | |
| 1032 | if (!type->ht_type.tp_as_buffer) |
| 1033 | pybind11_fail( |
| 1034 | "To be able to register buffer protocol support for the type '" + |
| 1035 | std::string(tinfo->type->tp_name) + |
| 1036 | "' the associated class<>(..) invocation must " |
| 1037 | "include the pybind11::buffer_protocol() annotation!"); |
| 1038 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1039 | tinfo->get_buffer = get_buffer; |
| 1040 | tinfo->get_buffer_data = get_buffer_data; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1041 | } |
| 1042 | |
| 1043 | static int getbuffer(PyObject *obj, Py_buffer *view, int flags) { |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1044 | auto tinfo = detail::get_type_info(Py_TYPE(obj)); |
| 1045 | if (view == nullptr || obj == nullptr || !tinfo || !tinfo->get_buffer) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1046 | if (view) |
| 1047 | view->obj = nullptr; |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1048 | PyErr_SetString(PyExc_BufferError, "generic_type::getbuffer(): Internal error"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1049 | return -1; |
| 1050 | } |
| 1051 | memset(view, 0, sizeof(Py_buffer)); |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1052 | buffer_info *info = tinfo->get_buffer(obj, tinfo->get_buffer_data); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1053 | view->obj = obj; |
| 1054 | view->ndim = 1; |
| 1055 | view->internal = info; |
| 1056 | view->buf = info->ptr; |
Wenzel Jakob | 0a07805 | 2016-05-29 13:40:40 +0200 | [diff] [blame] | 1057 | view->itemsize = (ssize_t) info->itemsize; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1058 | view->len = view->itemsize; |
| 1059 | for (auto s : info->shape) |
| 1060 | view->len *= s; |
| 1061 | if ((flags & PyBUF_FORMAT) == PyBUF_FORMAT) |
| 1062 | view->format = const_cast<char *>(info->format.c_str()); |
| 1063 | if ((flags & PyBUF_STRIDES) == PyBUF_STRIDES) { |
Wenzel Jakob | 0a07805 | 2016-05-29 13:40:40 +0200 | [diff] [blame] | 1064 | view->ndim = (int) info->ndim; |
Wenzel Jakob | 27e8e10 | 2016-01-17 22:36:37 +0100 | [diff] [blame] | 1065 | view->strides = (ssize_t *) &info->strides[0]; |
| 1066 | view->shape = (ssize_t *) &info->shape[0]; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1067 | } |
| 1068 | Py_INCREF(view->obj); |
| 1069 | return 0; |
| 1070 | } |
| 1071 | |
| 1072 | static void releasebuffer(PyObject *, Py_buffer *view) { delete (buffer_info *) view->internal; } |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1073 | |
| 1074 | void def_property_static_impl(const char *name, |
| 1075 | handle fget, handle fset, |
| 1076 | detail::function_record *rec_fget) { |
Dean Moldovan | c91f8bd | 2017-02-13 18:11:24 +0100 | [diff] [blame^] | 1077 | const auto is_static = !(rec_fget->is_method && rec_fget->scope); |
| 1078 | const auto has_doc = rec_fget->doc && pybind11::options::show_user_defined_docstrings(); |
| 1079 | |
| 1080 | if (is_static) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1081 | auto mclass = handle((PyObject *) PYBIND11_OB_TYPE(*((PyTypeObject *) m_ptr))); |
| 1082 | |
| 1083 | if ((PyTypeObject *) mclass.ptr() == &PyType_Type) |
| 1084 | pybind11_fail( |
| 1085 | "Adding static properties to the type '" + |
| 1086 | std::string(((PyTypeObject *) m_ptr)->tp_name) + |
| 1087 | "' requires the type to have a custom metaclass. Please " |
| 1088 | "ensure that one is created by supplying the pybind11::metaclass() " |
| 1089 | "annotation to the associated class_<>(..) invocation."); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1090 | } |
Dean Moldovan | c91f8bd | 2017-02-13 18:11:24 +0100 | [diff] [blame^] | 1091 | |
| 1092 | auto property = handle((PyObject *) (is_static ? get_internals().static_property_type |
| 1093 | : &PyProperty_Type)); |
| 1094 | attr(name) = property(fget.ptr() ? fget : none(), |
| 1095 | fset.ptr() ? fset : none(), |
| 1096 | /*deleter*/none(), |
| 1097 | pybind11::str(has_doc ? rec_fget->doc : "")); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1098 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1099 | }; |
Jason Rhinelander | 6b52c83 | 2016-09-06 12:27:00 -0400 | [diff] [blame] | 1100 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1101 | NAMESPACE_END(detail) |
| 1102 | |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1103 | template <typename type_, typename... options> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1104 | class class_ : public detail::generic_type { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1105 | template <typename T> using is_holder = detail::is_holder_type<type_, T>; |
| 1106 | template <typename T> using is_subtype = detail::bool_constant<std::is_base_of<type_, T>::value && !std::is_same<T, type_>::value>; |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1107 | template <typename T> using is_base = detail::bool_constant<std::is_base_of<T, type_>::value && !std::is_same<T, type_>::value>; |
Jason Rhinelander | fa5d05e | 2016-12-12 18:11:49 -0500 | [diff] [blame] | 1108 | // struct instead of using here to help MSVC: |
| 1109 | template <typename T> struct is_valid_class_option : |
| 1110 | detail::any_of<is_holder<T>, is_subtype<T>, is_base<T>> {}; |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1111 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1112 | public: |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1113 | using type = type_; |
Jason Rhinelander | 6b52c83 | 2016-09-06 12:27:00 -0400 | [diff] [blame] | 1114 | using type_alias = detail::first_of_t<is_subtype, void, options...>; |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1115 | constexpr static bool has_alias = !std::is_void<type_alias>::value; |
Jason Rhinelander | 6b52c83 | 2016-09-06 12:27:00 -0400 | [diff] [blame] | 1116 | using holder_type = detail::first_of_t<is_holder, std::unique_ptr<type>, options...>; |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1117 | using instance_type = detail::instance<type, holder_type>; |
| 1118 | |
Jason Rhinelander | fa5d05e | 2016-12-12 18:11:49 -0500 | [diff] [blame] | 1119 | static_assert(detail::all_of<is_valid_class_option<options>...>::value, |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1120 | "Unknown/invalid class_ template parameters provided"); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1121 | |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 1122 | PYBIND11_OBJECT(class_, generic_type, PyType_Check) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1123 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1124 | template <typename... Extra> |
| 1125 | class_(handle scope, const char *name, const Extra &... extra) { |
| 1126 | detail::type_record record; |
| 1127 | record.scope = scope; |
| 1128 | record.name = name; |
| 1129 | record.type = &typeid(type); |
Jason Rhinelander | 9c6859e | 2016-09-08 11:03:08 -0400 | [diff] [blame] | 1130 | record.type_size = sizeof(detail::conditional_t<has_alias, type_alias, type>); |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1131 | record.instance_size = sizeof(instance_type); |
| 1132 | record.init_holder = init_holder; |
| 1133 | record.dealloc = dealloc; |
Pim Schellart | cc88aae | 2017-01-31 10:52:11 -0500 | [diff] [blame] | 1134 | record.default_holder = std::is_same<holder_type, std::unique_ptr<type>>::value; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1135 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1136 | /* Register base classes specified via template arguments to class_, if any */ |
Wenzel Jakob | c1fc27e | 2016-09-13 00:36:43 +0900 | [diff] [blame] | 1137 | bool unused[] = { (add_base<options>(record), false)..., false }; |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1138 | (void) unused; |
Jason Rhinelander | 6b52c83 | 2016-09-06 12:27:00 -0400 | [diff] [blame] | 1139 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1140 | /* Process optional arguments, if any */ |
| 1141 | detail::process_attributes<Extra...>::init(extra..., &record); |
| 1142 | |
| 1143 | detail::generic_type::initialize(&record); |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1144 | |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1145 | if (has_alias) { |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1146 | auto &instances = pybind11::detail::get_internals().registered_types_cpp; |
| 1147 | instances[std::type_index(typeid(type_alias))] = instances[std::type_index(typeid(type))]; |
| 1148 | } |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1149 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1150 | |
Wenzel Jakob | c1fc27e | 2016-09-13 00:36:43 +0900 | [diff] [blame] | 1151 | template <typename Base, detail::enable_if_t<is_base<Base>::value, int> = 0> |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1152 | static void add_base(detail::type_record &rec) { |
| 1153 | rec.add_base(&typeid(Base), [](void *src) -> void * { |
| 1154 | return static_cast<Base *>(reinterpret_cast<type *>(src)); |
| 1155 | }); |
| 1156 | } |
| 1157 | |
Wenzel Jakob | c1fc27e | 2016-09-13 00:36:43 +0900 | [diff] [blame] | 1158 | template <typename Base, detail::enable_if_t<!is_base<Base>::value, int> = 0> |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1159 | static void add_base(detail::type_record &) { } |
| 1160 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1161 | template <typename Func, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1162 | class_ &def(const char *name_, Func&& f, const Extra&... extra) { |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 1163 | cpp_function cf(std::forward<Func>(f), name(name_), is_method(*this), |
| 1164 | sibling(getattr(*this, name_, none())), extra...); |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 1165 | attr(cf.name()) = cf; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1166 | return *this; |
| 1167 | } |
| 1168 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1169 | template <typename Func, typename... Extra> class_ & |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1170 | def_static(const char *name_, Func f, const Extra&... extra) { |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 1171 | cpp_function cf(std::forward<Func>(f), name(name_), scope(*this), |
| 1172 | sibling(getattr(*this, name_, none())), extra...); |
Wenzel Jakob | 5708221 | 2015-09-04 23:42:12 +0200 | [diff] [blame] | 1173 | attr(cf.name()) = cf; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1174 | return *this; |
| 1175 | } |
| 1176 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1177 | template <detail::op_id id, detail::op_type ot, typename L, typename R, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1178 | class_ &def(const detail::op_<id, ot, L, R> &op, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1179 | op.execute(*this, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1180 | return *this; |
| 1181 | } |
| 1182 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1183 | template <detail::op_id id, detail::op_type ot, typename L, typename R, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1184 | class_ & def_cast(const detail::op_<id, ot, L, R> &op, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1185 | op.execute_cast(*this, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1186 | return *this; |
| 1187 | } |
| 1188 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1189 | template <typename... Args, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1190 | class_ &def(const detail::init<Args...> &init, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1191 | init.execute(*this, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1192 | return *this; |
| 1193 | } |
| 1194 | |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1195 | template <typename... Args, typename... Extra> |
| 1196 | class_ &def(const detail::init_alias<Args...> &init, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1197 | init.execute(*this, extra...); |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1198 | return *this; |
| 1199 | } |
| 1200 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1201 | template <typename Func> class_& def_buffer(Func &&func) { |
Wenzel Jakob | 43398a8 | 2015-07-28 16:12:20 +0200 | [diff] [blame] | 1202 | struct capture { Func func; }; |
| 1203 | capture *ptr = new capture { std::forward<Func>(func) }; |
| 1204 | install_buffer_funcs([](PyObject *obj, void *ptr) -> buffer_info* { |
Dean Moldovan | 5f07fac | 2017-01-03 11:52:05 +0100 | [diff] [blame] | 1205 | detail::make_caster<type> caster; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1206 | if (!caster.load(obj, false)) |
| 1207 | return nullptr; |
Wenzel Jakob | 43398a8 | 2015-07-28 16:12:20 +0200 | [diff] [blame] | 1208 | return new buffer_info(((capture *) ptr)->func(caster)); |
| 1209 | }, ptr); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1210 | return *this; |
| 1211 | } |
| 1212 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1213 | template <typename C, typename D, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1214 | class_ &def_readwrite(const char *name, D C::*pm, const Extra&... extra) { |
Wenzel Jakob | 0b48958 | 2016-03-25 16:13:10 +0100 | [diff] [blame] | 1215 | cpp_function fget([pm](const C &c) -> const D &{ return c.*pm; }, is_method(*this)), |
| 1216 | fset([pm](C &c, const D &value) { c.*pm = value; }, is_method(*this)); |
| 1217 | def_property(name, fget, fset, return_value_policy::reference_internal, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1218 | return *this; |
| 1219 | } |
| 1220 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1221 | template <typename C, typename D, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1222 | class_ &def_readonly(const char *name, const D C::*pm, const Extra& ...extra) { |
Wenzel Jakob | 0b48958 | 2016-03-25 16:13:10 +0100 | [diff] [blame] | 1223 | cpp_function fget([pm](const C &c) -> const D &{ return c.*pm; }, is_method(*this)); |
| 1224 | def_property_readonly(name, fget, return_value_policy::reference_internal, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1225 | return *this; |
| 1226 | } |
| 1227 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1228 | template <typename D, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1229 | class_ &def_readwrite_static(const char *name, D *pm, const Extra& ...extra) { |
Wenzel Jakob | 0b48958 | 2016-03-25 16:13:10 +0100 | [diff] [blame] | 1230 | cpp_function fget([pm](object) -> const D &{ return *pm; }, scope(*this)), |
| 1231 | fset([pm](object, const D &value) { *pm = value; }, scope(*this)); |
| 1232 | def_property_static(name, fget, fset, return_value_policy::reference, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1233 | return *this; |
| 1234 | } |
| 1235 | |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1236 | template <typename D, typename... Extra> |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1237 | class_ &def_readonly_static(const char *name, const D *pm, const Extra& ...extra) { |
Wenzel Jakob | 0b48958 | 2016-03-25 16:13:10 +0100 | [diff] [blame] | 1238 | cpp_function fget([pm](object) -> const D &{ return *pm; }, scope(*this)); |
| 1239 | def_property_readonly_static(name, fget, return_value_policy::reference, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1240 | return *this; |
| 1241 | } |
| 1242 | |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1243 | /// Uses return_value_policy::reference_internal by default |
| 1244 | template <typename Getter, typename... Extra> |
| 1245 | class_ &def_property_readonly(const char *name, const Getter &fget, const Extra& ...extra) { |
| 1246 | return def_property_readonly(name, cpp_function(fget), return_value_policy::reference_internal, extra...); |
| 1247 | } |
| 1248 | |
| 1249 | /// Uses cpp_function's return_value_policy by default |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1250 | template <typename... Extra> |
| 1251 | class_ &def_property_readonly(const char *name, const cpp_function &fget, const Extra& ...extra) { |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1252 | return def_property(name, fget, cpp_function(), extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1253 | } |
| 1254 | |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1255 | /// Uses return_value_policy::reference by default |
| 1256 | template <typename Getter, typename... Extra> |
| 1257 | class_ &def_property_readonly_static(const char *name, const Getter &fget, const Extra& ...extra) { |
| 1258 | return def_property_readonly_static(name, cpp_function(fget), return_value_policy::reference, extra...); |
| 1259 | } |
| 1260 | |
| 1261 | /// Uses cpp_function's return_value_policy by default |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1262 | template <typename... Extra> |
| 1263 | class_ &def_property_readonly_static(const char *name, const cpp_function &fget, const Extra& ...extra) { |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1264 | return def_property_static(name, fget, cpp_function(), extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1265 | } |
| 1266 | |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1267 | /// Uses return_value_policy::reference_internal by default |
| 1268 | template <typename Getter, typename... Extra> |
| 1269 | class_ &def_property(const char *name, const Getter &fget, const cpp_function &fset, const Extra& ...extra) { |
| 1270 | return def_property(name, cpp_function(fget), fset, return_value_policy::reference_internal, extra...); |
| 1271 | } |
| 1272 | |
| 1273 | /// Uses cpp_function's return_value_policy by default |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1274 | template <typename... Extra> |
| 1275 | class_ &def_property(const char *name, const cpp_function &fget, const cpp_function &fset, const Extra& ...extra) { |
Wenzel Jakob | 0b48958 | 2016-03-25 16:13:10 +0100 | [diff] [blame] | 1276 | return def_property_static(name, fget, fset, is_method(*this), extra...); |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1277 | } |
| 1278 | |
Dean Moldovan | 03f627e | 2016-11-01 11:44:57 +0100 | [diff] [blame] | 1279 | /// Uses return_value_policy::reference by default |
| 1280 | template <typename Getter, typename... Extra> |
| 1281 | class_ &def_property_static(const char *name, const Getter &fget, const cpp_function &fset, const Extra& ...extra) { |
| 1282 | return def_property_static(name, cpp_function(fget), fset, return_value_policy::reference, extra...); |
| 1283 | } |
| 1284 | |
| 1285 | /// Uses cpp_function's return_value_policy by default |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1286 | template <typename... Extra> |
| 1287 | class_ &def_property_static(const char *name, const cpp_function &fget, const cpp_function &fset, const Extra& ...extra) { |
| 1288 | auto rec_fget = get_function_record(fget), rec_fset = get_function_record(fset); |
Wenzel Jakob | 7c99ff2 | 2016-06-02 20:33:01 +0200 | [diff] [blame] | 1289 | char *doc_prev = rec_fget->doc; /* 'extra' field may include a property-specific documentation string */ |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1290 | detail::process_attributes<Extra...>::init(extra..., rec_fget); |
Wenzel Jakob | 7c99ff2 | 2016-06-02 20:33:01 +0200 | [diff] [blame] | 1291 | if (rec_fget->doc && rec_fget->doc != doc_prev) { |
| 1292 | free(doc_prev); |
| 1293 | rec_fget->doc = strdup(rec_fget->doc); |
| 1294 | } |
| 1295 | if (rec_fset) { |
| 1296 | doc_prev = rec_fset->doc; |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1297 | detail::process_attributes<Extra...>::init(extra..., rec_fset); |
Wenzel Jakob | 7c99ff2 | 2016-06-02 20:33:01 +0200 | [diff] [blame] | 1298 | if (rec_fset->doc && rec_fset->doc != doc_prev) { |
| 1299 | free(doc_prev); |
| 1300 | rec_fset->doc = strdup(rec_fset->doc); |
| 1301 | } |
| 1302 | } |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1303 | def_property_static_impl(name, fget, fset, rec_fget); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1304 | return *this; |
| 1305 | } |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1306 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1307 | private: |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1308 | /// Initialize holder object, variant 1: object derives from enable_shared_from_this |
| 1309 | template <typename T> |
| 1310 | static void init_holder_helper(instance_type *inst, const holder_type * /* unused */, const std::enable_shared_from_this<T> * /* dummy */) { |
Wenzel Jakob | 6e213c9 | 2015-11-24 23:05:58 +0100 | [diff] [blame] | 1311 | try { |
hbruintjes | 70d2e57 | 2016-07-01 12:39:55 +0200 | [diff] [blame] | 1312 | new (&inst->holder) holder_type(std::static_pointer_cast<typename holder_type::element_type>(inst->value->shared_from_this())); |
Dean Moldovan | ab90ec6 | 2016-12-07 02:36:44 +0100 | [diff] [blame] | 1313 | inst->holder_constructed = true; |
Wenzel Jakob | 6e213c9 | 2015-11-24 23:05:58 +0100 | [diff] [blame] | 1314 | } catch (const std::bad_weak_ptr &) { |
Dean Moldovan | ab90ec6 | 2016-12-07 02:36:44 +0100 | [diff] [blame] | 1315 | if (inst->owned) { |
| 1316 | new (&inst->holder) holder_type(inst->value); |
| 1317 | inst->holder_constructed = true; |
| 1318 | } |
Wenzel Jakob | 6e213c9 | 2015-11-24 23:05:58 +0100 | [diff] [blame] | 1319 | } |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1320 | } |
| 1321 | |
Dean Moldovan | ec009a7 | 2017-01-31 17:05:44 +0100 | [diff] [blame] | 1322 | static void init_holder_from_existing(instance_type *inst, const holder_type *holder_ptr, |
| 1323 | std::true_type /*is_copy_constructible*/) { |
| 1324 | new (&inst->holder) holder_type(*holder_ptr); |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1325 | } |
| 1326 | |
Dean Moldovan | ec009a7 | 2017-01-31 17:05:44 +0100 | [diff] [blame] | 1327 | static void init_holder_from_existing(instance_type *inst, const holder_type *holder_ptr, |
| 1328 | std::false_type /*is_copy_constructible*/) { |
| 1329 | new (&inst->holder) holder_type(std::move(*const_cast<holder_type *>(holder_ptr))); |
| 1330 | } |
| 1331 | |
| 1332 | /// Initialize holder object, variant 2: try to construct from existing holder object, if possible |
| 1333 | static void init_holder_helper(instance_type *inst, const holder_type *holder_ptr, const void * /* dummy */) { |
| 1334 | if (holder_ptr) { |
| 1335 | init_holder_from_existing(inst, holder_ptr, std::is_copy_constructible<holder_type>()); |
| 1336 | inst->holder_constructed = true; |
| 1337 | } else if (inst->owned || detail::always_construct_holder<holder_type>::value) { |
Jason Rhinelander | c07ec31 | 2016-11-06 13:12:48 -0500 | [diff] [blame] | 1338 | new (&inst->holder) holder_type(inst->value); |
| 1339 | inst->holder_constructed = true; |
| 1340 | } |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1341 | } |
| 1342 | |
| 1343 | /// Initialize holder object of an instance, possibly given a pointer to an existing holder |
| 1344 | static void init_holder(PyObject *inst_, const void *holder_ptr) { |
| 1345 | auto inst = (instance_type *) inst_; |
| 1346 | init_holder_helper(inst, (const holder_type *) holder_ptr, inst->value); |
Wenzel Jakob | 6e213c9 | 2015-11-24 23:05:58 +0100 | [diff] [blame] | 1347 | } |
| 1348 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1349 | static void dealloc(PyObject *inst_) { |
| 1350 | instance_type *inst = (instance_type *) inst_; |
Jason Rhinelander | c07ec31 | 2016-11-06 13:12:48 -0500 | [diff] [blame] | 1351 | if (inst->holder_constructed) |
| 1352 | inst->holder.~holder_type(); |
| 1353 | else if (inst->owned) |
| 1354 | ::operator delete(inst->value); |
| 1355 | |
Wenzel Jakob | d561cb0 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1356 | generic_type::dealloc((detail::instance<void> *) inst); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1357 | } |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1358 | |
| 1359 | static detail::function_record *get_function_record(handle h) { |
| 1360 | h = detail::get_function(h); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1361 | return h ? (detail::function_record *) reinterpret_borrow<capsule>(PyCFunction_GET_SELF(h.ptr())) |
Dean Moldovan | c7ac16b | 2016-10-28 03:08:15 +0200 | [diff] [blame] | 1362 | : nullptr; |
Wenzel Jakob | 84ec78f | 2016-03-21 17:54:24 +0100 | [diff] [blame] | 1363 | } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1364 | }; |
| 1365 | |
| 1366 | /// Binds C++ enumerations and enumeration classes to Python |
| 1367 | template <typename Type> class enum_ : public class_<Type> { |
| 1368 | public: |
Wenzel Jakob | 8ac9715 | 2016-09-05 17:20:50 +0900 | [diff] [blame] | 1369 | using class_<Type>::def; |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1370 | using Scalar = typename std::underlying_type<Type>::type; |
| 1371 | template <typename T> using arithmetic_tag = std::is_same<T, arithmetic>; |
| 1372 | |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1373 | template <typename... Extra> |
| 1374 | enum_(const handle &scope, const char *name, const Extra&... extra) |
| 1375 | : class_<Type>(scope, name, extra...), m_parent(scope) { |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1376 | |
| 1377 | constexpr bool is_arithmetic = |
| 1378 | !std::is_same<detail::first_of_t<arithmetic_tag, void, Extra...>, |
| 1379 | void>::value; |
| 1380 | |
| 1381 | auto entries = new std::unordered_map<Scalar, const char *>(); |
Wenzel Jakob | 8ac9715 | 2016-09-05 17:20:50 +0900 | [diff] [blame] | 1382 | def("__repr__", [name, entries](Type value) -> std::string { |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1383 | auto it = entries->find((Scalar) value); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1384 | return std::string(name) + "." + |
| 1385 | ((it == entries->end()) ? std::string("???") |
| 1386 | : std::string(it->second)); |
| 1387 | }); |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1388 | def("__init__", [](Type& value, Scalar i) { value = (Type)i; }); |
| 1389 | def("__init__", [](Type& value, Scalar i) { new (&value) Type((Type) i); }); |
| 1390 | def("__int__", [](Type value) { return (Scalar) value; }); |
Wenzel Jakob | 8ac9715 | 2016-09-05 17:20:50 +0900 | [diff] [blame] | 1391 | def("__eq__", [](const Type &value, Type *value2) { return value2 && value == *value2; }); |
| 1392 | def("__ne__", [](const Type &value, Type *value2) { return !value2 || value != *value2; }); |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1393 | if (is_arithmetic) { |
| 1394 | def("__lt__", [](const Type &value, Type *value2) { return value2 && value < *value2; }); |
| 1395 | def("__gt__", [](const Type &value, Type *value2) { return value2 && value > *value2; }); |
| 1396 | def("__le__", [](const Type &value, Type *value2) { return value2 && value <= *value2; }); |
| 1397 | def("__ge__", [](const Type &value, Type *value2) { return value2 && value >= *value2; }); |
| 1398 | } |
| 1399 | if (std::is_convertible<Type, Scalar>::value) { |
Jason Rhinelander | d41a273 | 2016-08-04 00:21:37 -0400 | [diff] [blame] | 1400 | // Don't provide comparison with the underlying type if the enum isn't convertible, |
| 1401 | // i.e. if Type is a scoped enum, mirroring the C++ behaviour. (NB: we explicitly |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1402 | // convert Type to Scalar below anyway because this needs to compile). |
| 1403 | def("__eq__", [](const Type &value, Scalar value2) { return (Scalar) value == value2; }); |
| 1404 | def("__ne__", [](const Type &value, Scalar value2) { return (Scalar) value != value2; }); |
| 1405 | if (is_arithmetic) { |
| 1406 | def("__lt__", [](const Type &value, Scalar value2) { return (Scalar) value < value2; }); |
| 1407 | def("__gt__", [](const Type &value, Scalar value2) { return (Scalar) value > value2; }); |
| 1408 | def("__le__", [](const Type &value, Scalar value2) { return (Scalar) value <= value2; }); |
| 1409 | def("__ge__", [](const Type &value, Scalar value2) { return (Scalar) value >= value2; }); |
| 1410 | def("__invert__", [](const Type &value) { return ~((Scalar) value); }); |
| 1411 | def("__and__", [](const Type &value, Scalar value2) { return (Scalar) value & value2; }); |
| 1412 | def("__or__", [](const Type &value, Scalar value2) { return (Scalar) value | value2; }); |
| 1413 | def("__xor__", [](const Type &value, Scalar value2) { return (Scalar) value ^ value2; }); |
| 1414 | def("__rand__", [](const Type &value, Scalar value2) { return (Scalar) value & value2; }); |
| 1415 | def("__ror__", [](const Type &value, Scalar value2) { return (Scalar) value | value2; }); |
| 1416 | def("__rxor__", [](const Type &value, Scalar value2) { return (Scalar) value ^ value2; }); |
| 1417 | def("__and__", [](const Type &value, const Type &value2) { return (Scalar) value & (Scalar) value2; }); |
| 1418 | def("__or__", [](const Type &value, const Type &value2) { return (Scalar) value | (Scalar) value2; }); |
| 1419 | def("__xor__", [](const Type &value, const Type &value2) { return (Scalar) value ^ (Scalar) value2; }); |
| 1420 | } |
Jason Rhinelander | d41a273 | 2016-08-04 00:21:37 -0400 | [diff] [blame] | 1421 | } |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1422 | def("__hash__", [](const Type &value) { return (Scalar) value; }); |
Wenzel Jakob | fe34241 | 2016-09-06 13:02:29 +0900 | [diff] [blame] | 1423 | // Pickling and unpickling -- needed for use with the 'multiprocessing' module |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1424 | def("__getstate__", [](const Type &value) { return pybind11::make_tuple((Scalar) value); }); |
| 1425 | def("__setstate__", [](Type &p, tuple t) { new (&p) Type((Type) t[0].cast<Scalar>()); }); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1426 | m_entries = entries; |
| 1427 | } |
| 1428 | |
| 1429 | /// Export enumeration entries into the parent scope |
Wenzel Jakob | e916d84 | 2016-11-04 16:51:14 +0100 | [diff] [blame] | 1430 | enum_ &export_values() { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1431 | #if !defined(PYPY_VERSION) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1432 | PyObject *dict = ((PyTypeObject *) this->m_ptr)->tp_dict; |
| 1433 | PyObject *key, *value; |
Wenzel Jakob | 27e8e10 | 2016-01-17 22:36:37 +0100 | [diff] [blame] | 1434 | ssize_t pos = 0; |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1435 | |
| 1436 | while (PyDict_Next(dict, &pos, &key, &value)) { |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1437 | if (PyObject_IsInstance(value, this->m_ptr)) |
| 1438 | m_parent.attr(key) = value; |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1439 | } |
| 1440 | #else |
| 1441 | /* PyPy's cpyext still has difficulties with the above |
| 1442 | CPython API calls; emulate using Python code. */ |
| 1443 | dict d; d["t"] = *this; d["p"] = m_parent; |
| 1444 | PyObject *result = PyRun_String( |
| 1445 | "for k, v in t.__dict__.items():\n" |
| 1446 | " if isinstance(v, t):\n" |
| 1447 | " setattr(p, k, v)\n", |
| 1448 | Py_file_input, d.ptr(), d.ptr()); |
| 1449 | if (result == nullptr) |
| 1450 | throw error_already_set(); |
| 1451 | Py_DECREF(result); |
| 1452 | #endif |
| 1453 | |
Wenzel Jakob | e916d84 | 2016-11-04 16:51:14 +0100 | [diff] [blame] | 1454 | return *this; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1455 | } |
| 1456 | |
| 1457 | /// Add an enumeration entry |
| 1458 | enum_& value(char const* name, Type value) { |
Wenzel Jakob | 8f4eb00 | 2015-10-15 18:13:33 +0200 | [diff] [blame] | 1459 | this->attr(name) = pybind11::cast(value, return_value_policy::copy); |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1460 | (*m_entries)[(Scalar) value] = name; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1461 | return *this; |
| 1462 | } |
| 1463 | private: |
Wenzel Jakob | 405f6d1 | 2016-11-17 23:24:47 +0100 | [diff] [blame] | 1464 | std::unordered_map<Scalar, const char *> *m_entries; |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1465 | handle m_parent; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1466 | }; |
| 1467 | |
| 1468 | NAMESPACE_BEGIN(detail) |
Wenzel Jakob | 7186783 | 2015-07-29 17:43:52 +0200 | [diff] [blame] | 1469 | template <typename... Args> struct init { |
Jason Rhinelander | ec62d97 | 2016-09-09 02:42:51 -0400 | [diff] [blame] | 1470 | template <typename Class, typename... Extra, enable_if_t<!Class::has_alias, int> = 0> |
| 1471 | static void execute(Class &cl, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1472 | using Base = typename Class::type; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1473 | /// Function which calls a specific C++ in-place constructor |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1474 | cl.def("__init__", [](Base *self_, Args... args) { new (self_) Base(args...); }, extra...); |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1475 | } |
| 1476 | |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1477 | template <typename Class, typename... Extra, |
Jason Rhinelander | ec62d97 | 2016-09-09 02:42:51 -0400 | [diff] [blame] | 1478 | enable_if_t<Class::has_alias && |
| 1479 | std::is_constructible<typename Class::type, Args...>::value, int> = 0> |
| 1480 | static void execute(Class &cl, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1481 | using Base = typename Class::type; |
| 1482 | using Alias = typename Class::type_alias; |
| 1483 | handle cl_type = cl; |
| 1484 | cl.def("__init__", [cl_type](handle self_, Args... args) { |
Wenzel Jakob | 69e1a5c | 2016-05-26 14:29:31 +0200 | [diff] [blame] | 1485 | if (self_.get_type() == cl_type) |
| 1486 | new (self_.cast<Base *>()) Base(args...); |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1487 | else |
Wenzel Jakob | 69e1a5c | 2016-05-26 14:29:31 +0200 | [diff] [blame] | 1488 | new (self_.cast<Alias *>()) Alias(args...); |
Wenzel Jakob | 86d825f | 2016-05-26 13:19:27 +0200 | [diff] [blame] | 1489 | }, extra...); |
| 1490 | } |
| 1491 | |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1492 | template <typename Class, typename... Extra, |
Jason Rhinelander | ec62d97 | 2016-09-09 02:42:51 -0400 | [diff] [blame] | 1493 | enable_if_t<Class::has_alias && |
| 1494 | !std::is_constructible<typename Class::type, Args...>::value, int> = 0> |
| 1495 | static void execute(Class &cl, const Extra&... extra) { |
| 1496 | init_alias<Args...>::execute(cl, extra...); |
| 1497 | } |
| 1498 | }; |
| 1499 | template <typename... Args> struct init_alias { |
| 1500 | template <typename Class, typename... Extra, |
| 1501 | enable_if_t<Class::has_alias && std::is_constructible<typename Class::type_alias, Args...>::value, int> = 0> |
| 1502 | static void execute(Class &cl, const Extra&... extra) { |
Jason Rhinelander | 5fffe20 | 2016-09-06 12:17:06 -0400 | [diff] [blame] | 1503 | using Alias = typename Class::type_alias; |
| 1504 | cl.def("__init__", [](Alias *self_, Args... args) { new (self_) Alias(args...); }, extra...); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1505 | } |
| 1506 | }; |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1507 | |
Jason Rhinelander | ec62d97 | 2016-09-09 02:42:51 -0400 | [diff] [blame] | 1508 | |
Jason Rhinelander | f2ecd89 | 2016-08-10 12:08:04 -0400 | [diff] [blame] | 1509 | inline void keep_alive_impl(handle nurse, handle patient) { |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1510 | /* Clever approach based on weak references taken from Boost.Python */ |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1511 | if (!nurse || !patient) |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1512 | pybind11_fail("Could not activate keep_alive!"); |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1513 | |
Ivan Smirnov | 984c762 | 2016-08-29 02:38:47 +0100 | [diff] [blame] | 1514 | if (patient.is_none() || nurse.is_none()) |
Glen Walker | f45bb58 | 2016-08-16 17:50:43 +1200 | [diff] [blame] | 1515 | return; /* Nothing to keep alive or nothing to be kept alive by */ |
Wenzel Jakob | 9b880ba | 2016-04-25 03:25:13 +0200 | [diff] [blame] | 1516 | |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1517 | cpp_function disable_lifesupport( |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1518 | [patient](handle weakref) { patient.dec_ref(); weakref.dec_ref(); }); |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1519 | |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1520 | weakref wr(nurse, disable_lifesupport); |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1521 | |
Wenzel Jakob | b2c2c79 | 2016-01-17 22:36:40 +0100 | [diff] [blame] | 1522 | patient.inc_ref(); /* reference patient and leak the weak reference */ |
| 1523 | (void) wr.release(); |
Wenzel Jakob | 5f218b3 | 2016-01-17 22:36:39 +0100 | [diff] [blame] | 1524 | } |
| 1525 | |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 1526 | PYBIND11_NOINLINE inline void keep_alive_impl(size_t Nurse, size_t Patient, function_call &call, handle ret) { |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 1527 | keep_alive_impl( |
Jason Rhinelander | bfcf952 | 2017-01-30 13:34:38 -0500 | [diff] [blame] | 1528 | Nurse == 0 ? ret : Nurse <= call.args.size() ? call.args[Nurse - 1] : handle(), |
| 1529 | Patient == 0 ? ret : Patient <= call.args.size() ? call.args[Patient - 1] : handle() |
Jason Rhinelander | 2686da8 | 2017-01-21 23:42:14 -0500 | [diff] [blame] | 1530 | ); |
Jason Rhinelander | f2ecd89 | 2016-08-10 12:08:04 -0400 | [diff] [blame] | 1531 | } |
| 1532 | |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1533 | template <typename Iterator, typename Sentinel, bool KeyIterator, return_value_policy Policy> |
Ivan Smirnov | 2b308e0 | 2016-08-24 23:29:04 +0100 | [diff] [blame] | 1534 | struct iterator_state { |
| 1535 | Iterator it; |
| 1536 | Sentinel end; |
Ivan Smirnov | daed1ab | 2016-06-17 22:29:39 +0100 | [diff] [blame] | 1537 | bool first; |
| 1538 | }; |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1539 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1540 | NAMESPACE_END(detail) |
| 1541 | |
Ben Pritchard | 2de6e1d | 2016-02-18 13:20:15 -0500 | [diff] [blame] | 1542 | template <typename... Args> detail::init<Args...> init() { return detail::init<Args...>(); } |
Jason Rhinelander | ec62d97 | 2016-09-09 02:42:51 -0400 | [diff] [blame] | 1543 | template <typename... Args> detail::init_alias<Args...> init_alias() { return detail::init_alias<Args...>(); } |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1544 | |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1545 | template <return_value_policy Policy = return_value_policy::reference_internal, |
| 1546 | typename Iterator, |
Ivan Smirnov | 2b308e0 | 2016-08-24 23:29:04 +0100 | [diff] [blame] | 1547 | typename Sentinel, |
Wenzel Jakob | 5dd33d8 | 2016-05-30 11:28:21 +0200 | [diff] [blame] | 1548 | typename ValueType = decltype(*std::declval<Iterator>()), |
| 1549 | typename... Extra> |
Ivan Smirnov | 2b308e0 | 2016-08-24 23:29:04 +0100 | [diff] [blame] | 1550 | iterator make_iterator(Iterator first, Sentinel last, Extra &&... extra) { |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1551 | typedef detail::iterator_state<Iterator, Sentinel, false, Policy> state; |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1552 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1553 | if (!detail::get_type_info(typeid(state), false)) { |
Wenzel Jakob | 146397e | 2016-09-06 13:06:31 +0900 | [diff] [blame] | 1554 | class_<state>(handle(), "iterator") |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1555 | .def("__iter__", [](state &s) -> state& { return s; }) |
Wenzel Jakob | 5dd33d8 | 2016-05-30 11:28:21 +0200 | [diff] [blame] | 1556 | .def("__next__", [](state &s) -> ValueType { |
Ivan Smirnov | daed1ab | 2016-06-17 22:29:39 +0100 | [diff] [blame] | 1557 | if (!s.first) |
| 1558 | ++s.it; |
| 1559 | else |
| 1560 | s.first = false; |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1561 | if (s.it == s.end) |
| 1562 | throw stop_iteration(); |
Ivan Smirnov | daed1ab | 2016-06-17 22:29:39 +0100 | [diff] [blame] | 1563 | return *s.it; |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1564 | }, std::forward<Extra>(extra)..., Policy); |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1565 | } |
| 1566 | |
Ivan Smirnov | daed1ab | 2016-06-17 22:29:39 +0100 | [diff] [blame] | 1567 | return (iterator) cast(state { first, last, true }); |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1568 | } |
Wenzel Jakob | 146397e | 2016-09-06 13:06:31 +0900 | [diff] [blame] | 1569 | |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1570 | template <return_value_policy Policy = return_value_policy::reference_internal, |
| 1571 | typename Iterator, |
Ivan Smirnov | 2b308e0 | 2016-08-24 23:29:04 +0100 | [diff] [blame] | 1572 | typename Sentinel, |
Ivan Smirnov | c5a1c8a | 2016-08-24 23:27:19 +0100 | [diff] [blame] | 1573 | typename KeyType = decltype((*std::declval<Iterator>()).first), |
Jason Rhinelander | 5aa85be | 2016-08-11 21:22:05 -0400 | [diff] [blame] | 1574 | typename... Extra> |
Ivan Smirnov | 2b308e0 | 2016-08-24 23:29:04 +0100 | [diff] [blame] | 1575 | iterator make_key_iterator(Iterator first, Sentinel last, Extra &&... extra) { |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1576 | typedef detail::iterator_state<Iterator, Sentinel, true, Policy> state; |
Jason Rhinelander | 5aa85be | 2016-08-11 21:22:05 -0400 | [diff] [blame] | 1577 | |
Wenzel Jakob | 8e5dceb | 2016-09-11 20:00:40 +0900 | [diff] [blame] | 1578 | if (!detail::get_type_info(typeid(state), false)) { |
Wenzel Jakob | 146397e | 2016-09-06 13:06:31 +0900 | [diff] [blame] | 1579 | class_<state>(handle(), "iterator") |
Jason Rhinelander | 5aa85be | 2016-08-11 21:22:05 -0400 | [diff] [blame] | 1580 | .def("__iter__", [](state &s) -> state& { return s; }) |
| 1581 | .def("__next__", [](state &s) -> KeyType { |
| 1582 | if (!s.first) |
| 1583 | ++s.it; |
| 1584 | else |
| 1585 | s.first = false; |
| 1586 | if (s.it == s.end) |
| 1587 | throw stop_iteration(); |
Ivan Smirnov | c5a1c8a | 2016-08-24 23:27:19 +0100 | [diff] [blame] | 1588 | return (*s.it).first; |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1589 | }, std::forward<Extra>(extra)..., Policy); |
Jason Rhinelander | 5aa85be | 2016-08-11 21:22:05 -0400 | [diff] [blame] | 1590 | } |
| 1591 | |
| 1592 | return (iterator) cast(state { first, last, true }); |
| 1593 | } |
Wenzel Jakob | b282595 | 2016-04-13 23:33:00 +0200 | [diff] [blame] | 1594 | |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1595 | template <return_value_policy Policy = return_value_policy::reference_internal, |
| 1596 | typename Type, typename... Extra> iterator make_iterator(Type &value, Extra&&... extra) { |
| 1597 | return make_iterator<Policy>(std::begin(value), std::end(value), extra...); |
Wenzel Jakob | bf0c7dc | 2016-04-18 10:52:12 +0200 | [diff] [blame] | 1598 | } |
| 1599 | |
Wenzel Jakob | b212f6c | 2016-09-10 16:00:50 +0900 | [diff] [blame] | 1600 | template <return_value_policy Policy = return_value_policy::reference_internal, |
| 1601 | typename Type, typename... Extra> iterator make_key_iterator(Type &value, Extra&&... extra) { |
| 1602 | return make_key_iterator<Policy>(std::begin(value), std::end(value), extra...); |
Jason Rhinelander | 5aa85be | 2016-08-11 21:22:05 -0400 | [diff] [blame] | 1603 | } |
| 1604 | |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1605 | template <typename InputType, typename OutputType> void implicitly_convertible() { |
Wenzel Jakob | 2ac5044 | 2016-01-17 22:36:35 +0100 | [diff] [blame] | 1606 | auto implicit_caster = [](PyObject *obj, PyTypeObject *type) -> PyObject * { |
Dean Moldovan | 5f07fac | 2017-01-03 11:52:05 +0100 | [diff] [blame] | 1607 | if (!detail::make_caster<InputType>().load(obj, false)) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1608 | return nullptr; |
| 1609 | tuple args(1); |
| 1610 | args[0] = obj; |
| 1611 | PyObject *result = PyObject_Call((PyObject *) type, args.ptr(), nullptr); |
| 1612 | if (result == nullptr) |
| 1613 | PyErr_Clear(); |
| 1614 | return result; |
| 1615 | }; |
Ivan Smirnov | 8f3e045 | 2016-10-23 15:43:03 +0100 | [diff] [blame] | 1616 | |
| 1617 | if (auto tinfo = detail::get_type_info(typeid(OutputType))) |
| 1618 | tinfo->implicit_conversions.push_back(implicit_caster); |
| 1619 | else |
Wenzel Jakob | 678d787 | 2016-01-17 22:36:41 +0100 | [diff] [blame] | 1620 | pybind11_fail("implicitly_convertible: Unable to find type " + type_id<OutputType>()); |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1621 | } |
| 1622 | |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 1623 | template <typename ExceptionTranslator> |
| 1624 | void register_exception_translator(ExceptionTranslator&& translator) { |
| 1625 | detail::get_internals().registered_exception_translators.push_front( |
| 1626 | std::forward<ExceptionTranslator>(translator)); |
| 1627 | } |
| 1628 | |
| 1629 | /* Wrapper to generate a new Python exception type. |
| 1630 | * |
| 1631 | * This should only be used with PyErr_SetString for now. |
| 1632 | * It is not (yet) possible to use as a py::base. |
| 1633 | * Template type argument is reserved for future use. |
| 1634 | */ |
| 1635 | template <typename type> |
| 1636 | class exception : public object { |
| 1637 | public: |
Wenzel Jakob | 281ccc6 | 2016-11-16 17:59:56 +0100 | [diff] [blame] | 1638 | exception(handle scope, const char *name, PyObject *base = PyExc_Exception) { |
| 1639 | std::string full_name = scope.attr("__name__").cast<std::string>() + |
| 1640 | std::string(".") + name; |
Matthew Woehlke | e15fa9f | 2017-02-08 17:43:08 -0500 | [diff] [blame] | 1641 | m_ptr = PyErr_NewException(const_cast<char *>(full_name.c_str()), base, NULL); |
Wenzel Jakob | 281ccc6 | 2016-11-16 17:59:56 +0100 | [diff] [blame] | 1642 | if (hasattr(scope, name)) |
| 1643 | pybind11_fail("Error during initialization: multiple incompatible " |
| 1644 | "definitions with name \"" + std::string(name) + "\""); |
| 1645 | scope.attr(name) = *this; |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 1646 | } |
Jason Rhinelander | b3794f1 | 2016-09-16 02:04:15 -0400 | [diff] [blame] | 1647 | |
| 1648 | // Sets the current python exception to this exception object with the given message |
| 1649 | void operator()(const char *message) { |
| 1650 | PyErr_SetString(m_ptr, message); |
| 1651 | } |
Pim Schellart | 5a7d17f | 2016-06-17 17:35:59 -0400 | [diff] [blame] | 1652 | }; |
| 1653 | |
Jason Rhinelander | b3794f1 | 2016-09-16 02:04:15 -0400 | [diff] [blame] | 1654 | /** Registers a Python exception in `m` of the given `name` and installs an exception translator to |
| 1655 | * translate the C++ exception to the created Python exception using the exceptions what() method. |
| 1656 | * This is intended for simple exception translations; for more complex translation, register the |
| 1657 | * exception object and translator directly. |
| 1658 | */ |
Wenzel Jakob | 281ccc6 | 2016-11-16 17:59:56 +0100 | [diff] [blame] | 1659 | template <typename CppException> |
| 1660 | exception<CppException> ®ister_exception(handle scope, |
| 1661 | const char *name, |
| 1662 | PyObject *base = PyExc_Exception) { |
| 1663 | static exception<CppException> ex(scope, name, base); |
Jason Rhinelander | b3794f1 | 2016-09-16 02:04:15 -0400 | [diff] [blame] | 1664 | register_exception_translator([](std::exception_ptr p) { |
| 1665 | if (!p) return; |
| 1666 | try { |
| 1667 | std::rethrow_exception(p); |
Wenzel Jakob | 281ccc6 | 2016-11-16 17:59:56 +0100 | [diff] [blame] | 1668 | } catch (const CppException &e) { |
Jason Rhinelander | b3794f1 | 2016-09-16 02:04:15 -0400 | [diff] [blame] | 1669 | ex(e.what()); |
| 1670 | } |
| 1671 | }); |
| 1672 | return ex; |
| 1673 | } |
| 1674 | |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1675 | NAMESPACE_BEGIN(detail) |
| 1676 | PYBIND11_NOINLINE inline void print(tuple args, dict kwargs) { |
| 1677 | auto strings = tuple(args.size()); |
| 1678 | for (size_t i = 0; i < args.size(); ++i) { |
Dean Moldovan | e18bc02 | 2016-10-25 22:12:39 +0200 | [diff] [blame] | 1679 | strings[i] = str(args[i]); |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1680 | } |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 1681 | auto sep = kwargs.contains("sep") ? kwargs["sep"] : cast(" "); |
Dean Moldovan | 242b146 | 2016-09-08 17:02:04 +0200 | [diff] [blame] | 1682 | auto line = sep.attr("join")(strings); |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1683 | |
Wenzel Jakob | c49d6e5 | 2016-10-13 10:34:52 +0200 | [diff] [blame] | 1684 | object file; |
| 1685 | if (kwargs.contains("file")) { |
| 1686 | file = kwargs["file"].cast<object>(); |
| 1687 | } else { |
| 1688 | try { |
| 1689 | file = module::import("sys").attr("stdout"); |
esquires | 67a68f1 | 2016-12-01 05:35:34 -0500 | [diff] [blame] | 1690 | } catch (const error_already_set &) { |
Wenzel Jakob | c49d6e5 | 2016-10-13 10:34:52 +0200 | [diff] [blame] | 1691 | /* If print() is called from code that is executed as |
| 1692 | part of garbage collection during interpreter shutdown, |
| 1693 | importing 'sys' can fail. Give up rather than crashing the |
| 1694 | interpreter in this case. */ |
| 1695 | return; |
| 1696 | } |
| 1697 | } |
| 1698 | |
Dean Moldovan | 242b146 | 2016-09-08 17:02:04 +0200 | [diff] [blame] | 1699 | auto write = file.attr("write"); |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1700 | write(line); |
Dean Moldovan | 865e430 | 2016-09-21 01:06:32 +0200 | [diff] [blame] | 1701 | write(kwargs.contains("end") ? kwargs["end"] : cast("\n")); |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1702 | |
Wenzel Jakob | c49d6e5 | 2016-10-13 10:34:52 +0200 | [diff] [blame] | 1703 | if (kwargs.contains("flush") && kwargs["flush"].cast<bool>()) |
Dean Moldovan | 242b146 | 2016-09-08 17:02:04 +0200 | [diff] [blame] | 1704 | file.attr("flush")(); |
Dean Moldovan | 67990d9 | 2016-08-29 18:03:34 +0200 | [diff] [blame] | 1705 | } |
| 1706 | NAMESPACE_END(detail) |
| 1707 | |
| 1708 | template <return_value_policy policy = return_value_policy::automatic_reference, typename... Args> |
| 1709 | void print(Args &&...args) { |
| 1710 | auto c = detail::collect_arguments<policy>(std::forward<Args>(args)...); |
| 1711 | detail::print(c.args(), c.kwargs()); |
| 1712 | } |
| 1713 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1714 | #if defined(WITH_THREAD) && !defined(PYPY_VERSION) |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1715 | |
| 1716 | /* The functions below essentially reproduce the PyGILState_* API using a RAII |
| 1717 | * pattern, but there are a few important differences: |
| 1718 | * |
| 1719 | * 1. When acquiring the GIL from an non-main thread during the finalization |
| 1720 | * phase, the GILState API blindly terminates the calling thread, which |
| 1721 | * is often not what is wanted. This API does not do this. |
| 1722 | * |
| 1723 | * 2. The gil_scoped_release function can optionally cut the relationship |
| 1724 | * of a PyThreadState and its associated thread, which allows moving it to |
| 1725 | * another thread (this is a fairly rare/advanced use case). |
| 1726 | * |
| 1727 | * 3. The reference count of an acquired thread state can be controlled. This |
| 1728 | * can be handy to prevent cases where callbacks issued from an external |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1729 | * thread would otherwise constantly construct and destroy thread state data |
| 1730 | * structures. |
Wenzel Jakob | 69e1a5c | 2016-05-26 14:29:31 +0200 | [diff] [blame] | 1731 | * |
| 1732 | * See the Python bindings of NanoGUI (http://github.com/wjakob/nanogui) for an |
| 1733 | * example which uses features 2 and 3 to migrate the Python thread of |
| 1734 | * execution to another thread (to run the event loop on the original thread, |
| 1735 | * in this case). |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1736 | */ |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1737 | |
| 1738 | class gil_scoped_acquire { |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1739 | public: |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1740 | PYBIND11_NOINLINE gil_scoped_acquire() { |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1741 | auto const &internals = detail::get_internals(); |
| 1742 | tstate = (PyThreadState *) PyThread_get_key_value(internals.tstate); |
| 1743 | |
| 1744 | if (!tstate) { |
| 1745 | tstate = PyThreadState_New(internals.istate); |
| 1746 | #if !defined(NDEBUG) |
| 1747 | if (!tstate) |
| 1748 | pybind11_fail("scoped_acquire: could not create thread state!"); |
| 1749 | #endif |
| 1750 | tstate->gilstate_counter = 0; |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1751 | #if PY_MAJOR_VERSION < 3 |
| 1752 | PyThread_delete_key_value(internals.tstate); |
| 1753 | #endif |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1754 | PyThread_set_key_value(internals.tstate, tstate); |
| 1755 | } else { |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1756 | release = detail::get_thread_state_unchecked() != tstate; |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1757 | } |
| 1758 | |
| 1759 | if (release) { |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1760 | /* Work around an annoying assertion in PyThreadState_Swap */ |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1761 | #if defined(Py_DEBUG) |
| 1762 | PyInterpreterState *interp = tstate->interp; |
| 1763 | tstate->interp = nullptr; |
| 1764 | #endif |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1765 | PyEval_AcquireThread(tstate); |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1766 | #if defined(Py_DEBUG) |
| 1767 | tstate->interp = interp; |
| 1768 | #endif |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1769 | } |
| 1770 | |
| 1771 | inc_ref(); |
| 1772 | } |
| 1773 | |
| 1774 | void inc_ref() { |
| 1775 | ++tstate->gilstate_counter; |
| 1776 | } |
| 1777 | |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1778 | PYBIND11_NOINLINE void dec_ref() { |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1779 | --tstate->gilstate_counter; |
| 1780 | #if !defined(NDEBUG) |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1781 | if (detail::get_thread_state_unchecked() != tstate) |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1782 | pybind11_fail("scoped_acquire::dec_ref(): thread state must be current!"); |
| 1783 | if (tstate->gilstate_counter < 0) |
| 1784 | pybind11_fail("scoped_acquire::dec_ref(): reference count underflow!"); |
| 1785 | #endif |
| 1786 | if (tstate->gilstate_counter == 0) { |
| 1787 | #if !defined(NDEBUG) |
| 1788 | if (!release) |
| 1789 | pybind11_fail("scoped_acquire::dec_ref(): internal error!"); |
| 1790 | #endif |
| 1791 | PyThreadState_Clear(tstate); |
| 1792 | PyThreadState_DeleteCurrent(); |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1793 | PyThread_delete_key_value(detail::get_internals().tstate); |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1794 | release = false; |
| 1795 | } |
| 1796 | } |
| 1797 | |
Wenzel Jakob | fbafdea | 2016-04-25 15:02:43 +0200 | [diff] [blame] | 1798 | PYBIND11_NOINLINE ~gil_scoped_acquire() { |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1799 | dec_ref(); |
| 1800 | if (release) |
| 1801 | PyEval_SaveThread(); |
| 1802 | } |
| 1803 | private: |
| 1804 | PyThreadState *tstate = nullptr; |
| 1805 | bool release = true; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1806 | }; |
| 1807 | |
| 1808 | class gil_scoped_release { |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1809 | public: |
Jason Rhinelander | 12d7660 | 2016-10-16 16:27:42 -0400 | [diff] [blame] | 1810 | explicit gil_scoped_release(bool disassoc = false) : disassoc(disassoc) { |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1811 | tstate = PyEval_SaveThread(); |
Wenzel Jakob | 2f6662e | 2016-04-25 09:16:41 +0200 | [diff] [blame] | 1812 | if (disassoc) { |
Boris Schäling | 20ee935 | 2016-05-28 12:26:18 +0200 | [diff] [blame] | 1813 | auto key = detail::get_internals().tstate; |
Wenzel Jakob | 2f6662e | 2016-04-25 09:16:41 +0200 | [diff] [blame] | 1814 | #if PY_MAJOR_VERSION < 3 |
| 1815 | PyThread_delete_key_value(key); |
| 1816 | #else |
| 1817 | PyThread_set_key_value(key, nullptr); |
| 1818 | #endif |
| 1819 | } |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1820 | } |
| 1821 | ~gil_scoped_release() { |
| 1822 | if (!tstate) |
| 1823 | return; |
| 1824 | PyEval_RestoreThread(tstate); |
Wenzel Jakob | 2f6662e | 2016-04-25 09:16:41 +0200 | [diff] [blame] | 1825 | if (disassoc) { |
Boris Schäling | 20ee935 | 2016-05-28 12:26:18 +0200 | [diff] [blame] | 1826 | auto key = detail::get_internals().tstate; |
Wenzel Jakob | 2f6662e | 2016-04-25 09:16:41 +0200 | [diff] [blame] | 1827 | #if PY_MAJOR_VERSION < 3 |
| 1828 | PyThread_delete_key_value(key); |
| 1829 | #endif |
| 1830 | PyThread_set_key_value(key, tstate); |
| 1831 | } |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1832 | } |
| 1833 | private: |
| 1834 | PyThreadState *tstate; |
| 1835 | bool disassoc; |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1836 | }; |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1837 | #elif defined(PYPY_VERSION) |
| 1838 | class gil_scoped_acquire { |
| 1839 | PyGILState_STATE state; |
| 1840 | public: |
| 1841 | gil_scoped_acquire() { state = PyGILState_Ensure(); } |
| 1842 | ~gil_scoped_acquire() { PyGILState_Release(state); } |
| 1843 | }; |
| 1844 | |
| 1845 | class gil_scoped_release { |
| 1846 | PyThreadState *state; |
| 1847 | public: |
| 1848 | gil_scoped_release() { state = PyEval_SaveThread(); } |
| 1849 | ~gil_scoped_release() { PyEval_RestoreThread(state); } |
| 1850 | }; |
Wenzel Jakob | 39e97e6 | 2016-04-25 03:26:15 +0200 | [diff] [blame] | 1851 | #else |
| 1852 | class gil_scoped_acquire { }; |
| 1853 | class gil_scoped_release { }; |
Felipe Lema | 2547ca4 | 2016-01-25 16:22:44 -0300 | [diff] [blame] | 1854 | #endif |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1855 | |
Wenzel Jakob | 8d396fc | 2016-11-24 23:11:02 +0100 | [diff] [blame] | 1856 | error_already_set::~error_already_set() { |
| 1857 | if (value) { |
| 1858 | gil_scoped_acquire gil; |
Dean Moldovan | d534bd6 | 2017-02-08 20:23:56 +0100 | [diff] [blame] | 1859 | clear(); |
Wenzel Jakob | 8d396fc | 2016-11-24 23:11:02 +0100 | [diff] [blame] | 1860 | } |
| 1861 | } |
| 1862 | |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 1863 | inline function get_type_overload(const void *this_ptr, const detail::type_info *this_type, const char *name) { |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1864 | handle self = detail::get_object_handle(this_ptr, this_type); |
| 1865 | if (!self) |
Wenzel Jakob | ac0fde9 | 2015-10-01 18:37:26 +0200 | [diff] [blame] | 1866 | return function(); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1867 | handle type = self.get_type(); |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1868 | auto key = std::make_pair(type.ptr(), name); |
| 1869 | |
Wenzel Jakob | f5c154a | 2016-04-11 18:13:08 +0200 | [diff] [blame] | 1870 | /* Cache functions that aren't overloaded in Python to avoid |
| 1871 | many costly Python dictionary lookups below */ |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1872 | auto &cache = detail::get_internals().inactive_overload_cache; |
| 1873 | if (cache.find(key) != cache.end()) |
| 1874 | return function(); |
| 1875 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1876 | function overload = getattr(self, name, function()); |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1877 | if (overload.is_cpp_function()) { |
| 1878 | cache.insert(key); |
| 1879 | return function(); |
| 1880 | } |
Wenzel Jakob | 27e8e10 | 2016-01-17 22:36:37 +0100 | [diff] [blame] | 1881 | |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1882 | /* Don't call dispatch code if invoked from overridden function. |
| 1883 | Unfortunately this doesn't work on PyPy. */ |
| 1884 | #if !defined(PYPY_VERSION) |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1885 | PyFrameObject *frame = PyThreadState_Get()->frame; |
Dean Moldovan | e18bc02 | 2016-10-25 22:12:39 +0200 | [diff] [blame] | 1886 | if (frame && (std::string) str(frame->f_code->co_name) == name && |
Wenzel Jakob | f5c154a | 2016-04-11 18:13:08 +0200 | [diff] [blame] | 1887 | frame->f_code->co_argcount > 0) { |
| 1888 | PyFrame_FastToLocals(frame); |
| 1889 | PyObject *self_caller = PyDict_GetItem( |
| 1890 | frame->f_locals, PyTuple_GET_ITEM(frame->f_code->co_varnames, 0)); |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1891 | if (self_caller == self.ptr()) |
Wenzel Jakob | f5c154a | 2016-04-11 18:13:08 +0200 | [diff] [blame] | 1892 | return function(); |
| 1893 | } |
Wenzel Jakob | 1d1f81b | 2016-12-16 15:00:46 +0100 | [diff] [blame] | 1894 | #else |
| 1895 | /* PyPy currently doesn't provide a detailed cpyext emulation of |
| 1896 | frame objects, so we have to emulate this using Python. This |
| 1897 | is going to be slow..*/ |
| 1898 | dict d; d["self"] = self; d["name"] = pybind11::str(name); |
| 1899 | PyObject *result = PyRun_String( |
| 1900 | "import inspect\n" |
| 1901 | "frame = inspect.currentframe()\n" |
| 1902 | "if frame is not None:\n" |
| 1903 | " frame = frame.f_back\n" |
| 1904 | " if frame is not None and str(frame.f_code.co_name) == name and " |
| 1905 | "frame.f_code.co_argcount > 0:\n" |
| 1906 | " self_caller = frame.f_locals[frame.f_code.co_varnames[0]]\n" |
| 1907 | " if self_caller == self:\n" |
| 1908 | " self = None\n", |
| 1909 | Py_file_input, d.ptr(), d.ptr()); |
| 1910 | if (result == nullptr) |
| 1911 | throw error_already_set(); |
| 1912 | if ((handle) d["self"] == Py_None) |
| 1913 | return function(); |
| 1914 | Py_DECREF(result); |
| 1915 | #endif |
| 1916 | |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1917 | return overload; |
| 1918 | } |
| 1919 | |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 1920 | template <class T> function get_overload(const T *this_ptr, const char *name) { |
Ivan Smirnov | 8f3e045 | 2016-10-23 15:43:03 +0100 | [diff] [blame] | 1921 | auto tinfo = detail::get_type_info(typeid(T)); |
| 1922 | return tinfo ? get_type_overload(this_ptr, tinfo, name) : function(); |
Jason Rhinelander | 1b05ce5 | 2016-08-09 17:57:59 -0400 | [diff] [blame] | 1923 | } |
| 1924 | |
Jason Rhinelander | 2097826 | 2016-08-29 18:16:46 -0400 | [diff] [blame] | 1925 | #define PYBIND11_OVERLOAD_INT(ret_type, cname, name, ...) { \ |
Wenzel Jakob | 8f4eb00 | 2015-10-15 18:13:33 +0200 | [diff] [blame] | 1926 | pybind11::gil_scoped_acquire gil; \ |
Jason Rhinelander | 2097826 | 2016-08-29 18:16:46 -0400 | [diff] [blame] | 1927 | pybind11::function overload = pybind11::get_overload(static_cast<const cname *>(this), name); \ |
Jason Rhinelander | 7dfb932 | 2016-09-08 14:49:43 -0400 | [diff] [blame] | 1928 | if (overload) { \ |
Jason Rhinelander | 3e4fe6c | 2016-09-11 12:17:41 -0400 | [diff] [blame] | 1929 | auto o = overload(__VA_ARGS__); \ |
Jason Rhinelander | 7dfb932 | 2016-09-08 14:49:43 -0400 | [diff] [blame] | 1930 | if (pybind11::detail::cast_is_temporary_value_reference<ret_type>::value) { \ |
Jason Rhinelander | 3e4fe6c | 2016-09-11 12:17:41 -0400 | [diff] [blame] | 1931 | static pybind11::detail::overload_caster_t<ret_type> caster; \ |
| 1932 | return pybind11::detail::cast_ref<ret_type>(std::move(o), caster); \ |
Jason Rhinelander | 7dfb932 | 2016-09-08 14:49:43 -0400 | [diff] [blame] | 1933 | } \ |
| 1934 | else return pybind11::detail::cast_safe<ret_type>(std::move(o)); \ |
| 1935 | } \ |
| 1936 | } |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1937 | |
Wenzel Jakob | 1e3be73 | 2016-05-24 23:42:05 +0200 | [diff] [blame] | 1938 | #define PYBIND11_OVERLOAD_NAME(ret_type, cname, name, fn, ...) \ |
Jason Rhinelander | 2097826 | 2016-08-29 18:16:46 -0400 | [diff] [blame] | 1939 | PYBIND11_OVERLOAD_INT(ret_type, cname, name, __VA_ARGS__) \ |
Wenzel Jakob | 1e3be73 | 2016-05-24 23:42:05 +0200 | [diff] [blame] | 1940 | return cname::fn(__VA_ARGS__) |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1941 | |
Wenzel Jakob | 1e3be73 | 2016-05-24 23:42:05 +0200 | [diff] [blame] | 1942 | #define PYBIND11_OVERLOAD_PURE_NAME(ret_type, cname, name, fn, ...) \ |
Jason Rhinelander | 2097826 | 2016-08-29 18:16:46 -0400 | [diff] [blame] | 1943 | PYBIND11_OVERLOAD_INT(ret_type, cname, name, __VA_ARGS__) \ |
Wenzel Jakob | 1e3be73 | 2016-05-24 23:42:05 +0200 | [diff] [blame] | 1944 | pybind11::pybind11_fail("Tried to call pure virtual function \"" #cname "::" name "\""); |
| 1945 | |
| 1946 | #define PYBIND11_OVERLOAD(ret_type, cname, fn, ...) \ |
| 1947 | PYBIND11_OVERLOAD_NAME(ret_type, cname, #fn, fn, __VA_ARGS__) |
| 1948 | |
| 1949 | #define PYBIND11_OVERLOAD_PURE(ret_type, cname, fn, ...) \ |
| 1950 | PYBIND11_OVERLOAD_PURE_NAME(ret_type, cname, #fn, fn, __VA_ARGS__) |
Wenzel Jakob | a2f6fde | 2015-10-01 16:46:03 +0200 | [diff] [blame] | 1951 | |
Wenzel Jakob | 8f4eb00 | 2015-10-15 18:13:33 +0200 | [diff] [blame] | 1952 | NAMESPACE_END(pybind11) |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1953 | |
| 1954 | #if defined(_MSC_VER) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1955 | # pragma warning(pop) |
Wenzel Jakob | 1ffce74 | 2016-08-25 01:43:33 +0200 | [diff] [blame] | 1956 | #elif defined(__INTEL_COMPILER) |
| 1957 | /* Leave ignored warnings on */ |
Wenzel Jakob | 6d25296 | 2016-05-01 20:47:49 +0200 | [diff] [blame] | 1958 | #elif defined(__GNUG__) && !defined(__clang__) |
Wenzel Jakob | 48548ea | 2016-01-17 22:36:44 +0100 | [diff] [blame] | 1959 | # pragma GCC diagnostic pop |
Wenzel Jakob | 38bd711 | 2015-07-05 20:05:44 +0200 | [diff] [blame] | 1960 | #endif |