1 use std::ops::{Add, AddAssign, Sub, SubAssign, Mul, MulAssign, Div, DivAssign, Neg};
3 pub type Nanoseconds = u64;
7 ( $x:expr, $y:expr ) => {
8 Point2D { x: $x, y: $y }
12 #[derive(Debug, Default, Copy, Clone, PartialEq)]
13 pub struct Point2D<T> {
19 pub fn length(self) -> f64 {
20 ((self.x * self.x) + (self.y * self.y)).sqrt()
24 macro_rules! point_op {
25 ($op:tt, $trait:ident($fn:ident), $trait_assign:ident($fn_assign:ident), $rhs:ident = $Rhs:ty => $x:expr, $y:expr) => {
26 impl<T: $trait<Output = T>> $trait<$Rhs> for Point2D<T> {
29 fn $fn(self, $rhs: $Rhs) -> Self {
37 impl<T: $trait<Output = T> + Copy> $trait_assign<$Rhs> for Point2D<T> {
38 fn $fn_assign(&mut self, $rhs: $Rhs) {
48 point_op!(+, Add(add), AddAssign(add_assign), rhs = Point2D<T> => rhs.x, rhs.y);
49 point_op!(-, Sub(sub), SubAssign(sub_assign), rhs = Point2D<T> => rhs.x, rhs.y);
50 point_op!(*, Mul(mul), MulAssign(mul_assign), rhs = Point2D<T> => rhs.x, rhs.y);
51 point_op!(/, Div(div), DivAssign(div_assign), rhs = Point2D<T> => rhs.x, rhs.y);
52 point_op!(+, Add(add), AddAssign(add_assign), rhs = (T, T) => rhs.0, rhs.1);
53 point_op!(-, Sub(sub), SubAssign(sub_assign), rhs = (T, T) => rhs.0, rhs.1);
54 point_op!(*, Mul(mul), MulAssign(mul_assign), rhs = (T, T) => rhs.0, rhs.1);
55 point_op!(/, Div(div), DivAssign(div_assign), rhs = (T, T) => rhs.0, rhs.1);
57 ////////// multiply point with scalar //////////////////////////////////////////
58 impl<T: Mul<Output = T> + Copy> Mul<T> for Point2D<T> {
61 fn mul(self, rhs: T) -> Self {
69 impl<T: Mul<Output = T> + Copy> MulAssign<T> for Point2D<T> {
70 fn mul_assign(&mut self, rhs: T) {
78 ////////// divide point with scalar ////////////////////////////////////////////
79 impl<T: Div<Output = T> + Copy> Div<T> for Point2D<T> {
82 fn div(self, rhs: T) -> Self {
90 impl<T: Div<Output = T> + Copy> DivAssign<T> for Point2D<T> {
91 fn div_assign(&mut self, rhs: T) {
99 impl<T: Neg<Output = T>> Neg for Point2D<T> {
102 fn neg(self) -> Self {
110 impl<T> From<(T, T)> for Point2D<T> {
111 fn from(item: (T, T)) -> Self {
121 ( $x:expr, $y:expr ) => {
122 Rect { x: $x, y: $y }
132 impl<T: Mul<Output = T> + Copy> Rect<T> {
134 pub fn area(&self) -> T {
135 self.width * self.height
139 impl<T> From<(T, T)> for Rect<T> {
140 fn from(item: (T, T)) -> Self {
153 fn immutable_copy_of_point() {
154 let a = point!(0, 0);
155 let mut b = a; // Copy
156 assert_eq!(a, b); // PartialEq
158 assert_ne!(a, b); // PartialEq
163 let mut a = point!(1, 0);
164 assert_eq!(a + point!(2, 2), point!(3, 2)); // Add
165 a += point!(2, 2); // AddAssign
166 assert_eq!(a, point!(3, 2));
167 assert_eq!(point!(1, 0) + (2, 3), point!(3, 3));
172 let mut a = point!(1, 0);
173 assert_eq!(a - point!(2, 2), point!(-1, -2));
175 assert_eq!(a, point!(-1, -2));
176 assert_eq!(point!(1, 0) - (2, 3), point!(-1, -3));
181 let mut a = point!(1, 2);
182 assert_eq!(a * 2, point!(2, 4));
183 assert_eq!(a * point!(2, 3), point!(2, 6));
185 assert_eq!(a, point!(2, 4));
187 assert_eq!(a, point!(6, 4));
188 assert_eq!(point!(1, 0) * (2, 3), point!(2, 0));
193 let mut a = point!(4, 8);
194 assert_eq!(a / 2, point!(2, 4));
195 assert_eq!(a / point!(2, 4), point!(2, 2));
197 assert_eq!(a, point!(2, 4));
199 assert_eq!(a, point!(1, 1));
200 assert_eq!(point!(6, 3) / (2, 3), point!(3, 1));
205 assert_eq!(point!(1, 1), -point!(-1, -1));
209 fn area_for_rect_of_multipliable_type() {
210 let r: Rect<_> = (30, 20).into(); // the Into trait uses the From trait
211 assert_eq!(r.area(), 30 * 20);
212 // let a = Rect::from(("a".to_string(), "b".to_string())).area(); // this doesn't work, because area() is not implemented for String