blob: 1a0d43b994aa869c691a6d06ca7c08d47c30a9ef [file] [log] [blame]
Brian Osman7c979f52019-02-12 13:27:51 -05001/*
2* Copyright 2019 Google LLC
3*
4* Use of this source code is governed by a BSD-style license that can be
5* found in the LICENSE file.
6*/
7
8#ifndef SkReflected_DEFINED
9#define SkReflected_DEFINED
10
11#include "SkColor.h"
Brian Osman7c979f52019-02-12 13:27:51 -050012#include "SkRefCnt.h"
Brian Osman7c979f52019-02-12 13:27:51 -050013#include "SkTArray.h"
14
Brian Osmane5d532e2019-02-26 14:58:40 -050015#include <string.h>
16
Brian Osmanbdcdf1a2019-03-04 10:55:22 -050017struct SkCurve;
Brian Osman7c979f52019-02-12 13:27:51 -050018class SkFieldVisitor;
Brian Osmand0c1bd42019-03-06 16:56:58 -050019struct SkPoint;
20class SkString;
Brian Osman7c979f52019-02-12 13:27:51 -050021
Brian Osman23b96c02019-02-19 13:04:40 -050022/**
23 * Classes and macros for a lightweight reflection system.
24 *
25 * Classes that derive from SkReflected have several features:
26 * - Access to an SkReflected::Type instance, via static GetType() or virtual getType()
27 * The Type instance can be used to create additional instances (fFactory), get the name
28 * of the type, and answer queries of the form "is X derived from Y".
29 * - Given a string containing a type name, SkReflected can create an instance of that type.
Brian Osmanb77d5022019-03-06 11:08:48 -050030 * - SkReflected::VisitTypes can be used to enumerate all Types.
Brian Osman23b96c02019-02-19 13:04:40 -050031 *
32 * Together, this simplifies the implementation of serialization and other dynamic type factories.
33 *
34 * Finally, all SkReflected-derived types must implement visitFields, which provides field-level
35 * reflection, in conjunction with SkFieldVisitor. See SkFieldVisitor, below.
36 *
37 * To create a new reflected class:
38 * - Derive the class (directly or indirectly) from SkReflected.
39 * - Ensure that the class can be default constructed.
40 * - In the public area of the class declaration, add REFLECTED(<ClassName>, <BaseClassName>).
41 * If the class is abstract, use REFLECTED_ABSTRACT(<ClassName>, <BaseClassName>) instead.
42 * - Add a one-time call to REGISTER_REFLECTED(<ClassName>) at initialization time.
43 * - Implement visitFields(), as described below.
44 */
Brian Osman7c979f52019-02-12 13:27:51 -050045class SkReflected : public SkRefCnt {
46public:
47 typedef sk_sp<SkReflected>(*Factory)();
48 struct Type {
49 const char* fName;
50 const Type* fBase;
51 Factory fFactory;
Brian Osman93c47cc2019-03-06 15:00:36 -050052 bool fRegistered = false;
Brian Osman7c979f52019-02-12 13:27:51 -050053
54 bool isDerivedFrom(const Type* t) const {
55 const Type* base = fBase;
56 while (base) {
57 if (base == t) {
58 return true;
59 }
60 base = base->fBase;
61 }
62 return false;
63 }
64 };
65
66 virtual const Type* getType() const = 0;
67 static const Type* GetType() {
68 static Type gType{ "SkReflected", nullptr, nullptr };
Brian Osman93c47cc2019-03-06 15:00:36 -050069 RegisterOnce(&gType);
Brian Osman7c979f52019-02-12 13:27:51 -050070 return &gType;
71 }
72
73 bool isOfType(const Type* t) const {
74 const Type* thisType = this->getType();
75 return thisType == t || thisType->isDerivedFrom(t);
76 }
77
Brian Osman7c979f52019-02-12 13:27:51 -050078 static sk_sp<SkReflected> CreateInstance(const char* name) {
79 for (const Type* type : gTypes) {
80 if (0 == strcmp(name, type->fName)) {
81 return type->fFactory();
82 }
83 }
84 return nullptr;
85 }
86
87 virtual void visitFields(SkFieldVisitor*) = 0;
88
Brian Osmanb77d5022019-03-06 11:08:48 -050089 static void VisitTypes(std::function<void(const Type*)> visitor);
90
Brian Osman93c47cc2019-03-06 15:00:36 -050091protected:
92 static void RegisterOnce(Type* type) {
93 if (!type->fRegistered) {
94 gTypes.push_back(type);
95 type->fRegistered = true;
96 }
97 }
98
Brian Osman7c979f52019-02-12 13:27:51 -050099private:
100 static SkSTArray<16, const Type*, true> gTypes;
101};
102
103#define REFLECTED(TYPE, BASE) \
104 static sk_sp<SkReflected> CreateProc() { \
105 return sk_sp<SkReflected>(new TYPE()); \
106 } \
107 static const Type* GetType() { \
108 static Type gType{ #TYPE, BASE::GetType(), CreateProc }; \
Brian Osman93c47cc2019-03-06 15:00:36 -0500109 RegisterOnce(&gType); \
Brian Osman7c979f52019-02-12 13:27:51 -0500110 return &gType; \
111 } \
112 const Type* getType() const override { return GetType(); }
113
114#define REFLECTED_ABSTRACT(TYPE, BASE) \
115 static const Type* GetType() { \
116 static Type gType{ #TYPE, BASE::GetType(), nullptr }; \
Brian Osman93c47cc2019-03-06 15:00:36 -0500117 RegisterOnce(&gType); \
Brian Osman7c979f52019-02-12 13:27:51 -0500118 return &gType; \
119 } \
120 const Type* getType() const override { return GetType(); }
121
Brian Osman93c47cc2019-03-06 15:00:36 -0500122#define REGISTER_REFLECTED(TYPE) TYPE::GetType()
Brian Osman7c979f52019-02-12 13:27:51 -0500123
124///////////////////////////////////////////////////////////////////////////////
125
Brian Osman23b96c02019-02-19 13:04:40 -0500126/**
127 * SkFieldVisitor is an interface that can be implemented by any class to visit all fields of
128 * SkReflected types, and of types that implement the visitFields() function.
129 *
130 * Classes implementing the interface must supply implementations of virtual functions that visit
131 * basic types (float, int, bool, SkString, etc...), as well as helper methods for entering the
132 * scope of an object or array.
133 *
134 * All visit functions supply a field name, and a non-constant reference to an actual field.
135 * This allows visitors to serialize or deserialize collections of objects, or perform edits on
136 * existing objects.
137 *
138 * Classes that implement visitFields (typically derived from SkReflected) should simply call
139 * visit() for each of their fields, passing a (unique) field name, and the actual field. If your
140 * class has derived fields, it's best to only visit() the fields that you would serialize, then
141 * enforce any constraints afterwards.
142 *
143 * See SkParticleSerialization.h for example visitors that perform serialization to and from JSON.
144 */
Brian Osman7c979f52019-02-12 13:27:51 -0500145class SkFieldVisitor {
146public:
147 virtual ~SkFieldVisitor() {}
148
Brian Osman23b96c02019-02-19 13:04:40 -0500149 // Visit functions for primitive types, to be implemented by derived visitors.
Brian Osman2991cbe2019-02-19 10:45:56 -0500150 virtual void visit(const char*, float&) = 0;
151 virtual void visit(const char*, int&) = 0;
152 virtual void visit(const char*, bool&) = 0;
153 virtual void visit(const char*, SkString&) = 0;
Brian Osman7c979f52019-02-12 13:27:51 -0500154
Brian Osman2991cbe2019-02-19 10:45:56 -0500155 virtual void visit(const char*, SkPoint&) = 0;
156 virtual void visit(const char*, SkColor4f&) = 0;
Brian Osman7c979f52019-02-12 13:27:51 -0500157
Brian Osmane5d532e2019-02-26 14:58:40 -0500158 // Accommodation for enums, where caller can supply a value <-> string map
159 struct EnumStringMapping {
160 int fValue;
161 const char* fName;
162 };
163 virtual void visit(const char*, int&, const EnumStringMapping*, int count) = 0;
164
Brian Osman23b96c02019-02-19 13:04:40 -0500165 // Specific virtual signature for SkCurve, to allow for heavily customized UI in SkGuiVisitor.
Brian Osmanbdcdf1a2019-03-04 10:55:22 -0500166 virtual void visit(const char* name, SkCurve& c);
Brian Osman112aa2d2019-02-15 10:45:56 -0500167
Brian Osman23b96c02019-02-19 13:04:40 -0500168 // Default visit function for structs with no special behavior. It is assumed that any such
169 // struct implements visitFields(SkFieldVisitor*) to recursively visit each of its fields.
Brian Osman7c979f52019-02-12 13:27:51 -0500170 template <typename T>
171 void visit(const char* name, T& value) {
172 this->enterObject(name);
173 value.visitFields(this);
174 this->exitObject();
175 }
176
Brian Osman23b96c02019-02-19 13:04:40 -0500177 // Specialization for SkTArrays. In conjunction with the enterArray/exitArray virtuals, this
178 // allows visitors to resize an array (for deserialization), and apply a single edit operation
179 // (remove or move a single element). Each element of the array is visited as normal.
Brian Osman5de7ea42019-02-14 13:23:51 -0500180 template <typename T, bool MEM_MOVE>
181 void visit(const char* name, SkTArray<T, MEM_MOVE>& arr) {
182 arr.resize_back(this->enterArray(name, arr.count()));
183 for (int i = 0; i < arr.count(); ++i) {
184 this->visit(nullptr, arr[i]);
Brian Osman7c979f52019-02-12 13:27:51 -0500185 }
Brian Osman5de7ea42019-02-14 13:23:51 -0500186 this->exitArray().apply(arr);
Brian Osman7c979f52019-02-12 13:27:51 -0500187 }
188
Brian Osman23b96c02019-02-19 13:04:40 -0500189 // Specialization for sk_sp pointers to types derived from SkReflected. Those types are known
190 // to implement visitFields. This allows the visitor to modify the contents of the object, or
191 // even replace it with an entirely new object. The virtual function uses SkReflected as a
192 // common type, but uses SkReflected::Type to communicate the required base-class. In this way,
193 // the new object can be verified to match the type of the original (templated) pointer.
Brian Osman7c979f52019-02-12 13:27:51 -0500194 template <typename T>
195 void visit(const char* name, sk_sp<T>& obj) {
196 this->enterObject(name);
197
198 sk_sp<SkReflected> newObj = obj;
199 this->visit(newObj, T::GetType());
200 if (newObj != obj) {
201 if (!newObj || newObj->isOfType(T::GetType())) {
202 obj.reset(static_cast<T*>(newObj.release()));
203 } else {
204 obj.reset();
205 }
206 }
207
208 if (obj) {
209 obj->visitFields(this);
210 }
211 this->exitObject();
212 }
213
214protected:
Brian Osman23b96c02019-02-19 13:04:40 -0500215 // Helper struct to allow exitArray to specify a single operation performed on the array.
Brian Osman5de7ea42019-02-14 13:23:51 -0500216 struct ArrayEdit {
217 enum class Verb {
218 kNone,
219 kRemove,
220 kMoveForward,
221 };
222
223 Verb fVerb = Verb::kNone;
224 int fIndex = 0;
225
226 template <typename T, bool MEM_MOVE>
227 void apply(SkTArray<T, MEM_MOVE>& arr) const {
228 switch (fVerb) {
229 case Verb::kNone:
230 break;
231 case Verb::kRemove:
232 for (int i = fIndex; i < arr.count() - 1; ++i) {
233 arr[i] = arr[i + 1];
234 }
235 arr.pop_back();
236 break;
237 case Verb::kMoveForward:
238 if (fIndex > 0 && fIndex < arr.count()) {
239 std::swap(arr[fIndex - 1], arr[fIndex]);
240 }
241 break;
242 }
243 }
244 };
245
Brian Osmane5d532e2019-02-26 14:58:40 -0500246 static const char* EnumToString(int value, const EnumStringMapping* map, int count) {
247 for (int i = 0; i < count; ++i) {
248 if (map[i].fValue == value) {
249 return map[i].fName;
250 }
251 }
252 return nullptr;
253 }
254 static int StringToEnum(const char* str, const EnumStringMapping* map, int count) {
255 for (int i = 0; i < count; ++i) {
256 if (0 == strcmp(str, map[i].fName)) {
257 return map[i].fValue;
258 }
259 }
260 return -1;
261 }
262
Brian Osman7c979f52019-02-12 13:27:51 -0500263 virtual void enterObject(const char* name) = 0;
264 virtual void exitObject() = 0;
Brian Osman5de7ea42019-02-14 13:23:51 -0500265
266 virtual int enterArray(const char* name, int oldCount) = 0;
267 virtual ArrayEdit exitArray() = 0;
268
Brian Osman7c979f52019-02-12 13:27:51 -0500269 virtual void visit(sk_sp<SkReflected>&, const SkReflected::Type* baseType) = 0;
Brian Osman7c979f52019-02-12 13:27:51 -0500270};
271
272#endif // SkReflected_DEFINED