blob: 7ee7db7e55231f9d31a74394d7a6c3822d7415f3 [file] [log] [blame]
David Tolnay7db73692019-10-20 14:51:12 -04001#pragma once
David Tolnayf799b372020-11-29 23:57:42 -08002#include <algorithm>
David Tolnay7db73692019-10-20 14:51:12 -04003#include <array>
David Tolnayfa5a4a62020-12-21 14:08:08 -08004#include <cassert>
David Tolnay30430f12020-03-19 20:49:00 -07005#include <cstddef>
David Tolnay7db73692019-10-20 14:51:12 -04006#include <cstdint>
David Tolnayb7a7cb62020-03-17 21:18:40 -07007#include <exception>
David Tolnayf799b372020-11-29 23:57:42 -08008#include <initializer_list>
David Tolnay001102a2020-03-01 20:05:04 -08009#include <iosfwd>
David Tolnayd1df4c72020-11-25 20:38:05 -080010#include <iterator>
David Tolnay0ecd05a2020-07-29 16:32:03 -070011#include <new>
Stephen Crane9e48d5b2020-08-21 12:17:02 -070012#include <stdexcept>
David Tolnay7db73692019-10-20 14:51:12 -040013#include <string>
David Tolnayf6292372020-03-01 21:09:11 -080014#include <type_traits>
David Tolnay4791f1c2020-03-17 21:53:16 -070015#include <utility>
David Tolnay37dd7e12020-04-25 12:51:59 -070016#include <vector>
David Tolnay59b5ba12020-04-10 11:32:19 -070017#if defined(_WIN32)
David Tolnayda38b7c2020-09-16 11:50:04 -040018#include <basetsd.h>
David Tolnay74dd66f2020-12-12 22:03:47 -080019#else
20#include <sys/types.h>
David Tolnay59b5ba12020-04-10 11:32:19 -070021#endif
David Tolnay7db73692019-10-20 14:51:12 -040022
David Tolnay750755e2020-03-01 13:04:08 -080023namespace rust {
David Tolnay0f0162f2020-11-16 23:43:37 -080024inline namespace cxxbridge1 {
David Tolnay7db73692019-10-20 14:51:12 -040025
David Tolnay2a2b9ad2020-05-12 20:07:26 -070026struct unsafe_bitcopy_t;
David Tolnayd1e2efc2020-03-03 22:25:43 -080027
David Tolnay84ddf9e2020-10-31 15:36:48 -070028namespace {
29template <typename T>
30class impl;
31}
32
David Tolnay0f0162f2020-11-16 23:43:37 -080033#ifndef CXXBRIDGE1_RUST_STRING
34#define CXXBRIDGE1_RUST_STRING
David Tolnaye468f052020-11-29 19:39:35 -080035// https://cxx.rs/binding/string.html
David Tolnay56082162020-03-01 12:57:33 -080036class String final {
David Tolnay7db73692019-10-20 14:51:12 -040037public:
David Tolnay56082162020-03-01 12:57:33 -080038 String() noexcept;
David Tolnayd9c4ac92020-03-01 20:33:58 -080039 String(const String &) noexcept;
40 String(String &&) noexcept;
David Tolnay56082162020-03-01 12:57:33 -080041 ~String() noexcept;
David Tolnayd9c4ac92020-03-01 20:33:58 -080042
43 String(const std::string &);
44 String(const char *);
David Tolnaybe3cbf72020-12-12 22:12:07 -080045 String(const char *, std::size_t);
David Tolnayd9c4ac92020-03-01 20:33:58 -080046
David Tolnay5d12f1d2021-03-22 14:58:38 -070047 String &operator=(const String &) &noexcept;
48 String &operator=(String &&) &noexcept;
David Tolnayd9c4ac92020-03-01 20:33:58 -080049
David Tolnay404d6892020-03-01 20:19:41 -080050 explicit operator std::string() const;
David Tolnay7db73692019-10-20 14:51:12 -040051
52 // Note: no null terminator.
53 const char *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -080054 std::size_t size() const noexcept;
55 std::size_t length() const noexcept;
David Tolnay7db73692019-10-20 14:51:12 -040056
David Tolnaycca2e612020-12-18 12:48:22 -080057 const char *c_str() noexcept;
58
David Tolnayff7f5fb2020-11-25 20:50:32 -080059 using iterator = char *;
60 iterator begin() noexcept;
61 iterator end() noexcept;
62
63 using const_iterator = const char *;
64 const_iterator begin() const noexcept;
65 const_iterator end() const noexcept;
66 const_iterator cbegin() const noexcept;
67 const_iterator cend() const noexcept;
68
David Tolnayff86dce2020-11-29 19:45:13 -080069 bool operator==(const String &) const noexcept;
70 bool operator!=(const String &) const noexcept;
71 bool operator<(const String &) const noexcept;
72 bool operator<=(const String &) const noexcept;
73 bool operator>(const String &) const noexcept;
74 bool operator>=(const String &) const noexcept;
75
David Tolnayfec17152021-01-02 12:51:29 -080076 void swap(String &) noexcept;
77
David Tolnayd1e2efc2020-03-03 22:25:43 -080078 // Internal API only intended for the cxxbridge code generator.
79 String(unsafe_bitcopy_t, const String &) noexcept;
80
David Tolnay7db73692019-10-20 14:51:12 -040081private:
David Tolnayc9e597e2021-01-02 12:15:06 -080082 friend void swap(String &lhs, String &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +000083
David Tolnay7db73692019-10-20 14:51:12 -040084 // Size and alignment statically verified by rust_string.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -080085 std::array<std::uintptr_t, 3> repr;
David Tolnay7db73692019-10-20 14:51:12 -040086};
David Tolnay0f0162f2020-11-16 23:43:37 -080087#endif // CXXBRIDGE1_RUST_STRING
David Tolnay7db73692019-10-20 14:51:12 -040088
David Tolnay0f0162f2020-11-16 23:43:37 -080089#ifndef CXXBRIDGE1_RUST_STR
David Tolnay1202de52021-01-02 01:26:33 -080090#define CXXBRIDGE1_RUST_STR
David Tolnaye468f052020-11-29 19:39:35 -080091// https://cxx.rs/binding/str.html
David Tolnay09dbe752020-03-01 13:00:40 -080092class Str final {
David Tolnay7db73692019-10-20 14:51:12 -040093public:
David Tolnay09dbe752020-03-01 13:00:40 -080094 Str() noexcept;
David Tolnay828e5132020-11-29 20:40:40 -080095 Str(const String &) noexcept;
David Tolnay851677c2020-03-01 23:49:46 -080096 Str(const std::string &);
97 Str(const char *);
David Tolnaybe3cbf72020-12-12 22:12:07 -080098 Str(const char *, std::size_t);
David Tolnayd9c4ac92020-03-01 20:33:58 -080099
David Tolnay5d12f1d2021-03-22 14:58:38 -0700100 Str &operator=(const Str &) &noexcept = default;
David Tolnayd9c4ac92020-03-01 20:33:58 -0800101
David Tolnay404d6892020-03-01 20:19:41 -0800102 explicit operator std::string() const;
David Tolnay7db73692019-10-20 14:51:12 -0400103
104 // Note: no null terminator.
105 const char *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800106 std::size_t size() const noexcept;
107 std::size_t length() const noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400108
David Tolnayde9a5b12020-10-31 12:15:43 -0700109 // Important in order for System V ABI to pass in registers.
110 Str(const Str &) noexcept = default;
111 ~Str() noexcept = default;
112
David Tolnayff7f5fb2020-11-25 20:50:32 -0800113 using iterator = const char *;
114 using const_iterator = const char *;
115 const_iterator begin() const noexcept;
116 const_iterator end() const noexcept;
117 const_iterator cbegin() const noexcept;
118 const_iterator cend() const noexcept;
119
David Tolnayff86dce2020-11-29 19:45:13 -0800120 bool operator==(const Str &) const noexcept;
121 bool operator!=(const Str &) const noexcept;
122 bool operator<(const Str &) const noexcept;
123 bool operator<=(const Str &) const noexcept;
124 bool operator>(const Str &) const noexcept;
125 bool operator>=(const Str &) const noexcept;
126
David Tolnay0413ee22021-01-02 13:55:16 -0800127 void swap(Str &) noexcept;
128
David Tolnay5df1f062020-10-31 12:31:10 -0700129private:
David Tolnaye5cd1482021-01-02 21:04:32 -0800130 class uninit;
131 Str(uninit) noexcept;
132 friend impl<Str>;
133
David Tolnay1202de52021-01-02 01:26:33 -0800134 std::array<std::uintptr_t, 2> repr;
David Tolnay7db73692019-10-20 14:51:12 -0400135};
David Tolnay0f0162f2020-11-16 23:43:37 -0800136#endif // CXXBRIDGE1_RUST_STR
David Tolnay7db73692019-10-20 14:51:12 -0400137
David Tolnay0f0162f2020-11-16 23:43:37 -0800138#ifndef CXXBRIDGE1_RUST_SLICE
David Tolnayc5629f02020-11-23 18:32:46 -0800139namespace detail {
David Tolnayee9b9ee2020-11-25 08:28:50 -0800140template <bool>
David Tolnayc5629f02020-11-23 18:32:46 -0800141struct copy_assignable_if {};
David Tolnayce298232020-11-11 10:08:54 -0800142
David Tolnayc5629f02020-11-23 18:32:46 -0800143template <>
144struct copy_assignable_if<false> {
145 copy_assignable_if() noexcept = default;
146 copy_assignable_if(const copy_assignable_if &) noexcept = default;
David Tolnay5d12f1d2021-03-22 14:58:38 -0700147 copy_assignable_if &operator=(const copy_assignable_if &) &noexcept = delete;
148 copy_assignable_if &operator=(copy_assignable_if &&) &noexcept = default;
David Tolnayc5629f02020-11-23 18:32:46 -0800149};
150} // namespace detail
151
David Tolnaye468f052020-11-29 19:39:35 -0800152// https://cxx.rs/binding/slice.html
David Tolnayc5629f02020-11-23 18:32:46 -0800153template <typename T>
154class Slice final
155 : private detail::copy_assignable_if<std::is_const<T>::value> {
David Tolnayefe81052020-04-14 16:28:24 -0700156public:
David Tolnayf62458f2020-12-27 19:38:43 -0800157 using value_type = T;
158
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700159 Slice() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800160 Slice(T *, std::size_t count) noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700161
David Tolnay5d12f1d2021-03-22 14:58:38 -0700162 Slice &operator=(const Slice<T> &) &noexcept = default;
163 Slice &operator=(Slice<T> &&) &noexcept = default;
David Tolnayefe81052020-04-14 16:28:24 -0700164
David Tolnayce298232020-11-11 10:08:54 -0800165 T *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800166 std::size_t size() const noexcept;
167 std::size_t length() const noexcept;
David Tolnay78dd5352020-12-26 23:44:20 -0800168 bool empty() const noexcept;
169
170 T &operator[](std::size_t n) const noexcept;
171 T &at(std::size_t n) const;
172 T &front() const noexcept;
173 T &back() const noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700174
David Tolnayde9a5b12020-10-31 12:15:43 -0700175 // Important in order for System V ABI to pass in registers.
176 Slice(const Slice<T> &) noexcept = default;
177 ~Slice() noexcept = default;
178
David Tolnayac6cb542020-11-25 20:18:55 -0800179 class iterator;
180 iterator begin() const noexcept;
181 iterator end() const noexcept;
182
David Tolnay0413ee22021-01-02 13:55:16 -0800183 void swap(Slice &) noexcept;
184
David Tolnayefe81052020-04-14 16:28:24 -0700185private:
David Tolnaye5cd1482021-01-02 21:04:32 -0800186 class uninit;
187 Slice(uninit) noexcept;
188 friend impl<Slice>;
David Tolnay0e1cc3d2021-01-02 15:09:03 -0800189 friend void sliceInit(void *, const void *, std::size_t) noexcept;
190 friend void *slicePtr(const void *) noexcept;
191 friend std::size_t sliceLen(const void *) noexcept;
192
David Tolnay9bffb932021-01-02 02:15:21 -0800193 std::array<std::uintptr_t, 2> repr;
David Tolnayefe81052020-04-14 16:28:24 -0700194};
David Tolnayac6cb542020-11-25 20:18:55 -0800195
196template <typename T>
197class Slice<T>::iterator final {
198public:
David Tolnayc30e4472020-12-27 00:25:42 -0800199 using iterator_category = std::random_access_iterator_tag;
David Tolnayac6cb542020-11-25 20:18:55 -0800200 using value_type = T;
David Tolnayc30e4472020-12-27 00:25:42 -0800201 using difference_type = std::ptrdiff_t;
David Tolnayac6cb542020-11-25 20:18:55 -0800202 using pointer = typename std::add_pointer<T>::type;
203 using reference = typename std::add_lvalue_reference<T>::type;
David Tolnayac6cb542020-11-25 20:18:55 -0800204
David Tolnaydb388c92020-12-27 00:28:26 -0800205 reference operator*() const noexcept;
206 pointer operator->() const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800207 reference operator[](difference_type) const noexcept;
208
David Tolnayac6cb542020-11-25 20:18:55 -0800209 iterator &operator++() noexcept;
210 iterator operator++(int) noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800211 iterator &operator--() noexcept;
212 iterator operator--(int) noexcept;
213
214 iterator &operator+=(difference_type) noexcept;
215 iterator &operator-=(difference_type) noexcept;
216 iterator operator+(difference_type) const noexcept;
217 iterator operator-(difference_type) const noexcept;
218 difference_type operator-(const iterator &) const noexcept;
219
David Tolnayac6cb542020-11-25 20:18:55 -0800220 bool operator==(const iterator &) const noexcept;
221 bool operator!=(const iterator &) const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800222 bool operator<(const iterator &) const noexcept;
223 bool operator<=(const iterator &) const noexcept;
224 bool operator>(const iterator &) const noexcept;
225 bool operator>=(const iterator &) const noexcept;
David Tolnayac6cb542020-11-25 20:18:55 -0800226
227private:
228 friend class Slice;
David Tolnaya1ddbf82020-12-27 00:56:35 -0800229 void *pos;
230 std::size_t stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800231};
David Tolnay0f0162f2020-11-16 23:43:37 -0800232#endif // CXXBRIDGE1_RUST_SLICE
David Tolnayefe81052020-04-14 16:28:24 -0700233
David Tolnay0f0162f2020-11-16 23:43:37 -0800234#ifndef CXXBRIDGE1_RUST_BOX
David Tolnaye468f052020-11-29 19:39:35 -0800235// https://cxx.rs/binding/box.html
David Tolnayf262d382020-04-11 22:12:40 -0700236template <typename T>
237class Box final {
David Tolnay7db73692019-10-20 14:51:12 -0400238public:
David Tolnaye47a4d92020-12-27 19:35:21 -0800239 using element_type = T;
David Tolnay9706a512020-04-24 17:09:01 -0700240 using const_pointer =
241 typename std::add_pointer<typename std::add_const<T>::type>::type;
242 using pointer = typename std::add_pointer<T>::type;
David Tolnayf6292372020-03-01 21:09:11 -0800243
David Tolnayc4b34222020-12-12 13:06:26 -0800244 Box() = delete;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700245 Box(Box &&) noexcept;
246 ~Box() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400247
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700248 explicit Box(const T &);
249 explicit Box(T &&);
250
David Tolnay5d12f1d2021-03-22 14:58:38 -0700251 Box &operator=(Box &&) &noexcept;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700252
253 const T *operator->() const noexcept;
254 const T &operator*() const noexcept;
255 T *operator->() noexcept;
256 T &operator*() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400257
David Tolnayf262d382020-04-11 22:12:40 -0700258 template <typename... Fields>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700259 static Box in_place(Fields &&...);
David Tolnay7ce59fc2020-04-11 11:46:33 -0700260
David Tolnayfec17152021-01-02 12:51:29 -0800261 void swap(Box &) noexcept;
262
David Tolnay7db73692019-10-20 14:51:12 -0400263 // Important: requires that `raw` came from an into_raw call. Do not pass a
264 // pointer from `new` or any other source.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700265 static Box from_raw(T *) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400266
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700267 T *into_raw() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400268
David Tolnay78a5f8d2020-12-28 11:40:38 -0800269 /* Deprecated */ using value_type = element_type;
David Tolnaye47a4d92020-12-27 19:35:21 -0800270
David Tolnay7db73692019-10-20 14:51:12 -0400271private:
David Tolnayc4b34222020-12-12 13:06:26 -0800272 class uninit;
David Tolnaye5703162020-12-12 16:26:35 -0800273 class allocation;
David Tolnayc4b34222020-12-12 13:06:26 -0800274 Box(uninit) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400275 void drop() noexcept;
Cameron Pickettf45f8992021-01-02 18:38:05 +0000276
David Tolnayc9e597e2021-01-02 12:15:06 -0800277 friend void swap(Box &lhs, Box &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000278
David Tolnay33169bd2020-03-06 13:02:08 -0800279 T *ptr;
David Tolnay7db73692019-10-20 14:51:12 -0400280};
David Tolnay0f0162f2020-11-16 23:43:37 -0800281#endif // CXXBRIDGE1_RUST_BOX
David Tolnay7db73692019-10-20 14:51:12 -0400282
David Tolnay0f0162f2020-11-16 23:43:37 -0800283#ifndef CXXBRIDGE1_RUST_VEC
David Tolnaye468f052020-11-29 19:39:35 -0800284// https://cxx.rs/binding/vec.html
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700285template <typename T>
286class Vec final {
287public:
David Tolnayc87c2152020-04-24 17:07:41 -0700288 using value_type = T;
289
David Tolnayf97c2d52020-04-25 16:37:48 -0700290 Vec() noexcept;
David Tolnayf799b372020-11-29 23:57:42 -0800291 Vec(std::initializer_list<T>);
David Tolnay9007e462020-12-11 13:59:08 -0800292 Vec(const Vec &);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700293 Vec(Vec &&) noexcept;
294 ~Vec() noexcept;
David Tolnaycb800572020-04-24 20:30:43 -0700295
David Tolnay5d12f1d2021-03-22 14:58:38 -0700296 Vec &operator=(Vec &&) &noexcept;
David Tolnay63bec402021-02-11 23:18:04 -0800297 Vec &operator=(const Vec &) &;
David Tolnayf97c2d52020-04-25 16:37:48 -0700298
David Tolnaybe3cbf72020-12-12 22:12:07 -0800299 std::size_t size() const noexcept;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700300 bool empty() const noexcept;
David Tolnay219c0792020-04-24 20:31:37 -0700301 const T *data() const noexcept;
David Tolnayfb6b73c2020-11-10 14:32:16 -0800302 T *data() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800303 std::size_t capacity() const noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700304
David Tolnaybe3cbf72020-12-12 22:12:07 -0800305 const T &operator[](std::size_t n) const noexcept;
306 const T &at(std::size_t n) const;
David Tolnayd4fff5d2020-12-21 14:04:09 -0800307 const T &front() const noexcept;
308 const T &back() const noexcept;
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700309
David Tolnaybe3cbf72020-12-12 22:12:07 -0800310 T &operator[](std::size_t n) noexcept;
311 T &at(std::size_t n);
David Tolnayd4fff5d2020-12-21 14:04:09 -0800312 T &front() noexcept;
313 T &back() noexcept;
David Tolnay908d5e52020-11-30 00:30:59 -0800314
David Tolnaybe3cbf72020-12-12 22:12:07 -0800315 void reserve(std::size_t new_cap);
David Tolnayfb6b73c2020-11-10 14:32:16 -0800316 void push_back(const T &value);
317 void push_back(T &&value);
David Tolnay4e8c49a2020-11-11 10:00:18 -0800318 template <typename... Args>
David Tolnayde01edf2021-03-22 15:00:15 -0700319 void emplace_back(Args &&...args);
David Tolnayfb6b73c2020-11-10 14:32:16 -0800320
David Tolnay725bf502020-12-27 02:47:40 -0800321 using iterator = typename Slice<T>::iterator;
David Tolnay960b5112020-11-25 13:18:28 -0800322 iterator begin() noexcept;
323 iterator end() noexcept;
324
David Tolnay725bf502020-12-27 02:47:40 -0800325 using const_iterator = typename Slice<const T>::iterator;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700326 const_iterator begin() const noexcept;
327 const_iterator end() const noexcept;
David Tolnay960b5112020-11-25 13:18:28 -0800328 const_iterator cbegin() const noexcept;
329 const_iterator cend() const noexcept;
David Tolnayc87c2152020-04-24 17:07:41 -0700330
David Tolnayfec17152021-01-02 12:51:29 -0800331 void swap(Vec &) noexcept;
332
David Tolnay313b10e2020-04-25 16:30:51 -0700333 // Internal API only intended for the cxxbridge code generator.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700334 Vec(unsafe_bitcopy_t, const Vec &) noexcept;
David Tolnay313b10e2020-04-25 16:30:51 -0700335
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700336private:
David Tolnaybe3cbf72020-12-12 22:12:07 -0800337 void reserve_total(std::size_t cap) noexcept;
338 void set_len(std::size_t len) noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700339 void drop() noexcept;
340
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800341 friend void swap(Vec &lhs, Vec &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000342
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700343 // Size and alignment statically verified by rust_vec.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -0800344 std::array<std::uintptr_t, 3> repr;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700345};
David Tolnay0f0162f2020-11-16 23:43:37 -0800346#endif // CXXBRIDGE1_RUST_VEC
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700347
David Tolnay0f0162f2020-11-16 23:43:37 -0800348#ifndef CXXBRIDGE1_RUST_FN
David Tolnaye468f052020-11-29 19:39:35 -0800349// https://cxx.rs/binding/fn.html
David Tolnayf031c322020-11-29 19:41:33 -0800350template <typename Signature>
David Tolnayf262d382020-04-11 22:12:40 -0700351class Fn;
David Tolnay75dca2e2020-03-25 20:17:52 -0700352
David Tolnayf031c322020-11-29 19:41:33 -0800353template <typename Ret, typename... Args>
354class Fn<Ret(Args...)> final {
David Tolnay75dca2e2020-03-25 20:17:52 -0700355public:
David Tolnayf031c322020-11-29 19:41:33 -0800356 Ret operator()(Args... args) const noexcept;
David Tolnay533d4582020-04-08 20:29:14 -0700357 Fn operator*() const noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700358
359private:
David Tolnayf031c322020-11-29 19:41:33 -0800360 Ret (*trampoline)(Args..., void *fn) noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700361 void *fn;
362};
David Tolnay0f0162f2020-11-16 23:43:37 -0800363#endif // CXXBRIDGE1_RUST_FN
David Tolnay75dca2e2020-03-25 20:17:52 -0700364
David Tolnay0f0162f2020-11-16 23:43:37 -0800365#ifndef CXXBRIDGE1_RUST_ERROR
366#define CXXBRIDGE1_RUST_ERROR
David Tolnaye468f052020-11-29 19:39:35 -0800367// https://cxx.rs/binding/result.html
David Tolnaye4fa8732020-09-08 15:04:56 -0700368class Error final : public std::exception {
David Tolnay1e548172020-03-16 13:37:09 -0700369public:
370 Error(const Error &);
371 Error(Error &&) noexcept;
David Tolnay2714d2c2020-11-23 18:17:43 -0800372 ~Error() noexcept override;
David Tolnay7c6ac712020-10-31 17:22:28 -0700373
David Tolnay63bec402021-02-11 23:18:04 -0800374 Error &operator=(const Error &) &;
David Tolnay5d12f1d2021-03-22 14:58:38 -0700375 Error &operator=(Error &&) &noexcept;
David Tolnay7c6ac712020-10-31 17:22:28 -0700376
David Tolnay1e548172020-03-16 13:37:09 -0700377 const char *what() const noexcept override;
378
379private:
David Tolnaya0c9bc72020-10-31 14:37:14 -0700380 Error() noexcept = default;
David Tolnay84ddf9e2020-10-31 15:36:48 -0700381 friend impl<Error>;
David Tolnaya0c9bc72020-10-31 14:37:14 -0700382 const char *msg;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800383 std::size_t len;
David Tolnay1e548172020-03-16 13:37:09 -0700384};
David Tolnay0f0162f2020-11-16 23:43:37 -0800385#endif // CXXBRIDGE1_RUST_ERROR
David Tolnay1e548172020-03-16 13:37:09 -0700386
David Tolnay0f0162f2020-11-16 23:43:37 -0800387#ifndef CXXBRIDGE1_RUST_ISIZE
388#define CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700389#if defined(_WIN32)
390using isize = SSIZE_T;
391#else
392using isize = ssize_t;
393#endif
David Tolnay0f0162f2020-11-16 23:43:37 -0800394#endif // CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700395
David Tolnay851677c2020-03-01 23:49:46 -0800396std::ostream &operator<<(std::ostream &, const String &);
397std::ostream &operator<<(std::ostream &, const Str &);
David Tolnay7db73692019-10-20 14:51:12 -0400398
David Tolnay365fc7c2020-11-25 16:08:13 -0800399#ifndef CXXBRIDGE1_RUST_OPAQUE
400#define CXXBRIDGE1_RUST_OPAQUE
401// Base class of generated opaque Rust types.
402class Opaque {
David Tolnaya857c322020-11-25 16:27:19 -0800403public:
David Tolnay365fc7c2020-11-25 16:08:13 -0800404 Opaque() = delete;
405 Opaque(const Opaque &) = delete;
406 ~Opaque() = delete;
407};
408#endif // CXXBRIDGE1_RUST_OPAQUE
409
David Tolnayee6ecfc2020-12-26 21:54:37 -0800410template <typename T>
411std::size_t size_of();
412template <typename T>
413std::size_t align_of();
414
David Tolnay174bd952020-11-02 09:23:12 -0800415// IsRelocatable<T> is used in assertions that a C++ type passed by value
416// between Rust and C++ is soundly relocatable by Rust.
417//
418// There may be legitimate reasons to opt out of the check for support of types
419// that the programmer knows are soundly Rust-movable despite not being
420// recognized as such by the C++ type system due to a move constructor or
421// destructor. To opt out of the relocatability check, do either of the
422// following things in any header used by `include!` in the bridge.
423//
424// --- if you define the type:
425// struct MyType {
426// ...
427// + using IsRelocatable = std::true_type;
428// };
429//
430// --- otherwise:
431// + template <>
432// + struct rust::IsRelocatable<MyType> : std::true_type {};
433template <typename T>
434struct IsRelocatable;
435
David Tolnaybe3cbf72020-12-12 22:12:07 -0800436using u8 = std::uint8_t;
437using u16 = std::uint16_t;
438using u32 = std::uint32_t;
439using u64 = std::uint64_t;
440using usize = std::size_t; // see static asserts in cxx.cc
441using i8 = std::int8_t;
442using i16 = std::int16_t;
443using i32 = std::int32_t;
444using i64 = std::int64_t;
David Tolnay1e784a32020-12-12 21:34:47 -0800445using f32 = float;
446using f64 = double;
447
David Tolnay3b0c9882020-03-01 14:08:57 -0800448// Snake case aliases for use in code that uses this style for type names.
449using string = String;
450using str = Str;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800451template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700452using slice = Slice<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800453template <typename T>
David Tolnayf262d382020-04-11 22:12:40 -0700454using box = Box<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800455template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700456using vec = Vec<T>;
David Tolnay1e548172020-03-16 13:37:09 -0700457using error = Error;
David Tolnayf262d382020-04-11 22:12:40 -0700458template <typename Signature>
David Tolnayf031c322020-11-29 19:41:33 -0800459using fn = Fn<Signature>;
David Tolnay174bd952020-11-02 09:23:12 -0800460template <typename T>
461using is_relocatable = IsRelocatable<T>;
David Tolnay3b0c9882020-03-01 14:08:57 -0800462
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700463
464
465////////////////////////////////////////////////////////////////////////////////
466/// end public API, begin implementation details
467
David Tolnay0f0162f2020-11-16 23:43:37 -0800468#ifndef CXXBRIDGE1_PANIC
469#define CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700470template <typename Exception>
471void panic [[noreturn]] (const char *msg);
David Tolnay0f0162f2020-11-16 23:43:37 -0800472#endif // CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700473
David Tolnay0f0162f2020-11-16 23:43:37 -0800474#ifndef CXXBRIDGE1_RUST_FN
475#define CXXBRIDGE1_RUST_FN
David Tolnayf031c322020-11-29 19:41:33 -0800476template <typename Ret, typename... Args>
477Ret Fn<Ret(Args...)>::operator()(Args... args) const noexcept {
David Tolnay75dca2e2020-03-25 20:17:52 -0700478 return (*this->trampoline)(std::move(args)..., this->fn);
479}
480
David Tolnayf031c322020-11-29 19:41:33 -0800481template <typename Ret, typename... Args>
482Fn<Ret(Args...)> Fn<Ret(Args...)>::operator*() const noexcept {
David Tolnaya23129c2020-04-08 20:08:21 -0700483 return *this;
484}
David Tolnay0f0162f2020-11-16 23:43:37 -0800485#endif // CXXBRIDGE1_RUST_FN
David Tolnaya23129c2020-04-08 20:08:21 -0700486
David Tolnay0f0162f2020-11-16 23:43:37 -0800487#ifndef CXXBRIDGE1_RUST_BITCOPY
488#define CXXBRIDGE1_RUST_BITCOPY
David Tolnay48521222020-10-31 14:59:42 -0700489struct unsafe_bitcopy_t final {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700490 explicit unsafe_bitcopy_t() = default;
491};
492
493constexpr unsafe_bitcopy_t unsafe_bitcopy{};
David Tolnay0f0162f2020-11-16 23:43:37 -0800494#endif // CXXBRIDGE1_RUST_BITCOPY
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700495
David Tolnay0f0162f2020-11-16 23:43:37 -0800496#ifndef CXXBRIDGE1_RUST_SLICE
497#define CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700498template <typename T>
David Tolnay9bffb932021-01-02 02:15:21 -0800499Slice<T>::Slice() noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800500 sliceInit(this, reinterpret_cast<void *>(align_of<T>()), 0);
501}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700502
503template <typename T>
David Tolnay9bffb932021-01-02 02:15:21 -0800504Slice<T>::Slice(T *s, std::size_t count) noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800505 sliceInit(this, const_cast<typename std::remove_const<T>::type *>(s), count);
506}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700507
508template <typename T>
David Tolnayce298232020-11-11 10:08:54 -0800509T *Slice<T>::data() const noexcept {
David Tolnay0e3f7762021-01-02 15:01:10 -0800510 return reinterpret_cast<T *>(slicePtr(this));
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700511}
512
513template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800514std::size_t Slice<T>::size() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800515 return sliceLen(this);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700516}
517
518template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800519std::size_t Slice<T>::length() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800520 return this->size();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700521}
David Tolnayac6cb542020-11-25 20:18:55 -0800522
523template <typename T>
David Tolnay78dd5352020-12-26 23:44:20 -0800524bool Slice<T>::empty() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800525 return this->size() == 0;
David Tolnay78dd5352020-12-26 23:44:20 -0800526}
527
528template <typename T>
529T &Slice<T>::operator[](std::size_t n) const noexcept {
530 assert(n < this->size());
David Tolnay0e3f7762021-01-02 15:01:10 -0800531 auto pos = static_cast<char *>(slicePtr(this)) + size_of<T>() * n;
David Tolnay5ce110e2020-12-27 02:45:53 -0800532 return *reinterpret_cast<T *>(pos);
David Tolnay78dd5352020-12-26 23:44:20 -0800533}
534
535template <typename T>
536T &Slice<T>::at(std::size_t n) const {
537 if (n >= this->size()) {
538 panic<std::out_of_range>("rust::Slice index out of range");
539 }
540 return (*this)[n];
541}
542
543template <typename T>
544T &Slice<T>::front() const noexcept {
545 assert(!this->empty());
David Tolnay5ce110e2020-12-27 02:45:53 -0800546 return (*this)[0];
David Tolnay78dd5352020-12-26 23:44:20 -0800547}
548
549template <typename T>
550T &Slice<T>::back() const noexcept {
551 assert(!this->empty());
David Tolnay9bffb932021-01-02 02:15:21 -0800552 return (*this)[this->size() - 1];
David Tolnay78dd5352020-12-26 23:44:20 -0800553}
554
555template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800556typename Slice<T>::iterator::reference
557Slice<T>::iterator::operator*() const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800558 return *static_cast<T *>(this->pos);
David Tolnayac6cb542020-11-25 20:18:55 -0800559}
560
561template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800562typename Slice<T>::iterator::pointer
563Slice<T>::iterator::operator->() const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800564 return static_cast<T *>(this->pos);
David Tolnayac6cb542020-11-25 20:18:55 -0800565}
566
567template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800568typename Slice<T>::iterator::reference Slice<T>::iterator::operator[](
569 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800570 auto pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnay7f59a692021-01-02 00:07:24 -0800571 return *reinterpret_cast<T *>(pos);
David Tolnayc30e4472020-12-27 00:25:42 -0800572}
573
574template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800575typename Slice<T>::iterator &Slice<T>::iterator::operator++() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800576 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800577 return *this;
578}
579
580template <typename T>
581typename Slice<T>::iterator Slice<T>::iterator::operator++(int) noexcept {
582 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800583 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800584 return ret;
585}
586
587template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800588typename Slice<T>::iterator &Slice<T>::iterator::operator--() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800589 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800590 return *this;
591}
592
593template <typename T>
594typename Slice<T>::iterator Slice<T>::iterator::operator--(int) noexcept {
595 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800596 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800597 return ret;
598}
599
600template <typename T>
601typename Slice<T>::iterator &Slice<T>::iterator::operator+=(
602 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800603 this->pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800604 return *this;
605}
606
607template <typename T>
608typename Slice<T>::iterator &Slice<T>::iterator::operator-=(
609 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800610 this->pos = static_cast<char *>(this->pos) - this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800611 return *this;
612}
613
614template <typename T>
615typename Slice<T>::iterator Slice<T>::iterator::operator+(
616 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800617 auto ret = iterator(*this);
618 ret.pos = static_cast<char *>(this->pos) + this->stride * n;
619 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800620}
621
622template <typename T>
623typename Slice<T>::iterator Slice<T>::iterator::operator-(
624 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800625 auto ret = iterator(*this);
626 ret.pos = static_cast<char *>(this->pos) - this->stride * n;
627 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800628}
629
630template <typename T>
631typename Slice<T>::iterator::difference_type
632Slice<T>::iterator::operator-(const iterator &other) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800633 auto diff = std::distance(static_cast<char *>(other.pos),
634 static_cast<char *>(this->pos));
635 return diff / this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800636}
637
638template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800639bool Slice<T>::iterator::operator==(const iterator &other) const noexcept {
640 return this->pos == other.pos;
641}
642
643template <typename T>
644bool Slice<T>::iterator::operator!=(const iterator &other) const noexcept {
645 return this->pos != other.pos;
646}
647
648template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800649bool Slice<T>::iterator::operator<(const iterator &other) const noexcept {
650 return this->pos < other.pos;
651}
652
653template <typename T>
654bool Slice<T>::iterator::operator<=(const iterator &other) const noexcept {
655 return this->pos <= other.pos;
656}
657
658template <typename T>
659bool Slice<T>::iterator::operator>(const iterator &other) const noexcept {
660 return this->pos > other.pos;
661}
662
663template <typename T>
664bool Slice<T>::iterator::operator>=(const iterator &other) const noexcept {
665 return this->pos >= other.pos;
666}
667
668template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800669typename Slice<T>::iterator Slice<T>::begin() const noexcept {
670 iterator it;
David Tolnay0e3f7762021-01-02 15:01:10 -0800671 it.pos = slicePtr(this);
David Tolnay6f92baa2020-12-27 01:09:26 -0800672 it.stride = size_of<T>();
David Tolnayac6cb542020-11-25 20:18:55 -0800673 return it;
674}
675
676template <typename T>
677typename Slice<T>::iterator Slice<T>::end() const noexcept {
678 iterator it = this->begin();
David Tolnay9bffb932021-01-02 02:15:21 -0800679 it.pos = static_cast<char *>(it.pos) + it.stride * this->size();
David Tolnayac6cb542020-11-25 20:18:55 -0800680 return it;
681}
David Tolnay0413ee22021-01-02 13:55:16 -0800682
683template <typename T>
684void Slice<T>::swap(Slice &rhs) noexcept {
685 std::swap(*this, rhs);
686}
David Tolnay0f0162f2020-11-16 23:43:37 -0800687#endif // CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700688
David Tolnay0f0162f2020-11-16 23:43:37 -0800689#ifndef CXXBRIDGE1_RUST_BOX
690#define CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700691template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800692class Box<T>::uninit {};
693
694template <typename T>
David Tolnaye5703162020-12-12 16:26:35 -0800695class Box<T>::allocation {
David Tolnayf448e202020-12-12 16:42:45 -0800696 static T *alloc() noexcept;
697 static void dealloc(T *) noexcept;
David Tolnay2e637d92020-12-12 21:08:01 -0800698
David Tolnaye5703162020-12-12 16:26:35 -0800699public:
David Tolnaye7d662d2020-12-12 16:38:22 -0800700 allocation() noexcept : ptr(alloc()) {}
701 ~allocation() noexcept {
702 if (this->ptr) {
703 dealloc(this->ptr);
704 }
705 }
David Tolnaye5703162020-12-12 16:26:35 -0800706 T *ptr;
707};
708
709template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700710Box<T>::Box(Box &&other) noexcept : ptr(other.ptr) {
711 other.ptr = nullptr;
712}
713
714template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800715Box<T>::Box(const T &val) {
716 allocation alloc;
717 ::new (alloc.ptr) T(val);
718 this->ptr = alloc.ptr;
719 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700720}
721
722template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800723Box<T>::Box(T &&val) {
724 allocation alloc;
725 ::new (alloc.ptr) T(std::move(val));
726 this->ptr = alloc.ptr;
727 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700728}
729
730template <typename T>
731Box<T>::~Box() noexcept {
732 if (this->ptr) {
733 this->drop();
734 }
735}
736
737template <typename T>
David Tolnay5d12f1d2021-03-22 14:58:38 -0700738Box<T> &Box<T>::operator=(Box &&other) &noexcept {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700739 if (this->ptr) {
740 this->drop();
741 }
742 this->ptr = other.ptr;
743 other.ptr = nullptr;
744 return *this;
745}
746
747template <typename T>
748const T *Box<T>::operator->() const noexcept {
749 return this->ptr;
750}
751
752template <typename T>
753const T &Box<T>::operator*() const noexcept {
754 return *this->ptr;
755}
756
757template <typename T>
758T *Box<T>::operator->() noexcept {
759 return this->ptr;
760}
761
762template <typename T>
763T &Box<T>::operator*() noexcept {
764 return *this->ptr;
765}
766
767template <typename T>
768template <typename... Fields>
David Tolnayde01edf2021-03-22 15:00:15 -0700769Box<T> Box<T>::in_place(Fields &&...fields) {
David Tolnaye7d662d2020-12-12 16:38:22 -0800770 allocation alloc;
771 auto ptr = alloc.ptr;
772 ::new (ptr) T{std::forward<Fields>(fields)...};
773 alloc.ptr = nullptr;
774 return from_raw(ptr);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700775}
776
777template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800778void Box<T>::swap(Box &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800779 using std::swap;
780 swap(this->ptr, rhs.ptr);
781}
782
783template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700784Box<T> Box<T>::from_raw(T *raw) noexcept {
David Tolnayc4b34222020-12-12 13:06:26 -0800785 Box box = uninit{};
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700786 box.ptr = raw;
787 return box;
788}
789
790template <typename T>
791T *Box<T>::into_raw() noexcept {
792 T *raw = this->ptr;
793 this->ptr = nullptr;
794 return raw;
795}
796
797template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800798Box<T>::Box(uninit) noexcept {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800799#endif // CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700800
David Tolnay0f0162f2020-11-16 23:43:37 -0800801#ifndef CXXBRIDGE1_RUST_VEC
802#define CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700803template <typename T>
David Tolnayf799b372020-11-29 23:57:42 -0800804Vec<T>::Vec(std::initializer_list<T> init) : Vec{} {
805 this->reserve_total(init.size());
806 std::move(init.begin(), init.end(), std::back_inserter(*this));
807}
808
809template <typename T>
David Tolnay9007e462020-12-11 13:59:08 -0800810Vec<T>::Vec(const Vec &other) : Vec() {
811 this->reserve_total(other.size());
812 std::copy(other.begin(), other.end(), std::back_inserter(*this));
813}
814
815template <typename T>
David Tolnay15671862020-11-23 18:13:56 -0800816Vec<T>::Vec(Vec &&other) noexcept : repr(other.repr) {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700817 new (&other) Vec();
818}
819
820template <typename T>
821Vec<T>::~Vec() noexcept {
822 this->drop();
823}
824
825template <typename T>
David Tolnay5d12f1d2021-03-22 14:58:38 -0700826Vec<T> &Vec<T>::operator=(Vec &&other) &noexcept {
David Tolnay7bc397c2021-02-11 23:07:58 -0800827 this->drop();
828 this->repr = other.repr;
829 new (&other) Vec();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700830 return *this;
831}
832
833template <typename T>
David Tolnay63bec402021-02-11 23:18:04 -0800834Vec<T> &Vec<T>::operator=(const Vec &other) & {
David Tolnaydd42c722020-12-11 14:05:26 -0800835 if (this != &other) {
836 this->drop();
837 new (this) Vec(other);
838 }
839 return *this;
840}
841
842template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700843bool Vec<T>::empty() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800844 return this->size() == 0;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700845}
846
847template <typename T>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800848T *Vec<T>::data() noexcept {
849 return const_cast<T *>(const_cast<const Vec<T> *>(this)->data());
850}
851
852template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800853const T &Vec<T>::operator[](std::size_t n) const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800854 assert(n < this->size());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700855 auto data = reinterpret_cast<const char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800856 return *reinterpret_cast<const T *>(data + n * size_of<T>());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700857}
858
859template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800860const T &Vec<T>::at(std::size_t n) const {
David Tolnay8e1e6ac2020-08-26 20:51:43 -0700861 if (n >= this->size()) {
862 panic<std::out_of_range>("rust::Vec index out of range");
863 }
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700864 return (*this)[n];
865}
866
867template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800868const T &Vec<T>::front() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800869 assert(!this->empty());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700870 return (*this)[0];
871}
872
873template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800874const T &Vec<T>::back() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800875 assert(!this->empty());
David Tolnayb10c4bc2020-08-26 21:55:29 -0700876 return (*this)[this->size() - 1];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700877}
878
879template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800880T &Vec<T>::operator[](std::size_t n) noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800881 assert(n < this->size());
David Tolnay908d5e52020-11-30 00:30:59 -0800882 auto data = reinterpret_cast<char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800883 return *reinterpret_cast<T *>(data + n * size_of<T>());
David Tolnay908d5e52020-11-30 00:30:59 -0800884}
885
886template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800887T &Vec<T>::at(std::size_t n) {
David Tolnay908d5e52020-11-30 00:30:59 -0800888 if (n >= this->size()) {
889 panic<std::out_of_range>("rust::Vec index out of range");
890 }
891 return (*this)[n];
892}
893
894template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800895T &Vec<T>::front() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800896 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800897 return (*this)[0];
898}
899
900template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800901T &Vec<T>::back() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800902 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800903 return (*this)[this->size() - 1];
904}
905
906template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800907void Vec<T>::reserve(std::size_t new_cap) {
David Tolnayfb6b73c2020-11-10 14:32:16 -0800908 this->reserve_total(new_cap);
909}
910
911template <typename T>
912void Vec<T>::push_back(const T &value) {
913 this->emplace_back(value);
914}
915
916template <typename T>
917void Vec<T>::push_back(T &&value) {
918 this->emplace_back(std::move(value));
919}
920
921template <typename T>
922template <typename... Args>
David Tolnayde01edf2021-03-22 15:00:15 -0700923void Vec<T>::emplace_back(Args &&...args) {
David Tolnayfb6b73c2020-11-10 14:32:16 -0800924 auto size = this->size();
925 this->reserve_total(size + 1);
926 ::new (reinterpret_cast<T *>(reinterpret_cast<char *>(this->data()) +
David Tolnaye1df7dd2020-12-27 02:51:51 -0800927 size * size_of<T>()))
David Tolnayfb6b73c2020-11-10 14:32:16 -0800928 T(std::forward<Args>(args)...);
929 this->set_len(size + 1);
930}
931
932template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800933typename Vec<T>::iterator Vec<T>::begin() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800934 return Slice<T>(this->data(), this->size()).begin();
David Tolnay960b5112020-11-25 13:18:28 -0800935}
936
937template <typename T>
938typename Vec<T>::iterator Vec<T>::end() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800939 return Slice<T>(this->data(), this->size()).end();
David Tolnay960b5112020-11-25 13:18:28 -0800940}
941
942template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700943typename Vec<T>::const_iterator Vec<T>::begin() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800944 return this->cbegin();
945}
946
947template <typename T>
948typename Vec<T>::const_iterator Vec<T>::end() const noexcept {
949 return this->cend();
950}
951
952template <typename T>
953typename Vec<T>::const_iterator Vec<T>::cbegin() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800954 return Slice<const T>(this->data(), this->size()).begin();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700955}
956
957template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800958typename Vec<T>::const_iterator Vec<T>::cend() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800959 return Slice<const T>(this->data(), this->size()).end();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700960}
961
David Tolnayfec17152021-01-02 12:51:29 -0800962template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800963void Vec<T>::swap(Vec &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800964 using std::swap;
965 swap(this->repr, rhs.repr);
966}
967
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700968// Internal API only intended for the cxxbridge code generator.
969template <typename T>
970Vec<T>::Vec(unsafe_bitcopy_t, const Vec &bits) noexcept : repr(bits.repr) {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800971#endif // CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700972
David Tolnay75068632020-12-26 22:15:17 -0800973#ifndef CXXBRIDGE1_IS_COMPLETE
974#define CXXBRIDGE1_IS_COMPLETE
975namespace detail {
976namespace {
977template <typename T, typename = std::size_t>
978struct is_complete : std::false_type {};
979template <typename T>
980struct is_complete<T, decltype(sizeof(T))> : std::true_type {};
981} // namespace
982} // namespace detail
983#endif // CXXBRIDGE1_IS_COMPLETE
984
David Tolnayee6ecfc2020-12-26 21:54:37 -0800985#ifndef CXXBRIDGE1_LAYOUT
986#define CXXBRIDGE1_LAYOUT
987class layout {
988 template <typename T>
989 friend std::size_t size_of();
990 template <typename T>
991 friend std::size_t align_of();
992 template <typename T>
993 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
994 std::size_t>::type
995 do_size_of() {
996 return T::layout::size();
997 }
998 template <typename T>
999 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1000 std::size_t>::type
1001 do_size_of() {
1002 return sizeof(T);
1003 }
1004 template <typename T>
1005 static
1006 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1007 size_of() {
1008 return do_size_of<T>();
1009 }
1010 template <typename T>
1011 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
1012 std::size_t>::type
1013 do_align_of() {
1014 return T::layout::align();
1015 }
1016 template <typename T>
1017 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1018 std::size_t>::type
1019 do_align_of() {
1020 return alignof(T);
1021 }
1022 template <typename T>
1023 static
1024 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1025 align_of() {
1026 return do_align_of<T>();
1027 }
1028};
1029
1030template <typename T>
1031std::size_t size_of() {
1032 return layout::size_of<T>();
1033}
1034
1035template <typename T>
1036std::size_t align_of() {
1037 return layout::align_of<T>();
1038}
1039#endif // CXXBRIDGE1_LAYOUT
1040
David Tolnay0f0162f2020-11-16 23:43:37 -08001041#ifndef CXXBRIDGE1_RELOCATABLE
1042#define CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001043namespace detail {
1044template <typename... Ts>
1045struct make_void {
1046 using type = void;
1047};
1048
1049template <typename... Ts>
1050using void_t = typename make_void<Ts...>::type;
1051
1052template <typename Void, template <typename...> class, typename...>
1053struct detect : std::false_type {};
1054template <template <typename...> class T, typename... A>
1055struct detect<void_t<T<A...>>, T, A...> : std::true_type {};
1056
1057template <template <typename...> class T, typename... A>
1058using is_detected = detect<void, T, A...>;
1059
1060template <typename T>
1061using detect_IsRelocatable = typename T::IsRelocatable;
1062
1063template <typename T>
1064struct get_IsRelocatable
1065 : std::is_same<typename T::IsRelocatable, std::true_type> {};
1066} // namespace detail
1067
1068template <typename T>
1069struct IsRelocatable
1070 : std::conditional<
1071 detail::is_detected<detail::detect_IsRelocatable, T>::value,
1072 detail::get_IsRelocatable<T>,
1073 std::integral_constant<
1074 bool, std::is_trivially_move_constructible<T>::value &&
1075 std::is_trivially_destructible<T>::value>>::type {};
David Tolnay0f0162f2020-11-16 23:43:37 -08001076#endif // CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001077
David Tolnay0f0162f2020-11-16 23:43:37 -08001078} // namespace cxxbridge1
David Tolnay750755e2020-03-01 13:04:08 -08001079} // namespace rust