test_exceptions.cpp 7.36 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
9

    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.
*/

Dean Moldovan's avatar
Dean Moldovan committed
10
#include "pybind11_tests.h"
11

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

// A type that should be translated to a standard Python exception
class MyException2 : public std::exception {
public:
    explicit MyException2(const char * m) : message{m} {}
25
    const char * what() const noexcept override {return message.c_str();}
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
private:
    std::string message = "";
};

// A type that is not derived from std::exception (and is thus unknown)
class MyException3 {
public:
    explicit MyException3(const char * m) : message{m} {}
    virtual const char * what() const noexcept {return message.c_str();}
private:
    std::string message = "";
};

// A type that should be translated to MyException
// and delegated to its exception translator
class MyException4 : public std::exception {
public:
    explicit MyException4(const char * m) : message{m} {}
44
    const char * what() const noexcept override {return message.c_str();}
45
46
47
48
private:
    std::string message = "";
};

49
50
51
52
53
54
55
56
57
58
59
60

// 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;
};

61
62
struct PythonCallInDestructor {
    PythonCallInDestructor(const py::dict &d) : d(d) {}
63
    ~PythonCallInDestructor() { d["good"] = true; }
64
65
66
67

    py::dict d;
};

68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86


struct PythonAlreadySetInDestructor {
    PythonAlreadySetInDestructor(const py::str &s) : s(s) {}
    ~PythonAlreadySetInDestructor() {
        py::dict foo;
        try {
            // Assign to a py::object to force read access of nonexistent dict entry
            py::object o = foo["bar"];
        }
        catch (py::error_already_set& ex) {
            ex.discard_as_unraisable(s);
        }
    }

    py::str s;
};


87
TEST_SUBMODULE(exceptions, m) {
88
89
90
91
    m.def("throw_std_exception", []() {
        throw std::runtime_error("This exception was intentionally thrown.");
    });

92
93
94
95
96
97
    // 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 {
            if (p) std::rethrow_exception(p);
        } catch (const MyException &e) {
98
99
            // Set MyException as the active python error
            ex(e.what());
100
101
102
103
104
105
106
107
108
109
        }
    });

    // 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 {
            if (p) std::rethrow_exception(p);
        } catch (const MyException2 &e) {
110
            // Translate this exception to a standard RuntimeError
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
            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 {
            if (p) std::rethrow_exception(p);
        } catch (const MyException4 &e) {
            throw MyException(e.what());
        }
    });

126
127
128
129
130
    // 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());

131
132
133
134
135
136
137
    m.def("throws1", []() { throw MyException("this error should go to a custom type"); });
    m.def("throws2", []() { throw MyException2("this error should go to a standard Python exception"); });
    m.def("throws3", []() { throw MyException3("this error cannot be translated"); });
    m.def("throws4", []() { throw MyException4("this error is rethrown"); });
    m.def("throws5", []() { throw MyException5("this is a helper-defined translated exception"); });
    m.def("throws5_1", []() { throw MyException5_1("MyException5 subclass"); });
    m.def("throws_logic_error", []() { throw std::logic_error("this error should fall through to the standard handler"); });
138
    m.def("throws_overflow_error", []() {throw std::overflow_error(""); });
139
140
    m.def("exception_matches", []() {
        py::dict foo;
141
142
143
144
        try {
            // Assign to a py::object to force read access of nonexistent dict entry
            py::object o = foo["bar"];
        }
145
        catch (py::error_already_set& ex) {
Jason Rhinelander's avatar
Jason Rhinelander committed
146
            if (!ex.matches(PyExc_KeyError)) throw;
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
            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"];
        }
        catch (py::error_already_set &ex) {
            if (!ex.matches(PyExc_Exception)) throw;
            return true;
        }
        return false;
    });
    m.def("modulenotfound_exception_matches_base", []() {
        try {
            // On Python >= 3.6, this raises a ModuleNotFoundError, a subclass of ImportError
            py::module::import("nonexistent");
        }
        catch (py::error_already_set &ex) {
            if (!ex.matches(PyExc_ImportError)) throw;
            return true;
171
        }
172
        return false;
173
    });
174

175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
    m.def("throw_already_set", [](bool err) {
        if (err)
            PyErr_SetString(PyExc_ValueError, "foo");
        try {
            throw py::error_already_set();
        } catch (const std::runtime_error& e) {
            if ((err && e.what() != std::string("ValueError: foo")) ||
                (!err && e.what() != std::string("Unknown internal error occurred")))
            {
                PyErr_Clear();
                throw std::runtime_error("error message mismatch");
            }
        }
        PyErr_Clear();
        if (err)
            PyErr_SetString(PyExc_ValueError, "foo");
        throw py::error_already_set();
    });
193
194
195
196
197
198
199
200
201
202
203

    m.def("python_call_in_destructor", [](py::dict d) {
        try {
            PythonCallInDestructor set_dict_in_destructor(d);
            PyErr_SetString(PyExc_ValueError, "foo");
            throw py::error_already_set();
        } catch (const py::error_already_set&) {
            return true;
        }
        return false;
    });
Jason Rhinelander's avatar
Jason Rhinelander committed
204

205
206
207
208
209
    m.def("python_alreadyset_in_destructor", [](py::str s) {
        PythonAlreadySetInDestructor alreadyset_in_destructor(s);
        return true;
    });

Jason Rhinelander's avatar
Jason Rhinelander committed
210
211
212
213
214
215
216
217
218
219
220
    // test_nested_throws
    m.def("try_catch", [m](py::object exc_type, py::function f, py::args args) {
        try { f(*args); }
        catch (py::error_already_set &ex) {
            if (ex.matches(exc_type))
                py::print(ex.what());
            else
                throw;
        }
    });

221
222
223
    // Test repr that cannot be displayed
    m.def("simple_bool_passthrough", [](bool x) {return x;});

224
}