d7b34a5ca0
This will be rolled out in three stages: 1) make SkMemory.h and have SkTypes.h include it. 2) Adjust chromium and android. 3) no long include SkMemory.h in SkTypes.h Change-Id: If360ef5e1164d88f50b03f279e2e963ca2f57d5d Reviewed-on: https://skia-review.googlesource.com/9874 Reviewed-by: Brian Salomon <bsalomon@google.com> Commit-Queue: Herb Derby <herb@google.com>
485 lines
14 KiB
C++
485 lines
14 KiB
C++
|
|
/*
|
|
* Copyright 2006 The Android Open Source Project
|
|
*
|
|
* Use of this source code is governed by a BSD-style license that can be
|
|
* found in the LICENSE file.
|
|
*/
|
|
|
|
|
|
#ifndef SkTemplates_DEFINED
|
|
#define SkTemplates_DEFINED
|
|
|
|
#include "SkMath.h"
|
|
#include "SkMemory.h"
|
|
#include "SkTLogic.h"
|
|
#include "SkTypes.h"
|
|
#include <limits.h>
|
|
#include <memory>
|
|
#include <new>
|
|
|
|
/** \file SkTemplates.h
|
|
|
|
This file contains light-weight template classes for type-safe and exception-safe
|
|
resource management.
|
|
*/
|
|
|
|
/**
|
|
* Marks a local variable as known to be unused (to avoid warnings).
|
|
* Note that this does *not* prevent the local variable from being optimized away.
|
|
*/
|
|
template<typename T> inline void sk_ignore_unused_variable(const T&) { }
|
|
|
|
/**
|
|
* Returns a pointer to a D which comes immediately after S[count].
|
|
*/
|
|
template <typename D, typename S> static D* SkTAfter(S* ptr, size_t count = 1) {
|
|
return reinterpret_cast<D*>(ptr + count);
|
|
}
|
|
|
|
/**
|
|
* Returns a pointer to a D which comes byteOffset bytes after S.
|
|
*/
|
|
template <typename D, typename S> static D* SkTAddOffset(S* ptr, size_t byteOffset) {
|
|
// The intermediate char* has the same cv-ness as D as this produces better error messages.
|
|
// This relies on the fact that reinterpret_cast can add constness, but cannot remove it.
|
|
return reinterpret_cast<D*>(reinterpret_cast<sknonstd::same_cv_t<char, D>*>(ptr) + byteOffset);
|
|
}
|
|
|
|
template <typename R, typename T, R (*P)(T*)> struct SkFunctionWrapper {
|
|
R operator()(T* t) { return P(t); }
|
|
};
|
|
|
|
/** \class SkAutoTCallVProc
|
|
|
|
Call a function when this goes out of scope. The template uses two
|
|
parameters, the object, and a function that is to be called in the destructor.
|
|
If release() is called, the object reference is set to null. If the object
|
|
reference is null when the destructor is called, we do not call the
|
|
function.
|
|
*/
|
|
template <typename T, void (*P)(T*)> class SkAutoTCallVProc
|
|
: public std::unique_ptr<T, SkFunctionWrapper<void, T, P>> {
|
|
public:
|
|
SkAutoTCallVProc(T* obj): std::unique_ptr<T, SkFunctionWrapper<void, T, P>>(obj) {}
|
|
|
|
operator T*() const { return this->get(); }
|
|
};
|
|
|
|
/** \class SkAutoTCallIProc
|
|
|
|
Call a function when this goes out of scope. The template uses two
|
|
parameters, the object, and a function that is to be called in the destructor.
|
|
If release() is called, the object reference is set to null. If the object
|
|
reference is null when the destructor is called, we do not call the
|
|
function.
|
|
*/
|
|
template <typename T, int (*P)(T*)> class SkAutoTCallIProc
|
|
: public std::unique_ptr<T, SkFunctionWrapper<int, T, P>> {
|
|
public:
|
|
SkAutoTCallIProc(T* obj): std::unique_ptr<T, SkFunctionWrapper<int, T, P>>(obj) {}
|
|
|
|
operator T*() const { return this->get(); }
|
|
};
|
|
|
|
/** Allocate an array of T elements, and free the array in the destructor
|
|
*/
|
|
template <typename T> class SkAutoTArray : SkNoncopyable {
|
|
public:
|
|
SkAutoTArray() {
|
|
fArray = NULL;
|
|
SkDEBUGCODE(fCount = 0;)
|
|
}
|
|
/** Allocate count number of T elements
|
|
*/
|
|
explicit SkAutoTArray(int count) {
|
|
SkASSERT(count >= 0);
|
|
fArray = NULL;
|
|
if (count) {
|
|
fArray = new T[count];
|
|
}
|
|
SkDEBUGCODE(fCount = count;)
|
|
}
|
|
|
|
/** Reallocates given a new count. Reallocation occurs even if new count equals old count.
|
|
*/
|
|
void reset(int count) {
|
|
delete[] fArray;
|
|
SkASSERT(count >= 0);
|
|
fArray = NULL;
|
|
if (count) {
|
|
fArray = new T[count];
|
|
}
|
|
SkDEBUGCODE(fCount = count;)
|
|
}
|
|
|
|
~SkAutoTArray() { delete[] fArray; }
|
|
|
|
/** Return the array of T elements. Will be NULL if count == 0
|
|
*/
|
|
T* get() const { return fArray; }
|
|
|
|
/** Return the nth element in the array
|
|
*/
|
|
T& operator[](int index) const {
|
|
SkASSERT((unsigned)index < (unsigned)fCount);
|
|
return fArray[index];
|
|
}
|
|
|
|
void swap(SkAutoTArray& other) {
|
|
SkTSwap(fArray, other.fArray);
|
|
SkDEBUGCODE(SkTSwap(fCount, other.fCount));
|
|
}
|
|
|
|
private:
|
|
T* fArray;
|
|
SkDEBUGCODE(int fCount;)
|
|
};
|
|
|
|
/** Wraps SkAutoTArray, with room for kCountRequested elements preallocated.
|
|
*/
|
|
template <int kCountRequested, typename T> class SkAutoSTArray : SkNoncopyable {
|
|
public:
|
|
/** Initialize with no objects */
|
|
SkAutoSTArray() {
|
|
fArray = NULL;
|
|
fCount = 0;
|
|
}
|
|
|
|
/** Allocate count number of T elements
|
|
*/
|
|
SkAutoSTArray(int count) {
|
|
fArray = NULL;
|
|
fCount = 0;
|
|
this->reset(count);
|
|
}
|
|
|
|
~SkAutoSTArray() {
|
|
this->reset(0);
|
|
}
|
|
|
|
/** Destroys previous objects in the array and default constructs count number of objects */
|
|
void reset(int count) {
|
|
T* start = fArray;
|
|
T* iter = start + fCount;
|
|
while (iter > start) {
|
|
(--iter)->~T();
|
|
}
|
|
|
|
SkASSERT(count >= 0);
|
|
if (fCount != count) {
|
|
if (fCount > kCount) {
|
|
// 'fArray' was allocated last time so free it now
|
|
SkASSERT((T*) fStorage != fArray);
|
|
sk_free(fArray);
|
|
}
|
|
|
|
if (count > kCount) {
|
|
const uint64_t size64 = sk_64_mul(count, sizeof(T));
|
|
const size_t size = static_cast<size_t>(size64);
|
|
if (size != size64) {
|
|
sk_out_of_memory();
|
|
}
|
|
fArray = (T*) sk_malloc_throw(size);
|
|
} else if (count > 0) {
|
|
fArray = (T*) fStorage;
|
|
} else {
|
|
fArray = NULL;
|
|
}
|
|
|
|
fCount = count;
|
|
}
|
|
|
|
iter = fArray;
|
|
T* stop = fArray + count;
|
|
while (iter < stop) {
|
|
new (iter++) T;
|
|
}
|
|
}
|
|
|
|
/** Return the number of T elements in the array
|
|
*/
|
|
int count() const { return fCount; }
|
|
|
|
/** Return the array of T elements. Will be NULL if count == 0
|
|
*/
|
|
T* get() const { return fArray; }
|
|
|
|
T* begin() { return fArray; }
|
|
|
|
const T* begin() const { return fArray; }
|
|
|
|
T* end() { return fArray + fCount; }
|
|
|
|
const T* end() const { return fArray + fCount; }
|
|
|
|
/** Return the nth element in the array
|
|
*/
|
|
T& operator[](int index) const {
|
|
SkASSERT(index < fCount);
|
|
return fArray[index];
|
|
}
|
|
|
|
private:
|
|
#if defined(GOOGLE3)
|
|
// Stack frame size is limited for GOOGLE3. 4k is less than the actual max, but some functions
|
|
// have multiple large stack allocations.
|
|
static const int kMaxBytes = 4 * 1024;
|
|
static const int kCount = kCountRequested * sizeof(T) > kMaxBytes
|
|
? kMaxBytes / sizeof(T)
|
|
: kCountRequested;
|
|
#else
|
|
static const int kCount = kCountRequested;
|
|
#endif
|
|
|
|
int fCount;
|
|
T* fArray;
|
|
// since we come right after fArray, fStorage should be properly aligned
|
|
char fStorage[kCount * sizeof(T)];
|
|
};
|
|
|
|
/** Manages an array of T elements, freeing the array in the destructor.
|
|
* Does NOT call any constructors/destructors on T (T must be POD).
|
|
*/
|
|
template <typename T> class SkAutoTMalloc : SkNoncopyable {
|
|
public:
|
|
/** Takes ownership of the ptr. The ptr must be a value which can be passed to sk_free. */
|
|
explicit SkAutoTMalloc(T* ptr = NULL) {
|
|
fPtr = ptr;
|
|
}
|
|
|
|
/** Allocates space for 'count' Ts. */
|
|
explicit SkAutoTMalloc(size_t count) {
|
|
fPtr = count ? (T*)sk_malloc_flags(count * sizeof(T), SK_MALLOC_THROW) : nullptr;
|
|
}
|
|
|
|
SkAutoTMalloc(SkAutoTMalloc<T>&& that) : fPtr(that.release()) {}
|
|
|
|
~SkAutoTMalloc() {
|
|
sk_free(fPtr);
|
|
}
|
|
|
|
/** Resize the memory area pointed to by the current ptr preserving contents. */
|
|
void realloc(size_t count) {
|
|
if (count) {
|
|
fPtr = reinterpret_cast<T*>(sk_realloc_throw(fPtr, count * sizeof(T)));
|
|
} else {
|
|
this->reset(0);
|
|
}
|
|
}
|
|
|
|
/** Resize the memory area pointed to by the current ptr without preserving contents. */
|
|
T* reset(size_t count = 0) {
|
|
sk_free(fPtr);
|
|
fPtr = count ? (T*)sk_malloc_flags(count * sizeof(T), SK_MALLOC_THROW) : nullptr;
|
|
return fPtr;
|
|
}
|
|
|
|
T* get() const { return fPtr; }
|
|
|
|
operator T*() {
|
|
return fPtr;
|
|
}
|
|
|
|
operator const T*() const {
|
|
return fPtr;
|
|
}
|
|
|
|
T& operator[](int index) {
|
|
return fPtr[index];
|
|
}
|
|
|
|
const T& operator[](int index) const {
|
|
return fPtr[index];
|
|
}
|
|
|
|
SkAutoTMalloc& operator=(SkAutoTMalloc<T>&& that) {
|
|
sk_free(fPtr);
|
|
fPtr = that.release();
|
|
return *this;
|
|
}
|
|
|
|
/**
|
|
* Transfer ownership of the ptr to the caller, setting the internal
|
|
* pointer to NULL. Note that this differs from get(), which also returns
|
|
* the pointer, but it does not transfer ownership.
|
|
*/
|
|
T* release() {
|
|
T* ptr = fPtr;
|
|
fPtr = NULL;
|
|
return ptr;
|
|
}
|
|
|
|
private:
|
|
T* fPtr;
|
|
};
|
|
|
|
template <size_t kCountRequested, typename T> class SkAutoSTMalloc : SkNoncopyable {
|
|
public:
|
|
SkAutoSTMalloc() : fPtr(fTStorage) {}
|
|
|
|
SkAutoSTMalloc(size_t count) {
|
|
if (count > kCount) {
|
|
fPtr = (T*)sk_malloc_flags(count * sizeof(T), SK_MALLOC_THROW | SK_MALLOC_TEMP);
|
|
} else if (count) {
|
|
fPtr = fTStorage;
|
|
} else {
|
|
fPtr = nullptr;
|
|
}
|
|
}
|
|
|
|
~SkAutoSTMalloc() {
|
|
if (fPtr != fTStorage) {
|
|
sk_free(fPtr);
|
|
}
|
|
}
|
|
|
|
// doesn't preserve contents
|
|
T* reset(size_t count) {
|
|
if (fPtr != fTStorage) {
|
|
sk_free(fPtr);
|
|
}
|
|
if (count > kCount) {
|
|
fPtr = (T*)sk_malloc_throw(count * sizeof(T));
|
|
} else if (count) {
|
|
fPtr = fTStorage;
|
|
} else {
|
|
fPtr = nullptr;
|
|
}
|
|
return fPtr;
|
|
}
|
|
|
|
T* get() const { return fPtr; }
|
|
|
|
operator T*() {
|
|
return fPtr;
|
|
}
|
|
|
|
operator const T*() const {
|
|
return fPtr;
|
|
}
|
|
|
|
T& operator[](int index) {
|
|
return fPtr[index];
|
|
}
|
|
|
|
const T& operator[](int index) const {
|
|
return fPtr[index];
|
|
}
|
|
|
|
// Reallocs the array, can be used to shrink the allocation. Makes no attempt to be intelligent
|
|
void realloc(size_t count) {
|
|
if (count > kCount) {
|
|
if (fPtr == fTStorage) {
|
|
fPtr = (T*)sk_malloc_throw(count * sizeof(T));
|
|
memcpy(fPtr, fTStorage, kCount * sizeof(T));
|
|
} else {
|
|
fPtr = (T*)sk_realloc_throw(fPtr, count * sizeof(T));
|
|
}
|
|
} else if (count) {
|
|
if (fPtr != fTStorage) {
|
|
fPtr = (T*)sk_realloc_throw(fPtr, count * sizeof(T));
|
|
}
|
|
} else {
|
|
this->reset(0);
|
|
}
|
|
}
|
|
|
|
private:
|
|
// Since we use uint32_t storage, we might be able to get more elements for free.
|
|
static const size_t kCountWithPadding = SkAlign4(kCountRequested*sizeof(T)) / sizeof(T);
|
|
#if defined(GOOGLE3)
|
|
// Stack frame size is limited for GOOGLE3. 4k is less than the actual max, but some functions
|
|
// have multiple large stack allocations.
|
|
static const size_t kMaxBytes = 4 * 1024;
|
|
static const size_t kCount = kCountRequested * sizeof(T) > kMaxBytes
|
|
? kMaxBytes / sizeof(T)
|
|
: kCountWithPadding;
|
|
#else
|
|
static const size_t kCount = kCountWithPadding;
|
|
#endif
|
|
|
|
T* fPtr;
|
|
union {
|
|
uint32_t fStorage32[SkAlign4(kCount*sizeof(T)) >> 2];
|
|
T fTStorage[1]; // do NOT want to invoke T::T()
|
|
};
|
|
};
|
|
|
|
//////////////////////////////////////////////////////////////////////////////////////////////////
|
|
|
|
/**
|
|
* Pass the object and the storage that was offered during SkInPlaceNewCheck, and this will
|
|
* safely destroy (and free if it was dynamically allocated) the object.
|
|
*/
|
|
template <typename T> void SkInPlaceDeleteCheck(T* obj, void* storage) {
|
|
if (storage == obj) {
|
|
obj->~T();
|
|
} else {
|
|
delete obj;
|
|
}
|
|
}
|
|
|
|
/**
|
|
* Allocates T, using storage if it is large enough, and allocating on the heap (via new) if
|
|
* storage is not large enough.
|
|
*
|
|
* obj = SkInPlaceNewCheck<Type>(storage, size);
|
|
* ...
|
|
* SkInPlaceDeleteCheck(obj, storage);
|
|
*/
|
|
template <typename T> T* SkInPlaceNewCheck(void* storage, size_t size) {
|
|
return (sizeof(T) <= size) ? new (storage) T : new T;
|
|
}
|
|
|
|
template <typename T, typename A1, typename A2, typename A3>
|
|
T* SkInPlaceNewCheck(void* storage, size_t size, const A1& a1, const A2& a2, const A3& a3) {
|
|
return (sizeof(T) <= size) ? new (storage) T(a1, a2, a3) : new T(a1, a2, a3);
|
|
}
|
|
|
|
template <typename T, typename A1, typename A2, typename A3, typename A4>
|
|
T* SkInPlaceNewCheck(void* storage, size_t size,
|
|
const A1& a1, const A2& a2, const A3& a3, const A4& a4) {
|
|
return (sizeof(T) <= size) ? new (storage) T(a1, a2, a3, a4) : new T(a1, a2, a3, a4);
|
|
}
|
|
|
|
/**
|
|
* Reserves memory that is aligned on double and pointer boundaries.
|
|
* Hopefully this is sufficient for all practical purposes.
|
|
*/
|
|
template <size_t N> class SkAlignedSStorage : SkNoncopyable {
|
|
public:
|
|
size_t size() const { return N; }
|
|
void* get() { return fData; }
|
|
const void* get() const { return fData; }
|
|
|
|
private:
|
|
union {
|
|
void* fPtr;
|
|
double fDouble;
|
|
char fData[N];
|
|
};
|
|
};
|
|
|
|
/**
|
|
* Reserves memory that is aligned on double and pointer boundaries.
|
|
* Hopefully this is sufficient for all practical purposes. Otherwise,
|
|
* we have to do some arcane trickery to determine alignment of non-POD
|
|
* types. Lifetime of the memory is the lifetime of the object.
|
|
*/
|
|
template <int N, typename T> class SkAlignedSTStorage : SkNoncopyable {
|
|
public:
|
|
/**
|
|
* Returns void* because this object does not initialize the
|
|
* memory. Use placement new for types that require a cons.
|
|
*/
|
|
void* get() { return fStorage.get(); }
|
|
const void* get() const { return fStorage.get(); }
|
|
private:
|
|
SkAlignedSStorage<sizeof(T)*N> fStorage;
|
|
};
|
|
|
|
using SkAutoFree = std::unique_ptr<void, SkFunctionWrapper<void, void, sk_free>>;
|
|
|
|
#endif
|