blob: 566b4822978c913be18fe174c2bcdd6e1e4da07d [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 Tolnayd1e2efc2020-03-03 22:25:43 -080076 // Internal API only intended for the cxxbridge code generator.
77 String(unsafe_bitcopy_t, const String &) noexcept;
78
David Tolnay7db73692019-10-20 14:51:12 -040079private:
80 // Size and alignment statically verified by rust_string.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -080081 std::array<std::uintptr_t, 3> repr;
David Tolnay7db73692019-10-20 14:51:12 -040082};
David Tolnay0f0162f2020-11-16 23:43:37 -080083#endif // CXXBRIDGE1_RUST_STRING
David Tolnay7db73692019-10-20 14:51:12 -040084
David Tolnay0f0162f2020-11-16 23:43:37 -080085#ifndef CXXBRIDGE1_RUST_STR
David Tolnaye468f052020-11-29 19:39:35 -080086// https://cxx.rs/binding/str.html
David Tolnay09dbe752020-03-01 13:00:40 -080087class Str final {
David Tolnay7db73692019-10-20 14:51:12 -040088public:
David Tolnay09dbe752020-03-01 13:00:40 -080089 Str() noexcept;
David Tolnay828e5132020-11-29 20:40:40 -080090 Str(const String &) noexcept;
David Tolnay851677c2020-03-01 23:49:46 -080091 Str(const std::string &);
92 Str(const char *);
David Tolnaybe3cbf72020-12-12 22:12:07 -080093 Str(const char *, std::size_t);
David Tolnayd9c4ac92020-03-01 20:33:58 -080094
David Tolnay2d7f1172020-10-31 17:58:31 -070095 Str &operator=(const Str &) noexcept = default;
David Tolnayd9c4ac92020-03-01 20:33:58 -080096
David Tolnay404d6892020-03-01 20:19:41 -080097 explicit operator std::string() const;
David Tolnay7db73692019-10-20 14:51:12 -040098
99 // Note: no null terminator.
100 const char *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800101 std::size_t size() const noexcept;
102 std::size_t length() const noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400103
David Tolnayde9a5b12020-10-31 12:15:43 -0700104 // Important in order for System V ABI to pass in registers.
105 Str(const Str &) noexcept = default;
106 ~Str() noexcept = default;
107
David Tolnayff7f5fb2020-11-25 20:50:32 -0800108 using iterator = const char *;
109 using const_iterator = const char *;
110 const_iterator begin() const noexcept;
111 const_iterator end() const noexcept;
112 const_iterator cbegin() const noexcept;
113 const_iterator cend() const noexcept;
114
David Tolnayff86dce2020-11-29 19:45:13 -0800115 bool operator==(const Str &) const noexcept;
116 bool operator!=(const Str &) const noexcept;
117 bool operator<(const Str &) const noexcept;
118 bool operator<=(const Str &) const noexcept;
119 bool operator>(const Str &) const noexcept;
120 bool operator>=(const Str &) const noexcept;
121
David Tolnay5df1f062020-10-31 12:31:10 -0700122private:
David Tolnay0356d332020-10-31 19:46:41 -0700123 friend impl<Str>;
David Tolnay7db73692019-10-20 14:51:12 -0400124 // Not necessarily ABI compatible with &str. Codegen will translate to
125 // cxx::rust_str::RustStr which matches this layout.
David Tolnay5df1f062020-10-31 12:31:10 -0700126 const char *ptr;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800127 std::size_t len;
David Tolnay7db73692019-10-20 14:51:12 -0400128};
David Tolnay0f0162f2020-11-16 23:43:37 -0800129#endif // CXXBRIDGE1_RUST_STR
David Tolnay7db73692019-10-20 14:51:12 -0400130
David Tolnay0f0162f2020-11-16 23:43:37 -0800131#ifndef CXXBRIDGE1_RUST_SLICE
David Tolnayc5629f02020-11-23 18:32:46 -0800132namespace detail {
David Tolnayee9b9ee2020-11-25 08:28:50 -0800133template <bool>
David Tolnayc5629f02020-11-23 18:32:46 -0800134struct copy_assignable_if {};
David Tolnayce298232020-11-11 10:08:54 -0800135
David Tolnayc5629f02020-11-23 18:32:46 -0800136template <>
137struct copy_assignable_if<false> {
138 copy_assignable_if() noexcept = default;
139 copy_assignable_if(const copy_assignable_if &) noexcept = default;
140 copy_assignable_if &operator=(const copy_assignable_if &) noexcept = delete;
141 copy_assignable_if &operator=(copy_assignable_if &&) noexcept = default;
142};
143} // namespace detail
144
David Tolnaye468f052020-11-29 19:39:35 -0800145// https://cxx.rs/binding/slice.html
David Tolnayc5629f02020-11-23 18:32:46 -0800146template <typename T>
147class Slice final
148 : private detail::copy_assignable_if<std::is_const<T>::value> {
David Tolnayefe81052020-04-14 16:28:24 -0700149public:
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700150 Slice() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800151 Slice(T *, std::size_t count) noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700152
David Tolnay2d7f1172020-10-31 17:58:31 -0700153 Slice &operator=(const Slice<T> &) noexcept = default;
David Tolnayc5629f02020-11-23 18:32:46 -0800154 Slice &operator=(Slice<T> &&) noexcept = default;
David Tolnayefe81052020-04-14 16:28:24 -0700155
David Tolnayce298232020-11-11 10:08:54 -0800156 T *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800157 std::size_t size() const noexcept;
158 std::size_t length() const noexcept;
David Tolnayefe81052020-04-14 16:28:24 -0700159
David Tolnayde9a5b12020-10-31 12:15:43 -0700160 // Important in order for System V ABI to pass in registers.
161 Slice(const Slice<T> &) noexcept = default;
162 ~Slice() noexcept = default;
163
David Tolnayac6cb542020-11-25 20:18:55 -0800164 class iterator;
165 iterator begin() const noexcept;
166 iterator end() const noexcept;
167
David Tolnayefe81052020-04-14 16:28:24 -0700168private:
David Tolnay36aa9e02020-10-31 23:08:21 -0700169 friend impl<Slice>;
170 // Not necessarily ABI compatible with &[T]. Codegen will translate to
David Tolnay5515a9e2020-11-25 19:07:54 -0800171 // cxx::rust_slice::RustSlice which matches this layout.
David Tolnayce298232020-11-11 10:08:54 -0800172 T *ptr;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800173 std::size_t len;
David Tolnayefe81052020-04-14 16:28:24 -0700174};
David Tolnayac6cb542020-11-25 20:18:55 -0800175
176template <typename T>
177class Slice<T>::iterator final {
178public:
David Tolnaybe3cbf72020-12-12 22:12:07 -0800179 using difference_type = std::ptrdiff_t;
David Tolnayac6cb542020-11-25 20:18:55 -0800180 using value_type = T;
181 using pointer = typename std::add_pointer<T>::type;
182 using reference = typename std::add_lvalue_reference<T>::type;
183 using iterator_category = std::forward_iterator_tag;
184
185 T &operator*() const noexcept;
186 T *operator->() const noexcept;
187 iterator &operator++() noexcept;
188 iterator operator++(int) noexcept;
189 bool operator==(const iterator &) const noexcept;
190 bool operator!=(const iterator &) const noexcept;
191
192private:
193 friend class Slice;
194 T *pos;
195};
David Tolnay0f0162f2020-11-16 23:43:37 -0800196#endif // CXXBRIDGE1_RUST_SLICE
David Tolnayefe81052020-04-14 16:28:24 -0700197
David Tolnay0f0162f2020-11-16 23:43:37 -0800198#ifndef CXXBRIDGE1_RUST_BOX
David Tolnaye468f052020-11-29 19:39:35 -0800199// https://cxx.rs/binding/box.html
David Tolnayf262d382020-04-11 22:12:40 -0700200template <typename T>
201class Box final {
David Tolnay7db73692019-10-20 14:51:12 -0400202public:
David Tolnayf6292372020-03-01 21:09:11 -0800203 using value_type = T;
David Tolnay9706a512020-04-24 17:09:01 -0700204 using const_pointer =
205 typename std::add_pointer<typename std::add_const<T>::type>::type;
206 using pointer = typename std::add_pointer<T>::type;
David Tolnayf6292372020-03-01 21:09:11 -0800207
David Tolnayc4b34222020-12-12 13:06:26 -0800208 Box() = delete;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700209 Box(const Box &);
210 Box(Box &&) noexcept;
211 ~Box() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400212
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700213 explicit Box(const T &);
214 explicit Box(T &&);
215
216 Box &operator=(const Box &);
217 Box &operator=(Box &&) noexcept;
218
219 const T *operator->() const noexcept;
220 const T &operator*() const noexcept;
221 T *operator->() noexcept;
222 T &operator*() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400223
David Tolnayf262d382020-04-11 22:12:40 -0700224 template <typename... Fields>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700225 static Box in_place(Fields &&...);
David Tolnay7ce59fc2020-04-11 11:46:33 -0700226
David Tolnay7db73692019-10-20 14:51:12 -0400227 // Important: requires that `raw` came from an into_raw call. Do not pass a
228 // pointer from `new` or any other source.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700229 static Box from_raw(T *) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400230
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700231 T *into_raw() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400232
233private:
David Tolnayc4b34222020-12-12 13:06:26 -0800234 class uninit;
David Tolnaye5703162020-12-12 16:26:35 -0800235 class allocation;
David Tolnayc4b34222020-12-12 13:06:26 -0800236 Box(uninit) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400237 void drop() noexcept;
David Tolnay33169bd2020-03-06 13:02:08 -0800238 T *ptr;
David Tolnay7db73692019-10-20 14:51:12 -0400239};
David Tolnay0f0162f2020-11-16 23:43:37 -0800240#endif // CXXBRIDGE1_RUST_BOX
David Tolnay7db73692019-10-20 14:51:12 -0400241
David Tolnay0f0162f2020-11-16 23:43:37 -0800242#ifndef CXXBRIDGE1_RUST_VEC
David Tolnaye468f052020-11-29 19:39:35 -0800243// https://cxx.rs/binding/vec.html
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700244template <typename T>
245class Vec final {
246public:
David Tolnayc87c2152020-04-24 17:07:41 -0700247 using value_type = T;
248
David Tolnayf97c2d52020-04-25 16:37:48 -0700249 Vec() noexcept;
David Tolnayf799b372020-11-29 23:57:42 -0800250 Vec(std::initializer_list<T>);
David Tolnay9007e462020-12-11 13:59:08 -0800251 Vec(const Vec &);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700252 Vec(Vec &&) noexcept;
253 ~Vec() noexcept;
David Tolnaycb800572020-04-24 20:30:43 -0700254
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700255 Vec &operator=(Vec &&) noexcept;
David Tolnaydd42c722020-12-11 14:05:26 -0800256 Vec &operator=(const Vec &);
David Tolnayf97c2d52020-04-25 16:37:48 -0700257
David Tolnaybe3cbf72020-12-12 22:12:07 -0800258 std::size_t size() const noexcept;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700259 bool empty() const noexcept;
David Tolnay219c0792020-04-24 20:31:37 -0700260 const T *data() const noexcept;
David Tolnayfb6b73c2020-11-10 14:32:16 -0800261 T *data() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800262 std::size_t capacity() const noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700263
David Tolnaybe3cbf72020-12-12 22:12:07 -0800264 const T &operator[](std::size_t n) const noexcept;
265 const T &at(std::size_t n) const;
David Tolnayd4fff5d2020-12-21 14:04:09 -0800266 const T &front() const noexcept;
267 const T &back() const noexcept;
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700268
David Tolnaybe3cbf72020-12-12 22:12:07 -0800269 T &operator[](std::size_t n) noexcept;
270 T &at(std::size_t n);
David Tolnayd4fff5d2020-12-21 14:04:09 -0800271 T &front() noexcept;
272 T &back() noexcept;
David Tolnay908d5e52020-11-30 00:30:59 -0800273
David Tolnaybe3cbf72020-12-12 22:12:07 -0800274 void reserve(std::size_t new_cap);
David Tolnayfb6b73c2020-11-10 14:32:16 -0800275 void push_back(const T &value);
276 void push_back(T &&value);
David Tolnay4e8c49a2020-11-11 10:00:18 -0800277 template <typename... Args>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800278 void emplace_back(Args &&... args);
279
David Tolnay960b5112020-11-25 13:18:28 -0800280 class iterator;
281 iterator begin() noexcept;
282 iterator end() noexcept;
283
David Tolnaya5d72c62020-11-25 13:57:16 -0800284 using const_iterator = typename Vec<const T>::iterator;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700285 const_iterator begin() const noexcept;
286 const_iterator end() const noexcept;
David Tolnay960b5112020-11-25 13:18:28 -0800287 const_iterator cbegin() const noexcept;
288 const_iterator cend() const noexcept;
David Tolnayc87c2152020-04-24 17:07:41 -0700289
David Tolnay313b10e2020-04-25 16:30:51 -0700290 // Internal API only intended for the cxxbridge code generator.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700291 Vec(unsafe_bitcopy_t, const Vec &) noexcept;
David Tolnay313b10e2020-04-25 16:30:51 -0700292
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700293private:
David Tolnaybe3cbf72020-12-12 22:12:07 -0800294 static std::size_t stride() noexcept;
295 void reserve_total(std::size_t cap) noexcept;
296 void set_len(std::size_t len) noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700297 void drop() noexcept;
298
299 // Size and alignment statically verified by rust_vec.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -0800300 std::array<std::uintptr_t, 3> repr;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700301};
David Tolnay66f216c2020-11-25 13:21:00 -0800302
303template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800304class Vec<T>::iterator final {
305public:
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500306 using iterator_category = std::random_access_iterator_tag;
David Tolnay960b5112020-11-25 13:18:28 -0800307 using value_type = T;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800308 using difference_type = std::ptrdiff_t;
David Tolnay960b5112020-11-25 13:18:28 -0800309 using pointer = typename std::add_pointer<T>::type;
310 using reference = typename std::add_lvalue_reference<T>::type;
David Tolnay960b5112020-11-25 13:18:28 -0800311
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500312 reference operator*() const noexcept;
313 pointer operator->() const noexcept;
314 reference operator[](difference_type) const noexcept;
315
David Tolnay960b5112020-11-25 13:18:28 -0800316 iterator &operator++() noexcept;
317 iterator operator++(int) noexcept;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500318 iterator &operator--() noexcept;
319 iterator operator--(int) noexcept;
320
321 iterator &operator+=(difference_type) noexcept;
322 iterator &operator-=(difference_type) noexcept;
323 iterator operator+(difference_type) const noexcept;
324 iterator operator-(difference_type) const noexcept;
325 difference_type operator-(const iterator &) const noexcept;
326
David Tolnay960b5112020-11-25 13:18:28 -0800327 bool operator==(const iterator &) const noexcept;
328 bool operator!=(const iterator &) const noexcept;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500329 bool operator<(const iterator &) const noexcept;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500330 bool operator<=(const iterator &) const noexcept;
David Tolnay0c9c3e62020-12-27 00:52:25 -0800331 bool operator>(const iterator &) const noexcept;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500332 bool operator>=(const iterator &) const noexcept;
David Tolnay960b5112020-11-25 13:18:28 -0800333
334private:
335 friend class Vec;
David Tolnaya5d72c62020-11-25 13:57:16 -0800336 friend class Vec<typename std::remove_const<T>::type>;
David Tolnay960b5112020-11-25 13:18:28 -0800337 void *pos;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800338 std::size_t stride;
David Tolnay960b5112020-11-25 13:18:28 -0800339};
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_STR
491#define CXXBRIDGE1_RUST_STR
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700492inline const char *Str::data() const noexcept { return this->ptr; }
493
David Tolnaybe3cbf72020-12-12 22:12:07 -0800494inline std::size_t Str::size() const noexcept { return this->len; }
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700495
David Tolnaybe3cbf72020-12-12 22:12:07 -0800496inline std::size_t Str::length() const noexcept { return this->len; }
David Tolnay0f0162f2020-11-16 23:43:37 -0800497#endif // CXXBRIDGE1_RUST_STR
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700498
David Tolnay0f0162f2020-11-16 23:43:37 -0800499#ifndef CXXBRIDGE1_RUST_SLICE
500#define CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700501template <typename T>
David Tolnay7b16a392020-11-25 20:23:10 -0800502Slice<T>::Slice() noexcept : ptr(reinterpret_cast<T *>(alignof(T))), len(0) {}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700503
504template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800505Slice<T>::Slice(T *s, std::size_t count) noexcept : ptr(s), len(count) {}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700506
507template <typename T>
David Tolnayce298232020-11-11 10:08:54 -0800508T *Slice<T>::data() const noexcept {
David Tolnay36aa9e02020-10-31 23:08:21 -0700509 return this->ptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700510}
511
512template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800513std::size_t Slice<T>::size() const noexcept {
David Tolnay36aa9e02020-10-31 23:08:21 -0700514 return this->len;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700515}
516
517template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800518std::size_t Slice<T>::length() const noexcept {
David Tolnay36aa9e02020-10-31 23:08:21 -0700519 return this->len;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700520}
David Tolnayac6cb542020-11-25 20:18:55 -0800521
522template <typename T>
523T &Slice<T>::iterator::operator*() const noexcept {
524 return *this->pos;
525}
526
527template <typename T>
528T *Slice<T>::iterator::operator->() const noexcept {
529 return this->pos;
530}
531
532template <typename T>
533typename Slice<T>::iterator &Slice<T>::iterator::operator++() noexcept {
534 ++this->pos;
535 return *this;
536}
537
538template <typename T>
539typename Slice<T>::iterator Slice<T>::iterator::operator++(int) noexcept {
540 auto ret = iterator(*this);
541 ++this->pos;
542 return ret;
543}
544
545template <typename T>
546bool Slice<T>::iterator::operator==(const iterator &other) const noexcept {
547 return this->pos == other.pos;
548}
549
550template <typename T>
551bool Slice<T>::iterator::operator!=(const iterator &other) const noexcept {
552 return this->pos != other.pos;
553}
554
555template <typename T>
556typename Slice<T>::iterator Slice<T>::begin() const noexcept {
557 iterator it;
558 it.pos = this->ptr;
559 return it;
560}
561
562template <typename T>
563typename Slice<T>::iterator Slice<T>::end() const noexcept {
564 iterator it = this->begin();
565 it.pos += this->len;
566 return it;
567}
David Tolnay0f0162f2020-11-16 23:43:37 -0800568#endif // CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700569
David Tolnay0f0162f2020-11-16 23:43:37 -0800570#ifndef CXXBRIDGE1_RUST_BOX
571#define CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700572template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800573class Box<T>::uninit {};
574
575template <typename T>
David Tolnaye5703162020-12-12 16:26:35 -0800576class Box<T>::allocation {
David Tolnayf448e202020-12-12 16:42:45 -0800577 static T *alloc() noexcept;
578 static void dealloc(T *) noexcept;
David Tolnay2e637d92020-12-12 21:08:01 -0800579
David Tolnaye5703162020-12-12 16:26:35 -0800580public:
David Tolnaye7d662d2020-12-12 16:38:22 -0800581 allocation() noexcept : ptr(alloc()) {}
582 ~allocation() noexcept {
583 if (this->ptr) {
584 dealloc(this->ptr);
585 }
586 }
David Tolnaye5703162020-12-12 16:26:35 -0800587 T *ptr;
588};
589
590template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700591Box<T>::Box(const Box &other) : Box(*other) {}
592
593template <typename T>
594Box<T>::Box(Box &&other) noexcept : ptr(other.ptr) {
595 other.ptr = nullptr;
596}
597
598template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800599Box<T>::Box(const T &val) {
600 allocation alloc;
601 ::new (alloc.ptr) T(val);
602 this->ptr = alloc.ptr;
603 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700604}
605
606template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800607Box<T>::Box(T &&val) {
608 allocation alloc;
609 ::new (alloc.ptr) T(std::move(val));
610 this->ptr = alloc.ptr;
611 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700612}
613
614template <typename T>
615Box<T>::~Box() noexcept {
616 if (this->ptr) {
617 this->drop();
618 }
619}
620
621template <typename T>
622Box<T> &Box<T>::operator=(const Box &other) {
David Tolnay439ed0b2020-12-12 17:01:04 -0800623 if (this->ptr) {
624 **this = *other;
625 } else {
626 allocation alloc;
627 ::new (alloc.ptr) T(*other);
628 this->ptr = alloc.ptr;
629 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700630 }
631 return *this;
632}
633
634template <typename T>
635Box<T> &Box<T>::operator=(Box &&other) noexcept {
636 if (this->ptr) {
637 this->drop();
638 }
639 this->ptr = other.ptr;
640 other.ptr = nullptr;
641 return *this;
642}
643
644template <typename T>
645const T *Box<T>::operator->() const noexcept {
646 return this->ptr;
647}
648
649template <typename T>
650const T &Box<T>::operator*() const noexcept {
651 return *this->ptr;
652}
653
654template <typename T>
655T *Box<T>::operator->() noexcept {
656 return this->ptr;
657}
658
659template <typename T>
660T &Box<T>::operator*() noexcept {
661 return *this->ptr;
662}
663
664template <typename T>
665template <typename... Fields>
666Box<T> Box<T>::in_place(Fields &&... fields) {
David Tolnaye7d662d2020-12-12 16:38:22 -0800667 allocation alloc;
668 auto ptr = alloc.ptr;
669 ::new (ptr) T{std::forward<Fields>(fields)...};
670 alloc.ptr = nullptr;
671 return from_raw(ptr);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700672}
673
674template <typename T>
675Box<T> Box<T>::from_raw(T *raw) noexcept {
David Tolnayc4b34222020-12-12 13:06:26 -0800676 Box box = uninit{};
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700677 box.ptr = raw;
678 return box;
679}
680
681template <typename T>
682T *Box<T>::into_raw() noexcept {
683 T *raw = this->ptr;
684 this->ptr = nullptr;
685 return raw;
686}
687
688template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800689Box<T>::Box(uninit) noexcept {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800690#endif // CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700691
David Tolnay0f0162f2020-11-16 23:43:37 -0800692#ifndef CXXBRIDGE1_RUST_VEC
693#define CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700694template <typename T>
David Tolnayf799b372020-11-29 23:57:42 -0800695Vec<T>::Vec(std::initializer_list<T> init) : Vec{} {
696 this->reserve_total(init.size());
697 std::move(init.begin(), init.end(), std::back_inserter(*this));
698}
699
700template <typename T>
David Tolnay9007e462020-12-11 13:59:08 -0800701Vec<T>::Vec(const Vec &other) : Vec() {
702 this->reserve_total(other.size());
703 std::copy(other.begin(), other.end(), std::back_inserter(*this));
704}
705
706template <typename T>
David Tolnay15671862020-11-23 18:13:56 -0800707Vec<T>::Vec(Vec &&other) noexcept : repr(other.repr) {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700708 new (&other) Vec();
709}
710
711template <typename T>
712Vec<T>::~Vec() noexcept {
713 this->drop();
714}
715
716template <typename T>
717Vec<T> &Vec<T>::operator=(Vec &&other) noexcept {
718 if (this != &other) {
719 this->drop();
720 this->repr = other.repr;
721 new (&other) Vec();
722 }
723 return *this;
724}
725
726template <typename T>
David Tolnaydd42c722020-12-11 14:05:26 -0800727Vec<T> &Vec<T>::operator=(const Vec &other) {
728 if (this != &other) {
729 this->drop();
730 new (this) Vec(other);
731 }
732 return *this;
733}
734
735template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700736bool Vec<T>::empty() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800737 return this->size() == 0;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700738}
739
740template <typename T>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800741T *Vec<T>::data() noexcept {
742 return const_cast<T *>(const_cast<const Vec<T> *>(this)->data());
743}
744
745template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800746const T &Vec<T>::operator[](std::size_t n) const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800747 assert(n < this->size());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700748 auto data = reinterpret_cast<const char *>(this->data());
749 return *reinterpret_cast<const T *>(data + n * this->stride());
750}
751
752template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800753const T &Vec<T>::at(std::size_t n) const {
David Tolnay8e1e6ac2020-08-26 20:51:43 -0700754 if (n >= this->size()) {
755 panic<std::out_of_range>("rust::Vec index out of range");
756 }
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700757 return (*this)[n];
758}
759
760template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800761const T &Vec<T>::front() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800762 assert(!this->empty());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700763 return (*this)[0];
764}
765
766template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800767const T &Vec<T>::back() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800768 assert(!this->empty());
David Tolnayb10c4bc2020-08-26 21:55:29 -0700769 return (*this)[this->size() - 1];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700770}
771
772template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800773T &Vec<T>::operator[](std::size_t n) noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800774 assert(n < this->size());
David Tolnay908d5e52020-11-30 00:30:59 -0800775 auto data = reinterpret_cast<char *>(this->data());
776 return *reinterpret_cast<T *>(data + n * this->stride());
777}
778
779template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800780T &Vec<T>::at(std::size_t n) {
David Tolnay908d5e52020-11-30 00:30:59 -0800781 if (n >= this->size()) {
782 panic<std::out_of_range>("rust::Vec index out of range");
783 }
784 return (*this)[n];
785}
786
787template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800788T &Vec<T>::front() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800789 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800790 return (*this)[0];
791}
792
793template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800794T &Vec<T>::back() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800795 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800796 return (*this)[this->size() - 1];
797}
798
799template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800800void Vec<T>::reserve(std::size_t new_cap) {
David Tolnayfb6b73c2020-11-10 14:32:16 -0800801 this->reserve_total(new_cap);
802}
803
804template <typename T>
805void Vec<T>::push_back(const T &value) {
806 this->emplace_back(value);
807}
808
809template <typename T>
810void Vec<T>::push_back(T &&value) {
811 this->emplace_back(std::move(value));
812}
813
814template <typename T>
815template <typename... Args>
816void Vec<T>::emplace_back(Args &&... args) {
817 auto size = this->size();
818 this->reserve_total(size + 1);
819 ::new (reinterpret_cast<T *>(reinterpret_cast<char *>(this->data()) +
820 size * this->stride()))
821 T(std::forward<Args>(args)...);
822 this->set_len(size + 1);
823}
824
825template <typename T>
David Tolnay300072b2020-12-03 12:12:24 -0800826typename Vec<T>::iterator::reference
827Vec<T>::iterator::operator*() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800828 return *static_cast<T *>(this->pos);
829}
830
831template <typename T>
David Tolnay300072b2020-12-03 12:12:24 -0800832typename Vec<T>::iterator::pointer
833Vec<T>::iterator::operator->() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800834 return static_cast<T *>(this->pos);
835}
836
837template <typename T>
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500838typename Vec<T>::iterator::reference Vec<T>::iterator::operator[](
David Tolnay665178e2020-12-12 08:49:59 -0800839 typename Vec<T>::iterator::difference_type n) const noexcept {
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500840 auto pos = static_cast<char *>(this->pos) + this->stride * n;
841 return *static_cast<T *>(pos);
842}
843
844template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800845typename Vec<T>::iterator &Vec<T>::iterator::operator++() noexcept {
David Tolnay248215e2020-11-25 19:38:26 -0800846 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnay960b5112020-11-25 13:18:28 -0800847 return *this;
848}
849
850template <typename T>
851typename Vec<T>::iterator Vec<T>::iterator::operator++(int) noexcept {
852 auto ret = iterator(*this);
David Tolnay248215e2020-11-25 19:38:26 -0800853 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnay960b5112020-11-25 13:18:28 -0800854 return ret;
855}
856
857template <typename T>
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500858typename Vec<T>::iterator &Vec<T>::iterator::operator--() noexcept {
859 this->pos = static_cast<char *>(this->pos) - this->stride;
860 return *this;
861}
862
863template <typename T>
864typename Vec<T>::iterator Vec<T>::iterator::operator--(int) noexcept {
865 auto ret = iterator(*this);
866 this->pos = static_cast<char *>(this->pos) - this->stride;
867 return ret;
868}
869
870template <typename T>
David Tolnay665178e2020-12-12 08:49:59 -0800871typename Vec<T>::iterator &Vec<T>::iterator::operator+=(
872 typename Vec<T>::iterator::difference_type n) noexcept {
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500873 this->pos = static_cast<char *>(this->pos) + this->stride * n;
874 return *this;
875}
876
877template <typename T>
David Tolnay665178e2020-12-12 08:49:59 -0800878typename Vec<T>::iterator &Vec<T>::iterator::operator-=(
879 typename Vec<T>::iterator::difference_type n) noexcept {
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500880 this->pos = static_cast<char *>(this->pos) - this->stride * n;
881 return *this;
882}
883
884template <typename T>
885typename Vec<T>::iterator Vec<T>::iterator::operator+(
David Tolnay665178e2020-12-12 08:49:59 -0800886 typename Vec<T>::iterator::difference_type n) const noexcept {
David Tolnay300072b2020-12-03 12:12:24 -0800887 auto ret = iterator(*this);
888 ret.pos = static_cast<char *>(this->pos) + this->stride * n;
889 return ret;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500890}
891
892template <typename T>
893typename Vec<T>::iterator Vec<T>::iterator::operator-(
David Tolnay665178e2020-12-12 08:49:59 -0800894 typename Vec<T>::iterator::difference_type n) const noexcept {
David Tolnay300072b2020-12-03 12:12:24 -0800895 auto ret = iterator(*this);
896 ret.pos = static_cast<char *>(this->pos) - this->stride * n;
897 return ret;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500898}
899
900template <typename T>
901typename Vec<T>::iterator::difference_type
902Vec<T>::iterator::operator-(const iterator &other) const noexcept {
903 auto diff = std::distance(static_cast<char *>(other.pos),
904 static_cast<char *>(this->pos));
David Tolnay300072b2020-12-03 12:12:24 -0800905 return diff / this->stride;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500906}
907
908template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800909bool Vec<T>::iterator::operator==(const iterator &other) const noexcept {
910 return this->pos == other.pos;
911}
912
913template <typename T>
914bool Vec<T>::iterator::operator!=(const iterator &other) const noexcept {
915 return this->pos != other.pos;
916}
917
918template <typename T>
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500919bool Vec<T>::iterator::operator<(const iterator &other) const noexcept {
920 return this->pos < other.pos;
921}
922
923template <typename T>
David Tolnay0c9c3e62020-12-27 00:52:25 -0800924bool Vec<T>::iterator::operator<=(const iterator &other) const noexcept {
925 return this->pos <= other.pos;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500926}
927
928template <typename T>
David Tolnay0c9c3e62020-12-27 00:52:25 -0800929bool Vec<T>::iterator::operator>(const iterator &other) const noexcept {
930 return this->pos > other.pos;
931}
932
933template <typename T>
934bool Vec<T>::iterator::operator>=(const iterator &other) const noexcept {
935 return this->pos >= other.pos;
Yan Zaretskiyefd5cd42020-12-03 09:22:22 -0500936}
937
938template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800939typename Vec<T>::iterator Vec<T>::begin() noexcept {
940 iterator it;
David Tolnaya5d72c62020-11-25 13:57:16 -0800941 it.pos = const_cast<typename std::remove_const<T>::type *>(this->data());
David Tolnay960b5112020-11-25 13:18:28 -0800942 it.stride = this->stride();
943 return it;
944}
945
946template <typename T>
947typename Vec<T>::iterator Vec<T>::end() noexcept {
948 iterator it = this->begin();
David Tolnay248215e2020-11-25 19:38:26 -0800949 it.pos = static_cast<char *>(it.pos) + it.stride * this->size();
David Tolnay960b5112020-11-25 13:18:28 -0800950 return it;
951}
952
953template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700954typename Vec<T>::const_iterator Vec<T>::begin() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800955 return this->cbegin();
956}
957
958template <typename T>
959typename Vec<T>::const_iterator Vec<T>::end() const noexcept {
960 return this->cend();
961}
962
963template <typename T>
964typename Vec<T>::const_iterator Vec<T>::cbegin() const noexcept {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700965 const_iterator it;
David Tolnaya5d72c62020-11-25 13:57:16 -0800966 it.pos = const_cast<typename std::remove_const<T>::type *>(this->data());
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700967 it.stride = this->stride();
968 return it;
969}
970
971template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800972typename Vec<T>::const_iterator Vec<T>::cend() const noexcept {
973 const_iterator it = this->cbegin();
David Tolnay248215e2020-11-25 19:38:26 -0800974 it.pos = static_cast<char *>(it.pos) + it.stride * this->size();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700975 return it;
976}
977
978// Internal API only intended for the cxxbridge code generator.
979template <typename T>
980Vec<T>::Vec(unsafe_bitcopy_t, const Vec &bits) noexcept : repr(bits.repr) {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800981#endif // CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700982
David Tolnay75068632020-12-26 22:15:17 -0800983#ifndef CXXBRIDGE1_IS_COMPLETE
984#define CXXBRIDGE1_IS_COMPLETE
985namespace detail {
986namespace {
987template <typename T, typename = std::size_t>
988struct is_complete : std::false_type {};
989template <typename T>
990struct is_complete<T, decltype(sizeof(T))> : std::true_type {};
991} // namespace
992} // namespace detail
993#endif // CXXBRIDGE1_IS_COMPLETE
994
David Tolnayee6ecfc2020-12-26 21:54:37 -0800995#ifndef CXXBRIDGE1_LAYOUT
996#define CXXBRIDGE1_LAYOUT
997class layout {
998 template <typename T>
999 friend std::size_t size_of();
1000 template <typename T>
1001 friend std::size_t align_of();
1002 template <typename T>
1003 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
1004 std::size_t>::type
1005 do_size_of() {
1006 return T::layout::size();
1007 }
1008 template <typename T>
1009 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1010 std::size_t>::type
1011 do_size_of() {
1012 return sizeof(T);
1013 }
1014 template <typename T>
1015 static
1016 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1017 size_of() {
1018 return do_size_of<T>();
1019 }
1020 template <typename T>
1021 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
1022 std::size_t>::type
1023 do_align_of() {
1024 return T::layout::align();
1025 }
1026 template <typename T>
1027 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1028 std::size_t>::type
1029 do_align_of() {
1030 return alignof(T);
1031 }
1032 template <typename T>
1033 static
1034 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1035 align_of() {
1036 return do_align_of<T>();
1037 }
1038};
1039
1040template <typename T>
1041std::size_t size_of() {
1042 return layout::size_of<T>();
1043}
1044
1045template <typename T>
1046std::size_t align_of() {
1047 return layout::align_of<T>();
1048}
1049#endif // CXXBRIDGE1_LAYOUT
1050
David Tolnay0f0162f2020-11-16 23:43:37 -08001051#ifndef CXXBRIDGE1_RELOCATABLE
1052#define CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001053namespace detail {
1054template <typename... Ts>
1055struct make_void {
1056 using type = void;
1057};
1058
1059template <typename... Ts>
1060using void_t = typename make_void<Ts...>::type;
1061
1062template <typename Void, template <typename...> class, typename...>
1063struct detect : std::false_type {};
1064template <template <typename...> class T, typename... A>
1065struct detect<void_t<T<A...>>, T, A...> : std::true_type {};
1066
1067template <template <typename...> class T, typename... A>
1068using is_detected = detect<void, T, A...>;
1069
1070template <typename T>
1071using detect_IsRelocatable = typename T::IsRelocatable;
1072
1073template <typename T>
1074struct get_IsRelocatable
1075 : std::is_same<typename T::IsRelocatable, std::true_type> {};
1076} // namespace detail
1077
1078template <typename T>
1079struct IsRelocatable
1080 : std::conditional<
1081 detail::is_detected<detail::detect_IsRelocatable, T>::value,
1082 detail::get_IsRelocatable<T>,
1083 std::integral_constant<
1084 bool, std::is_trivially_move_constructible<T>::value &&
1085 std::is_trivially_destructible<T>::value>>::type {};
David Tolnay0f0162f2020-11-16 23:43:37 -08001086#endif // CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001087
David Tolnay0f0162f2020-11-16 23:43:37 -08001088} // namespace cxxbridge1
David Tolnay750755e2020-03-01 13:04:08 -08001089} // namespace rust