userver: userver/storages/postgres/io/bitstring.hpp Source File
Loading...
Searching...
No Matches
bitstring.hpp
Go to the documentation of this file.
1#pragma once
2
3/// @file userver/storages/postgres/io/bitstring.hpp
4/// @brief storages::postgres::BitString I/O support
5/// @ingroup userver_postgres_parse_and_format
6
7#include <bitset>
8#include <vector>
9
10#include <userver/storages/postgres/exceptions.hpp>
11#include <userver/storages/postgres/io/buffer_io.hpp>
12#include <userver/storages/postgres/io/buffer_io_base.hpp>
13#include <userver/storages/postgres/io/type_mapping.hpp>
14
15#include <userver/utils/flags.hpp>
16
17USERVER_NAMESPACE_BEGIN
18
19namespace storages::postgres {
20
21namespace io::traits {
22
23template <typename BitContainer>
24struct IsBitStringCompatible : std::is_integral<BitContainer> {};
25
26template <typename Enum>
27struct IsBitStringCompatible<USERVER_NAMESPACE::utils::Flags<Enum>> : std::true_type {};
28
29template <std::size_t N>
30struct IsBitStringCompatible<std::bitset<N>> : std::true_type {};
31
32template <std::size_t N>
33struct IsBitStringCompatible<std::array<bool, N>> : std::true_type {};
34
35template <typename T>
36inline constexpr bool kIsBitStringCompatible = IsBitStringCompatible<T>::value;
37
38template <typename BitContainer, typename Enable = void>
39struct BitContainerTraits;
40
41template <typename BitContainer>
42struct BitContainerTraits<BitContainer, std::enable_if_t<std::is_integral_v<BitContainer>>> {
43 static bool TestBit(const BitContainer& bits, std::uint8_t i) { return bits & (1ull << i); }
44 static void SetBit(BitContainer& bits, std::uint8_t i) { bits |= (1ull << i); }
45 static constexpr std::size_t BitCount() noexcept { return sizeof(BitContainer) * 8; }
46 static void Reset(BitContainer& bits) noexcept { bits = 0; }
47};
48
49template <std::size_t N>
50struct BitContainerTraits<std::array<bool, N>> {
51 static_assert(N > 0, "Length for bit container must be at least 1");
52 using BitContainer = std::array<bool, N>;
53 static bool TestBit(const BitContainer& bits, std::uint8_t i) { return bits[i]; }
54 static void SetBit(BitContainer& bits, std::uint8_t i) { bits[i] = true; }
55 static constexpr std::size_t BitCount() noexcept { return N; }
56 static void Reset(BitContainer& bits) noexcept { bits.fill(false); }
57};
58
59template <std::size_t N>
60struct BitContainerTraits<std::bitset<N>> {
61 static_assert(N > 0, "Length for bit container must be at least 1");
62 using BitContainer = std::bitset<N>;
63 static bool TestBit(const BitContainer& bits, std::uint8_t i) { return bits.test(i); }
64 static void SetBit(BitContainer& bits, std::uint8_t i) { bits.set(i); }
65 static constexpr std::size_t BitCount() noexcept { return N; }
66 static void Reset(BitContainer& bits) noexcept { bits.reset(); }
67};
68
69} // namespace io::traits
70
71enum class BitStringType { kBit, kBitVarying };
72
73namespace detail {
74
75enum class BitContainerInterface { kCommon, kFlags };
76
77template <typename BitContainerRef, BitContainerInterface, BitStringType>
78struct BitStringRefWrapper {
79 static_assert(std::is_reference<BitContainerRef>::value, "The container must be passed by reference");
80
81 using BitContainer = std::decay_t<BitContainerRef>;
82 static_assert(
83 io::traits::kIsBitStringCompatible<BitContainer>,
84 "This C++ type cannot be used with PostgreSQL 'bit' and 'bit "
85 "varying' data type"
86 );
87
88 BitContainerRef bits;
89};
90
91} // namespace detail
92
93template <typename BitContainer, BitStringType>
95 static_assert(!std::is_reference<BitContainer>::value, "The container must not be passed by reference");
96
97 static_assert(
98 io::traits::kIsBitStringCompatible<BitContainer>,
99 "This C++ type cannot be used with PostgreSQL 'bit' and 'bit "
100 "varying' data type"
101 );
102
103 BitContainer bits{};
104};
105
106template <BitStringType kBitStringType, typename BitContainer>
107constexpr detail::BitStringRefWrapper<const BitContainer&, detail::BitContainerInterface::kCommon, kBitStringType>
108BitString(const BitContainer& bits) {
109 return {bits};
110}
111
112template <BitStringType kBitStringType, typename BitContainer>
113constexpr detail::BitStringRefWrapper<BitContainer&, detail::BitContainerInterface::kCommon, kBitStringType> BitString(
114 BitContainer& bits
115) {
116 return {bits};
117}
118
119template <BitStringType kBitStringType, typename Enum>
120constexpr detail::BitStringRefWrapper<
121 const USERVER_NAMESPACE::utils::Flags<Enum>&,
122 detail::BitContainerInterface::kFlags,
123 kBitStringType>
124BitString(const USERVER_NAMESPACE::utils::Flags<Enum>& bits) {
125 return {bits};
126}
127
128template <BitStringType kBitStringType, typename Enum>
129constexpr detail::BitStringRefWrapper<
130 USERVER_NAMESPACE::utils::Flags<Enum>&,
131 detail::BitContainerInterface::kFlags,
132 kBitStringType>
133BitString(USERVER_NAMESPACE::utils::Flags<Enum>& bits) {
134 return {bits};
135}
136
137template <typename BitContainer>
138constexpr auto Varbit(BitContainer&& bits) {
139 return BitString<BitStringType::kBitVarying>(std::forward<BitContainer>(bits));
140}
141
142template <typename BitContainer>
143constexpr auto Bit(BitContainer&& bits) {
144 return BitString<BitStringType::kBit>(std::forward<BitContainer>(bits));
145}
146
147namespace io {
148
149template <typename BitContainerRef, BitStringType kBitStringType>
150struct BufferParser<postgres::detail::BitStringRefWrapper<
151 BitContainerRef,
152 postgres::detail::BitContainerInterface::kCommon,
153 kBitStringType>>
154 : detail::BufferParserBase<postgres::detail::BitStringRefWrapper<
155 BitContainerRef,
156 postgres::detail::BitContainerInterface::kCommon,
157 kBitStringType>&&> {
158 using BitContainer = std::decay_t<BitContainerRef>;
159 using BaseType = detail::BufferParserBase<postgres::detail::BitStringRefWrapper<
160 BitContainerRef,
161 postgres::detail::BitContainerInterface::kCommon,
162 kBitStringType>&&>;
163 using BaseType::BaseType;
164
165 void operator()(FieldBuffer buffer) {
166 Integer bit_count{0};
167 buffer.Read(bit_count, BufferCategory::kPlainBuffer);
168 if (static_cast<std::size_t>((bit_count + 7) / 8) > buffer.length) {
170 }
171
172 auto& bits = this->value.bits;
173 if (const Integer target_bit_count = io::traits::BitContainerTraits<BitContainer>::BitCount();
174 target_bit_count < bit_count)
175 {
176 throw BitStringOverflow(bit_count, target_bit_count);
177 }
178
179 // buffer contains a zero-padded bitstring, most significant bit first
180 io::traits::BitContainerTraits<BitContainer>::Reset(bits);
181 for (Integer i = 0; i < bit_count; ++i) {
182 const auto* byte_cptr = buffer.buffer + (i / 8);
183 if ((*byte_cptr) & (0x80 >> (i % 8))) {
184 io::traits::BitContainerTraits<BitContainer>::SetBit(bits, bit_count - i - 1);
185 }
186 }
187 }
188};
189
190template <typename BitContainerRef, BitStringType kBitStringType>
191struct BufferParser<postgres::detail::BitStringRefWrapper<
192 BitContainerRef,
193 postgres::detail::BitContainerInterface::kFlags,
194 kBitStringType>>
195 : detail::BufferParserBase<postgres::detail::BitStringRefWrapper<
196 BitContainerRef,
197 postgres::detail::BitContainerInterface::kFlags,
198 kBitStringType>&&> {
199 using BitContainer = std::decay_t<BitContainerRef>;
200 using BaseType = detail::BufferParserBase<postgres::detail::BitStringRefWrapper<
201 BitContainerRef,
202 postgres::detail::BitContainerInterface::kFlags,
203 kBitStringType>&&>;
204 using BaseType::BaseType;
205
206 void operator()(FieldBuffer buffer) {
207 typename BitContainer::ValueType bits{0};
208 ReadBuffer(buffer, BitString<kBitStringType>(bits));
209 this->value.bits.SetValue(bits);
210 }
211};
212
213template <typename BitContainer, BitStringType kBitStringType>
214struct BufferParser<postgres::BitStringWrapper<BitContainer, kBitStringType>>
215 : detail::BufferParserBase<postgres::BitStringWrapper<BitContainer, kBitStringType>> {
216 using BaseType = detail::BufferParserBase<postgres::BitStringWrapper<BitContainer, kBitStringType>>;
217 using BaseType::BaseType;
218
219 void operator()(const FieldBuffer& buffer) { ReadBuffer(buffer, BitString<kBitStringType>(this->value.bits)); }
220};
221
222template <std::size_t N>
223struct BufferParser<std::bitset<N>> : detail::BufferParserBase<std::bitset<N>> {
224 using BaseType = detail::BufferParserBase<std::bitset<N>>;
225 using BaseType::BaseType;
226
227 void operator()(const FieldBuffer& buffer) { ReadBuffer(buffer, Varbit(this->value)); }
228};
229
230template <typename BitContainerRef, BitStringType kBitStringType>
231struct BufferFormatter<postgres::detail::BitStringRefWrapper<
232 BitContainerRef,
233 postgres::detail::BitContainerInterface::kCommon,
234 kBitStringType>>
235 : detail::BufferFormatterBase<postgres::detail::BitStringRefWrapper<
236 BitContainerRef,
237 postgres::detail::BitContainerInterface::kCommon,
238 kBitStringType>> {
239 using BitContainer = std::decay_t<BitContainerRef>;
240 using BaseType = detail::BufferFormatterBase<postgres::detail::BitStringRefWrapper<
241 BitContainerRef,
242 postgres::detail::BitContainerInterface::kCommon,
243 kBitStringType>>;
244 using BaseType::BaseType;
245
246 template <typename Buffer>
247 void operator()(const UserTypes& types, Buffer& buffer) const {
248 // convert bitcontainer to bytes and write into buffer,
249 // from most to least significant
250 const auto& bits = this->value.bits;
251 constexpr auto bit_count = io::traits::BitContainerTraits<BitContainer>::BitCount();
252
253 std::array<std::uint8_t, (bit_count + 7) / 8> data{};
254 for (std::size_t i = 0; i < bit_count; ++i) {
255 data[i / 8] |=
256 static_cast<std::uint8_t>(io::traits::BitContainerTraits<BitContainer>::TestBit(bits, bit_count - i - 1)
257 )
258 << (7 - i % 8);
259 }
260
261 buffer.reserve(buffer.size() + sizeof(Integer) + data.size());
262 WriteBuffer(types, buffer, static_cast<Integer>(bit_count));
263 buffer.insert(buffer.end(), data.begin(), data.end());
264 }
265};
266
267template <typename BitContainerRef, BitStringType kBitStringType>
268struct BufferFormatter<postgres::detail::BitStringRefWrapper<
269 BitContainerRef,
270 postgres::detail::BitContainerInterface::kFlags,
271 kBitStringType>>
272 : detail::BufferFormatterBase<postgres::detail::BitStringRefWrapper<
273 BitContainerRef,
274 postgres::detail::BitContainerInterface::kFlags,
275 kBitStringType>> {
276 using BitContainer = std::decay_t<BitContainerRef>;
277 using BaseType = detail::BufferFormatterBase<postgres::detail::BitStringRefWrapper<
278 BitContainerRef,
279 postgres::detail::BitContainerInterface::kFlags,
280 kBitStringType>>;
281 using BaseType::BaseType;
282
283 template <typename Buffer>
284 void operator()(const UserTypes& types, Buffer& buffer) const {
285 WriteBuffer(types, buffer, BitString<kBitStringType>(this->value.bits.GetValue()));
286 }
287};
288
289template <typename BitContainer, BitStringType kBitStringType>
290struct BufferFormatter<postgres::BitStringWrapper<BitContainer, kBitStringType>>
291 : detail::BufferFormatterBase<postgres::BitStringWrapper<BitContainer, kBitStringType>> {
292 using BaseType = detail::BufferFormatterBase<postgres::BitStringWrapper<BitContainer, kBitStringType>>;
293 using BaseType::BaseType;
294
295 template <typename Buffer>
296 void operator()(const UserTypes& types, Buffer& buffer) const {
297 WriteBuffer(types, buffer, BitString<kBitStringType>(this->value.bits));
298 }
299};
300
301// std::bitset is saved as bit varying on default
302
303template <std::size_t N>
304struct BufferFormatter<std::bitset<N>> : detail::BufferFormatterBase<std::bitset<N>> {
305 using BitContainer = std::bitset<N>;
306 using BaseType = detail::BufferFormatterBase<std::bitset<N>>;
307 using BaseType::BaseType;
308
309 template <typename Buffer>
310 void operator()(const UserTypes& types, Buffer& buffer) const {
311 WriteBuffer(types, buffer, Varbit(this->value));
312 }
313};
314
315template <typename BitContainer, postgres::detail::BitContainerInterface ContainerInterface>
316struct CppToSystemPg<
317 postgres::detail::BitStringRefWrapper<BitContainer, ContainerInterface, postgres::BitStringType::kBitVarying>>
318 : PredefinedOid<PredefinedOids::kVarbit> {};
319template <typename BitContainer>
320struct CppToSystemPg<postgres::BitStringWrapper<BitContainer, postgres::BitStringType::kBitVarying>>
321 : PredefinedOid<PredefinedOids::kVarbit> {};
322
323template <typename BitContainer, postgres::detail::BitContainerInterface ContainerInterface>
324struct CppToSystemPg<
325 postgres::detail::BitStringRefWrapper<BitContainer, ContainerInterface, postgres::BitStringType::kBit>>
326 : PredefinedOid<PredefinedOids::kBit> {};
327template <typename BitContainer>
328struct CppToSystemPg<postgres::BitStringWrapper<BitContainer, postgres::BitStringType::kBit>>
329 : PredefinedOid<PredefinedOids::kBit> {};
330
331template <std::size_t N>
332struct CppToSystemPg<std::bitset<N>> : PredefinedOid<PredefinedOids::kVarbit> {};
333
334} // namespace io
335} // namespace storages::postgres
336
337USERVER_NAMESPACE_END