Protocol Buffers - Google's data interchange format (grpc依赖)
https://developers.google.com/protocol-buffers/
You can not select more than 25 topics
Topics must start with a letter or number, can include dashes ('-') and can be up to 35 characters long.
300 lines
11 KiB
300 lines
11 KiB
// Protocol Buffers - Google's data interchange format |
|
// Copyright 2023 Google LLC. All rights reserved. |
|
// |
|
// Use of this source code is governed by a BSD-style |
|
// license that can be found in the LICENSE file or at |
|
// https://developers.google.com/open-source/licenses/bsd |
|
|
|
#ifndef PROTOBUF_HPB_REPEATED_FIELD_H_ |
|
#define PROTOBUF_HPB_REPEATED_FIELD_H_ |
|
|
|
#include <assert.h> |
|
|
|
#include <cstddef> |
|
#include <iterator> |
|
#include <type_traits> |
|
|
|
#include "absl/strings/string_view.h" |
|
#include "google/protobuf/hpb/protos.h" |
|
#include "google/protobuf/hpb/protos_traits.h" |
|
#include "google/protobuf/hpb/repeated_field_iterator.h" |
|
#include "upb/base/string_view.h" |
|
#include "upb/mem/arena.h" |
|
#include "upb/message/array.h" |
|
#include "upb/message/copy.h" |
|
#include "upb/message/message.h" |
|
|
|
namespace protos { |
|
namespace internal { |
|
|
|
// Shared implementation of repeated fields for absl::string_view and |
|
// message types for mutable and immutable variants. |
|
// |
|
// Immutable (const accessor), constructs this class with a nullptr upb_Array* |
|
// when the underlying array in the message is empty. |
|
// |
|
// Mutable accessors on the other hand, will allocate a new empty non-null |
|
// upb_Array* for the message when the RepeatedFieldProxy is constructed. |
|
template <class T> |
|
class RepeatedFieldProxyBase { |
|
using Array = add_const_if_T_is_const<T, upb_Array>; |
|
|
|
public: |
|
explicit RepeatedFieldProxyBase(Array* arr, upb_Arena* arena) |
|
: arr_(arr), arena_(arena) {} |
|
|
|
size_t size() const { return arr_ != nullptr ? upb_Array_Size(arr_) : 0; } |
|
|
|
bool empty() const { return size() == 0; } |
|
|
|
protected: |
|
// Returns upb_Array message member. |
|
inline upb_Message* GetMessage(size_t n) const; |
|
|
|
Array* arr_; |
|
upb_Arena* arena_; |
|
}; |
|
|
|
template <class T> |
|
upb_Message* RepeatedFieldProxyBase<T>::GetMessage(size_t n) const { |
|
auto** messages = |
|
static_cast<upb_Message**>(upb_Array_MutableDataPtr(this->arr_)); |
|
return messages[n]; |
|
} |
|
|
|
template <class T> |
|
class RepeatedFieldProxyMutableBase : public RepeatedFieldProxyBase<T> { |
|
public: |
|
RepeatedFieldProxyMutableBase(upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyBase<T>(arr, arena) {} |
|
|
|
void clear() { upb_Array_Resize(this->arr_, 0, this->arena_); } |
|
}; |
|
|
|
// RepeatedField proxy for repeated messages. |
|
template <class T> |
|
class RepeatedFieldProxy |
|
: public std::conditional_t<std::is_const_v<T>, RepeatedFieldProxyBase<T>, |
|
RepeatedFieldProxyMutableBase<T>> { |
|
static_assert(!std::is_same_v<T, absl::string_view>, ""); |
|
static_assert(!std::is_same_v<T, const absl::string_view>, ""); |
|
static_assert(!std::is_arithmetic_v<T>, ""); |
|
static constexpr bool kIsConst = std::is_const_v<T>; |
|
|
|
public: |
|
using value_type = std::remove_const_t<T>; |
|
using size_type = size_t; |
|
using difference_type = ptrdiff_t; |
|
using iterator = internal::Iterator<MessageIteratorPolicy<T>>; |
|
using reference = typename iterator::reference; |
|
using pointer = typename iterator::pointer; |
|
using reverse_iterator = std::reverse_iterator<iterator>; |
|
|
|
explicit RepeatedFieldProxy(const upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyBase<T>(arr, arena) {} |
|
RepeatedFieldProxy(upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyMutableBase<T>(arr, arena) {} |
|
// Constructor used by ::protos::Ptr. |
|
RepeatedFieldProxy(const RepeatedFieldProxy&) = default; |
|
|
|
// T::CProxy [] operator specialization. |
|
typename T::CProxy operator[](size_t n) const { |
|
upb_MessageValue message_value = upb_Array_Get(this->arr_, n); |
|
return ::protos::internal::CreateMessage<typename std::remove_const_t<T>>( |
|
(upb_Message*)message_value.msg_val, this->arena_); |
|
} |
|
|
|
// TODO : Audit/Finalize based on Iterator Design. |
|
// T::Proxy [] operator specialization. |
|
template <int&... DeductionBlocker, bool b = !kIsConst, |
|
typename = std::enable_if_t<b>> |
|
typename T::Proxy operator[](size_t n) { |
|
return ::protos::internal::CreateMessageProxy<T>(this->GetMessage(n), |
|
this->arena_); |
|
} |
|
|
|
// Mutable message reference specialization. |
|
template <int&... DeductionBlocker, bool b = !kIsConst, |
|
typename = std::enable_if_t<b>> |
|
void push_back(const T& t) { |
|
upb_MessageValue message_value; |
|
message_value.msg_val = upb_Message_DeepClone( |
|
PrivateAccess::GetInternalMsg(&t), ::protos::internal::GetMiniTable(&t), |
|
this->arena_); |
|
upb_Array_Append(this->arr_, message_value, this->arena_); |
|
} |
|
|
|
// Mutable message add using move. |
|
template <int&... DeductionBlocker, bool b = !kIsConst, |
|
typename = std::enable_if_t<b>> |
|
void push_back(T&& msg) { |
|
upb_MessageValue message_value; |
|
message_value.msg_val = PrivateAccess::GetInternalMsg(&msg); |
|
upb_Arena_Fuse(GetArena(&msg), this->arena_); |
|
upb_Array_Append(this->arr_, message_value, this->arena_); |
|
T moved_msg = std::move(msg); |
|
} |
|
|
|
iterator begin() const { |
|
return iterator( |
|
{static_cast<upb_Message**>( |
|
this->arr_ ? const_cast<void*>(upb_Array_DataPtr(this->arr_)) |
|
: nullptr), |
|
this->arena_}); |
|
} |
|
iterator end() const { return begin() + this->size(); } |
|
reverse_iterator rbegin() const { return reverse_iterator(end()); } |
|
reverse_iterator rend() const { return reverse_iterator(begin()); } |
|
|
|
private: |
|
friend class ::protos::Ptr<T>; |
|
}; |
|
|
|
// RepeatedField proxy for repeated strings. |
|
template <class T> |
|
class RepeatedFieldStringProxy |
|
: public std::conditional_t<std::is_const_v<T>, RepeatedFieldProxyBase<T>, |
|
RepeatedFieldProxyMutableBase<T>> { |
|
static_assert(std::is_same_v<T, absl::string_view> || |
|
std::is_same_v<T, const absl::string_view>, |
|
""); |
|
static constexpr bool kIsConst = std::is_const_v<T>; |
|
|
|
public: |
|
using value_type = std::remove_const_t<T>; |
|
using size_type = size_t; |
|
using difference_type = ptrdiff_t; |
|
using iterator = internal::Iterator<StringIteratorPolicy<T>>; |
|
using reference = typename iterator::reference; |
|
using pointer = typename iterator::pointer; |
|
using reverse_iterator = std::reverse_iterator<iterator>; |
|
|
|
// Immutable constructor. |
|
explicit RepeatedFieldStringProxy(const upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyBase<T>(arr, arena) {} |
|
// Mutable constructor. |
|
RepeatedFieldStringProxy(upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyMutableBase<T>(arr, arena) {} |
|
// Constructor used by ::protos::Ptr. |
|
RepeatedFieldStringProxy(const RepeatedFieldStringProxy&) = default; |
|
|
|
reference operator[](size_t n) const { return begin()[n]; } |
|
|
|
template <int&... DeductionBlocker, bool b = !kIsConst, |
|
typename = std::enable_if_t<b>> |
|
void push_back(T t) { |
|
upb_MessageValue message_value; |
|
// Copy string to arena. |
|
assert(this->arena_); |
|
char* data = (char*)upb_Arena_Malloc(this->arena_, t.size()); |
|
assert(data); |
|
memcpy(data, t.data(), t.size()); |
|
message_value.str_val = upb_StringView_FromDataAndSize(data, t.size()); |
|
upb_Array_Append(this->arr_, message_value, this->arena_); |
|
} |
|
|
|
iterator begin() const { return iterator({this->arr_, this->arena_, 0}); } |
|
iterator end() const { |
|
return iterator({this->arr_, this->arena_, this->size()}); |
|
} |
|
reverse_iterator rbegin() const { return reverse_iterator(end()); } |
|
reverse_iterator rend() const { return reverse_iterator(begin()); } |
|
}; |
|
|
|
// RepeatedField proxy for repeated scalar types. |
|
template <typename T> |
|
class RepeatedFieldScalarProxy |
|
: public std::conditional_t<std::is_const_v<T>, RepeatedFieldProxyBase<T>, |
|
RepeatedFieldProxyMutableBase<T>> { |
|
static_assert(std::is_arithmetic_v<T>, ""); |
|
static constexpr bool kIsConst = std::is_const_v<T>; |
|
|
|
public: |
|
using value_type = std::remove_const_t<T>; |
|
using size_type = size_t; |
|
using difference_type = ptrdiff_t; |
|
using iterator = internal::Iterator<ScalarIteratorPolicy<T>>; |
|
using reference = typename iterator::reference; |
|
using pointer = typename iterator::pointer; |
|
using reverse_iterator = std::reverse_iterator<iterator>; |
|
|
|
explicit RepeatedFieldScalarProxy(const upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyBase<T>(arr, arena) {} |
|
RepeatedFieldScalarProxy(upb_Array* arr, upb_Arena* arena) |
|
: RepeatedFieldProxyMutableBase<T>(arr, arena) {} |
|
// Constructor used by ::protos::Ptr. |
|
RepeatedFieldScalarProxy(const RepeatedFieldScalarProxy&) = default; |
|
|
|
T operator[](size_t n) const { |
|
upb_MessageValue message_value = upb_Array_Get(this->arr_, n); |
|
typename std::remove_const_t<T> val; |
|
memcpy(&val, &message_value, sizeof(T)); |
|
return val; |
|
} |
|
|
|
template <int&... DeductionBlocker, bool b = !kIsConst, |
|
typename = std::enable_if_t<b>> |
|
void push_back(T t) { |
|
upb_MessageValue message_value; |
|
memcpy(&message_value, &t, sizeof(T)); |
|
upb_Array_Append(this->arr_, message_value, this->arena_); |
|
} |
|
|
|
iterator begin() const { return iterator({unsafe_array()}); } |
|
iterator cbegin() const { return begin(); } |
|
iterator end() const { return iterator({unsafe_array() + this->size()}); } |
|
iterator cend() const { return end(); } |
|
|
|
// Reverse iterator support. |
|
reverse_iterator rbegin() const { return reverse_iterator(end()); } |
|
reverse_iterator rend() const { return reverse_iterator(begin()); } |
|
reverse_iterator crbegin() const { return reverse_iterator(end()); } |
|
reverse_iterator crend() const { return reverse_iterator(begin()); } |
|
|
|
private: |
|
T* unsafe_array() const { |
|
if (kIsConst) { |
|
const void* unsafe_ptr = ::upb_Array_DataPtr(this->arr_); |
|
return static_cast<T*>(const_cast<void*>(unsafe_ptr)); |
|
} |
|
if (!kIsConst) { |
|
void* unsafe_ptr = |
|
::upb_Array_MutableDataPtr(const_cast<upb_Array*>(this->arr_)); |
|
return static_cast<T*>(unsafe_ptr); |
|
} |
|
} |
|
}; |
|
|
|
} // namespace internal |
|
|
|
template <typename T> |
|
class RepeatedField { |
|
static constexpr bool kIsString = std::is_same_v<T, absl::string_view>; |
|
static constexpr bool kIsScalar = std::is_arithmetic_v<T>; |
|
|
|
public: |
|
using Proxy = std::conditional_t< |
|
kIsScalar, internal::RepeatedFieldScalarProxy<T>, |
|
std::conditional_t<kIsString, internal::RepeatedFieldStringProxy<T>, |
|
internal::RepeatedFieldProxy<T>>>; |
|
using CProxy = std::conditional_t< |
|
kIsScalar, internal::RepeatedFieldScalarProxy<const T>, |
|
std::conditional_t<kIsString, internal::RepeatedFieldStringProxy<const T>, |
|
internal::RepeatedFieldProxy<const T>>>; |
|
// TODO: T supports incomplete type from fwd.h forwarding headers |
|
// We would like to reference T::CProxy. Validate forwarding header design. |
|
using ValueProxy = std::conditional_t< |
|
kIsScalar, T, |
|
std::conditional_t<kIsString, absl::string_view, ::protos::Ptr<T>>>; |
|
using ValueCProxy = std::conditional_t< |
|
kIsScalar, const T, |
|
std::conditional_t<kIsString, absl::string_view, ::protos::Ptr<const T>>>; |
|
using Access = std::conditional_t< |
|
kIsScalar, internal::RepeatedFieldScalarProxy<T>, |
|
std::conditional_t<kIsString, internal::RepeatedFieldStringProxy<T>, |
|
internal::RepeatedFieldProxy<T>>>; |
|
}; |
|
|
|
} // namespace protos |
|
|
|
#endif // PROTOBUF_HPB_REPEATED_FIELD_H_
|
|
|