195 lines
		
	
	
		
			7.4 KiB
		
	
	
	
		
			C++
		
	
	
			
		
		
	
	
			195 lines
		
	
	
		
			7.4 KiB
		
	
	
	
		
			C++
		
	
	
| /*
 | |
|     tests/test_operator_overloading.cpp -- operator overloading
 | |
| 
 | |
|     Copyright (c) 2016 Wenzel Jakob <wenzel.jakob@epfl.ch>
 | |
| 
 | |
|     All rights reserved. Use of this source code is governed by a
 | |
|     BSD-style license that can be found in the LICENSE file.
 | |
| */
 | |
| 
 | |
| #include "pybind11_tests.h"
 | |
| #include "constructor_stats.h"
 | |
| #include <pybind11/operators.h>
 | |
| #include <functional>
 | |
| 
 | |
| class Vector2 {
 | |
| public:
 | |
|     Vector2(float x, float y) : x(x), y(y) { print_created(this, toString()); }
 | |
|     Vector2(const Vector2 &v) : x(v.x), y(v.y) { print_copy_created(this); }
 | |
|     Vector2(Vector2 &&v) : x(v.x), y(v.y) { print_move_created(this); v.x = v.y = 0; }
 | |
|     Vector2 &operator=(const Vector2 &v) { x = v.x; y = v.y; print_copy_assigned(this); return *this; }
 | |
|     Vector2 &operator=(Vector2 &&v) { x = v.x; y = v.y; v.x = v.y = 0; print_move_assigned(this); return *this; }
 | |
|     ~Vector2() { print_destroyed(this); }
 | |
| 
 | |
|     std::string toString() const { return "[" + std::to_string(x) + ", " + std::to_string(y) + "]"; }
 | |
| 
 | |
|     Vector2 operator-() const { return Vector2(-x, -y); }
 | |
|     Vector2 operator+(const Vector2 &v) const { return Vector2(x + v.x, y + v.y); }
 | |
|     Vector2 operator-(const Vector2 &v) const { return Vector2(x - v.x, y - v.y); }
 | |
|     Vector2 operator-(float value) const { return Vector2(x - value, y - value); }
 | |
|     Vector2 operator+(float value) const { return Vector2(x + value, y + value); }
 | |
|     Vector2 operator*(float value) const { return Vector2(x * value, y * value); }
 | |
|     Vector2 operator/(float value) const { return Vector2(x / value, y / value); }
 | |
|     Vector2 operator*(const Vector2 &v) const { return Vector2(x * v.x, y * v.y); }
 | |
|     Vector2 operator/(const Vector2 &v) const { return Vector2(x / v.x, y / v.y); }
 | |
|     Vector2& operator+=(const Vector2 &v) { x += v.x; y += v.y; return *this; }
 | |
|     Vector2& operator-=(const Vector2 &v) { x -= v.x; y -= v.y; return *this; }
 | |
|     Vector2& operator*=(float v) { x *= v; y *= v; return *this; }
 | |
|     Vector2& operator/=(float v) { x /= v; y /= v; return *this; }
 | |
|     Vector2& operator*=(const Vector2 &v) { x *= v.x; y *= v.y; return *this; }
 | |
|     Vector2& operator/=(const Vector2 &v) { x /= v.x; y /= v.y; return *this; }
 | |
| 
 | |
|     friend Vector2 operator+(float f, const Vector2 &v) { return Vector2(f + v.x, f + v.y); }
 | |
|     friend Vector2 operator-(float f, const Vector2 &v) { return Vector2(f - v.x, f - v.y); }
 | |
|     friend Vector2 operator*(float f, const Vector2 &v) { return Vector2(f * v.x, f * v.y); }
 | |
|     friend Vector2 operator/(float f, const Vector2 &v) { return Vector2(f / v.x, f / v.y); }
 | |
| 
 | |
|     bool operator==(const Vector2 &v) const {
 | |
|         return x == v.x && y == v.y;
 | |
|     }
 | |
|     bool operator!=(const Vector2 &v) const {
 | |
|         return x != v.x || y != v.y;
 | |
|     }
 | |
| private:
 | |
|     float x, y;
 | |
| };
 | |
| 
 | |
| class C1 { };
 | |
| class C2 { };
 | |
| 
 | |
| int operator+(const C1 &, const C1 &) { return 11; }
 | |
| int operator+(const C2 &, const C2 &) { return 22; }
 | |
| int operator+(const C2 &, const C1 &) { return 21; }
 | |
| int operator+(const C1 &, const C2 &) { return 12; }
 | |
| 
 | |
| // Note: Specializing explicit within `namespace std { ... }` is done due to a
 | |
| // bug in GCC<7. If you are supporting compilers later than this, consider
 | |
| // specializing `using template<> struct std::hash<...>` in the global
 | |
| // namespace instead, per this recommendation:
 | |
| // https://en.cppreference.com/w/cpp/language/extending_std#Adding_template_specializations
 | |
| namespace std {
 | |
|     template<>
 | |
|     struct hash<Vector2> {
 | |
|         // Not a good hash function, but easy to test
 | |
|         size_t operator()(const Vector2 &) { return 4; }
 | |
|     };
 | |
| }
 | |
| 
 | |
| // Not a good abs function, but easy to test.
 | |
| std::string abs(const Vector2&) {
 | |
|     return "abs(Vector2)";
 | |
| }
 | |
| 
 | |
| // MSVC warns about unknown pragmas, and warnings are errors.
 | |
| #ifndef _MSC_VER
 | |
|   #pragma GCC diagnostic push
 | |
|   // clang 7.0.0 and Apple LLVM 10.0.1 introduce `-Wself-assign-overloaded` to
 | |
|   // `-Wall`, which is used here for overloading (e.g. `py::self += py::self `).
 | |
|   // Here, we suppress the warning using `#pragma diagnostic`.
 | |
|   // Taken from: https://github.com/RobotLocomotion/drake/commit/aaf84b46
 | |
|   // TODO(eric): This could be resolved using a function / functor (e.g. `py::self()`).
 | |
|   #if (__APPLE__) && (__clang__)
 | |
|     #if (__clang_major__ >= 10) && (__clang_minor__ >= 0) && (__clang_patchlevel__ >= 1)
 | |
|       #pragma GCC diagnostic ignored "-Wself-assign-overloaded"
 | |
|     #endif
 | |
|   #elif (__clang__)
 | |
|     #if (__clang_major__ >= 7)
 | |
|       #pragma GCC diagnostic ignored "-Wself-assign-overloaded"
 | |
|     #endif
 | |
|   #endif
 | |
| #endif
 | |
| 
 | |
| TEST_SUBMODULE(operators, m) {
 | |
| 
 | |
|     // test_operator_overloading
 | |
|     py::class_<Vector2>(m, "Vector2")
 | |
|         .def(py::init<float, float>())
 | |
|         .def(py::self + py::self)
 | |
|         .def(py::self + float())
 | |
|         .def(py::self - py::self)
 | |
|         .def(py::self - float())
 | |
|         .def(py::self * float())
 | |
|         .def(py::self / float())
 | |
|         .def(py::self * py::self)
 | |
|         .def(py::self / py::self)
 | |
|         .def(py::self += py::self)
 | |
|         .def(py::self -= py::self)
 | |
|         .def(py::self *= float())
 | |
|         .def(py::self /= float())
 | |
|         .def(py::self *= py::self)
 | |
|         .def(py::self /= py::self)
 | |
|         .def(float() + py::self)
 | |
|         .def(float() - py::self)
 | |
|         .def(float() * py::self)
 | |
|         .def(float() / py::self)
 | |
|         .def(-py::self)
 | |
|         .def("__str__", &Vector2::toString)
 | |
|         .def("__repr__", &Vector2::toString)
 | |
|         .def(py::self == py::self)
 | |
|         .def(py::self != py::self)
 | |
|         .def(py::hash(py::self))
 | |
|         // N.B. See warning about usage of `py::detail::abs(py::self)` in
 | |
|         // `operators.h`.
 | |
|         .def("__abs__", [](const Vector2& v) { return abs(v); })
 | |
|         ;
 | |
| 
 | |
|     m.attr("Vector") = m.attr("Vector2");
 | |
| 
 | |
|     // test_operators_notimplemented
 | |
|     // #393: need to return NotSupported to ensure correct arithmetic operator behavior
 | |
|     py::class_<C1>(m, "C1")
 | |
|         .def(py::init<>())
 | |
|         .def(py::self + py::self);
 | |
| 
 | |
|     py::class_<C2>(m, "C2")
 | |
|         .def(py::init<>())
 | |
|         .def(py::self + py::self)
 | |
|         .def("__add__", [](const C2& c2, const C1& c1) { return c2 + c1; })
 | |
|         .def("__radd__", [](const C2& c2, const C1& c1) { return c1 + c2; });
 | |
| 
 | |
|     // test_nested
 | |
|     // #328: first member in a class can't be used in operators
 | |
|     struct NestABase { int value = -2; };
 | |
|     py::class_<NestABase>(m, "NestABase")
 | |
|         .def(py::init<>())
 | |
|         .def_readwrite("value", &NestABase::value);
 | |
| 
 | |
|     struct NestA : NestABase {
 | |
|         int value = 3;
 | |
|         NestA& operator+=(int i) { value += i; return *this; }
 | |
|     };
 | |
|     py::class_<NestA>(m, "NestA")
 | |
|         .def(py::init<>())
 | |
|         .def(py::self += int())
 | |
|         .def("as_base", [](NestA &a) -> NestABase& {
 | |
|             return (NestABase&) a;
 | |
|         }, py::return_value_policy::reference_internal);
 | |
|     m.def("get_NestA", [](const NestA &a) { return a.value; });
 | |
| 
 | |
|     struct NestB {
 | |
|         NestA a;
 | |
|         int value = 4;
 | |
|         NestB& operator-=(int i) { value -= i; return *this; }
 | |
|     };
 | |
|     py::class_<NestB>(m, "NestB")
 | |
|         .def(py::init<>())
 | |
|         .def(py::self -= int())
 | |
|         .def_readwrite("a", &NestB::a);
 | |
|     m.def("get_NestB", [](const NestB &b) { return b.value; });
 | |
| 
 | |
|     struct NestC {
 | |
|         NestB b;
 | |
|         int value = 5;
 | |
|         NestC& operator*=(int i) { value *= i; return *this; }
 | |
|     };
 | |
|     py::class_<NestC>(m, "NestC")
 | |
|         .def(py::init<>())
 | |
|         .def(py::self *= int())
 | |
|         .def_readwrite("b", &NestC::b);
 | |
|     m.def("get_NestC", [](const NestC &c) { return c.value; });
 | |
| }
 | |
| 
 | |
| #ifndef _MSC_VER
 | |
|   #pragma GCC diagnostic pop
 | |
| #endif
 |