array.cpp 18 KB

123456789101112131415161718192021222324252627282930313233343536373839404142434445464748495051525354555657585960616263646566676869707172737475767778798081828384858687888990919293949596979899100101102103104105106107108109110111112113114115116117118119120121122123124125126127128129130131132133134135136137138139140141142143144145146147148149150151152153154155156157158159160161162163164165166167168169170171172173174175176177178179180181182183184185186187188189190191192193194195196197198199200201202203204205206207208209210211212213214215216217218219220221222223224225226227228229230231232233234235236237238239240241242243244245246247248249250251252253254255256257258259260261262263264265266267268269270271272273274275276277278279280281282283284285286287288289290291292293294295296297298299300301302303304305306307308309310311312313314315316317318319320321322323324325326327328329330331332333334335336337338339340341342343344345346347348349350351352353354355356357358359360361362363364365366367368369370371372373374375376377378379380381382383384385386387388389390391392393394395396397398399400401402403404405406407408409410411412413414415416417418419420421422423424425426427428429430431432433434435436437438439440441442443444445446447448449450451452453454455456457458459460461462463464465466467468469470471472473474475476477478479480481482483484485486487488489490491492493494495496497498499500501502503504505506507508509510511512513514515516517518519520521522523524525526527528529530531532533534535536537538539540541542543544545546547548549550551552553554555556557558559560561562563564565566567568569570571572573574575576577578579580581582583584585586587588589590591592593594595596597598599600601602603604605606607608609610611612613614615616617618619620621622623624625626627628629630631632633634635636637638639640641642643644645646647648649650651652653654655656
  1. /*************************************************************************/
  2. /* array.cpp */
  3. /*************************************************************************/
  4. /* This file is part of: */
  5. /* GODOT ENGINE */
  6. /* https://godotengine.org */
  7. /*************************************************************************/
  8. /* Copyright (c) 2007-2021 Juan Linietsky, Ariel Manzur. */
  9. /* Copyright (c) 2014-2021 Godot Engine contributors (cf. AUTHORS.md). */
  10. /* */
  11. /* Permission is hereby granted, free of charge, to any person obtaining */
  12. /* a copy of this software and associated documentation files (the */
  13. /* "Software"), to deal in the Software without restriction, including */
  14. /* without limitation the rights to use, copy, modify, merge, publish, */
  15. /* distribute, sublicense, and/or sell copies of the Software, and to */
  16. /* permit persons to whom the Software is furnished to do so, subject to */
  17. /* the following conditions: */
  18. /* */
  19. /* The above copyright notice and this permission notice shall be */
  20. /* included in all copies or substantial portions of the Software. */
  21. /* */
  22. /* THE SOFTWARE IS PROVIDED "AS IS", WITHOUT WARRANTY OF ANY KIND, */
  23. /* EXPRESS OR IMPLIED, INCLUDING BUT NOT LIMITED TO THE WARRANTIES OF */
  24. /* MERCHANTABILITY, FITNESS FOR A PARTICULAR PURPOSE AND NONINFRINGEMENT.*/
  25. /* IN NO EVENT SHALL THE AUTHORS OR COPYRIGHT HOLDERS BE LIABLE FOR ANY */
  26. /* CLAIM, DAMAGES OR OTHER LIABILITY, WHETHER IN AN ACTION OF CONTRACT, */
  27. /* TORT OR OTHERWISE, ARISING FROM, OUT OF OR IN CONNECTION WITH THE */
  28. /* SOFTWARE OR THE USE OR OTHER DEALINGS IN THE SOFTWARE. */
  29. /*************************************************************************/
  30. #include "array.h"
  31. #include "container_type_validate.h"
  32. #include "core/object/class_db.h"
  33. #include "core/object/script_language.h"
  34. #include "core/templates/hashfuncs.h"
  35. #include "core/templates/vector.h"
  36. #include "core/variant/callable.h"
  37. #include "core/variant/variant.h"
  38. class ArrayPrivate {
  39. public:
  40. SafeRefCount refcount;
  41. Vector<Variant> array;
  42. ContainerTypeValidate typed;
  43. };
  44. void Array::_ref(const Array &p_from) const {
  45. ArrayPrivate *_fp = p_from._p;
  46. ERR_FAIL_COND(!_fp); // should NOT happen.
  47. if (_fp == _p) {
  48. return; // whatever it is, nothing to do here move along
  49. }
  50. bool success = _fp->refcount.ref();
  51. ERR_FAIL_COND(!success); // should really not happen either
  52. _unref();
  53. _p = p_from._p;
  54. }
  55. void Array::_unref() const {
  56. if (!_p) {
  57. return;
  58. }
  59. if (_p->refcount.unref()) {
  60. memdelete(_p);
  61. }
  62. _p = nullptr;
  63. }
  64. Variant &Array::operator[](int p_idx) {
  65. return _p->array.write[p_idx];
  66. }
  67. const Variant &Array::operator[](int p_idx) const {
  68. return _p->array[p_idx];
  69. }
  70. int Array::size() const {
  71. return _p->array.size();
  72. }
  73. bool Array::is_empty() const {
  74. return _p->array.is_empty();
  75. }
  76. void Array::clear() {
  77. _p->array.clear();
  78. }
  79. bool Array::operator==(const Array &p_array) const {
  80. return _p == p_array._p;
  81. }
  82. bool Array::operator!=(const Array &p_array) const {
  83. return !operator==(p_array);
  84. }
  85. bool Array::operator<(const Array &p_array) const {
  86. int a_len = size();
  87. int b_len = p_array.size();
  88. int min_cmp = MIN(a_len, b_len);
  89. for (int i = 0; i < min_cmp; i++) {
  90. if (operator[](i) < p_array[i]) {
  91. return true;
  92. } else if (p_array[i] < operator[](i)) {
  93. return false;
  94. }
  95. }
  96. return a_len < b_len;
  97. }
  98. bool Array::operator<=(const Array &p_array) const {
  99. return !operator>(p_array);
  100. }
  101. bool Array::operator>(const Array &p_array) const {
  102. return p_array < *this;
  103. }
  104. bool Array::operator>=(const Array &p_array) const {
  105. return !operator<(p_array);
  106. }
  107. uint32_t Array::hash() const {
  108. uint32_t h = hash_djb2_one_32(0);
  109. for (int i = 0; i < _p->array.size(); i++) {
  110. h = hash_djb2_one_32(_p->array[i].hash(), h);
  111. }
  112. return h;
  113. }
  114. bool Array::_assign(const Array &p_array) {
  115. if (_p->typed.type != Variant::OBJECT && _p->typed.type == p_array._p->typed.type) {
  116. //same type or untyped, just reference, should be fine
  117. _ref(p_array);
  118. } else if (_p->typed.type == Variant::NIL) { //from typed to untyped, must copy, but this is cheap anyway
  119. _p->array = p_array._p->array;
  120. } else if (p_array._p->typed.type == Variant::NIL) { //from untyped to typed, must try to check if they are all valid
  121. if (_p->typed.type == Variant::OBJECT) {
  122. //for objects, it needs full validation, either can be converted or fail
  123. for (int i = 0; i < p_array._p->array.size(); i++) {
  124. if (!_p->typed.validate(p_array._p->array[i], "assign")) {
  125. return false;
  126. }
  127. }
  128. _p->array = p_array._p->array; //then just copy, which is cheap anyway
  129. } else {
  130. //for non objects, we need to check if there is a valid conversion, which needs to happen one by one, so this is the worst case.
  131. Vector<Variant> new_array;
  132. new_array.resize(p_array._p->array.size());
  133. for (int i = 0; i < p_array._p->array.size(); i++) {
  134. Variant src_val = p_array._p->array[i];
  135. if (src_val.get_type() == _p->typed.type) {
  136. new_array.write[i] = src_val;
  137. } else if (Variant::can_convert_strict(src_val.get_type(), _p->typed.type)) {
  138. Variant *ptr = &src_val;
  139. Callable::CallError ce;
  140. Variant::construct(_p->typed.type, new_array.write[i], (const Variant **)&ptr, 1, ce);
  141. if (ce.error != Callable::CallError::CALL_OK) {
  142. ERR_FAIL_V_MSG(false, "Unable to convert array index " + itos(i) + " from '" + Variant::get_type_name(src_val.get_type()) + "' to '" + Variant::get_type_name(_p->typed.type) + "'.");
  143. }
  144. } else {
  145. ERR_FAIL_V_MSG(false, "Unable to convert array index " + itos(i) + " from '" + Variant::get_type_name(src_val.get_type()) + "' to '" + Variant::get_type_name(_p->typed.type) + "'.");
  146. }
  147. }
  148. _p->array = new_array;
  149. }
  150. } else if (_p->typed.can_reference(p_array._p->typed)) { //same type or compatible
  151. _ref(p_array);
  152. } else {
  153. ERR_FAIL_V_MSG(false, "Assignment of arrays of incompatible types.");
  154. }
  155. return true;
  156. }
  157. void Array::operator=(const Array &p_array) {
  158. _ref(p_array);
  159. }
  160. void Array::push_back(const Variant &p_value) {
  161. ERR_FAIL_COND(!_p->typed.validate(p_value, "push_back"));
  162. _p->array.push_back(p_value);
  163. }
  164. void Array::append_array(const Array &p_array) {
  165. ERR_FAIL_COND(!_p->typed.validate(p_array, "append_array"));
  166. _p->array.append_array(p_array._p->array);
  167. }
  168. Error Array::resize(int p_new_size) {
  169. return _p->array.resize(p_new_size);
  170. }
  171. void Array::insert(int p_pos, const Variant &p_value) {
  172. ERR_FAIL_COND(!_p->typed.validate(p_value, "insert"));
  173. _p->array.insert(p_pos, p_value);
  174. }
  175. void Array::fill(const Variant &p_value) {
  176. ERR_FAIL_COND(!_p->typed.validate(p_value, "fill"));
  177. _p->array.fill(p_value);
  178. }
  179. void Array::erase(const Variant &p_value) {
  180. ERR_FAIL_COND(!_p->typed.validate(p_value, "erase"));
  181. _p->array.erase(p_value);
  182. }
  183. Variant Array::front() const {
  184. ERR_FAIL_COND_V_MSG(_p->array.size() == 0, Variant(), "Can't take value from empty array.");
  185. return operator[](0);
  186. }
  187. Variant Array::back() const {
  188. ERR_FAIL_COND_V_MSG(_p->array.size() == 0, Variant(), "Can't take value from empty array.");
  189. return operator[](_p->array.size() - 1);
  190. }
  191. int Array::find(const Variant &p_value, int p_from) const {
  192. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "find"), -1);
  193. return _p->array.find(p_value, p_from);
  194. }
  195. int Array::rfind(const Variant &p_value, int p_from) const {
  196. if (_p->array.size() == 0) {
  197. return -1;
  198. }
  199. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "rfind"), -1);
  200. if (p_from < 0) {
  201. // Relative offset from the end
  202. p_from = _p->array.size() + p_from;
  203. }
  204. if (p_from < 0 || p_from >= _p->array.size()) {
  205. // Limit to array boundaries
  206. p_from = _p->array.size() - 1;
  207. }
  208. for (int i = p_from; i >= 0; i--) {
  209. if (_p->array[i] == p_value) {
  210. return i;
  211. }
  212. }
  213. return -1;
  214. }
  215. int Array::find_last(const Variant &p_value) const {
  216. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "find_last"), -1);
  217. return rfind(p_value);
  218. }
  219. int Array::count(const Variant &p_value) const {
  220. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "count"), 0);
  221. if (_p->array.size() == 0) {
  222. return 0;
  223. }
  224. int amount = 0;
  225. for (int i = 0; i < _p->array.size(); i++) {
  226. if (_p->array[i] == p_value) {
  227. amount++;
  228. }
  229. }
  230. return amount;
  231. }
  232. bool Array::has(const Variant &p_value) const {
  233. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "use 'has'"), false);
  234. return _p->array.find(p_value, 0) != -1;
  235. }
  236. void Array::remove(int p_pos) {
  237. _p->array.remove(p_pos);
  238. }
  239. void Array::set(int p_idx, const Variant &p_value) {
  240. ERR_FAIL_COND(!_p->typed.validate(p_value, "set"));
  241. operator[](p_idx) = p_value;
  242. }
  243. const Variant &Array::get(int p_idx) const {
  244. return operator[](p_idx);
  245. }
  246. Array Array::duplicate(bool p_deep) const {
  247. Array new_arr;
  248. int element_count = size();
  249. new_arr.resize(element_count);
  250. new_arr._p->typed = _p->typed;
  251. for (int i = 0; i < element_count; i++) {
  252. new_arr[i] = p_deep ? get(i).duplicate(p_deep) : get(i);
  253. }
  254. return new_arr;
  255. }
  256. int Array::_clamp_slice_index(int p_index) const {
  257. int arr_size = size();
  258. int fixed_index = CLAMP(p_index, -arr_size, arr_size - 1);
  259. if (fixed_index < 0) {
  260. fixed_index = arr_size + fixed_index;
  261. }
  262. return fixed_index;
  263. }
  264. Array Array::slice(int p_begin, int p_end, int p_step, bool p_deep) const { // like python, but inclusive on upper bound
  265. Array new_arr;
  266. ERR_FAIL_COND_V_MSG(p_step == 0, new_arr, "Array slice step size cannot be zero.");
  267. if (is_empty()) { // Don't try to slice empty arrays.
  268. return new_arr;
  269. }
  270. if (p_step > 0) {
  271. if (p_begin >= size() || p_end < -size()) {
  272. return new_arr;
  273. }
  274. } else { // p_step < 0
  275. if (p_begin < -size() || p_end >= size()) {
  276. return new_arr;
  277. }
  278. }
  279. int begin = _clamp_slice_index(p_begin);
  280. int end = _clamp_slice_index(p_end);
  281. int new_arr_size = MAX(((end - begin + p_step) / p_step), 0);
  282. new_arr.resize(new_arr_size);
  283. if (p_step > 0) {
  284. int dest_idx = 0;
  285. for (int idx = begin; idx <= end; idx += p_step) {
  286. ERR_FAIL_COND_V_MSG(dest_idx < 0 || dest_idx >= new_arr_size, Array(), "Bug in Array slice()");
  287. new_arr[dest_idx++] = p_deep ? get(idx).duplicate(p_deep) : get(idx);
  288. }
  289. } else { // p_step < 0
  290. int dest_idx = 0;
  291. for (int idx = begin; idx >= end; idx += p_step) {
  292. ERR_FAIL_COND_V_MSG(dest_idx < 0 || dest_idx >= new_arr_size, Array(), "Bug in Array slice()");
  293. new_arr[dest_idx++] = p_deep ? get(idx).duplicate(p_deep) : get(idx);
  294. }
  295. }
  296. return new_arr;
  297. }
  298. Array Array::filter(const Callable &p_callable) const {
  299. Array new_arr;
  300. new_arr.resize(size());
  301. int accepted_count = 0;
  302. for (int i = 0; i < size(); i++) {
  303. const Variant **argptrs = (const Variant **)alloca(sizeof(Variant *));
  304. argptrs[0] = &get(i);
  305. Variant result;
  306. Callable::CallError ce;
  307. p_callable.call(argptrs, 1, result, ce);
  308. if (ce.error != Callable::CallError::CALL_OK) {
  309. ERR_FAIL_V_MSG(Array(), "Error calling method from 'filter': " + Variant::get_callable_error_text(p_callable, argptrs, 1, ce));
  310. }
  311. if (result.operator bool()) {
  312. new_arr[accepted_count] = get(i);
  313. accepted_count++;
  314. }
  315. }
  316. new_arr.resize(accepted_count);
  317. return new_arr;
  318. }
  319. Array Array::map(const Callable &p_callable) const {
  320. Array new_arr;
  321. new_arr.resize(size());
  322. for (int i = 0; i < size(); i++) {
  323. const Variant **argptrs = (const Variant **)alloca(sizeof(Variant *));
  324. argptrs[0] = &get(i);
  325. Variant result;
  326. Callable::CallError ce;
  327. p_callable.call(argptrs, 1, result, ce);
  328. if (ce.error != Callable::CallError::CALL_OK) {
  329. ERR_FAIL_V_MSG(Array(), "Error calling method from 'map': " + Variant::get_callable_error_text(p_callable, argptrs, 1, ce));
  330. }
  331. new_arr[i] = result;
  332. }
  333. return new_arr;
  334. }
  335. Variant Array::reduce(const Callable &p_callable, const Variant &p_accum) const {
  336. int start = 0;
  337. Variant ret = p_accum;
  338. if (ret == Variant() && size() > 0) {
  339. ret = front();
  340. start = 1;
  341. }
  342. for (int i = start; i < size(); i++) {
  343. const Variant **argptrs = (const Variant **)alloca(sizeof(Variant *) * 2);
  344. argptrs[0] = &ret;
  345. argptrs[1] = &get(i);
  346. Variant result;
  347. Callable::CallError ce;
  348. p_callable.call(argptrs, 2, result, ce);
  349. if (ce.error != Callable::CallError::CALL_OK) {
  350. ERR_FAIL_V_MSG(Variant(), "Error calling method from 'reduce': " + Variant::get_callable_error_text(p_callable, argptrs, 2, ce));
  351. }
  352. ret = result;
  353. }
  354. return ret;
  355. }
  356. struct _ArrayVariantSort {
  357. _FORCE_INLINE_ bool operator()(const Variant &p_l, const Variant &p_r) const {
  358. bool valid = false;
  359. Variant res;
  360. Variant::evaluate(Variant::OP_LESS, p_l, p_r, res, valid);
  361. if (!valid) {
  362. res = false;
  363. }
  364. return res;
  365. }
  366. };
  367. void Array::sort() {
  368. _p->array.sort_custom<_ArrayVariantSort>();
  369. }
  370. struct _ArrayVariantSortCustom {
  371. Callable func;
  372. _FORCE_INLINE_ bool operator()(const Variant &p_l, const Variant &p_r) const {
  373. const Variant *args[2] = { &p_l, &p_r };
  374. Callable::CallError err;
  375. Variant res;
  376. func.call(args, 2, res, err);
  377. ERR_FAIL_COND_V_MSG(err.error != Callable::CallError::CALL_OK, false,
  378. "Error calling sorting method: " + Variant::get_callable_error_text(func, args, 1, err));
  379. return res;
  380. }
  381. };
  382. void Array::sort_custom(Callable p_callable) {
  383. SortArray<Variant, _ArrayVariantSortCustom, true> avs;
  384. avs.compare.func = p_callable;
  385. avs.sort(_p->array.ptrw(), _p->array.size());
  386. }
  387. void Array::shuffle() {
  388. const int n = _p->array.size();
  389. if (n < 2) {
  390. return;
  391. }
  392. Variant *data = _p->array.ptrw();
  393. for (int i = n - 1; i >= 1; i--) {
  394. const int j = Math::rand() % (i + 1);
  395. const Variant tmp = data[j];
  396. data[j] = data[i];
  397. data[i] = tmp;
  398. }
  399. }
  400. template <typename Less>
  401. _FORCE_INLINE_ int bisect(const Vector<Variant> &p_array, const Variant &p_value, bool p_before, const Less &p_less) {
  402. int lo = 0;
  403. int hi = p_array.size();
  404. if (p_before) {
  405. while (lo < hi) {
  406. const int mid = (lo + hi) / 2;
  407. if (p_less(p_array.get(mid), p_value)) {
  408. lo = mid + 1;
  409. } else {
  410. hi = mid;
  411. }
  412. }
  413. } else {
  414. while (lo < hi) {
  415. const int mid = (lo + hi) / 2;
  416. if (p_less(p_value, p_array.get(mid))) {
  417. hi = mid;
  418. } else {
  419. lo = mid + 1;
  420. }
  421. }
  422. }
  423. return lo;
  424. }
  425. int Array::bsearch(const Variant &p_value, bool p_before) {
  426. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "binary search"), -1);
  427. return bisect(_p->array, p_value, p_before, _ArrayVariantSort());
  428. }
  429. int Array::bsearch_custom(const Variant &p_value, Callable p_callable, bool p_before) {
  430. ERR_FAIL_COND_V(!_p->typed.validate(p_value, "custom binary search"), -1);
  431. _ArrayVariantSortCustom less;
  432. less.func = p_callable;
  433. return bisect(_p->array, p_value, p_before, less);
  434. }
  435. void Array::reverse() {
  436. _p->array.reverse();
  437. }
  438. void Array::push_front(const Variant &p_value) {
  439. ERR_FAIL_COND(!_p->typed.validate(p_value, "push_front"));
  440. _p->array.insert(0, p_value);
  441. }
  442. Variant Array::pop_back() {
  443. if (!_p->array.is_empty()) {
  444. int n = _p->array.size() - 1;
  445. Variant ret = _p->array.get(n);
  446. _p->array.resize(n);
  447. return ret;
  448. }
  449. return Variant();
  450. }
  451. Variant Array::pop_front() {
  452. if (!_p->array.is_empty()) {
  453. Variant ret = _p->array.get(0);
  454. _p->array.remove(0);
  455. return ret;
  456. }
  457. return Variant();
  458. }
  459. Variant Array::min() const {
  460. Variant minval;
  461. for (int i = 0; i < size(); i++) {
  462. if (i == 0) {
  463. minval = get(i);
  464. } else {
  465. bool valid;
  466. Variant ret;
  467. Variant test = get(i);
  468. Variant::evaluate(Variant::OP_LESS, test, minval, ret, valid);
  469. if (!valid) {
  470. return Variant(); //not a valid comparison
  471. }
  472. if (bool(ret)) {
  473. //is less
  474. minval = test;
  475. }
  476. }
  477. }
  478. return minval;
  479. }
  480. Variant Array::max() const {
  481. Variant maxval;
  482. for (int i = 0; i < size(); i++) {
  483. if (i == 0) {
  484. maxval = get(i);
  485. } else {
  486. bool valid;
  487. Variant ret;
  488. Variant test = get(i);
  489. Variant::evaluate(Variant::OP_GREATER, test, maxval, ret, valid);
  490. if (!valid) {
  491. return Variant(); //not a valid comparison
  492. }
  493. if (bool(ret)) {
  494. //is less
  495. maxval = test;
  496. }
  497. }
  498. }
  499. return maxval;
  500. }
  501. const void *Array::id() const {
  502. return _p->array.ptr();
  503. }
  504. Array::Array(const Array &p_from, uint32_t p_type, const StringName &p_class_name, const Variant &p_script) {
  505. _p = memnew(ArrayPrivate);
  506. _p->refcount.init();
  507. set_typed(p_type, p_class_name, p_script);
  508. _assign(p_from);
  509. }
  510. bool Array::typed_assign(const Array &p_other) {
  511. return _assign(p_other);
  512. }
  513. void Array::set_typed(uint32_t p_type, const StringName &p_class_name, const Variant &p_script) {
  514. ERR_FAIL_COND_MSG(_p->array.size() > 0, "Type can only be set when array is empty.");
  515. ERR_FAIL_COND_MSG(_p->refcount.get() > 1, "Type can only be set when array has no more than one user.");
  516. ERR_FAIL_COND_MSG(_p->typed.type != Variant::NIL, "Type can only be set once.");
  517. ERR_FAIL_COND_MSG(p_class_name != StringName() && p_type != Variant::OBJECT, "Class names can only be set for type OBJECT");
  518. Ref<Script> script = p_script;
  519. ERR_FAIL_COND_MSG(script.is_valid() && p_class_name == StringName(), "Script class can only be set together with base class name");
  520. _p->typed.type = Variant::Type(p_type);
  521. _p->typed.class_name = p_class_name;
  522. _p->typed.script = script;
  523. _p->typed.where = "TypedArray";
  524. }
  525. bool Array::is_typed() const {
  526. return _p->typed.type != Variant::NIL;
  527. }
  528. uint32_t Array::get_typed_builtin() const {
  529. return _p->typed.type;
  530. }
  531. StringName Array::get_typed_class_name() const {
  532. return _p->typed.class_name;
  533. }
  534. Variant Array::get_typed_script() const {
  535. return _p->typed.script;
  536. }
  537. Array::Array(const Array &p_from) {
  538. _p = nullptr;
  539. _ref(p_from);
  540. }
  541. Array::Array() {
  542. _p = memnew(ArrayPrivate);
  543. _p->refcount.init();
  544. }
  545. Array::~Array() {
  546. _unref();
  547. }