Compare commits
No commits in common. 'master' and 'error_handling' have entirely different histories.
master
...
error_hand
@ -1,121 +0,0 @@
|
|||||||
#pragma once
|
|
||||||
|
|
||||||
#include <cow.hpp>
|
|
||||||
#include <utility>
|
|
||||||
|
|
||||||
template<typename T>
|
|
||||||
struct TypedCow : public _cow_util::Span<T> {
|
|
||||||
struct Fake;
|
|
||||||
|
|
||||||
template<typename... Args>
|
|
||||||
inline TypedCow(size_t sz, Args&&... args) : real(Cow(sz * sizeof(T))) { init_copy( T(std::forward<Args>(args)...) ); }
|
|
||||||
inline TypedCow(size_t sz, const T& copy) : real(Cow(sz * sizeof(T))) { init_copy(copy); }
|
|
||||||
inline TypedCow(size_t sz) : TypedCow(sz, T()){}
|
|
||||||
|
|
||||||
inline virtual ~TypedCow() { uninit(); }
|
|
||||||
|
|
||||||
inline virtual Fake clone() const { return Fake(*this); }
|
|
||||||
|
|
||||||
inline virtual cow_t* raw() const { return real.raw(); }
|
|
||||||
|
|
||||||
inline size_t size() const { return real.size() / sizeof(T); }
|
|
||||||
protected:
|
|
||||||
//inline explicit TypedCow(const TypedCow<T>& unsafeCopy) : real(Cow(unsafeCopy.real)){}
|
|
||||||
|
|
||||||
inline virtual void* area() override { return reinterpret_cast<void*>( real.ptr() ); }
|
|
||||||
inline virtual const void* area() const override { return reinterpret_cast<const void*>( real.ptr() ); }
|
|
||||||
|
|
||||||
inline void init_copy(const T& copy_from) {
|
|
||||||
T* ptr = this->ptr();
|
|
||||||
for(size_t i=0;i<size();i++)
|
|
||||||
new ((void*)(ptr+i)) T(copy_from);
|
|
||||||
|
|
||||||
}
|
|
||||||
// UNSAFE: Explicitly calls destructors of each element in this instance.
|
|
||||||
inline void uninit() {
|
|
||||||
T* ptr = this->ptr();
|
|
||||||
if(!ptr) return;
|
|
||||||
|
|
||||||
for(size_t i=0;i<size();i++)
|
|
||||||
(ptr+i)->~T();
|
|
||||||
}
|
|
||||||
private:
|
|
||||||
Cow real;
|
|
||||||
};
|
|
||||||
template<typename T>
|
|
||||||
struct TypedCow<T>::Fake : public TypedCow<T> {
|
|
||||||
//XXX: How THE FUCK do we initialise base's `real` here?????
|
|
||||||
Fake() = delete;
|
|
||||||
|
|
||||||
inline Fake(const Fake& copy) : fake(cow_clone(copy.fake)){}
|
|
||||||
inline Fake(Fake&& move) : fake(move.fake) { *const_cast<cow_t**>(&move.fake) = nullptr; }
|
|
||||||
inline Fake(const TypedCow<T>& clone) : fake(cow_clone(clone.raw())){}
|
|
||||||
|
|
||||||
inline cow_t* raw() const override { return fake; }
|
|
||||||
inline Fake clone() const override { return Fake(*this); }
|
|
||||||
|
|
||||||
inline ~Fake(){}
|
|
||||||
|
|
||||||
inline size_t size() const override { return fake ? cow_size(fake) : 0; }
|
|
||||||
protected:
|
|
||||||
inline void* area() override { return fake ? cow_ptr(fake) : nullptr; }
|
|
||||||
inline const void* area() const override { return fake ? cow_ptr_of(const void, fake) : nullptr; }
|
|
||||||
|
|
||||||
private:
|
|
||||||
cow_t* const fake;
|
|
||||||
};
|
|
||||||
#if 0
|
|
||||||
struct Fake;
|
|
||||||
friend class Fake;
|
|
||||||
|
|
||||||
TypedCow() = delete;
|
|
||||||
inline TypedCow(TypedCow<T>&& move) : Cow(std::move(move.super)) { /* Moves the shared_ptr. No need to move the elements. */ }
|
|
||||||
// protected: copy
|
|
||||||
|
|
||||||
inline TypedCow(size_t sz) : Cow(sz * sizeof(T)) { init_copy(T()); }
|
|
||||||
inline TypedCow(size_t sz, const T& copy_from) : TypedCow(sz) { init_copy(copy_from); }
|
|
||||||
//template<typename... Args>
|
|
||||||
//inline TypedCow(size_t sz, Args&&... args) : TypedCow(sz) { init_copy( T(std::forward<Args>(args)...) ); }
|
|
||||||
|
|
||||||
virtual inline ~TypedCow() { uninit(); }
|
|
||||||
|
|
||||||
inline Cow::Fake clone() const override { return Cow::clone(); }
|
|
||||||
inline Fake clone() const { return Fake(Cow::clone()); }
|
|
||||||
|
|
||||||
inline size_t size() const override { return Cow::size() / sizeof(T); }
|
|
||||||
|
|
||||||
protected:
|
|
||||||
inline void* area() override { return Cow::area(); }
|
|
||||||
inline const void* area() const override { return Cow::area(); }
|
|
||||||
//// Should only be used for creating Fakes. Copies the refcounted pointer.
|
|
||||||
//inline TypedCow(const TypedCow<T>& copy) : Cow(copy.super) {}
|
|
||||||
|
|
||||||
// UNSAFE: Placement-new's copys of `copy_from` into `0..size()` of this instance.
|
|
||||||
inline void init_copy(const T& copy_from) {
|
|
||||||
T* ptr = _cow_util::Span<T>::ptr();
|
|
||||||
for(size_t i=0;i<size();i++)
|
|
||||||
new ((void*)(ptr+i)) T(copy_from);
|
|
||||||
|
|
||||||
}
|
|
||||||
// UNSAFE: Explicitly calls destructors of each element in this instance.
|
|
||||||
inline void uninit() {
|
|
||||||
T* ptr = _cow_util::Span<T>::ptr();
|
|
||||||
for(size_t i=0;i<size();i++)
|
|
||||||
(ptr+i)->~T();
|
|
||||||
}
|
|
||||||
};
|
|
||||||
|
|
||||||
template<typename T>
|
|
||||||
struct TypedCow<T>::Fake : private Cow::Fake, public _cow_util::Span<T> {
|
|
||||||
Fake() = delete;
|
|
||||||
explicit inline Fake(Cow::Fake&& untyped) : Cow::Fake(untyped){}
|
|
||||||
inline Fake(const Fake& copy) : Fake(copy.Cow::Fake::clone()){}
|
|
||||||
inline Fake(Fake&& move) : Cow::Fake(std::move(move)) {}
|
|
||||||
inline ~Fake(){}
|
|
||||||
|
|
||||||
inline size_t size() const override { return Cow::Fake::size(); }
|
|
||||||
protected:
|
|
||||||
inline const void* area() const override { return Cow::Fake::area(); }
|
|
||||||
inline void* area() override { return Cow::Fake::area(); }
|
|
||||||
};
|
|
||||||
#endif
|
|
Loading…
Reference in new issue