Martin Leitner-Ankerl
11e7908484
prevector: only allow trivially copyable types
...
The prevector implementation currently can't be used with types that are
not trivially copyable, due to the use of memmove. Trivially copyable
implies that it is trivially destructible, see
https://eel.is/c++draft/class.prop#1.3
That means that the checks for std::is_trivially_destructible are not
necessary, and in fact where used it wouldn't be enough. E.g. in
`erase(iterator, iterator)` the elements in range first-last are destructed,
but it does not destruct elements left after `memmove`.
This commit removes the checks for `std::is_trivially_destructible`
and instead adds a `static_assert(std::is_trivially_copyable_v<T>);` to
make sure `prevector` is only used with supported types.
2022-04-24 20:02:04 +02:00
..
2022-04-22 14:43:14 +01:00
2022-02-01 11:19:18 +01:00
2022-03-29 10:15:33 +01:00
2022-03-25 14:11:18 +01:00
2021-09-29 14:10:29 +02:00
2022-04-05 13:53:09 +02:00
2022-03-09 14:32:47 -05:00
2022-03-02 12:09:27 +01:00
2022-03-01 18:32:01 +01:00
2021-10-05 11:10:47 -04:00
2022-03-02 15:25:48 +01:00
2022-02-16 14:59:20 +02:00
2022-02-04 22:47:49 +08:00
2022-04-22 14:43:14 +01:00
2022-02-14 16:01:26 -05:00
2022-02-19 09:35:10 +01:00
2022-04-22 18:51:37 +02:00
2022-04-24 12:00:05 +02:00
2022-04-18 16:03:29 +02:00
2022-04-06 20:20:30 +01:00
2022-04-03 13:04:29 +01:00
2022-04-22 14:43:14 +01:00
2021-10-11 20:45:56 +08:00
2022-04-24 12:00:05 +02:00
2022-04-24 12:00:05 +02:00
2022-01-31 16:53:12 +01:00
2021-11-12 11:46:34 +01:00
2021-09-07 09:11:10 +02:00
2022-04-22 14:43:14 +01:00
2022-04-20 14:29:29 +01:00
2022-04-20 14:35:52 +01:00
2022-04-20 14:35:53 +01:00
2022-04-20 14:29:29 +01:00
2022-04-14 07:15:22 +02:00
2022-04-14 19:26:22 +02:00
2022-01-28 19:27:25 +00:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-02-25 09:43:54 +01:00
2021-12-06 14:17:41 +13:00
2022-04-04 09:01:19 +01:00
2021-08-17 16:54:47 +08:00
2022-04-13 21:49:22 +02:00
2021-08-17 16:54:47 +08:00
2022-03-30 20:00:27 +01:00
2021-08-17 16:54:47 +08:00
2022-03-25 15:30:20 +00:00
2021-08-17 16:54:47 +08:00
2022-02-22 15:36:19 +00:00
2021-08-17 16:54:47 +08:00
2022-02-22 15:36:19 +00:00
2022-01-06 11:29:55 -05:00
2022-01-25 10:49:46 +01:00
2022-01-31 09:23:54 +01:00
2022-03-25 14:11:18 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-02-22 15:15:27 +01:00
2021-12-30 19:36:57 +02:00
2022-02-22 15:36:19 +00:00
2022-02-22 15:36:19 +00:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-03-29 10:15:33 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-03-30 20:00:27 +01:00
2021-12-30 19:36:57 +02:00
2022-03-30 20:11:15 +01:00
2022-01-07 13:37:47 -05:00
2022-03-23 17:36:33 -05:00
2022-01-02 11:40:31 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-01-06 22:14:16 -05:00
2021-08-24 11:30:09 +02:00
2021-06-16 10:48:58 +02:00
2021-12-30 19:36:57 +02:00
2022-02-03 18:35:52 +08:00
2022-03-24 11:36:37 +01:00
2021-12-30 19:36:57 +02:00
2022-04-06 20:20:30 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-06 13:19:36 +01:00
2022-04-06 13:19:36 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-22 14:43:14 +01:00
2022-04-05 13:29:42 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-21 16:38:04 +02:00
2021-12-30 19:36:57 +02:00
2022-04-05 12:49:48 +02:00
2022-04-05 12:49:48 +02:00
2022-04-19 10:25:39 +01:00
2022-04-18 17:02:57 -04:00
2021-09-24 15:40:04 +08:00
2021-10-15 01:02:45 +00:00
2021-10-21 09:37:30 +08:00
2022-02-28 16:59:56 +01:00
2022-02-13 20:59:07 +00:00
2022-03-07 13:29:46 -05:00
2021-12-20 10:53:01 -05:00
2021-12-20 10:53:01 -05:00
2022-04-06 09:25:56 +02:00
2021-10-11 20:46:25 +08:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-21 16:38:04 +02:00
2022-03-18 11:35:58 +00:00
2021-12-14 18:58:45 +01:00
2021-12-30 19:36:57 +02:00
2022-04-22 14:43:14 +01:00
2022-04-20 14:29:29 +01:00
2022-04-20 14:35:52 +01:00
2022-04-20 14:35:52 +01:00
2022-04-15 09:39:25 +02:00
2022-04-15 09:39:25 +02:00
2022-04-20 14:35:53 +01:00
2022-04-20 14:35:53 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-24 20:02:04 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-01-02 11:40:31 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-01-02 11:40:31 +01:00
2022-04-21 16:38:04 +02:00
2022-03-23 17:36:33 -05:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-04-19 14:34:56 -04:00
2022-03-10 12:01:53 +01:00
2022-03-24 11:36:37 +01:00
2022-01-14 13:27:41 +01:00
2022-01-02 11:52:11 +01:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2021-12-30 19:36:57 +02:00
2022-01-02 11:13:40 +01:00
2022-02-09 17:21:04 +01:00
2021-12-30 19:36:57 +02:00
2022-04-13 22:59:33 +02:00
2021-12-30 19:36:57 +02:00
2022-03-02 15:40:35 +01:00
2022-03-02 15:40:30 +01:00
2021-07-05 08:59:38 +03:00
2022-03-23 17:36:33 -05:00
2022-03-15 01:33:52 +00:00
2022-04-05 15:38:14 +02:00
2022-03-10 13:05:29 +01:00
2022-04-14 09:42:22 +02:00
2022-03-21 13:38:08 +01:00
2021-07-20 13:12:42 +01:00
2021-12-30 19:36:57 +02:00
2022-01-02 11:40:31 +01:00
2022-04-19 14:36:18 -04:00
2022-04-19 14:36:18 -04:00
2022-02-25 16:06:27 -05:00
2022-01-28 18:07:08 +10:00
2022-01-28 08:46:03 +01:00
2022-01-06 22:14:16 -05:00
2021-12-30 19:36:57 +02:00