You can not select more than 25 topics Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.

math.hpp 11KB

6 years ago
6 years ago
6 years ago
123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480
  1. #pragma once
  2. #include <complex>
  3. #include <algorithm> // for std::min, max
  4. #include <common.hpp>
  5. namespace rack {
  6. /** Supplemental `<cmath>` functions and types
  7. */
  8. namespace math {
  9. ////////////////////
  10. // basic integer functions
  11. ////////////////////
  12. /** Returns true if `x` is odd. */
  13. template <typename T>
  14. bool isEven(T x) {
  15. return x % 2 == 0;
  16. }
  17. /** Returns true if `x` is odd. */
  18. template <typename T>
  19. bool isOdd(T x) {
  20. return x % 2 != 0;
  21. }
  22. /** Limits `x` between `a` and `b`.
  23. If `b < a`, returns a.
  24. */
  25. inline int clamp(int x, int a, int b) {
  26. return std::max(std::min(x, b), a);
  27. }
  28. /** Limits `x` between `a` and `b`.
  29. If `b < a`, switches the two values.
  30. */
  31. inline int clampSafe(int x, int a, int b) {
  32. return (a <= b) ? clamp(x, a, b) : clamp(x, b, a);
  33. }
  34. /** Euclidean modulus. Always returns `0 <= mod < b`.
  35. `b` must be positive.
  36. See https://en.wikipedia.org/wiki/Euclidean_division
  37. */
  38. inline int eucMod(int a, int b) {
  39. int mod = a % b;
  40. if (mod < 0) {
  41. mod += b;
  42. }
  43. return mod;
  44. }
  45. /** Euclidean division.
  46. `b` must be positive.
  47. */
  48. inline int eucDiv(int a, int b) {
  49. int div = a / b;
  50. int mod = a % b;
  51. if (mod < 0) {
  52. div -= 1;
  53. }
  54. return div;
  55. }
  56. inline void eucDivMod(int a, int b, int* div, int* mod) {
  57. *div = a / b;
  58. *mod = a % b;
  59. if (*mod < 0) {
  60. *div -= 1;
  61. *mod += b;
  62. }
  63. }
  64. /** Returns `floor(log_2(n))`, or 0 if `n == 1`. */
  65. inline int log2(int n) {
  66. int i = 0;
  67. while (n >>= 1) {
  68. i++;
  69. }
  70. return i;
  71. }
  72. /** Returns whether `n` is a power of 2. */
  73. template <typename T>
  74. bool isPow2(T n) {
  75. return n > 0 && (n & (n - 1)) == 0;
  76. }
  77. /** Returns 1 for positive numbers, -1 for negative numbers, and 0 for zero.
  78. See https://en.wikipedia.org/wiki/Sign_function.
  79. */
  80. template <typename T>
  81. T sgn(T x) {
  82. return x > 0 ? 1 : (x < 0 ? -1 : 0);
  83. }
  84. ////////////////////
  85. // basic float functions
  86. ////////////////////
  87. /** Limits `x` between `a` and `b`.
  88. If `b < a`, returns a.
  89. */
  90. inline float clamp(float x, float a, float b) {
  91. return std::fmax(std::fmin(x, b), a);
  92. }
  93. /** Limits `x` between `a` and `b`.
  94. If `b < a`, switches the two values.
  95. */
  96. inline float clampSafe(float x, float a, float b) {
  97. return (a <= b) ? clamp(x, a, b) : clamp(x, b, a);
  98. }
  99. /** Converts -0.f to 0.f. Leaves all other values unchanged. */
  100. inline float normalizeZero(float x) {
  101. return x + 0.f;
  102. }
  103. /** Euclidean modulus. Always returns `0 <= mod < b`.
  104. See https://en.wikipedia.org/wiki/Euclidean_division.
  105. */
  106. inline float eucMod(float a, float b) {
  107. float mod = std::fmod(a, b);
  108. if (mod < 0.f) {
  109. mod += b;
  110. }
  111. return mod;
  112. }
  113. /** Returns whether `a` is within epsilon distance from `b`. */
  114. inline bool isNear(float a, float b, float epsilon = 1e-6f) {
  115. return std::fabs(a - b) <= epsilon;
  116. }
  117. /** If the magnitude of `x` if less than epsilon, return 0. */
  118. inline float chop(float x, float epsilon = 1e-6f) {
  119. return std::fabs(x) <= epsilon ? 0.f : x;
  120. }
  121. /** Rescales `x` from the range `[xMin, xMax]` to `[yMin, yMax]`.
  122. */
  123. inline float rescale(float x, float xMin, float xMax, float yMin, float yMax) {
  124. return yMin + (x - xMin) / (xMax - xMin) * (yMax - yMin);
  125. }
  126. /** Linearly interpolates between `a` and `b`, from `p = 0` to `p = 1`.
  127. */
  128. inline float crossfade(float a, float b, float p) {
  129. return a + (b - a) * p;
  130. }
  131. /** Linearly interpolates an array `p` with index `x`.
  132. The array at `p` must be at least length `floor(x) + 2`.
  133. */
  134. inline float interpolateLinear(const float* p, float x) {
  135. int xi = x;
  136. float xf = x - xi;
  137. return crossfade(p[xi], p[xi + 1], xf);
  138. }
  139. /** Complex multiplication `c = a * b`.
  140. Arguments may be the same pointers.
  141. Example:
  142. cmultf(ar, ai, br, bi, &ar, &ai);
  143. */
  144. inline void complexMult(float ar, float ai, float br, float bi, float* cr, float* ci) {
  145. *cr = ar * br - ai * bi;
  146. *ci = ar * bi + ai * br;
  147. }
  148. ////////////////////
  149. // 2D vector and rectangle
  150. ////////////////////
  151. struct Rect;
  152. /** 2-dimensional vector of floats, representing a point in 2D space.
  153. */
  154. struct Vec {
  155. float x = 0.f;
  156. float y = 0.f;
  157. Vec() {}
  158. Vec(float x, float y) : x(x), y(y) {}
  159. float& operator[](int i) {
  160. return (i == 0) ? x : y;
  161. }
  162. const float& operator[](int i) const {
  163. return (i == 0) ? x : y;
  164. }
  165. /** Negates the vector.
  166. Equivalent to a reflection across the `y = -x` line.
  167. */
  168. Vec neg() const {
  169. return Vec(-x, -y);
  170. }
  171. Vec plus(Vec b) const {
  172. return Vec(x + b.x, y + b.y);
  173. }
  174. Vec minus(Vec b) const {
  175. return Vec(x - b.x, y - b.y);
  176. }
  177. Vec mult(float s) const {
  178. return Vec(x * s, y * s);
  179. }
  180. Vec mult(Vec b) const {
  181. return Vec(x * b.x, y * b.y);
  182. }
  183. Vec div(float s) const {
  184. return Vec(x / s, y / s);
  185. }
  186. Vec div(Vec b) const {
  187. return Vec(x / b.x, y / b.y);
  188. }
  189. float dot(Vec b) const {
  190. return x * b.x + y * b.y;
  191. }
  192. float arg() const {
  193. return std::atan2(y, x);
  194. }
  195. float norm() const {
  196. return std::hypot(x, y);
  197. }
  198. Vec normalize() const {
  199. return div(norm());
  200. }
  201. float square() const {
  202. return x * x + y * y;
  203. }
  204. /** Rotates counterclockwise in radians. */
  205. Vec rotate(float angle) {
  206. float sin = std::sin(angle);
  207. float cos = std::cos(angle);
  208. return Vec(x * cos - y * sin, x * sin + y * cos);
  209. }
  210. /** Swaps the coordinates.
  211. Equivalent to a reflection across the `y = x` line.
  212. */
  213. Vec flip() const {
  214. return Vec(y, x);
  215. }
  216. Vec min(Vec b) const {
  217. return Vec(std::fmin(x, b.x), std::fmin(y, b.y));
  218. }
  219. Vec max(Vec b) const {
  220. return Vec(std::fmax(x, b.x), std::fmax(y, b.y));
  221. }
  222. Vec abs() const {
  223. return Vec(std::fabs(x), std::fabs(y));
  224. }
  225. Vec round() const {
  226. return Vec(std::round(x), std::round(y));
  227. }
  228. Vec floor() const {
  229. return Vec(std::floor(x), std::floor(y));
  230. }
  231. Vec ceil() const {
  232. return Vec(std::ceil(x), std::ceil(y));
  233. }
  234. bool isEqual(Vec b) const {
  235. return x == b.x && y == b.y;
  236. }
  237. bool isZero() const {
  238. return x == 0.f && y == 0.f;
  239. }
  240. bool isFinite() const {
  241. return std::isfinite(x) && std::isfinite(y);
  242. }
  243. Vec clamp(Rect bound) const;
  244. Vec clampSafe(Rect bound) const;
  245. Vec crossfade(Vec b, float p) {
  246. return this->plus(b.minus(*this).mult(p));
  247. }
  248. };
  249. /** 2-dimensional rectangle of floats.
  250. */
  251. struct Rect {
  252. Vec pos;
  253. Vec size;
  254. Rect() {}
  255. Rect(Vec pos, Vec size) : pos(pos), size(size) {}
  256. Rect(float posX, float posY, float sizeX, float sizeY) : pos(math::Vec(posX, posY)), size(math::Vec(sizeX, sizeY)) {}
  257. /** Constructs a Rect from the upper-left position `a` and lower-right pos `b`. */
  258. static Rect fromMinMax(Vec a, Vec b) {
  259. return Rect(a, b.minus(a));
  260. }
  261. /** Returns whether this Rect contains an entire point, inclusive on the top/left, non-inclusive on the bottom/right. */
  262. bool isContaining(Vec v) const {
  263. return pos.x <= v.x && v.x < pos.x + size.x
  264. && pos.y <= v.y && v.y < pos.y + size.y;
  265. }
  266. /** Returns whether this Rect contains an entire Rect. */
  267. bool isContaining(Rect r) const {
  268. return pos.x <= r.pos.x && r.pos.x + r.size.x <= pos.x + size.x
  269. && pos.y <= r.pos.y && r.pos.y + r.size.y <= pos.y + size.y;
  270. }
  271. /** Returns whether this Rect overlaps with another Rect. */
  272. bool isIntersecting(Rect r) const {
  273. return (pos.x + size.x > r.pos.x && r.pos.x + r.size.x > pos.x)
  274. && (pos.y + size.y > r.pos.y && r.pos.y + r.size.y > pos.y);
  275. }
  276. bool isEqual(Rect r) const {
  277. return pos.isEqual(r.pos) && size.isEqual(r.size);
  278. }
  279. float getLeft() const {
  280. return pos.x;
  281. }
  282. float getRight() const {
  283. return pos.x + size.x;
  284. }
  285. float getTop() const {
  286. return pos.y;
  287. }
  288. float getBottom() const {
  289. return pos.y + size.y;
  290. }
  291. Vec getCenter() const {
  292. return pos.plus(size.mult(0.5f));
  293. }
  294. Vec getTopLeft() const {
  295. return pos;
  296. }
  297. Vec getTopRight() const {
  298. return pos.plus(Vec(size.x, 0.f));
  299. }
  300. Vec getBottomLeft() const {
  301. return pos.plus(Vec(0.f, size.y));
  302. }
  303. Vec getBottomRight() const {
  304. return pos.plus(size);
  305. }
  306. /** Clamps the edges of the rectangle to fit within a bound. */
  307. Rect clamp(Rect bound) const {
  308. Rect r;
  309. r.pos.x = math::clampSafe(pos.x, bound.pos.x, bound.pos.x + bound.size.x);
  310. r.pos.y = math::clampSafe(pos.y, bound.pos.y, bound.pos.y + bound.size.y);
  311. r.size.x = math::clamp(pos.x + size.x, bound.pos.x, bound.pos.x + bound.size.x) - r.pos.x;
  312. r.size.y = math::clamp(pos.y + size.y, bound.pos.y, bound.pos.y + bound.size.y) - r.pos.y;
  313. return r;
  314. }
  315. /** Nudges the position to fix inside a bounding box. */
  316. Rect nudge(Rect bound) const {
  317. Rect r;
  318. r.size = size;
  319. r.pos.x = math::clampSafe(pos.x, bound.pos.x, bound.pos.x + bound.size.x - size.x);
  320. r.pos.y = math::clampSafe(pos.y, bound.pos.y, bound.pos.y + bound.size.y - size.y);
  321. return r;
  322. }
  323. /** Returns the bounding box of the union of `this` and `b`. */
  324. Rect expand(Rect b) const {
  325. Rect r;
  326. r.pos.x = std::fmin(pos.x, b.pos.x);
  327. r.pos.y = std::fmin(pos.y, b.pos.y);
  328. r.size.x = std::fmax(pos.x + size.x, b.pos.x + b.size.x) - r.pos.x;
  329. r.size.y = std::fmax(pos.y + size.y, b.pos.y + b.size.y) - r.pos.y;
  330. return r;
  331. }
  332. /** Returns the intersection of `this` and `b`. */
  333. Rect intersect(Rect b) const {
  334. Rect r;
  335. r.pos.x = std::fmax(pos.x, b.pos.x);
  336. r.pos.y = std::fmax(pos.y, b.pos.y);
  337. r.size.x = std::fmin(pos.x + size.x, b.pos.x + b.size.x) - r.pos.x;
  338. r.size.y = std::fmin(pos.y + size.y, b.pos.y + b.size.y) - r.pos.y;
  339. return r;
  340. }
  341. /** Returns a Rect with its position set to zero. */
  342. Rect zeroPos() const {
  343. return Rect(Vec(), size);
  344. }
  345. /** Expands each corner.
  346. Use a negative delta to shrink.
  347. */
  348. Rect grow(Vec delta) const {
  349. Rect r;
  350. r.pos = pos.minus(delta);
  351. r.size = size.plus(delta.mult(2.f));
  352. return r;
  353. }
  354. DEPRECATED bool contains(Vec v) const {
  355. return isContaining(v);
  356. }
  357. DEPRECATED bool contains(Rect r) const {
  358. return isContaining(r);
  359. }
  360. DEPRECATED bool intersects(Rect r) const {
  361. return isIntersecting(r);
  362. }
  363. };
  364. inline Vec Vec::clamp(Rect bound) const {
  365. return Vec(
  366. math::clamp(x, bound.pos.x, bound.pos.x + bound.size.x),
  367. math::clamp(y, bound.pos.y, bound.pos.y + bound.size.y));
  368. }
  369. inline Vec Vec::clampSafe(Rect bound) const {
  370. return Vec(
  371. math::clampSafe(x, bound.pos.x, bound.pos.x + bound.size.x),
  372. math::clampSafe(y, bound.pos.y, bound.pos.y + bound.size.y));
  373. }
  374. // Operator overloads for Vec
  375. inline Vec operator+(const Vec& a, const Vec& b) {
  376. return a.plus(b);
  377. }
  378. inline Vec operator-(const Vec& a, const Vec& b) {
  379. return a.minus(b);
  380. }
  381. inline Vec operator*(const Vec& a, const Vec& b) {
  382. return a.mult(b);
  383. }
  384. inline Vec operator*(const Vec& a, const float& b) {
  385. return a.mult(b);
  386. }
  387. inline Vec operator*(const float& a, const Vec& b) {
  388. return b.mult(a);
  389. }
  390. inline Vec operator/(const Vec& a, const Vec& b) {
  391. return a.div(b);
  392. }
  393. inline Vec operator/(const Vec& a, const float& b) {
  394. return a.div(b);
  395. }
  396. inline Vec operator+=(Vec& a, const Vec& b) {
  397. return a = a.plus(b);
  398. }
  399. inline Vec operator-=(Vec& a, const Vec& b) {
  400. return a = a.minus(b);
  401. }
  402. inline Vec operator*=(Vec& a, const Vec& b) {
  403. return a = a.mult(b);
  404. }
  405. inline Vec operator*=(Vec& a, const float& b) {
  406. return a = a.mult(b);
  407. }
  408. inline Vec operator/=(Vec& a, const Vec& b) {
  409. return a = a.div(b);
  410. }
  411. inline Vec operator/=(Vec& a, const float& b) {
  412. return a = a.div(b);
  413. }
  414. inline bool operator==(const Vec& a, const Vec& b) {
  415. return a.isEqual(b);
  416. }
  417. inline bool operator!=(const Vec& a, const Vec& b) {
  418. return !a.isEqual(b);
  419. }
  420. /** Expands a Vec and Rect into a comma-separated list.
  421. Useful for print debugging.
  422. printf("(%f %f) (%f %f %f %f)", VEC_ARGS(v), RECT_ARGS(r));
  423. Or passing the values to a C function.
  424. nvgRect(vg, RECT_ARGS(r));
  425. */
  426. #define VEC_ARGS(v) (v).x, (v).y
  427. #define RECT_ARGS(r) (r).pos.x, (r).pos.y, (r).size.x, (r).size.y
  428. } // namespace math
  429. } // namespace rack