Lenny Maiorani
f99d1d3bd7
Vector: Implement find, find_if, find_first_matching in terms of AK::find*
...
Problem:
- The implementation of `find` is coupled to the implementation of `Vector`.
- `Vector::find` takes the predicate by value which might be expensive.
Solution:
- Decouple the implementation of `find` from `Vector` by using a
generic `find` algorithm.
- Change the name of `find` with a predicate to `find_if` so that a
binding reference can be used and the predicate can be forwarded to
avoid copies.
- Change all the `find(pred)` call sites to use `find_if`.
2021-01-11 19:45:05 +01:00
..
2021-01-09 19:41:12 +01:00
2021-01-09 19:41:12 +01:00
2021-01-11 19:45:05 +01:00
2020-12-06 00:06:53 +01:00
2020-12-14 23:05:53 +01:00
2020-11-15 13:11:21 +01:00
2020-09-15 21:43:29 +02:00
2020-12-13 11:54:11 +01:00
2020-08-18 12:07:32 +02:00
2020-10-17 23:20:31 +02:00
2020-08-20 20:53:43 +02:00
2020-12-14 23:05:53 +01:00
2020-12-14 23:05:53 +01:00
2020-10-17 23:20:31 +02:00
2020-09-16 19:39:17 +02:00
2020-12-21 18:26:12 +01:00
2020-12-21 18:26:12 +01:00
2020-11-10 19:11:52 +01:00
2020-11-10 19:11:52 +01:00
2021-01-10 11:25:59 +01:00
2021-01-09 21:12:31 +01:00
2020-12-22 23:37:11 +01:00
2020-12-22 23:37:11 +01:00
2020-12-22 23:37:11 +01:00
2020-06-11 22:44:54 +02:00
2021-01-10 16:48:43 +01:00
2021-01-10 16:48:43 +01:00
2021-01-09 21:11:09 +01:00
2020-05-29 07:59:45 +02:00
2020-12-13 11:54:11 +01:00
2020-12-13 11:54:11 +01:00
2021-01-09 21:11:09 +01:00
2021-01-09 21:11:09 +01:00
2020-06-21 21:54:30 +02:00
2020-11-24 21:38:13 +01:00
2020-11-08 21:46:13 +01:00
2020-12-30 13:31:55 +01:00
2020-12-30 13:31:55 +01:00
2020-12-30 13:31:55 +01:00
2020-12-30 13:31:55 +01:00
2020-09-16 17:50:43 +02:00
2020-09-16 17:50:43 +02:00
2021-01-10 10:02:20 +01:00
2021-01-09 21:11:09 +01:00
2021-01-03 22:12:19 +01:00
2021-01-03 22:12:19 +01:00
2020-09-15 21:46:26 +02:00
2021-01-03 10:47:29 +01:00
2020-07-29 14:41:57 +02:00
2020-05-29 07:59:45 +02:00
2020-12-23 15:45:59 +01:00
2020-07-27 19:58:09 +02:00
2020-08-30 17:35:27 +02:00
2020-08-05 17:40:47 +02:00
2020-08-05 17:40:47 +02:00
2020-06-22 21:19:10 +02:00
2020-09-28 22:14:23 +02:00
2020-05-23 15:31:30 +02:00
2020-06-11 22:35:37 +02:00
2020-12-28 21:28:40 +01:00
2020-12-18 19:20:30 +01:00
2020-04-04 12:25:33 +02:00
2020-08-10 20:03:18 +02:00
2020-08-10 20:03:18 +02:00