blob: 0c5684864b243686cbed7eca6a7ee777ede957ff [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 Tolnaye468f052020-11-29 19:39:35 -080091// https://cxx.rs/binding/str.html
David Tolnay09dbe752020-03-01 13:00:40 -080092class Str final {
David Tolnay7db73692019-10-20 14:51:12 -040093public:
David Tolnay09dbe752020-03-01 13:00:40 -080094 Str() noexcept;
David Tolnay828e5132020-11-29 20:40:40 -080095 Str(const String &) noexcept;
David Tolnay851677c2020-03-01 23:49:46 -080096 Str(const std::string &);
97 Str(const char *);
David Tolnaybe3cbf72020-12-12 22:12:07 -080098 Str(const char *, std::size_t);
David Tolnayd9c4ac92020-03-01 20:33:58 -080099
David Tolnay2d7f1172020-10-31 17:58:31 -0700100 Str &operator=(const Str &) noexcept = default;
David Tolnayd9c4ac92020-03-01 20:33:58 -0800101
David Tolnay404d6892020-03-01 20:19:41 -0800102 explicit operator std::string() const;
David Tolnay7db73692019-10-20 14:51:12 -0400103
104 // Note: no null terminator.
105 const char *data() const noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800106 std::size_t size() const noexcept;
107 std::size_t length() const noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400108
David Tolnayde9a5b12020-10-31 12:15:43 -0700109 // Important in order for System V ABI to pass in registers.
110 Str(const Str &) noexcept = default;
111 ~Str() noexcept = default;
112
David Tolnayff7f5fb2020-11-25 20:50:32 -0800113 using iterator = const char *;
114 using const_iterator = const char *;
115 const_iterator begin() const noexcept;
116 const_iterator end() const noexcept;
117 const_iterator cbegin() const noexcept;
118 const_iterator cend() const noexcept;
119
David Tolnayff86dce2020-11-29 19:45:13 -0800120 bool operator==(const Str &) const noexcept;
121 bool operator!=(const Str &) const noexcept;
122 bool operator<(const Str &) const noexcept;
123 bool operator<=(const Str &) const noexcept;
124 bool operator>(const Str &) const noexcept;
125 bool operator>=(const Str &) const noexcept;
126
David Tolnay5df1f062020-10-31 12:31:10 -0700127private:
David Tolnay7db73692019-10-20 14:51:12 -0400128 // Not necessarily ABI compatible with &str. Codegen will translate to
129 // cxx::rust_str::RustStr which matches this layout.
David Tolnay5df1f062020-10-31 12:31:10 -0700130 const char *ptr;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800131 std::size_t len;
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 Tolnayefe81052020-04-14 16:28:24 -0700180private:
David Tolnay36aa9e02020-10-31 23:08:21 -0700181 // Not necessarily ABI compatible with &[T]. Codegen will translate to
David Tolnay5515a9e2020-11-25 19:07:54 -0800182 // cxx::rust_slice::RustSlice which matches this layout.
David Tolnay5ce110e2020-12-27 02:45:53 -0800183 void *ptr;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800184 std::size_t len;
David Tolnayefe81052020-04-14 16:28:24 -0700185};
David Tolnayac6cb542020-11-25 20:18:55 -0800186
187template <typename T>
188class Slice<T>::iterator final {
189public:
David Tolnayc30e4472020-12-27 00:25:42 -0800190 using iterator_category = std::random_access_iterator_tag;
David Tolnayac6cb542020-11-25 20:18:55 -0800191 using value_type = T;
David Tolnayc30e4472020-12-27 00:25:42 -0800192 using difference_type = std::ptrdiff_t;
David Tolnayac6cb542020-11-25 20:18:55 -0800193 using pointer = typename std::add_pointer<T>::type;
194 using reference = typename std::add_lvalue_reference<T>::type;
David Tolnayac6cb542020-11-25 20:18:55 -0800195
David Tolnaydb388c92020-12-27 00:28:26 -0800196 reference operator*() const noexcept;
197 pointer operator->() const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800198 reference operator[](difference_type) const noexcept;
199
David Tolnayac6cb542020-11-25 20:18:55 -0800200 iterator &operator++() noexcept;
201 iterator operator++(int) noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800202 iterator &operator--() noexcept;
203 iterator operator--(int) noexcept;
204
205 iterator &operator+=(difference_type) noexcept;
206 iterator &operator-=(difference_type) noexcept;
207 iterator operator+(difference_type) const noexcept;
208 iterator operator-(difference_type) const noexcept;
209 difference_type operator-(const iterator &) const noexcept;
210
David Tolnayac6cb542020-11-25 20:18:55 -0800211 bool operator==(const iterator &) const noexcept;
212 bool operator!=(const iterator &) const noexcept;
David Tolnayc30e4472020-12-27 00:25:42 -0800213 bool operator<(const iterator &) const noexcept;
214 bool operator<=(const iterator &) const noexcept;
215 bool operator>(const iterator &) const noexcept;
216 bool operator>=(const iterator &) const noexcept;
David Tolnayac6cb542020-11-25 20:18:55 -0800217
218private:
219 friend class Slice;
David Tolnaya1ddbf82020-12-27 00:56:35 -0800220 void *pos;
221 std::size_t stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800222};
David Tolnay0f0162f2020-11-16 23:43:37 -0800223#endif // CXXBRIDGE1_RUST_SLICE
David Tolnayefe81052020-04-14 16:28:24 -0700224
David Tolnay0f0162f2020-11-16 23:43:37 -0800225#ifndef CXXBRIDGE1_RUST_BOX
David Tolnaye468f052020-11-29 19:39:35 -0800226// https://cxx.rs/binding/box.html
David Tolnayf262d382020-04-11 22:12:40 -0700227template <typename T>
228class Box final {
David Tolnay7db73692019-10-20 14:51:12 -0400229public:
David Tolnaye47a4d92020-12-27 19:35:21 -0800230 using element_type = T;
David Tolnay9706a512020-04-24 17:09:01 -0700231 using const_pointer =
232 typename std::add_pointer<typename std::add_const<T>::type>::type;
233 using pointer = typename std::add_pointer<T>::type;
David Tolnayf6292372020-03-01 21:09:11 -0800234
David Tolnayc4b34222020-12-12 13:06:26 -0800235 Box() = delete;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700236 Box(Box &&) noexcept;
237 ~Box() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400238
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700239 explicit Box(const T &);
240 explicit Box(T &&);
241
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700242 Box &operator=(Box &&) noexcept;
243
244 const T *operator->() const noexcept;
245 const T &operator*() const noexcept;
246 T *operator->() noexcept;
247 T &operator*() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400248
David Tolnayf262d382020-04-11 22:12:40 -0700249 template <typename... Fields>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700250 static Box in_place(Fields &&...);
David Tolnay7ce59fc2020-04-11 11:46:33 -0700251
David Tolnayfec17152021-01-02 12:51:29 -0800252 void swap(Box &) noexcept;
253
David Tolnay7db73692019-10-20 14:51:12 -0400254 // Important: requires that `raw` came from an into_raw call. Do not pass a
255 // pointer from `new` or any other source.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700256 static Box from_raw(T *) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400257
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700258 T *into_raw() noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400259
David Tolnay78a5f8d2020-12-28 11:40:38 -0800260 /* Deprecated */ using value_type = element_type;
David Tolnaye47a4d92020-12-27 19:35:21 -0800261
David Tolnay7db73692019-10-20 14:51:12 -0400262private:
David Tolnayc4b34222020-12-12 13:06:26 -0800263 class uninit;
David Tolnaye5703162020-12-12 16:26:35 -0800264 class allocation;
David Tolnayc4b34222020-12-12 13:06:26 -0800265 Box(uninit) noexcept;
David Tolnay7db73692019-10-20 14:51:12 -0400266 void drop() noexcept;
Cameron Pickettf45f8992021-01-02 18:38:05 +0000267
David Tolnayc9e597e2021-01-02 12:15:06 -0800268 friend void swap(Box &lhs, Box &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000269
David Tolnay33169bd2020-03-06 13:02:08 -0800270 T *ptr;
David Tolnay7db73692019-10-20 14:51:12 -0400271};
David Tolnay0f0162f2020-11-16 23:43:37 -0800272#endif // CXXBRIDGE1_RUST_BOX
David Tolnay7db73692019-10-20 14:51:12 -0400273
David Tolnay0f0162f2020-11-16 23:43:37 -0800274#ifndef CXXBRIDGE1_RUST_VEC
David Tolnaye468f052020-11-29 19:39:35 -0800275// https://cxx.rs/binding/vec.html
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700276template <typename T>
277class Vec final {
278public:
David Tolnayc87c2152020-04-24 17:07:41 -0700279 using value_type = T;
280
David Tolnayf97c2d52020-04-25 16:37:48 -0700281 Vec() noexcept;
David Tolnayf799b372020-11-29 23:57:42 -0800282 Vec(std::initializer_list<T>);
David Tolnay9007e462020-12-11 13:59:08 -0800283 Vec(const Vec &);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700284 Vec(Vec &&) noexcept;
285 ~Vec() noexcept;
David Tolnaycb800572020-04-24 20:30:43 -0700286
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700287 Vec &operator=(Vec &&) noexcept;
David Tolnaydd42c722020-12-11 14:05:26 -0800288 Vec &operator=(const Vec &);
David Tolnayf97c2d52020-04-25 16:37:48 -0700289
David Tolnaybe3cbf72020-12-12 22:12:07 -0800290 std::size_t size() const noexcept;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700291 bool empty() const noexcept;
David Tolnay219c0792020-04-24 20:31:37 -0700292 const T *data() const noexcept;
David Tolnayfb6b73c2020-11-10 14:32:16 -0800293 T *data() noexcept;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800294 std::size_t capacity() const noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700295
David Tolnaybe3cbf72020-12-12 22:12:07 -0800296 const T &operator[](std::size_t n) const noexcept;
297 const T &at(std::size_t n) const;
David Tolnayd4fff5d2020-12-21 14:04:09 -0800298 const T &front() const noexcept;
299 const T &back() const noexcept;
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700300
David Tolnaybe3cbf72020-12-12 22:12:07 -0800301 T &operator[](std::size_t n) noexcept;
302 T &at(std::size_t n);
David Tolnayd4fff5d2020-12-21 14:04:09 -0800303 T &front() noexcept;
304 T &back() noexcept;
David Tolnay908d5e52020-11-30 00:30:59 -0800305
David Tolnaybe3cbf72020-12-12 22:12:07 -0800306 void reserve(std::size_t new_cap);
David Tolnayfb6b73c2020-11-10 14:32:16 -0800307 void push_back(const T &value);
308 void push_back(T &&value);
David Tolnay4e8c49a2020-11-11 10:00:18 -0800309 template <typename... Args>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800310 void emplace_back(Args &&... args);
311
David Tolnay725bf502020-12-27 02:47:40 -0800312 using iterator = typename Slice<T>::iterator;
David Tolnay960b5112020-11-25 13:18:28 -0800313 iterator begin() noexcept;
314 iterator end() noexcept;
315
David Tolnay725bf502020-12-27 02:47:40 -0800316 using const_iterator = typename Slice<const T>::iterator;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700317 const_iterator begin() const noexcept;
318 const_iterator end() const noexcept;
David Tolnay960b5112020-11-25 13:18:28 -0800319 const_iterator cbegin() const noexcept;
320 const_iterator cend() const noexcept;
David Tolnayc87c2152020-04-24 17:07:41 -0700321
David Tolnayfec17152021-01-02 12:51:29 -0800322 void swap(Vec &) noexcept;
323
David Tolnay313b10e2020-04-25 16:30:51 -0700324 // Internal API only intended for the cxxbridge code generator.
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700325 Vec(unsafe_bitcopy_t, const Vec &) noexcept;
David Tolnay313b10e2020-04-25 16:30:51 -0700326
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700327private:
David Tolnaybe3cbf72020-12-12 22:12:07 -0800328 void reserve_total(std::size_t cap) noexcept;
329 void set_len(std::size_t len) noexcept;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700330 void drop() noexcept;
331
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800332 friend void swap(Vec &lhs, Vec &rhs) noexcept { lhs.swap(rhs); }
Cameron Pickettf45f8992021-01-02 18:38:05 +0000333
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700334 // Size and alignment statically verified by rust_vec.rs.
David Tolnaybe3cbf72020-12-12 22:12:07 -0800335 std::array<std::uintptr_t, 3> repr;
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700336};
David Tolnay0f0162f2020-11-16 23:43:37 -0800337#endif // CXXBRIDGE1_RUST_VEC
David Tolnay7f2dc3b2020-04-24 16:46:39 -0700338
David Tolnay0f0162f2020-11-16 23:43:37 -0800339#ifndef CXXBRIDGE1_RUST_FN
David Tolnaye468f052020-11-29 19:39:35 -0800340// https://cxx.rs/binding/fn.html
David Tolnayf031c322020-11-29 19:41:33 -0800341template <typename Signature>
David Tolnayf262d382020-04-11 22:12:40 -0700342class Fn;
David Tolnay75dca2e2020-03-25 20:17:52 -0700343
David Tolnayf031c322020-11-29 19:41:33 -0800344template <typename Ret, typename... Args>
345class Fn<Ret(Args...)> final {
David Tolnay75dca2e2020-03-25 20:17:52 -0700346public:
David Tolnayf031c322020-11-29 19:41:33 -0800347 Ret operator()(Args... args) const noexcept;
David Tolnay533d4582020-04-08 20:29:14 -0700348 Fn operator*() const noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700349
350private:
David Tolnayf031c322020-11-29 19:41:33 -0800351 Ret (*trampoline)(Args..., void *fn) noexcept;
David Tolnay75dca2e2020-03-25 20:17:52 -0700352 void *fn;
353};
David Tolnay0f0162f2020-11-16 23:43:37 -0800354#endif // CXXBRIDGE1_RUST_FN
David Tolnay75dca2e2020-03-25 20:17:52 -0700355
David Tolnay0f0162f2020-11-16 23:43:37 -0800356#ifndef CXXBRIDGE1_RUST_ERROR
357#define CXXBRIDGE1_RUST_ERROR
David Tolnaye468f052020-11-29 19:39:35 -0800358// https://cxx.rs/binding/result.html
David Tolnaye4fa8732020-09-08 15:04:56 -0700359class Error final : public std::exception {
David Tolnay1e548172020-03-16 13:37:09 -0700360public:
361 Error(const Error &);
362 Error(Error &&) noexcept;
David Tolnay2714d2c2020-11-23 18:17:43 -0800363 ~Error() noexcept override;
David Tolnay7c6ac712020-10-31 17:22:28 -0700364
365 Error &operator=(const Error &);
David Tolnay15491062020-10-31 17:25:13 -0700366 Error &operator=(Error &&) noexcept;
David Tolnay7c6ac712020-10-31 17:22:28 -0700367
David Tolnay1e548172020-03-16 13:37:09 -0700368 const char *what() const noexcept override;
369
370private:
David Tolnaya0c9bc72020-10-31 14:37:14 -0700371 Error() noexcept = default;
David Tolnay84ddf9e2020-10-31 15:36:48 -0700372 friend impl<Error>;
David Tolnaya0c9bc72020-10-31 14:37:14 -0700373 const char *msg;
David Tolnaybe3cbf72020-12-12 22:12:07 -0800374 std::size_t len;
David Tolnay1e548172020-03-16 13:37:09 -0700375};
David Tolnay0f0162f2020-11-16 23:43:37 -0800376#endif // CXXBRIDGE1_RUST_ERROR
David Tolnay1e548172020-03-16 13:37:09 -0700377
David Tolnay0f0162f2020-11-16 23:43:37 -0800378#ifndef CXXBRIDGE1_RUST_ISIZE
379#define CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700380#if defined(_WIN32)
381using isize = SSIZE_T;
382#else
383using isize = ssize_t;
384#endif
David Tolnay0f0162f2020-11-16 23:43:37 -0800385#endif // CXXBRIDGE1_RUST_ISIZE
David Tolnayb8a6fb22020-04-10 11:17:28 -0700386
David Tolnay851677c2020-03-01 23:49:46 -0800387std::ostream &operator<<(std::ostream &, const String &);
388std::ostream &operator<<(std::ostream &, const Str &);
David Tolnay7db73692019-10-20 14:51:12 -0400389
David Tolnay365fc7c2020-11-25 16:08:13 -0800390#ifndef CXXBRIDGE1_RUST_OPAQUE
391#define CXXBRIDGE1_RUST_OPAQUE
392// Base class of generated opaque Rust types.
393class Opaque {
David Tolnaya857c322020-11-25 16:27:19 -0800394public:
David Tolnay365fc7c2020-11-25 16:08:13 -0800395 Opaque() = delete;
396 Opaque(const Opaque &) = delete;
397 ~Opaque() = delete;
398};
399#endif // CXXBRIDGE1_RUST_OPAQUE
400
David Tolnayee6ecfc2020-12-26 21:54:37 -0800401template <typename T>
402std::size_t size_of();
403template <typename T>
404std::size_t align_of();
405
David Tolnay174bd952020-11-02 09:23:12 -0800406// IsRelocatable<T> is used in assertions that a C++ type passed by value
407// between Rust and C++ is soundly relocatable by Rust.
408//
409// There may be legitimate reasons to opt out of the check for support of types
410// that the programmer knows are soundly Rust-movable despite not being
411// recognized as such by the C++ type system due to a move constructor or
412// destructor. To opt out of the relocatability check, do either of the
413// following things in any header used by `include!` in the bridge.
414//
415// --- if you define the type:
416// struct MyType {
417// ...
418// + using IsRelocatable = std::true_type;
419// };
420//
421// --- otherwise:
422// + template <>
423// + struct rust::IsRelocatable<MyType> : std::true_type {};
424template <typename T>
425struct IsRelocatable;
426
David Tolnaybe3cbf72020-12-12 22:12:07 -0800427using u8 = std::uint8_t;
428using u16 = std::uint16_t;
429using u32 = std::uint32_t;
430using u64 = std::uint64_t;
431using usize = std::size_t; // see static asserts in cxx.cc
432using i8 = std::int8_t;
433using i16 = std::int16_t;
434using i32 = std::int32_t;
435using i64 = std::int64_t;
David Tolnay1e784a32020-12-12 21:34:47 -0800436using f32 = float;
437using f64 = double;
438
David Tolnay3b0c9882020-03-01 14:08:57 -0800439// Snake case aliases for use in code that uses this style for type names.
440using string = String;
441using str = Str;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800442template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700443using slice = Slice<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800444template <typename T>
David Tolnayf262d382020-04-11 22:12:40 -0700445using box = Box<T>;
David Tolnay4e8c49a2020-11-11 10:00:18 -0800446template <typename T>
David Tolnay38c87642020-09-06 22:18:08 -0700447using vec = Vec<T>;
David Tolnay1e548172020-03-16 13:37:09 -0700448using error = Error;
David Tolnayf262d382020-04-11 22:12:40 -0700449template <typename Signature>
David Tolnayf031c322020-11-29 19:41:33 -0800450using fn = Fn<Signature>;
David Tolnay174bd952020-11-02 09:23:12 -0800451template <typename T>
452using is_relocatable = IsRelocatable<T>;
David Tolnay3b0c9882020-03-01 14:08:57 -0800453
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700454
455
456////////////////////////////////////////////////////////////////////////////////
457/// end public API, begin implementation details
458
David Tolnay0f0162f2020-11-16 23:43:37 -0800459#ifndef CXXBRIDGE1_PANIC
460#define CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700461template <typename Exception>
462void panic [[noreturn]] (const char *msg);
David Tolnay0f0162f2020-11-16 23:43:37 -0800463#endif // CXXBRIDGE1_PANIC
David Tolnay521d99d2020-08-26 20:45:40 -0700464
David Tolnay0f0162f2020-11-16 23:43:37 -0800465#ifndef CXXBRIDGE1_RUST_FN
466#define CXXBRIDGE1_RUST_FN
David Tolnayf031c322020-11-29 19:41:33 -0800467template <typename Ret, typename... Args>
468Ret Fn<Ret(Args...)>::operator()(Args... args) const noexcept {
David Tolnay75dca2e2020-03-25 20:17:52 -0700469 return (*this->trampoline)(std::move(args)..., this->fn);
470}
471
David Tolnayf031c322020-11-29 19:41:33 -0800472template <typename Ret, typename... Args>
473Fn<Ret(Args...)> Fn<Ret(Args...)>::operator*() const noexcept {
David Tolnaya23129c2020-04-08 20:08:21 -0700474 return *this;
475}
David Tolnay0f0162f2020-11-16 23:43:37 -0800476#endif // CXXBRIDGE1_RUST_FN
David Tolnaya23129c2020-04-08 20:08:21 -0700477
David Tolnay0f0162f2020-11-16 23:43:37 -0800478#ifndef CXXBRIDGE1_RUST_BITCOPY
479#define CXXBRIDGE1_RUST_BITCOPY
David Tolnay48521222020-10-31 14:59:42 -0700480struct unsafe_bitcopy_t final {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700481 explicit unsafe_bitcopy_t() = default;
482};
483
484constexpr unsafe_bitcopy_t unsafe_bitcopy{};
David Tolnay0f0162f2020-11-16 23:43:37 -0800485#endif // CXXBRIDGE1_RUST_BITCOPY
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700486
David Tolnay0f0162f2020-11-16 23:43:37 -0800487#ifndef CXXBRIDGE1_RUST_STR
488#define CXXBRIDGE1_RUST_STR
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700489inline const char *Str::data() const noexcept { return this->ptr; }
490
David Tolnaybe3cbf72020-12-12 22:12:07 -0800491inline std::size_t Str::size() const noexcept { return this->len; }
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700492
David Tolnaybe3cbf72020-12-12 22:12:07 -0800493inline std::size_t Str::length() const noexcept { return this->len; }
David Tolnay0f0162f2020-11-16 23:43:37 -0800494#endif // CXXBRIDGE1_RUST_STR
David Tolnay5b1ee1f2020-10-31 18:21:39 -0700495
David Tolnay0f0162f2020-11-16 23:43:37 -0800496#ifndef CXXBRIDGE1_RUST_SLICE
497#define CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700498template <typename T>
David Tolnayeee622c2020-12-27 01:26:17 -0800499Slice<T>::Slice() noexcept
David Tolnay5ce110e2020-12-27 02:45:53 -0800500 : ptr(reinterpret_cast<void *>(align_of<T>())), len(0) {}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700501
502template <typename T>
David Tolnay5ce110e2020-12-27 02:45:53 -0800503Slice<T>::Slice(T *s, std::size_t count) noexcept
504 : ptr(const_cast<typename std::remove_const<T>::type *>(s)), len(count) {}
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700505
506template <typename T>
David Tolnayce298232020-11-11 10:08:54 -0800507T *Slice<T>::data() const noexcept {
David Tolnay5ce110e2020-12-27 02:45:53 -0800508 return reinterpret_cast<T *>(this->ptr);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700509}
510
511template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800512std::size_t Slice<T>::size() const noexcept {
David Tolnay36aa9e02020-10-31 23:08:21 -0700513 return this->len;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700514}
515
516template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800517std::size_t Slice<T>::length() const noexcept {
David Tolnay36aa9e02020-10-31 23:08:21 -0700518 return this->len;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700519}
David Tolnayac6cb542020-11-25 20:18:55 -0800520
521template <typename T>
David Tolnay78dd5352020-12-26 23:44:20 -0800522bool Slice<T>::empty() const noexcept {
523 return this->len == 0;
524}
525
526template <typename T>
527T &Slice<T>::operator[](std::size_t n) const noexcept {
528 assert(n < this->size());
David Tolnay5ce110e2020-12-27 02:45:53 -0800529 auto pos = static_cast<char *>(this->ptr) + size_of<T>() * n;
530 return *reinterpret_cast<T *>(pos);
David Tolnay78dd5352020-12-26 23:44:20 -0800531}
532
533template <typename T>
534T &Slice<T>::at(std::size_t n) const {
535 if (n >= this->size()) {
536 panic<std::out_of_range>("rust::Slice index out of range");
537 }
538 return (*this)[n];
539}
540
541template <typename T>
542T &Slice<T>::front() const noexcept {
543 assert(!this->empty());
David Tolnay5ce110e2020-12-27 02:45:53 -0800544 return (*this)[0];
David Tolnay78dd5352020-12-26 23:44:20 -0800545}
546
547template <typename T>
548T &Slice<T>::back() const noexcept {
549 assert(!this->empty());
David Tolnay5ce110e2020-12-27 02:45:53 -0800550 return (*this)[this->len - 1];
David Tolnay78dd5352020-12-26 23:44:20 -0800551}
552
553template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800554typename Slice<T>::iterator::reference
555Slice<T>::iterator::operator*() const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800556 return *static_cast<T *>(this->pos);
David Tolnayac6cb542020-11-25 20:18:55 -0800557}
558
559template <typename T>
David Tolnaydb388c92020-12-27 00:28:26 -0800560typename Slice<T>::iterator::pointer
561Slice<T>::iterator::operator->() const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800562 return static_cast<T *>(this->pos);
David Tolnayac6cb542020-11-25 20:18:55 -0800563}
564
565template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800566typename Slice<T>::iterator::reference Slice<T>::iterator::operator[](
567 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800568 auto pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnay7f59a692021-01-02 00:07:24 -0800569 return *reinterpret_cast<T *>(pos);
David Tolnayc30e4472020-12-27 00:25:42 -0800570}
571
572template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800573typename Slice<T>::iterator &Slice<T>::iterator::operator++() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800574 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800575 return *this;
576}
577
578template <typename T>
579typename Slice<T>::iterator Slice<T>::iterator::operator++(int) noexcept {
580 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800581 this->pos = static_cast<char *>(this->pos) + this->stride;
David Tolnayac6cb542020-11-25 20:18:55 -0800582 return ret;
583}
584
585template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800586typename Slice<T>::iterator &Slice<T>::iterator::operator--() noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800587 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800588 return *this;
589}
590
591template <typename T>
592typename Slice<T>::iterator Slice<T>::iterator::operator--(int) noexcept {
593 auto ret = iterator(*this);
David Tolnaya1ddbf82020-12-27 00:56:35 -0800594 this->pos = static_cast<char *>(this->pos) - this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800595 return ret;
596}
597
598template <typename T>
599typename Slice<T>::iterator &Slice<T>::iterator::operator+=(
600 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800601 this->pos = static_cast<char *>(this->pos) + this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800602 return *this;
603}
604
605template <typename T>
606typename Slice<T>::iterator &Slice<T>::iterator::operator-=(
607 typename Slice<T>::iterator::difference_type n) noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800608 this->pos = static_cast<char *>(this->pos) - this->stride * n;
David Tolnayc30e4472020-12-27 00:25:42 -0800609 return *this;
610}
611
612template <typename T>
613typename Slice<T>::iterator Slice<T>::iterator::operator+(
614 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800615 auto ret = iterator(*this);
616 ret.pos = static_cast<char *>(this->pos) + this->stride * n;
617 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800618}
619
620template <typename T>
621typename Slice<T>::iterator Slice<T>::iterator::operator-(
622 typename Slice<T>::iterator::difference_type n) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800623 auto ret = iterator(*this);
624 ret.pos = static_cast<char *>(this->pos) - this->stride * n;
625 return ret;
David Tolnayc30e4472020-12-27 00:25:42 -0800626}
627
628template <typename T>
629typename Slice<T>::iterator::difference_type
630Slice<T>::iterator::operator-(const iterator &other) const noexcept {
David Tolnaya1ddbf82020-12-27 00:56:35 -0800631 auto diff = std::distance(static_cast<char *>(other.pos),
632 static_cast<char *>(this->pos));
633 return diff / this->stride;
David Tolnayc30e4472020-12-27 00:25:42 -0800634}
635
636template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800637bool Slice<T>::iterator::operator==(const iterator &other) const noexcept {
638 return this->pos == other.pos;
639}
640
641template <typename T>
642bool Slice<T>::iterator::operator!=(const iterator &other) const noexcept {
643 return this->pos != other.pos;
644}
645
646template <typename T>
David Tolnayc30e4472020-12-27 00:25:42 -0800647bool Slice<T>::iterator::operator<(const iterator &other) const noexcept {
648 return this->pos < other.pos;
649}
650
651template <typename T>
652bool Slice<T>::iterator::operator<=(const iterator &other) const noexcept {
653 return this->pos <= other.pos;
654}
655
656template <typename T>
657bool Slice<T>::iterator::operator>(const iterator &other) const noexcept {
658 return this->pos > other.pos;
659}
660
661template <typename T>
662bool Slice<T>::iterator::operator>=(const iterator &other) const noexcept {
663 return this->pos >= other.pos;
664}
665
666template <typename T>
David Tolnayac6cb542020-11-25 20:18:55 -0800667typename Slice<T>::iterator Slice<T>::begin() const noexcept {
668 iterator it;
David Tolnay5ce110e2020-12-27 02:45:53 -0800669 it.pos = this->ptr;
David Tolnay6f92baa2020-12-27 01:09:26 -0800670 it.stride = size_of<T>();
David Tolnayac6cb542020-11-25 20:18:55 -0800671 return it;
672}
673
674template <typename T>
675typename Slice<T>::iterator Slice<T>::end() const noexcept {
676 iterator it = this->begin();
David Tolnaya1ddbf82020-12-27 00:56:35 -0800677 it.pos = static_cast<char *>(it.pos) + it.stride * this->len;
David Tolnayac6cb542020-11-25 20:18:55 -0800678 return it;
679}
David Tolnay0f0162f2020-11-16 23:43:37 -0800680#endif // CXXBRIDGE1_RUST_SLICE
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700681
David Tolnay0f0162f2020-11-16 23:43:37 -0800682#ifndef CXXBRIDGE1_RUST_BOX
683#define CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700684template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800685class Box<T>::uninit {};
686
687template <typename T>
David Tolnaye5703162020-12-12 16:26:35 -0800688class Box<T>::allocation {
David Tolnayf448e202020-12-12 16:42:45 -0800689 static T *alloc() noexcept;
690 static void dealloc(T *) noexcept;
David Tolnay2e637d92020-12-12 21:08:01 -0800691
David Tolnaye5703162020-12-12 16:26:35 -0800692public:
David Tolnaye7d662d2020-12-12 16:38:22 -0800693 allocation() noexcept : ptr(alloc()) {}
694 ~allocation() noexcept {
695 if (this->ptr) {
696 dealloc(this->ptr);
697 }
698 }
David Tolnaye5703162020-12-12 16:26:35 -0800699 T *ptr;
700};
701
702template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700703Box<T>::Box(Box &&other) noexcept : ptr(other.ptr) {
704 other.ptr = nullptr;
705}
706
707template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800708Box<T>::Box(const T &val) {
709 allocation alloc;
710 ::new (alloc.ptr) T(val);
711 this->ptr = alloc.ptr;
712 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700713}
714
715template <typename T>
David Tolnaye7d662d2020-12-12 16:38:22 -0800716Box<T>::Box(T &&val) {
717 allocation alloc;
718 ::new (alloc.ptr) T(std::move(val));
719 this->ptr = alloc.ptr;
720 alloc.ptr = nullptr;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700721}
722
723template <typename T>
724Box<T>::~Box() noexcept {
725 if (this->ptr) {
726 this->drop();
727 }
728}
729
730template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700731Box<T> &Box<T>::operator=(Box &&other) noexcept {
732 if (this->ptr) {
733 this->drop();
734 }
735 this->ptr = other.ptr;
736 other.ptr = nullptr;
737 return *this;
738}
739
740template <typename T>
741const T *Box<T>::operator->() const noexcept {
742 return this->ptr;
743}
744
745template <typename T>
746const T &Box<T>::operator*() const noexcept {
747 return *this->ptr;
748}
749
750template <typename T>
751T *Box<T>::operator->() noexcept {
752 return this->ptr;
753}
754
755template <typename T>
756T &Box<T>::operator*() noexcept {
757 return *this->ptr;
758}
759
760template <typename T>
761template <typename... Fields>
762Box<T> Box<T>::in_place(Fields &&... fields) {
David Tolnaye7d662d2020-12-12 16:38:22 -0800763 allocation alloc;
764 auto ptr = alloc.ptr;
765 ::new (ptr) T{std::forward<Fields>(fields)...};
766 alloc.ptr = nullptr;
767 return from_raw(ptr);
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700768}
769
770template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800771void Box<T>::swap(Box &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800772 using std::swap;
773 swap(this->ptr, rhs.ptr);
774}
775
776template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700777Box<T> Box<T>::from_raw(T *raw) noexcept {
David Tolnayc4b34222020-12-12 13:06:26 -0800778 Box box = uninit{};
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700779 box.ptr = raw;
780 return box;
781}
782
783template <typename T>
784T *Box<T>::into_raw() noexcept {
785 T *raw = this->ptr;
786 this->ptr = nullptr;
787 return raw;
788}
789
790template <typename T>
David Tolnayc4b34222020-12-12 13:06:26 -0800791Box<T>::Box(uninit) noexcept {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800792#endif // CXXBRIDGE1_RUST_BOX
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700793
David Tolnay0f0162f2020-11-16 23:43:37 -0800794#ifndef CXXBRIDGE1_RUST_VEC
795#define CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700796template <typename T>
David Tolnayf799b372020-11-29 23:57:42 -0800797Vec<T>::Vec(std::initializer_list<T> init) : Vec{} {
798 this->reserve_total(init.size());
799 std::move(init.begin(), init.end(), std::back_inserter(*this));
800}
801
802template <typename T>
David Tolnay9007e462020-12-11 13:59:08 -0800803Vec<T>::Vec(const Vec &other) : Vec() {
804 this->reserve_total(other.size());
805 std::copy(other.begin(), other.end(), std::back_inserter(*this));
806}
807
808template <typename T>
David Tolnay15671862020-11-23 18:13:56 -0800809Vec<T>::Vec(Vec &&other) noexcept : repr(other.repr) {
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700810 new (&other) Vec();
811}
812
813template <typename T>
814Vec<T>::~Vec() noexcept {
815 this->drop();
816}
817
818template <typename T>
819Vec<T> &Vec<T>::operator=(Vec &&other) noexcept {
820 if (this != &other) {
821 this->drop();
822 this->repr = other.repr;
823 new (&other) Vec();
824 }
825 return *this;
826}
827
828template <typename T>
David Tolnaydd42c722020-12-11 14:05:26 -0800829Vec<T> &Vec<T>::operator=(const Vec &other) {
830 if (this != &other) {
831 this->drop();
832 new (this) Vec(other);
833 }
834 return *this;
835}
836
837template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700838bool Vec<T>::empty() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800839 return this->size() == 0;
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700840}
841
842template <typename T>
David Tolnayfb6b73c2020-11-10 14:32:16 -0800843T *Vec<T>::data() noexcept {
844 return const_cast<T *>(const_cast<const Vec<T> *>(this)->data());
845}
846
847template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800848const T &Vec<T>::operator[](std::size_t n) const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800849 assert(n < this->size());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700850 auto data = reinterpret_cast<const char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800851 return *reinterpret_cast<const T *>(data + n * size_of<T>());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700852}
853
854template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800855const T &Vec<T>::at(std::size_t n) const {
David Tolnay8e1e6ac2020-08-26 20:51:43 -0700856 if (n >= this->size()) {
857 panic<std::out_of_range>("rust::Vec index out of range");
858 }
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700859 return (*this)[n];
860}
861
862template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800863const T &Vec<T>::front() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800864 assert(!this->empty());
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700865 return (*this)[0];
866}
867
868template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800869const T &Vec<T>::back() const noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800870 assert(!this->empty());
David Tolnayb10c4bc2020-08-26 21:55:29 -0700871 return (*this)[this->size() - 1];
Stephen Crane9e48d5b2020-08-21 12:17:02 -0700872}
873
874template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800875T &Vec<T>::operator[](std::size_t n) noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800876 assert(n < this->size());
David Tolnay908d5e52020-11-30 00:30:59 -0800877 auto data = reinterpret_cast<char *>(this->data());
David Tolnaye1df7dd2020-12-27 02:51:51 -0800878 return *reinterpret_cast<T *>(data + n * size_of<T>());
David Tolnay908d5e52020-11-30 00:30:59 -0800879}
880
881template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800882T &Vec<T>::at(std::size_t n) {
David Tolnay908d5e52020-11-30 00:30:59 -0800883 if (n >= this->size()) {
884 panic<std::out_of_range>("rust::Vec index out of range");
885 }
886 return (*this)[n];
887}
888
889template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800890T &Vec<T>::front() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800891 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800892 return (*this)[0];
893}
894
895template <typename T>
David Tolnayd4fff5d2020-12-21 14:04:09 -0800896T &Vec<T>::back() noexcept {
David Tolnayfa5a4a62020-12-21 14:08:08 -0800897 assert(!this->empty());
David Tolnay908d5e52020-11-30 00:30:59 -0800898 return (*this)[this->size() - 1];
899}
900
901template <typename T>
David Tolnaybe3cbf72020-12-12 22:12:07 -0800902void Vec<T>::reserve(std::size_t new_cap) {
David Tolnayfb6b73c2020-11-10 14:32:16 -0800903 this->reserve_total(new_cap);
904}
905
906template <typename T>
907void Vec<T>::push_back(const T &value) {
908 this->emplace_back(value);
909}
910
911template <typename T>
912void Vec<T>::push_back(T &&value) {
913 this->emplace_back(std::move(value));
914}
915
916template <typename T>
917template <typename... Args>
918void Vec<T>::emplace_back(Args &&... args) {
919 auto size = this->size();
920 this->reserve_total(size + 1);
921 ::new (reinterpret_cast<T *>(reinterpret_cast<char *>(this->data()) +
David Tolnaye1df7dd2020-12-27 02:51:51 -0800922 size * size_of<T>()))
David Tolnayfb6b73c2020-11-10 14:32:16 -0800923 T(std::forward<Args>(args)...);
924 this->set_len(size + 1);
925}
926
927template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800928typename Vec<T>::iterator Vec<T>::begin() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800929 return Slice<T>(this->data(), this->size()).begin();
David Tolnay960b5112020-11-25 13:18:28 -0800930}
931
932template <typename T>
933typename Vec<T>::iterator Vec<T>::end() noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800934 return Slice<T>(this->data(), this->size()).end();
David Tolnay960b5112020-11-25 13:18:28 -0800935}
936
937template <typename T>
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700938typename Vec<T>::const_iterator Vec<T>::begin() const noexcept {
David Tolnay960b5112020-11-25 13:18:28 -0800939 return this->cbegin();
940}
941
942template <typename T>
943typename Vec<T>::const_iterator Vec<T>::end() const noexcept {
944 return this->cend();
945}
946
947template <typename T>
948typename Vec<T>::const_iterator Vec<T>::cbegin() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800949 return Slice<const T>(this->data(), this->size()).begin();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700950}
951
952template <typename T>
David Tolnay960b5112020-11-25 13:18:28 -0800953typename Vec<T>::const_iterator Vec<T>::cend() const noexcept {
David Tolnay725bf502020-12-27 02:47:40 -0800954 return Slice<const T>(this->data(), this->size()).end();
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700955}
956
David Tolnayfec17152021-01-02 12:51:29 -0800957template <typename T>
David Tolnaycf7bb9b2021-01-02 13:03:28 -0800958void Vec<T>::swap(Vec &rhs) noexcept {
David Tolnayfec17152021-01-02 12:51:29 -0800959 using std::swap;
960 swap(this->repr, rhs.repr);
961}
962
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700963// Internal API only intended for the cxxbridge code generator.
964template <typename T>
965Vec<T>::Vec(unsafe_bitcopy_t, const Vec &bits) noexcept : repr(bits.repr) {}
David Tolnay0f0162f2020-11-16 23:43:37 -0800966#endif // CXXBRIDGE1_RUST_VEC
David Tolnay2a2b9ad2020-05-12 20:07:26 -0700967
David Tolnay75068632020-12-26 22:15:17 -0800968#ifndef CXXBRIDGE1_IS_COMPLETE
969#define CXXBRIDGE1_IS_COMPLETE
970namespace detail {
971namespace {
972template <typename T, typename = std::size_t>
973struct is_complete : std::false_type {};
974template <typename T>
975struct is_complete<T, decltype(sizeof(T))> : std::true_type {};
976} // namespace
977} // namespace detail
978#endif // CXXBRIDGE1_IS_COMPLETE
979
David Tolnayee6ecfc2020-12-26 21:54:37 -0800980#ifndef CXXBRIDGE1_LAYOUT
981#define CXXBRIDGE1_LAYOUT
982class layout {
983 template <typename T>
984 friend std::size_t size_of();
985 template <typename T>
986 friend std::size_t align_of();
987 template <typename T>
988 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
989 std::size_t>::type
990 do_size_of() {
991 return T::layout::size();
992 }
993 template <typename T>
994 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
995 std::size_t>::type
996 do_size_of() {
997 return sizeof(T);
998 }
999 template <typename T>
1000 static
1001 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1002 size_of() {
1003 return do_size_of<T>();
1004 }
1005 template <typename T>
1006 static typename std::enable_if<std::is_base_of<Opaque, T>::value,
1007 std::size_t>::type
1008 do_align_of() {
1009 return T::layout::align();
1010 }
1011 template <typename T>
1012 static typename std::enable_if<!std::is_base_of<Opaque, T>::value,
1013 std::size_t>::type
1014 do_align_of() {
1015 return alignof(T);
1016 }
1017 template <typename T>
1018 static
1019 typename std::enable_if<detail::is_complete<T>::value, std::size_t>::type
1020 align_of() {
1021 return do_align_of<T>();
1022 }
1023};
1024
1025template <typename T>
1026std::size_t size_of() {
1027 return layout::size_of<T>();
1028}
1029
1030template <typename T>
1031std::size_t align_of() {
1032 return layout::align_of<T>();
1033}
1034#endif // CXXBRIDGE1_LAYOUT
1035
David Tolnay0f0162f2020-11-16 23:43:37 -08001036#ifndef CXXBRIDGE1_RELOCATABLE
1037#define CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001038namespace detail {
1039template <typename... Ts>
1040struct make_void {
1041 using type = void;
1042};
1043
1044template <typename... Ts>
1045using void_t = typename make_void<Ts...>::type;
1046
1047template <typename Void, template <typename...> class, typename...>
1048struct detect : std::false_type {};
1049template <template <typename...> class T, typename... A>
1050struct detect<void_t<T<A...>>, T, A...> : std::true_type {};
1051
1052template <template <typename...> class T, typename... A>
1053using is_detected = detect<void, T, A...>;
1054
1055template <typename T>
1056using detect_IsRelocatable = typename T::IsRelocatable;
1057
1058template <typename T>
1059struct get_IsRelocatable
1060 : std::is_same<typename T::IsRelocatable, std::true_type> {};
1061} // namespace detail
1062
1063template <typename T>
1064struct IsRelocatable
1065 : std::conditional<
1066 detail::is_detected<detail::detect_IsRelocatable, T>::value,
1067 detail::get_IsRelocatable<T>,
1068 std::integral_constant<
1069 bool, std::is_trivially_move_constructible<T>::value &&
1070 std::is_trivially_destructible<T>::value>>::type {};
David Tolnay0f0162f2020-11-16 23:43:37 -08001071#endif // CXXBRIDGE1_RELOCATABLE
David Tolnay174bd952020-11-02 09:23:12 -08001072
David Tolnay0f0162f2020-11-16 23:43:37 -08001073} // namespace cxxbridge1
David Tolnay750755e2020-03-01 13:04:08 -08001074} // namespace rust