test_exceptions.cpp 11.8 KB
Newer Older
1
/*
Dean Moldovan's avatar
Dean Moldovan committed
2
    tests/test_custom-exceptions.cpp -- exception translation
3
4
5
6
7
8

    Copyright (c) 2016 Pim Schellart <P.Schellart@princeton.edu>

    All rights reserved. Use of this source code is governed by a
    BSD-style license that can be found in the LICENSE file.
*/
9
#include "test_exceptions.h"
10

11
#include "local_bindings.h"
Dean Moldovan's avatar
Dean Moldovan committed
12
#include "pybind11_tests.h"
13

14
15
#include <exception>
#include <stdexcept>
16
#include <utility>
17

luz.paz's avatar
luz.paz committed
18
// A type that should be raised as an exception in Python
19
20
class MyException : public std::exception {
public:
21
22
23
    explicit MyException(const char *m) : message{m} {}
    const char *what() const noexcept override { return message.c_str(); }

24
25
26
27
28
29
30
private:
    std::string message = "";
};

// A type that should be translated to a standard Python exception
class MyException2 : public std::exception {
public:
31
32
33
    explicit MyException2(const char *m) : message{m} {}
    const char *what() const noexcept override { return message.c_str(); }

34
35
36
37
38
39
40
private:
    std::string message = "";
};

// A type that is not derived from std::exception (and is thus unknown)
class MyException3 {
public:
41
42
    explicit MyException3(const char *m) : message{m} {}
    virtual const char *what() const noexcept { return message.c_str(); }
43
    // Rule of 5 BEGIN: to preempt compiler warnings.
44
45
46
47
    MyException3(const MyException3 &) = default;
    MyException3(MyException3 &&) = default;
    MyException3 &operator=(const MyException3 &) = default;
    MyException3 &operator=(MyException3 &&) = default;
48
49
    virtual ~MyException3() = default;
    // Rule of 5 END.
50
51
52
53
54
55
56
57
private:
    std::string message = "";
};

// A type that should be translated to MyException
// and delegated to its exception translator
class MyException4 : public std::exception {
public:
58
59
60
    explicit MyException4(const char *m) : message{m} {}
    const char *what() const noexcept override { return message.c_str(); }

61
62
63
64
private:
    std::string message = "";
};

65
66
67
68
69
70
71
72
73
74
75
// Like the above, but declared via the helper function
class MyException5 : public std::logic_error {
public:
    explicit MyException5(const std::string &what) : std::logic_error(what) {}
};

// Inherits from MyException5
class MyException5_1 : public MyException5 {
    using MyException5::MyException5;
};

76
77
78
// Exception that will be caught via the module local translator.
class MyException6 : public std::exception {
public:
79
80
81
    explicit MyException6(const char *m) : message{m} {}
    const char *what() const noexcept override { return message.c_str(); }

82
83
84
85
private:
    std::string message = "";
};

86
struct PythonCallInDestructor {
87
    explicit PythonCallInDestructor(const py::dict &d) : d(d) {}
88
    ~PythonCallInDestructor() { d["good"] = true; }
89
90
91
92

    py::dict d;
};

93
struct PythonAlreadySetInDestructor {
94
    explicit PythonAlreadySetInDestructor(const py::str &s) : s(s) {}
95
96
97
98
99
    ~PythonAlreadySetInDestructor() {
        py::dict foo;
        try {
            // Assign to a py::object to force read access of nonexistent dict entry
            py::object o = foo["bar"];
100
        } catch (py::error_already_set &ex) {
101
102
103
104
105
106
107
            ex.discard_as_unraisable(s);
        }
    }

    py::str s;
};

108
TEST_SUBMODULE(exceptions, m) {
109
110
    m.def("throw_std_exception",
          []() { throw std::runtime_error("This exception was intentionally thrown."); });
111

112
113
114
115
    // make a new custom exception and use it as a translation target
    static py::exception<MyException> ex(m, "MyException");
    py::register_exception_translator([](std::exception_ptr p) {
        try {
116
117
118
            if (p) {
                std::rethrow_exception(p);
            }
119
        } catch (const MyException &e) {
120
121
            // Set MyException as the active python error
            ex(e.what());
122
123
124
125
126
127
128
129
        }
    });

    // register new translator for MyException2
    // no need to store anything here because this type will
    // never by visible from Python
    py::register_exception_translator([](std::exception_ptr p) {
        try {
130
131
132
            if (p) {
                std::rethrow_exception(p);
            }
133
        } catch (const MyException2 &e) {
134
            // Translate this exception to a standard RuntimeError
135
136
137
138
139
140
141
142
143
            PyErr_SetString(PyExc_RuntimeError, e.what());
        }
    });

    // register new translator for MyException4
    // which will catch it and delegate to the previously registered
    // translator for MyException by throwing a new exception
    py::register_exception_translator([](std::exception_ptr p) {
        try {
144
145
146
            if (p) {
                std::rethrow_exception(p);
            }
147
148
149
150
151
        } catch (const MyException4 &e) {
            throw MyException(e.what());
        }
    });

152
153
154
155
156
    // A simple exception translation:
    auto ex5 = py::register_exception<MyException5>(m, "MyException5");
    // A slightly more complicated one that declares MyException5_1 as a subclass of MyException5
    py::register_exception<MyException5_1>(m, "MyException5_1", ex5.ptr());

157
    // py::register_local_exception<LocalSimpleException>(m, "LocalSimpleException")
158
159

    py::register_local_exception_translator([](std::exception_ptr p) {
160
161
162
163
164
165
166
        try {
            if (p) {
                std::rethrow_exception(p);
            }
        } catch (const MyException6 &e) {
            PyErr_SetString(PyExc_RuntimeError, e.what());
        }
167
168
    });

169
    m.def("throws1", []() { throw MyException("this error should go to a custom type"); });
170
171
    m.def("throws2",
          []() { throw MyException2("this error should go to a standard Python exception"); });
172
173
    m.def("throws3", []() { throw MyException3("this error cannot be translated"); });
    m.def("throws4", []() { throw MyException4("this error is rethrown"); });
174
175
    m.def("throws5",
          []() { throw MyException5("this is a helper-defined translated exception"); });
176
    m.def("throws5_1", []() { throw MyException5_1("MyException5 subclass"); });
177
    m.def("throws6", []() { throw MyException6("MyException6 only handled in this module"); });
178
179
180
    m.def("throws_logic_error", []() {
        throw std::logic_error("this error should fall through to the standard handler");
    });
181
182
183
    m.def("throws_overflow_error", []() { throw std::overflow_error(""); });
    m.def("throws_local_error", []() { throw LocalException("never caught"); });
    m.def("throws_local_simple_error", []() { throw LocalSimpleException("this mod"); });
184
185
    m.def("exception_matches", []() {
        py::dict foo;
186
187
188
        try {
            // Assign to a py::object to force read access of nonexistent dict entry
            py::object o = foo["bar"];
189
        } catch (py::error_already_set &ex) {
190
191
192
            if (!ex.matches(PyExc_KeyError)) {
                throw;
            }
193
194
195
196
197
198
199
200
201
            return true;
        }
        return false;
    });
    m.def("exception_matches_base", []() {
        py::dict foo;
        try {
            // Assign to a py::object to force read access of nonexistent dict entry
            py::object o = foo["bar"];
202
        } catch (py::error_already_set &ex) {
203
204
205
            if (!ex.matches(PyExc_Exception)) {
                throw;
            }
206
207
208
209
210
211
212
            return true;
        }
        return false;
    });
    m.def("modulenotfound_exception_matches_base", []() {
        try {
            // On Python >= 3.6, this raises a ModuleNotFoundError, a subclass of ImportError
213
            py::module_::import("nonexistent");
214
        } catch (py::error_already_set &ex) {
215
216
217
            if (!ex.matches(PyExc_ImportError)) {
                throw;
            }
218
            return true;
219
        }
220
        return false;
221
    });
222

223
    m.def("throw_already_set", [](bool err) {
224
        if (err) {
225
            PyErr_SetString(PyExc_ValueError, "foo");
226
        }
227
228
        try {
            throw py::error_already_set();
229
230
        } catch (const std::runtime_error &e) {
            if ((err && e.what() != std::string("ValueError: foo"))
231
232
233
234
                || (!err
                    && e.what()
                           != std::string("Internal error: pybind11::error_already_set called "
                                          "while Python error indicator not set."))) {
235
236
237
238
239
                PyErr_Clear();
                throw std::runtime_error("error message mismatch");
            }
        }
        PyErr_Clear();
240
        if (err) {
241
            PyErr_SetString(PyExc_ValueError, "foo");
242
        }
243
244
        throw py::error_already_set();
    });
245

246
247
    m.def("python_call_in_destructor", [](const py::dict &d) {
        bool retval = false;
248
249
250
251
        try {
            PythonCallInDestructor set_dict_in_destructor(d);
            PyErr_SetString(PyExc_ValueError, "foo");
            throw py::error_already_set();
252
        } catch (const py::error_already_set &) {
253
            retval = true;
254
        }
255
        return retval;
256
    });
Jason Rhinelander's avatar
Jason Rhinelander committed
257

258
    m.def("python_alreadyset_in_destructor", [](const py::str &s) {
259
260
261
262
        PythonAlreadySetInDestructor alreadyset_in_destructor(s);
        return true;
    });

Jason Rhinelander's avatar
Jason Rhinelander committed
263
    // test_nested_throws
264
265
266
267
268
    m.def("try_catch",
          [m](const py::object &exc_type, const py::function &f, const py::args &args) {
              try {
                  f(*args);
              } catch (py::error_already_set &ex) {
269
                  if (ex.matches(exc_type)) {
270
                      py::print(ex.what());
271
                  } else {
272
273
274
                      // Simply `throw;` also works and is better, but using `throw ex;`
                      // here to cover that situation (as observed in the wild).
                      throw ex; // Invokes the copy ctor.
275
                  }
276
277
              }
          });
Jason Rhinelander's avatar
Jason Rhinelander committed
278

279
    // Test repr that cannot be displayed
280
    m.def("simple_bool_passthrough", [](bool x) { return x; });
281

282
    m.def("throw_should_be_translated_to_key_error", []() { throw shared_exception(); });
283
284
285
286
287
288
289
290
291
292
293

    m.def("raise_from", []() {
        PyErr_SetString(PyExc_ValueError, "inner");
        py::raise_from(PyExc_ValueError, "outer");
        throw py::error_already_set();
    });

    m.def("raise_from_already_set", []() {
        try {
            PyErr_SetString(PyExc_ValueError, "inner");
            throw py::error_already_set();
294
        } catch (py::error_already_set &e) {
295
296
297
298
299
            py::raise_from(e, PyExc_ValueError, "outer");
            throw py::error_already_set();
        }
    });

300
301
302
303
304
305
306
    m.def("throw_nested_exception", []() {
        try {
            throw std::runtime_error("Inner Exception");
        } catch (const std::runtime_error &) {
            std::throw_with_nested(std::runtime_error("Outer Exception"));
        }
    });
307
308
309
310
311
312
313
314

    m.def("error_already_set_what", [](const py::object &exc_type, const py::object &exc_value) {
        PyErr_SetObject(exc_type.ptr(), exc_value.ptr());
        std::string what = py::error_already_set().what();
        bool py_err_set_after_what = (PyErr_Occurred() != nullptr);
        PyErr_Clear();
        return py::make_tuple(std::move(what), py_err_set_after_what);
    });
315
316
317
318
319
320
321

    m.def("test_cross_module_interleaved_error_already_set", []() {
        auto cm = py::module_::import("cross_module_interleaved_error_already_set");
        auto interleaved_error_already_set
            = reinterpret_cast<void (*)()>(PyLong_AsVoidPtr(cm.attr("funcaddr").ptr()));
        interleaved_error_already_set();
    });
322
323
324
325
326
327
328
329
330
331

    m.def("test_error_already_set_double_restore", [](bool dry_run) {
        PyErr_SetString(PyExc_ValueError, "Random error.");
        py::error_already_set e;
        e.restore();
        PyErr_Clear();
        if (!dry_run) {
            e.restore();
        }
    });
332
333
334
335
336
337
338
339
340
341

    // https://github.com/pybind/pybind11/issues/4075
    m.def("test_pypy_oserror_normalization", []() {
        try {
            py::module_::import("io").attr("open")("this_filename_must_not_exist", "r");
        } catch (const py::error_already_set &e) {
            return py::str(e.what()); // str must be built before e goes out of scope.
        }
        return py::str("UNEXPECTED");
    });
342
343
344
345
346

    m.def("test_fn_cast_int", [](const py::function &fn) {
        // function returns None instead of int, should give a useful error message
        fn().cast<int>();
    });
347
}