blob: 41138c84ea3d811ba04d4139ff20b28d80545266 [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
47 String &operator=(const String &) noexcept;
48 String &operator=(String &&) noexcept;
49
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};
Cameron Pickettf45f8992021-01-02 18:38:05 +000087
David Tolnay0f0162f2020-11-16 23:43:37 -080088#endif // CXXBRIDGE1_RUST_STRING
David Tolnay7db73692019-10-20 14:51:12 -040089
David Tolnay0f0162f2020-11-16 23:43:37 -080090#ifndef CXXBRIDGE1_RUST_STR
David Tolnay1202de52021-01-02 01:26:33 -080091#define CXXBRIDGE1_RUST_STR
David Tolnaye468f052020-11-29 19:39:35 -080092// https://cxx.rs/binding/str.html
David Tolnay09dbe752020-03-01 13:00:40 -080093class Str final {
David Tolnay7db73692019-10-20 14:51:12 -040094public:
David Tolnay09dbe752020-03-01 13:00:40 -080095 Str() noexcept;
David Tolnay828e5132020-11-29 20:40:40 -080096 Str(const String &) noexcept;
David Tolnay851677c2020-03-01 23:49:46 -080097 Str(const std::string &);
98 Str(const char *);
David Tolnaybe3cbf72020-12-12 22:12:07 -080099 Str(const char *, std::size_t);
David Tolnayd9c4ac92020-03-01 20:33:58 -0800100
David Tolnay2d7f1172020-10-31 17:58:31 -0700101 Str &operator=(const Str &) noexcept = default;
David Tolnayd9c4ac92020-03-01 20:33:58 -0800102
David Tolnay404d6892020-03-01 20:19:41 -0800103 explicit operator std::string() const;
David Tolnay7db73692019-10-20 14:51:12 -0400104
105 // Note: no null terminator.
106 const char *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800107 std::size_t size() const noexcept;
108 std::size_t length() const noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400109
David Tolnayde9a5b12020-10-31 12:15:43 -0700110 // Important in order for System V ABI to pass in registers.
111 Str(const Str &) noexcept = default;
112 ~Str() noexcept = default;
113
David Tolnayff7f5fb2020-11-25 20:50:32 -0800114 using iterator = const char *;
115 using const_iterator = const char *;
116 const_iterator begin() const noexcept;
117 const_iterator end() const noexcept;
118 const_iterator cbegin() const noexcept;
119 const_iterator cend() const noexcept;
120
David Tolnayff86dce2020-11-29 19:45:13 -0800121 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 bool operator>=(const Str &) const noexcept;
127
David Tolnay0413ee22021-01-02 13:55:16 -0800128 void swap(Str &) noexcept;
129
David Tolnay5df1f062020-10-31 12:31:10 -0700130private:
David Tolnay1202de52021-01-02 01:26:33 -0800131 std::array<std::uintptr_t, 2> repr;
David Tolnay7db73692019-10-20 14:51:12 -0400132};
David Tolnay0f0162f2020-11-16 23:43:37 -0800133#endif // CXXBRIDGE1_RUST_STR
David Tolnay7db73692019-10-20 14:51:12 -0400134
David Tolnay0f0162f2020-11-16 23:43:37 -0800135#ifndef CXXBRIDGE1_RUST_SLICE
David Tolnayc5629f02020-11-23 18:32:46 -0800136namespace detail {
David Tolnayee9b9ee2020-11-25 08:28:50 -0800137template <bool>
David Tolnayc5629f02020-11-23 18:32:46 -0800138struct copy_assignable_if {};
David Tolnayce298232020-11-11 10:08:54 -0800139
David Tolnayc5629f02020-11-23 18:32:46 -0800140template <>
141struct copy_assignable_if<false> {
142 copy_assignable_if() noexcept = default;
143 copy_assignable_if(const copy_assignable_if &) noexcept = default;
144 copy_assignable_if &operator=(const copy_assignable_if &) noexcept = delete;
145 copy_assignable_if &operator=(copy_assignable_if &&) noexcept = default;
146};
147} // namespace detail
148
David Tolnaye468f052020-11-29 19:39:35 -0800149// https://cxx.rs/binding/slice.html
David Tolnayc5629f02020-11-23 18:32:46 -0800150template <typename T>
151class Slice final
152 : private detail::copy_assignable_if<std::is_const<T>::value> {
David Tolnayefe81052020-04-14 16:28:24 -0700153public:
David Tolnayf62458f2020-12-27 19:38:43 -0800154 using value_type = T;
155
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700156 Slice() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800157 Slice(T *, std::size_t count) noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700158
David Tolnay2d7f1172020-10-31 17:58:31 -0700159 Slice &operator=(const Slice<T> &) noexcept = default;
David Tolnayc5629f02020-11-23 18:32:46 -0800160 Slice &operator=(Slice<T> &&) noexcept = default;
David Tolnayefe81052020-04-14 16:28:24 -0700161
David Tolnayce298232020-11-11 10:08:54 -0800162 T *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800163 std::size_t size() const noexcept;
164 std::size_t length() const noexcept;
David Tolnay78dd5352020-12-26 23:44:20 -0800165 bool empty() const noexcept;
166
167 T &operator[](std::size_t n) const noexcept;
168 T &at(std::size_t n) const;
169 T &front() const noexcept;
170 T &back() const noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700171
David Tolnayde9a5b12020-10-31 12:15:43 -0700172 // Important in order for System V ABI to pass in registers.
173 Slice(const Slice<T> &) noexcept = default;
174 ~Slice() noexcept = default;
175
David Tolnayac6cb542020-11-25 20:18:55 -0800176 class iterator;
177 iterator begin() const noexcept;
178 iterator end() const noexcept;
179
David Tolnay0413ee22021-01-02 13:55:16 -0800180 void swap(Slice &) noexcept;
181
David Tolnayefe81052020-04-14 16:28:24 -0700182private:
David Tolnay0e1cc3d2021-01-02 15:09:03 -0800183 friend void sliceInit(void *, const void *, std::size_t) noexcept;
184 friend void *slicePtr(const void *) noexcept;
185 friend std::size_t sliceLen(const void *) noexcept;
186
David Tolnay9bffb932021-01-02 02:15:21 -0800187 std::array<std::uintptr_t, 2> repr;
David Tolnayefe81052020-04-14 16:28:24 -0700188};
David Tolnayac6cb542020-11-25 20:18:55 -0800189
190template <typename T>
191class Slice<T>::iterator final {
192public:
David Tolnayc30e4472020-12-27 00:25:42 -0800193 using iterator_category = std::random_access_iterator_tag;
David Tolnayac6cb542020-11-25 20:18:55 -0800194 using value_type = T;
David Tolnayc30e4472020-12-27 00:25:42 -0800195 using difference_type = std::ptrdiff_t;
David Tolnayac6cb542020-11-25 20:18:55 -0800196 using pointer = typename std::add_pointer<T>::type;
197 using reference = typename std::add_lvalue_reference<T>::type;
David Tolnayac6cb542020-11-25 20:18:55 -0800198
David Tolnaydb388c92020-12-27 00:28:26 -0800199 reference operator*() const noexcept;
200 pointer operator->() const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800201 reference operator[](difference_type) const noexcept;
202
David Tolnayac6cb542020-11-25 20:18:55 -0800203 iterator &operator++() noexcept;
204 iterator operator++(int) noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800205 iterator &operator--() noexcept;
206 iterator operator--(int) noexcept;
207
208 iterator &operator+=(difference_type) noexcept;
209 iterator &operator-=(difference_type) noexcept;
210 iterator operator+(difference_type) const noexcept;
211 iterator operator-(difference_type) const noexcept;
212 difference_type operator-(const iterator &) const noexcept;
213
David Tolnayac6cb542020-11-25 20:18:55 -0800214 bool operator==(const iterator &) const noexcept;
215 bool operator!=(const iterator &) const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800216 bool operator<(const iterator &) const noexcept;
217 bool operator<=(const iterator &) const noexcept;
218 bool operator>(const iterator &) const noexcept;
219 bool operator>=(const iterator &) const noexcept;
David Tolnayac6cb542020-11-25 20:18:55 -0800220
221private:
222 friend class Slice;
David Tolnaya1ddbf82020-12-27 00:56:35 -0800223 void *pos;
224 std::size_t stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800225};
David Tolnay0f0162f2020-11-16 23:43:37 -0800226#endif // CXXBRIDGE1_RUST_SLICE
David Tolnayefe81052020-04-14 16:28:24 -0700227
David Tolnay0f0162f2020-11-16 23:43:37 -0800228#ifndef CXXBRIDGE1_RUST_BOX
David Tolnaye468f052020-11-29 19:39:35 -0800229// https://cxx.rs/binding/box.html
David Tolnayf262d382020-04-11 22:12:40 -0700230template <typename T>
231class Box final {
David Tolnay7db73692019-10-20 14:51:12 -0400232public:
David Tolnaye47a4d92020-12-27 19:35:21 -0800233 using element_type = T;
David Tolnay9706a512020-04-24 17:09:01 -0700234 using const_pointer =
235 typename std::add_pointer<typename std::add_const<T>::type>::type;
236 using pointer = typename std::add_pointer<T>::type;
David Tolnayf6292372020-03-01 21:09:11 -0800237
David Tolnayc4b34222020-12-12 13:06:26 -0800238 Box() = delete;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700239 Box(Box &&) noexcept;
240 ~Box() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400241
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700242 explicit Box(const T &);
243 explicit Box(T &&);
244
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700245 Box &operator=(Box &&) noexcept;
246
247 const T *operator->() const noexcept;
248 const T &operator*() const noexcept;
249 T *operator->() noexcept;
250 T &operator*() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400251
David Tolnayf262d382020-04-11 22:12:40 -0700252 template <typename... Fields>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700253 static Box in_place(Fields &&...);
David Tolnay7ce59fc2020-04-11 11:46:33 -0700254
David Tolnayfec17152021-01-02 12:51:29 -0800255 void swap(Box &) noexcept;
256
David Tolnay7db73692019-10-20 14:51:12 -0400257 // Important: requires that `raw` came from an into_raw call. Do not pass a
258 // pointer from `new` or any other source.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700259 static Box from_raw(T *) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400260
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700261 T *into_raw() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400262
David Tolnay78a5f8d2020-12-28 11:40:38 -0800263 /* Deprecated */ using value_type = element_type;
David Tolnaye47a4d92020-12-27 19:35:21 -0800264
David Tolnay7db73692019-10-20 14:51:12 -0400265private:
David Tolnayc4b34222020-12-12 13:06:26 -0800266 class uninit;
David Tolnaye5703162020-12-12 16:26:35 -0800267 class allocation;
David Tolnayc4b34222020-12-12 13:06:26 -0800268 Box(uninit) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400269 void drop() noexcept;
Cameron Pickettf45f8992021-01-02 18:38:05 +0000270
David Tolnayc9e597e2021-01-02 12:15:06 -0800271 friend void swap(Box &lhs, Box &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000272
David Tolnay33169bd2020-03-06 13:02:08 -0800273 T *ptr;
David Tolnay7db73692019-10-20 14:51:12 -0400274};
David Tolnay0f0162f2020-11-16 23:43:37 -0800275#endif // CXXBRIDGE1_RUST_BOX
David Tolnay7db73692019-10-20 14:51:12 -0400276
David Tolnay0f0162f2020-11-16 23:43:37 -0800277#ifndef CXXBRIDGE1_RUST_VEC
David Tolnaye468f052020-11-29 19:39:35 -0800278// https://cxx.rs/binding/vec.html
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700279template <typename T>
280class Vec final {
281public:
David Tolnayc87c2152020-04-24 17:07:41 -0700282 using value_type = T;
283
David Tolnayf97c2d52020-04-25 16:37:48 -0700284 Vec() noexcept;
David Tolnayf799b372020-11-29 23:57:42 -0800285 Vec(std::initializer_list<T>);
David Tolnay9007e462020-12-11 13:59:08 -0800286 Vec(const Vec &);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700287 Vec(Vec &&) noexcept;
288 ~Vec() noexcept;
David Tolnaycb800572020-04-24 20:30:43 -0700289
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700290 Vec &operator=(Vec &&) noexcept;
David Tolnaydd42c722020-12-11 14:05:26 -0800291 Vec &operator=(const Vec &);
David Tolnayf97c2d52020-04-25 16:37:48 -0700292
David Tolnaybe3cbf72020-12-12 22:12:07 -0800293 std::size_t size() const noexcept;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700294 bool empty() const noexcept;
David Tolnay219c0792020-04-24 20:31:37 -0700295 const T *data() const noexcept;
David Tolnayfb6b73c2020-11-10 14:32:16 -0800296 T *data() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800297 std::size_t capacity() const noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700298
David Tolnaybe3cbf72020-12-12 22:12:07 -0800299 const T &operator[](std::size_t n) const noexcept;
300 const T &at(std::size_t n) const;
David Tolnayd4fff5d2020-12-21 14:04:09 -0800301 const T &front() const noexcept;
302 const T &back() const noexcept;
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700303
David Tolnaybe3cbf72020-12-12 22:12:07 -0800304 T &operator[](std::size_t n) noexcept;
305 T &at(std::size_t n);
David Tolnayd4fff5d2020-12-21 14:04:09 -0800306 T &front() noexcept;
307 T &back() noexcept;
David Tolnay908d5e52020-11-30 00:30:59 -0800308
David Tolnaybe3cbf72020-12-12 22:12:07 -0800309 void reserve(std::size_t new_cap);
David Tolnayfb6b73c2020-11-10 14:32:16 -0800310 void push_back(const T &value);
311 void push_back(T &&value);
David Tolnay4e8c49a2020-11-11 10:00:18 -0800312 template <typename... Args>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800313 void emplace_back(Args &&... args);
314
David Tolnay725bf502020-12-27 02:47:40 -0800315 using iterator = typename Slice<T>::iterator;
David Tolnay960b5112020-11-25 13:18:28 -0800316 iterator begin() noexcept;
317 iterator end() noexcept;
318
David Tolnay725bf502020-12-27 02:47:40 -0800319 using const_iterator = typename Slice<const T>::iterator;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700320 const_iterator begin() const noexcept;
321 const_iterator end() const noexcept;
David Tolnay960b5112020-11-25 13:18:28 -0800322 const_iterator cbegin() const noexcept;
323 const_iterator cend() const noexcept;
David Tolnayc87c2152020-04-24 17:07:41 -0700324
David Tolnayfec17152021-01-02 12:51:29 -0800325 void swap(Vec &) noexcept;
326
David Tolnay313b10e2020-04-25 16:30:51 -0700327 // Internal API only intended for the cxxbridge code generator.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700328 Vec(unsafe_bitcopy_t, const Vec &) noexcept;
David Tolnay313b10e2020-04-25 16:30:51 -0700329
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700330private:
David Tolnaybe3cbf72020-12-12 22:12:07 -0800331 void reserve_total(std::size_t cap) noexcept;
332 void set_len(std::size_t len) noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700333 void drop() noexcept;
334
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800335 friend void swap(Vec &lhs, Vec &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000336
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700337 // Size and alignment statically verified by rust_vec.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -0800338 std::array<std::uintptr_t, 3> repr;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700339};
David Tolnay0f0162f2020-11-16 23:43:37 -0800340#endif // CXXBRIDGE1_RUST_VEC
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700341
David Tolnay0f0162f2020-11-16 23:43:37 -0800342#ifndef CXXBRIDGE1_RUST_FN
David Tolnaye468f052020-11-29 19:39:35 -0800343// https://cxx.rs/binding/fn.html
David Tolnayf031c322020-11-29 19:41:33 -0800344template <typename Signature>
David Tolnayf262d382020-04-11 22:12:40 -0700345class Fn;
David Tolnay75dca2e2020-03-25 20:17:52 -0700346
David Tolnayf031c322020-11-29 19:41:33 -0800347template <typename Ret, typename... Args>
348class Fn<Ret(Args...)> final {
David Tolnay75dca2e2020-03-25 20:17:52 -0700349public:
David Tolnayf031c322020-11-29 19:41:33 -0800350 Ret operator()(Args... args) const noexcept;
David Tolnay533d4582020-04-08 20:29:14 -0700351 Fn operator*() const noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700352
353private:
David Tolnayf031c322020-11-29 19:41:33 -0800354 Ret (*trampoline)(Args..., void *fn) noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700355 void *fn;
356};
David Tolnay0f0162f2020-11-16 23:43:37 -0800357#endif // CXXBRIDGE1_RUST_FN
David Tolnay75dca2e2020-03-25 20:17:52 -0700358
David Tolnay0f0162f2020-11-16 23:43:37 -0800359#ifndef CXXBRIDGE1_RUST_ERROR
360#define CXXBRIDGE1_RUST_ERROR
David Tolnaye468f052020-11-29 19:39:35 -0800361// https://cxx.rs/binding/result.html
David Tolnaye4fa8732020-09-08 15:04:56 -0700362class Error final : public std::exception {
David Tolnay1e548172020-03-16 13:37:09 -0700363public:
364 Error(const Error &);
365 Error(Error &&) noexcept;
David Tolnay2714d2c2020-11-23 18:17:43 -0800366 ~Error() noexcept override;
David Tolnay7c6ac712020-10-31 17:22:28 -0700367
368 Error &operator=(const Error &);
David Tolnay15491062020-10-31 17:25:13 -0700369 Error &operator=(Error &&) noexcept;
David Tolnay7c6ac712020-10-31 17:22:28 -0700370
David Tolnay1e548172020-03-16 13:37:09 -0700371 const char *what() const noexcept override;
372
373private:
David Tolnaya0c9bc72020-10-31 14:37:14 -0700374 Error() noexcept = default;
David Tolnay84ddf9e2020-10-31 15:36:48 -0700375 friend impl<Error>;
David Tolnaya0c9bc72020-10-31 14:37:14 -0700376 const char *msg;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800377 std::size_t len;
David Tolnay1e548172020-03-16 13:37:09 -0700378};
David Tolnay0f0162f2020-11-16 23:43:37 -0800379#endif // CXXBRIDGE1_RUST_ERROR
David Tolnay1e548172020-03-16 13:37:09 -0700380
David Tolnay0f0162f2020-11-16 23:43:37 -0800381#ifndef CXXBRIDGE1_RUST_ISIZE
382#define CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700383#if defined(_WIN32)
384using isize = SSIZE_T;
385#else
386using isize = ssize_t;
387#endif
David Tolnay0f0162f2020-11-16 23:43:37 -0800388#endif // CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700389
David Tolnay851677c2020-03-01 23:49:46 -0800390std::ostream &operator<<(std::ostream &, const String &);
391std::ostream &operator<<(std::ostream &, const Str &);
David Tolnay7db73692019-10-20 14:51:12 -0400392
David Tolnay365fc7c2020-11-25 16:08:13 -0800393#ifndef CXXBRIDGE1_RUST_OPAQUE
394#define CXXBRIDGE1_RUST_OPAQUE
395// Base class of generated opaque Rust types.
396class Opaque {
David Tolnaya857c322020-11-25 16:27:19 -0800397public:
David Tolnay365fc7c2020-11-25 16:08:13 -0800398 Opaque() = delete;
399 Opaque(const Opaque &) = delete;
400 ~Opaque() = delete;
401};
402#endif // CXXBRIDGE1_RUST_OPAQUE
403
David Tolnayee6ecfc2020-12-26 21:54:37 -0800404template <typename T>
405std::size_t size_of();
406template <typename T>
407std::size_t align_of();
408
David Tolnay174bd952020-11-02 09:23:12 -0800409// IsRelocatable<T> is used in assertions that a C++ type passed by value
410// between Rust and C++ is soundly relocatable by Rust.
411//
412// There may be legitimate reasons to opt out of the check for support of types
413// that the programmer knows are soundly Rust-movable despite not being
414// recognized as such by the C++ type system due to a move constructor or
415// destructor. To opt out of the relocatability check, do either of the
416// following things in any header used by `include!` in the bridge.
417//
418// --- if you define the type:
419// struct MyType {
420// ...
421// + using IsRelocatable = std::true_type;
422// };
423//
424// --- otherwise:
425// + template <>
426// + struct rust::IsRelocatable<MyType> : std::true_type {};
427template <typename T>
428struct IsRelocatable;
429
David Tolnaybe3cbf72020-12-12 22:12:07 -0800430using u8 = std::uint8_t;
431using u16 = std::uint16_t;
432using u32 = std::uint32_t;
433using u64 = std::uint64_t;
434using usize = std::size_t; // see static asserts in cxx.cc
435using i8 = std::int8_t;
436using i16 = std::int16_t;
437using i32 = std::int32_t;
438using i64 = std::int64_t;
David Tolnay1e784a32020-12-12 21:34:47 -0800439using f32 = float;
440using f64 = double;
441
David Tolnay3b0c9882020-03-01 14:08:57 -0800442// Snake case aliases for use in code that uses this style for type names.
443using string = String;
444using str = Str;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800445template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700446using slice = Slice<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800447template <typename T>
David Tolnayf262d382020-04-11 22:12:40 -0700448using box = Box<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800449template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700450using vec = Vec<T>;
David Tolnay1e548172020-03-16 13:37:09 -0700451using error = Error;
David Tolnayf262d382020-04-11 22:12:40 -0700452template <typename Signature>
David Tolnayf031c322020-11-29 19:41:33 -0800453using fn = Fn<Signature>;
David Tolnay174bd952020-11-02 09:23:12 -0800454template <typename T>
455using is_relocatable = IsRelocatable<T>;
David Tolnay3b0c9882020-03-01 14:08:57 -0800456
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700457
458
459////////////////////////////////////////////////////////////////////////////////
460/// end public API, begin implementation details
461
David Tolnay0f0162f2020-11-16 23:43:37 -0800462#ifndef CXXBRIDGE1_PANIC
463#define CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700464template <typename Exception>
465void panic [[noreturn]] (const char *msg);
David Tolnay0f0162f2020-11-16 23:43:37 -0800466#endif // CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700467
David Tolnay0f0162f2020-11-16 23:43:37 -0800468#ifndef CXXBRIDGE1_RUST_FN
469#define CXXBRIDGE1_RUST_FN
David Tolnayf031c322020-11-29 19:41:33 -0800470template <typename Ret, typename... Args>
471Ret Fn<Ret(Args...)>::operator()(Args... args) const noexcept {
David Tolnay75dca2e2020-03-25 20:17:52 -0700472 return (*this->trampoline)(std::move(args)..., this->fn);
473}
474
David Tolnayf031c322020-11-29 19:41:33 -0800475template <typename Ret, typename... Args>
476Fn<Ret(Args...)> Fn<Ret(Args...)>::operator*() const noexcept {
David Tolnaya23129c2020-04-08 20:08:21 -0700477 return *this;
478}
David Tolnay0f0162f2020-11-16 23:43:37 -0800479#endif // CXXBRIDGE1_RUST_FN
David Tolnaya23129c2020-04-08 20:08:21 -0700480
David Tolnay0f0162f2020-11-16 23:43:37 -0800481#ifndef CXXBRIDGE1_RUST_BITCOPY
482#define CXXBRIDGE1_RUST_BITCOPY
David Tolnay48521222020-10-31 14:59:42 -0700483struct unsafe_bitcopy_t final {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700484 explicit unsafe_bitcopy_t() = default;
485};
486
487constexpr unsafe_bitcopy_t unsafe_bitcopy{};
David Tolnay0f0162f2020-11-16 23:43:37 -0800488#endif // CXXBRIDGE1_RUST_BITCOPY
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700489
David Tolnay0f0162f2020-11-16 23:43:37 -0800490#ifndef CXXBRIDGE1_RUST_SLICE
491#define CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700492template <typename T>
David Tolnay9bffb932021-01-02 02:15:21 -0800493Slice<T>::Slice() noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800494 sliceInit(this, reinterpret_cast<void *>(align_of<T>()), 0);
495}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700496
497template <typename T>
David Tolnay9bffb932021-01-02 02:15:21 -0800498Slice<T>::Slice(T *s, std::size_t count) noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800499 sliceInit(this, const_cast<typename std::remove_const<T>::type *>(s), count);
500}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700501
502template <typename T>
David Tolnayce298232020-11-11 10:08:54 -0800503T *Slice<T>::data() const noexcept {
David Tolnay0e3f7762021-01-02 15:01:10 -0800504 return reinterpret_cast<T *>(slicePtr(this));
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700505}
506
507template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800508std::size_t Slice<T>::size() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800509 return sliceLen(this);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700510}
511
512template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800513std::size_t Slice<T>::length() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800514 return this->size();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700515}
David Tolnayac6cb542020-11-25 20:18:55 -0800516
517template <typename T>
David Tolnay78dd5352020-12-26 23:44:20 -0800518bool Slice<T>::empty() const noexcept {
David Tolnay9bffb932021-01-02 02:15:21 -0800519 return this->size() == 0;
David Tolnay78dd5352020-12-26 23:44:20 -0800520}
521
522template <typename T>
523T &Slice<T>::operator[](std::size_t n) const noexcept {
524 assert(n < this->size());
David Tolnay0e3f7762021-01-02 15:01:10 -0800525 auto pos = static_cast<char *>(slicePtr(this)) + size_of<T>() * n;
David Tolnay5ce110e2020-12-27 02:45:53 -0800526 return *reinterpret_cast<T *>(pos);
David Tolnay78dd5352020-12-26 23:44:20 -0800527}
528
529template <typename T>
530T &Slice<T>::at(std::size_t n) const {
531 if (n >= this->size()) {
532 panic<std::out_of_range>("rust::Slice index out of range");
533 }
534 return (*this)[n];
535}
536
537template <typename T>
538T &Slice<T>::front() const noexcept {
539 assert(!this->empty());
David Tolnay5ce110e2020-12-27 02:45:53 -0800540 return (*this)[0];
David Tolnay78dd5352020-12-26 23:44:20 -0800541}
542
543template <typename T>
544T &Slice<T>::back() const noexcept {
545 assert(!this->empty());
David Tolnay9bffb932021-01-02 02:15:21 -0800546 return (*this)[this->size() - 1];
David Tolnay78dd5352020-12-26 23:44:20 -0800547}
548
549template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800550typename Slice<T>::iterator::reference
551Slice<T>::iterator::operator*() const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800552 return *static_cast<T *>(this->pos);
David Tolnayac6cb542020-11-25 20:18:55 -0800553}
554
555template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800556typename Slice<T>::iterator::pointer
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 Tolnayc30e4472020-12-27 00:25:42 -0800562typename Slice<T>::iterator::reference Slice<T>::iterator::operator[](
563 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800564 auto pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnay7f59a692021-01-02 00:07:24 -0800565 return *reinterpret_cast<T *>(pos);
David Tolnayc30e4472020-12-27 00:25:42 -0800566}
567
568template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800569typename Slice<T>::iterator &Slice<T>::iterator::operator++() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800570 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800571 return *this;
572}
573
574template <typename T>
575typename Slice<T>::iterator Slice<T>::iterator::operator++(int) noexcept {
576 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800577 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800578 return ret;
579}
580
581template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800582typename Slice<T>::iterator &Slice<T>::iterator::operator--() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800583 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800584 return *this;
585}
586
587template <typename T>
588typename Slice<T>::iterator Slice<T>::iterator::operator--(int) noexcept {
589 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800590 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800591 return ret;
592}
593
594template <typename T>
595typename Slice<T>::iterator &Slice<T>::iterator::operator+=(
596 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800597 this->pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800598 return *this;
599}
600
601template <typename T>
602typename Slice<T>::iterator &Slice<T>::iterator::operator-=(
603 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800604 this->pos = static_cast<char *>(this->pos) - this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800605 return *this;
606}
607
608template <typename T>
609typename Slice<T>::iterator Slice<T>::iterator::operator+(
610 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800611 auto ret = iterator(*this);
612 ret.pos = static_cast<char *>(this->pos) + this->stride * n;
613 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800614}
615
616template <typename T>
617typename Slice<T>::iterator Slice<T>::iterator::operator-(
618 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800619 auto ret = iterator(*this);
620 ret.pos = static_cast<char *>(this->pos) - this->stride * n;
621 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800622}
623
624template <typename T>
625typename Slice<T>::iterator::difference_type
626Slice<T>::iterator::operator-(const iterator &other) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800627 auto diff = std::distance(static_cast<char *>(other.pos),
628 static_cast<char *>(this->pos));
629 return diff / this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800630}
631
632template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800633bool Slice<T>::iterator::operator==(const iterator &other) const noexcept {
634 return this->pos == other.pos;
635}
636
637template <typename T>
638bool Slice<T>::iterator::operator!=(const iterator &other) const noexcept {
639 return this->pos != other.pos;
640}
641
642template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800643bool Slice<T>::iterator::operator<(const iterator &other) const noexcept {
644 return this->pos < other.pos;
645}
646
647template <typename T>
648bool Slice<T>::iterator::operator<=(const iterator &other) const noexcept {
649 return this->pos <= other.pos;
650}
651
652template <typename T>
653bool Slice<T>::iterator::operator>(const iterator &other) const noexcept {
654 return this->pos > other.pos;
655}
656
657template <typename T>
658bool Slice<T>::iterator::operator>=(const iterator &other) const noexcept {
659 return this->pos >= other.pos;
660}
661
662template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800663typename Slice<T>::iterator Slice<T>::begin() const noexcept {
664 iterator it;
David Tolnay0e3f7762021-01-02 15:01:10 -0800665 it.pos = slicePtr(this);
David Tolnay6f92baa2020-12-27 01:09:26 -0800666 it.stride = size_of<T>();
David Tolnayac6cb542020-11-25 20:18:55 -0800667 return it;
668}
669
670template <typename T>
671typename Slice<T>::iterator Slice<T>::end() const noexcept {
672 iterator it = this->begin();
David Tolnay9bffb932021-01-02 02:15:21 -0800673 it.pos = static_cast<char *>(it.pos) + it.stride * this->size();
David Tolnayac6cb542020-11-25 20:18:55 -0800674 return it;
675}
David Tolnay0413ee22021-01-02 13:55:16 -0800676
677template <typename T>
678void Slice<T>::swap(Slice &rhs) noexcept {
679 std::swap(*this, rhs);
680}
David Tolnay0f0162f2020-11-16 23:43:37 -0800681#endif // CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700682
David Tolnay0f0162f2020-11-16 23:43:37 -0800683#ifndef CXXBRIDGE1_RUST_BOX
684#define CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700685template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800686class Box<T>::uninit {};
687
688template <typename T>
David Tolnaye5703162020-12-12 16:26:35 -0800689class Box<T>::allocation {
David Tolnayf448e202020-12-12 16:42:45 -0800690 static T *alloc() noexcept;
691 static void dealloc(T *) noexcept;
David Tolnay2e637d92020-12-12 21:08:01 -0800692
David Tolnaye5703162020-12-12 16:26:35 -0800693public:
David Tolnaye7d662d2020-12-12 16:38:22 -0800694 allocation() noexcept : ptr(alloc()) {}
695 ~allocation() noexcept {
696 if (this->ptr) {
697 dealloc(this->ptr);
698 }
699 }
David Tolnaye5703162020-12-12 16:26:35 -0800700 T *ptr;
701};
702
703template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700704Box<T>::Box(Box &&other) noexcept : ptr(other.ptr) {
705 other.ptr = nullptr;
706}
707
708template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800709Box<T>::Box(const T &val) {
710 allocation alloc;
711 ::new (alloc.ptr) T(val);
712 this->ptr = alloc.ptr;
713 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700714}
715
716template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800717Box<T>::Box(T &&val) {
718 allocation alloc;
719 ::new (alloc.ptr) T(std::move(val));
720 this->ptr = alloc.ptr;
721 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700722}
723
724template <typename T>
725Box<T>::~Box() noexcept {
726 if (this->ptr) {
727 this->drop();
728 }
729}
730
731template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700732Box<T> &Box<T>::operator=(Box &&other) noexcept {
733 if (this->ptr) {
734 this->drop();
735 }
736 this->ptr = other.ptr;
737 other.ptr = nullptr;
738 return *this;
739}
740
741template <typename T>
742const T *Box<T>::operator->() const noexcept {
743 return this->ptr;
744}
745
746template <typename T>
747const T &Box<T>::operator*() const noexcept {
748 return *this->ptr;
749}
750
751template <typename T>
752T *Box<T>::operator->() noexcept {
753 return this->ptr;
754}
755
756template <typename T>
757T &Box<T>::operator*() noexcept {
758 return *this->ptr;
759}
760
761template <typename T>
762template <typename... Fields>
763Box<T> Box<T>::in_place(Fields &&... fields) {
David Tolnaye7d662d2020-12-12 16:38:22 -0800764 allocation alloc;
765 auto ptr = alloc.ptr;
766 ::new (ptr) T{std::forward<Fields>(fields)...};
767 alloc.ptr = nullptr;
768 return from_raw(ptr);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700769}
770
771template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800772void Box<T>::swap(Box &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800773 using std::swap;
774 swap(this->ptr, rhs.ptr);
775}
776
777template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700778Box<T> Box<T>::from_raw(T *raw) noexcept {
David Tolnayc4b34222020-12-12 13:06:26 -0800779 Box box = uninit{};
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700780 box.ptr = raw;
781 return box;
782}
783
784template <typename T>
785T *Box<T>::into_raw() noexcept {
786 T *raw = this->ptr;
787 this->ptr = nullptr;
788 return raw;
789}
790
791template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800792Box<T>::Box(uninit) noexcept {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800793#endif // CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700794
David Tolnay0f0162f2020-11-16 23:43:37 -0800795#ifndef CXXBRIDGE1_RUST_VEC
796#define CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700797template <typename T>
David Tolnayf799b372020-11-29 23:57:42 -0800798Vec<T>::Vec(std::initializer_list<T> init) : Vec{} {
799 this->reserve_total(init.size());
800 std::move(init.begin(), init.end(), std::back_inserter(*this));
801}
802
803template <typename T>
David Tolnay9007e462020-12-11 13:59:08 -0800804Vec<T>::Vec(const Vec &other) : Vec() {
805 this->reserve_total(other.size());
806 std::copy(other.begin(), other.end(), std::back_inserter(*this));
807}
808
809template <typename T>
David Tolnay15671862020-11-23 18:13:56 -0800810Vec<T>::Vec(Vec &&other) noexcept : repr(other.repr) {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700811 new (&other) Vec();
812}
813
814template <typename T>
815Vec<T>::~Vec() noexcept {
816 this->drop();
817}
818
819template <typename T>
820Vec<T> &Vec<T>::operator=(Vec &&other) noexcept {
821 if (this != &other) {
822 this->drop();
823 this->repr = other.repr;
824 new (&other) Vec();
825 }
826 return *this;
827}
828
829template <typename T>
David Tolnaydd42c722020-12-11 14:05:26 -0800830Vec<T> &Vec<T>::operator=(const Vec &other) {
831 if (this != &other) {
832 this->drop();
833 new (this) Vec(other);
834 }
835 return *this;
836}
837
838template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700839bool Vec<T>::empty() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800840 return this->size() == 0;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700841}
842
843template <typename T>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800844T *Vec<T>::data() noexcept {
845 return const_cast<T *>(const_cast<const Vec<T> *>(this)->data());
846}
847
848template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800849const T &Vec<T>::operator[](std::size_t n) const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800850 assert(n < this->size());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700851 auto data = reinterpret_cast<const char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800852 return *reinterpret_cast<const T *>(data + n * size_of<T>());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700853}
854
855template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800856const T &Vec<T>::at(std::size_t n) const {
David Tolnay8e1e6ac2020-08-26 20:51:43 -0700857 if (n >= this->size()) {
858 panic<std::out_of_range>("rust::Vec index out of range");
859 }
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700860 return (*this)[n];
861}
862
863template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800864const T &Vec<T>::front() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800865 assert(!this->empty());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700866 return (*this)[0];
867}
868
869template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800870const T &Vec<T>::back() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800871 assert(!this->empty());
David Tolnayb10c4bc2020-08-26 21:55:29 -0700872 return (*this)[this->size() - 1];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700873}
874
875template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800876T &Vec<T>::operator[](std::size_t n) noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800877 assert(n < this->size());
David Tolnay908d5e52020-11-30 00:30:59 -0800878 auto data = reinterpret_cast<char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800879 return *reinterpret_cast<T *>(data + n * size_of<T>());
David Tolnay908d5e52020-11-30 00:30:59 -0800880}
881
882template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800883T &Vec<T>::at(std::size_t n) {
David Tolnay908d5e52020-11-30 00:30:59 -0800884 if (n >= this->size()) {
885 panic<std::out_of_range>("rust::Vec index out of range");
886 }
887 return (*this)[n];
888}
889
890template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800891T &Vec<T>::front() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800892 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800893 return (*this)[0];
894}
895
896template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800897T &Vec<T>::back() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800898 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800899 return (*this)[this->size() - 1];
900}
901
902template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800903void Vec<T>::reserve(std::size_t new_cap) {
David Tolnayfb6b73c2020-11-10 14:32:16 -0800904 this->reserve_total(new_cap);
905}
906
907template <typename T>
908void Vec<T>::push_back(const T &value) {
909 this->emplace_back(value);
910}
911
912template <typename T>
913void Vec<T>::push_back(T &&value) {
914 this->emplace_back(std::move(value));
915}
916
917template <typename T>
918template <typename... Args>
919void Vec<T>::emplace_back(Args &&... args) {
920 auto size = this->size();
921 this->reserve_total(size + 1);
922 ::new (reinterpret_cast<T *>(reinterpret_cast<char *>(this->data()) +
David Tolnaye1df7dd2020-12-27 02:51:51 -0800923 size * size_of<T>()))
David Tolnayfb6b73c2020-11-10 14:32:16 -0800924 T(std::forward<Args>(args)...);
925 this->set_len(size + 1);
926}
927
928template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800929typename Vec<T>::iterator Vec<T>::begin() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800930 return Slice<T>(this->data(), this->size()).begin();
David Tolnay960b5112020-11-25 13:18:28 -0800931}
932
933template <typename T>
934typename Vec<T>::iterator Vec<T>::end() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800935 return Slice<T>(this->data(), this->size()).end();
David Tolnay960b5112020-11-25 13:18:28 -0800936}
937
938template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700939typename Vec<T>::const_iterator Vec<T>::begin() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800940 return this->cbegin();
941}
942
943template <typename T>
944typename Vec<T>::const_iterator Vec<T>::end() const noexcept {
945 return this->cend();
946}
947
948template <typename T>
949typename Vec<T>::const_iterator Vec<T>::cbegin() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800950 return Slice<const T>(this->data(), this->size()).begin();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700951}
952
953template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800954typename Vec<T>::const_iterator Vec<T>::cend() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800955 return Slice<const T>(this->data(), this->size()).end();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700956}
957
David Tolnayfec17152021-01-02 12:51:29 -0800958template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800959void Vec<T>::swap(Vec &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800960 using std::swap;
961 swap(this->repr, rhs.repr);
962}
963
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700964// Internal API only intended for the cxxbridge code generator.
965template <typename T>
966Vec<T>::Vec(unsafe_bitcopy_t, const Vec &bits) noexcept : repr(bits.repr) {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800967#endif // CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700968
David Tolnay75068632020-12-26 22:15:17 -0800969#ifndef CXXBRIDGE1_IS_COMPLETE
970#define CXXBRIDGE1_IS_COMPLETE
971namespace detail {
972namespace {
973template <typename T, typename = std::size_t>
974struct is_complete : std::false_type {};
975template <typename T>
976struct is_complete<T, decltype(sizeof(T))> : std::true_type {};
977} // namespace
978} // namespace detail
979#endif // CXXBRIDGE1_IS_COMPLETE
980
David Tolnayee6ecfc2020-12-26 21:54:37 -0800981#ifndef CXXBRIDGE1_LAYOUT
982#define CXXBRIDGE1_LAYOUT
983class layout {
984 template <typename T>
985 friend std::size_t size_of();
986 template <typename T>
987 friend std::size_t align_of();
988 template <typename T>
989 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
990 std::size_t>::type
991 do_size_of() {
992 return T::layout::size();
993 }
994 template <typename T>
995 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
996 std::size_t>::type
997 do_size_of() {
998 return sizeof(T);
999 }
1000 template <typename T>
1001 static
1002 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1003 size_of() {
1004 return do_size_of<T>();
1005 }
1006 template <typename T>
1007 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
1008 std::size_t>::type
1009 do_align_of() {
1010 return T::layout::align();
1011 }
1012 template <typename T>
1013 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1014 std::size_t>::type
1015 do_align_of() {
1016 return alignof(T);
1017 }
1018 template <typename T>
1019 static
1020 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1021 align_of() {
1022 return do_align_of<T>();
1023 }
1024};
1025
1026template <typename T>
1027std::size_t size_of() {
1028 return layout::size_of<T>();
1029}
1030
1031template <typename T>
1032std::size_t align_of() {
1033 return layout::align_of<T>();
1034}
1035#endif // CXXBRIDGE1_LAYOUT
1036
David Tolnay0f0162f2020-11-16 23:43:37 -08001037#ifndef CXXBRIDGE1_RELOCATABLE
1038#define CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001039namespace detail {
1040template <typename... Ts>
1041struct make_void {
1042 using type = void;
1043};
1044
1045template <typename... Ts>
1046using void_t = typename make_void<Ts...>::type;
1047
1048template <typename Void, template <typename...> class, typename...>
1049struct detect : std::false_type {};
1050template <template <typename...> class T, typename... A>
1051struct detect<void_t<T<A...>>, T, A...> : std::true_type {};
1052
1053template <template <typename...> class T, typename... A>
1054using is_detected = detect<void, T, A...>;
1055
1056template <typename T>
1057using detect_IsRelocatable = typename T::IsRelocatable;
1058
1059template <typename T>
1060struct get_IsRelocatable
1061 : std::is_same<typename T::IsRelocatable, std::true_type> {};
1062} // namespace detail
1063
1064template <typename T>
1065struct IsRelocatable
1066 : std::conditional<
1067 detail::is_detected<detail::detect_IsRelocatable, T>::value,
1068 detail::get_IsRelocatable<T>,
1069 std::integral_constant<
1070 bool, std::is_trivially_move_constructible<T>::value &&
1071 std::is_trivially_destructible<T>::value>>::type {};
David Tolnay0f0162f2020-11-16 23:43:37 -08001072#endif // CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001073
David Tolnay0f0162f2020-11-16 23:43:37 -08001074} // namespace cxxbridge1
David Tolnay750755e2020-03-01 13:04:08 -08001075} // namespace rust