61c9bf3e3e
-- 39b55fafbe4a83f9f0524544a12d4ed02fdec751 by Xiaoyi Zhang <zhangxy@google.com>: Avoid -Wundef warning of macro `ABSL_HAVE_ELF_MEM_IMAGE`. This is github pull request https://github.com/abseil/abseil-cpp/pull/320. PiperOrigin-RevId: 251646785 -- 2fbf0de42d6723088211cb23444f16ecadcc7d67 by Abseil Team <absl-team@google.com>: Add missing dependency on base:dynamic_annotations. The target absl/debugging:symbolize includes dynamic_annotations from absl/debugging/symbolize_elf.inc. PiperOrigin-RevId: 251430877 -- 2537de6f01458938684f4818606ba5ce3f1c3cdf by CJ Johnson <johnsoncj@google.com>: In InlinedVector: Combines storage_.SetAllocatedData(...) and storage_.SetAllocatedCapacity(...) into a single two-arg function also called storage_.SetAllocatedData(...) such that data and capacity must always be set together PiperOrigin-RevId: 251331883 -- c05252c01710ac28d2c3defd09acfc55ecf2b8f1 by CJ Johnson <johnsoncj@google.com>: So that InlinedVector constructors do no leak allocations when throwing exceptions, this CL moves the call to `clear()` from `~InlinedVector()` to `~Storage()` In addition, noexcept specifiers have been added where appropriate (Copy construction and default construction on std::allocator are noexcept. See CppRef: https://en.cppreference.com/w/cpp/memory/allocator/allocator) PiperOrigin-RevId: 251256272 -- 34ce8367a8e29a0dea950c0e2967dd7cfdbd5d33 by CJ Johnson <johnsoncj@google.com>: Cleans up InlinedVector constructors by inlining Impl functions with only one caller and dispatching where appropriate PiperOrigin-RevId: 250919357 GitOrigin-RevId: 39b55fafbe4a83f9f0524544a12d4ed02fdec751 Change-Id: I21e8866582e6e02afb2c54f7347d624053e9ce45
203 lines
6.2 KiB
C++
203 lines
6.2 KiB
C++
// Copyright 2019 The Abseil Authors.
|
|
//
|
|
// Licensed under the Apache License, Version 2.0 (the "License");
|
|
// you may not use this file except in compliance with the License.
|
|
// You may obtain a copy of the License at
|
|
//
|
|
// https://www.apache.org/licenses/LICENSE-2.0
|
|
//
|
|
// Unless required by applicable law or agreed to in writing, software
|
|
// distributed under the License is distributed on an "AS IS" BASIS,
|
|
// WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
|
|
// See the License for the specific language governing permissions and
|
|
// limitations under the License.
|
|
|
|
#ifndef ABSL_CONTAINER_INTERNAL_INLINED_VECTOR_INTERNAL_H_
|
|
#define ABSL_CONTAINER_INTERNAL_INLINED_VECTOR_INTERNAL_H_
|
|
|
|
#include <cstddef>
|
|
#include <cstring>
|
|
#include <iterator>
|
|
#include <memory>
|
|
#include <utility>
|
|
|
|
#include "absl/container/internal/compressed_tuple.h"
|
|
#include "absl/memory/memory.h"
|
|
#include "absl/meta/type_traits.h"
|
|
|
|
namespace absl {
|
|
namespace inlined_vector_internal {
|
|
|
|
template <typename Iterator>
|
|
using IsAtLeastForwardIterator = std::is_convertible<
|
|
typename std::iterator_traits<Iterator>::iterator_category,
|
|
std::forward_iterator_tag>;
|
|
|
|
template <typename AllocatorType, typename ValueType, typename SizeType>
|
|
void DestroyElements(AllocatorType* alloc_ptr, ValueType* destroy_first,
|
|
SizeType destroy_size) {
|
|
using AllocatorTraits = absl::allocator_traits<AllocatorType>;
|
|
for (SizeType i = 0; i < destroy_size; ++i) {
|
|
AllocatorTraits::destroy(*alloc_ptr, destroy_first + i);
|
|
}
|
|
|
|
#ifndef NDEBUG
|
|
// Overwrite unused memory with `0xab` so we can catch uninitialized usage.
|
|
//
|
|
// Cast to `void*` to tell the compiler that we don't care that we might be
|
|
// scribbling on a vtable pointer.
|
|
void* memory = reinterpret_cast<void*>(destroy_first);
|
|
size_t memory_size = sizeof(ValueType) * destroy_size;
|
|
std::memset(memory, 0xab, memory_size);
|
|
#endif // NDEBUG
|
|
}
|
|
|
|
template <typename AllocatorType>
|
|
struct StorageView {
|
|
using pointer = typename AllocatorType::pointer;
|
|
using size_type = typename AllocatorType::size_type;
|
|
|
|
pointer data;
|
|
size_type size;
|
|
size_type capacity;
|
|
};
|
|
|
|
template <typename T, size_t N, typename A>
|
|
class Storage {
|
|
public:
|
|
using allocator_type = A;
|
|
using value_type = typename allocator_type::value_type;
|
|
using pointer = typename allocator_type::pointer;
|
|
using const_pointer = typename allocator_type::const_pointer;
|
|
using reference = typename allocator_type::reference;
|
|
using const_reference = typename allocator_type::const_reference;
|
|
using rvalue_reference = typename allocator_type::value_type&&;
|
|
using size_type = typename allocator_type::size_type;
|
|
using difference_type = typename allocator_type::difference_type;
|
|
using iterator = pointer;
|
|
using const_iterator = const_pointer;
|
|
using reverse_iterator = std::reverse_iterator<iterator>;
|
|
using const_reverse_iterator = std::reverse_iterator<const_iterator>;
|
|
using AllocatorTraits = absl::allocator_traits<allocator_type>;
|
|
|
|
using StorageView = inlined_vector_internal::StorageView<allocator_type>;
|
|
|
|
Storage() : metadata_() {}
|
|
|
|
explicit Storage(const allocator_type& alloc)
|
|
: metadata_(alloc, /* empty and inlined */ 0) {}
|
|
|
|
~Storage() { DestroyAndDeallocate(); }
|
|
|
|
size_type GetSize() const { return GetSizeAndIsAllocated() >> 1; }
|
|
|
|
bool GetIsAllocated() const { return GetSizeAndIsAllocated() & 1; }
|
|
|
|
pointer GetInlinedData() {
|
|
return reinterpret_cast<pointer>(
|
|
std::addressof(data_.inlined.inlined_data[0]));
|
|
}
|
|
|
|
const_pointer GetInlinedData() const {
|
|
return reinterpret_cast<const_pointer>(
|
|
std::addressof(data_.inlined.inlined_data[0]));
|
|
}
|
|
|
|
pointer GetAllocatedData() { return data_.allocated.allocated_data; }
|
|
|
|
const_pointer GetAllocatedData() const {
|
|
return data_.allocated.allocated_data;
|
|
}
|
|
|
|
size_type GetAllocatedCapacity() const {
|
|
return data_.allocated.allocated_capacity;
|
|
}
|
|
|
|
StorageView MakeStorageView() {
|
|
return GetIsAllocated() ? StorageView{GetAllocatedData(), GetSize(),
|
|
GetAllocatedCapacity()}
|
|
: StorageView{GetInlinedData(), GetSize(),
|
|
static_cast<size_type>(N)};
|
|
}
|
|
|
|
allocator_type* GetAllocPtr() {
|
|
return std::addressof(metadata_.template get<0>());
|
|
}
|
|
|
|
const allocator_type* GetAllocPtr() const {
|
|
return std::addressof(metadata_.template get<0>());
|
|
}
|
|
|
|
void SetAllocatedSize(size_type size) {
|
|
GetSizeAndIsAllocated() = (size << 1) | static_cast<size_type>(1);
|
|
}
|
|
|
|
void SetInlinedSize(size_type size) { GetSizeAndIsAllocated() = size << 1; }
|
|
|
|
void AddSize(size_type count) { GetSizeAndIsAllocated() += count << 1; }
|
|
|
|
void SetAllocatedData(pointer data, size_type capacity) {
|
|
data_.allocated.allocated_data = data;
|
|
data_.allocated.allocated_capacity = capacity;
|
|
}
|
|
|
|
void SwapSizeAndIsAllocated(Storage* other) {
|
|
using std::swap;
|
|
swap(GetSizeAndIsAllocated(), other->GetSizeAndIsAllocated());
|
|
}
|
|
|
|
void SwapAllocatedSizeAndCapacity(Storage* other) {
|
|
using std::swap;
|
|
swap(data_.allocated, other->data_.allocated);
|
|
}
|
|
|
|
void DestroyAndDeallocate();
|
|
|
|
private:
|
|
size_type& GetSizeAndIsAllocated() { return metadata_.template get<1>(); }
|
|
|
|
const size_type& GetSizeAndIsAllocated() const {
|
|
return metadata_.template get<1>();
|
|
}
|
|
|
|
using Metadata =
|
|
container_internal::CompressedTuple<allocator_type, size_type>;
|
|
|
|
struct Allocated {
|
|
pointer allocated_data;
|
|
size_type allocated_capacity;
|
|
};
|
|
|
|
struct Inlined {
|
|
using InlinedDataElement =
|
|
absl::aligned_storage_t<sizeof(value_type), alignof(value_type)>;
|
|
InlinedDataElement inlined_data[N];
|
|
};
|
|
|
|
union Data {
|
|
Allocated allocated;
|
|
Inlined inlined;
|
|
};
|
|
|
|
Metadata metadata_;
|
|
Data data_;
|
|
};
|
|
|
|
template <typename T, size_t N, typename A>
|
|
void Storage<T, N, A>::DestroyAndDeallocate() {
|
|
namespace ivi = inlined_vector_internal;
|
|
|
|
StorageView storage_view = MakeStorageView();
|
|
|
|
ivi::DestroyElements(GetAllocPtr(), storage_view.data, storage_view.size);
|
|
|
|
if (GetIsAllocated()) {
|
|
AllocatorTraits::deallocate(*GetAllocPtr(), storage_view.data,
|
|
storage_view.capacity);
|
|
}
|
|
}
|
|
|
|
} // namespace inlined_vector_internal
|
|
} // namespace absl
|
|
|
|
#endif // ABSL_CONTAINER_INTERNAL_INLINED_VECTOR_INTERNAL_H_
|