2 * Copyright 2014 Facebook, Inc.
4 * Licensed under the Apache License, Version 2.0 (the "License");
5 * you may not use this file except in compliance with the License.
6 * You may obtain a copy of the License at
8 * http://www.apache.org/licenses/LICENSE-2.0
10 * Unless required by applicable law or agreed to in writing, software
11 * distributed under the License is distributed on an "AS IS" BASIS,
12 * WITHOUT WARRANTIES OR CONDITIONS OF ANY KIND, either express or implied.
13 * See the License for the specific language governing permissions and
14 * limitations under the License.
17 #ifndef FOLLY_DYNAMIC_INL_H_
18 #define FOLLY_DYNAMIC_INL_H_
21 #include <boost/iterator/iterator_adaptor.hpp>
22 #include <boost/iterator/iterator_facade.hpp>
23 #include <folly/Likely.h>
24 #include <folly/Conv.h>
25 #include <folly/Format.h>
27 //////////////////////////////////////////////////////////////////////
32 struct hash< ::folly::dynamic> {
33 size_t operator()(::folly::dynamic const& d) const {
40 //////////////////////////////////////////////////////////////////////
42 // This is a higher-order preprocessor macro to aid going from runtime
43 // types to the compile time type system.
44 #define FB_DYNAMIC_APPLY(type, apply) do { \
46 case NULLT: apply(void*); break; \
47 case ARRAY: apply(Array); break; \
48 case BOOL: apply(bool); break; \
49 case DOUBLE: apply(double); break; \
50 case INT64: apply(int64_t); break; \
51 case OBJECT: apply(ObjectImpl); break; \
52 case STRING: apply(fbstring); break; \
53 default: CHECK(0); abort(); \
57 //////////////////////////////////////////////////////////////////////
61 struct TypeError : std::runtime_error {
62 explicit TypeError(const std::string& expected, dynamic::Type actual)
63 : std::runtime_error(to<std::string>("TypeError: expected dynamic "
64 "type `", expected, '\'', ", but had type `",
65 dynamic::typeName(actual), '\''))
67 explicit TypeError(const std::string& expected,
68 dynamic::Type actual1, dynamic::Type actual2)
69 : std::runtime_error(to<std::string>("TypeError: expected dynamic "
70 "types `", expected, '\'', ", but had types `",
71 dynamic::typeName(actual1), "' and `", dynamic::typeName(actual2),
77 //////////////////////////////////////////////////////////////////////
81 // This helper is used in destroy() to be able to run destructors on
82 // types like "int64_t" without a compiler error.
84 template<class T> static void destroy(T* t) { t->~T(); }
88 * The enable_if junk here is necessary to avoid ambiguous
89 * conversions relating to bool and double when you implicitly
90 * convert an int or long to a dynamic.
92 template<class T, class Enable = void> struct ConversionHelper;
94 struct ConversionHelper<
96 typename std::enable_if<
97 std::is_integral<T>::value && !std::is_same<T,bool>::value
100 typedef int64_t type;
103 struct ConversionHelper<
105 typename std::enable_if<
106 (!std::is_integral<T>::value || std::is_same<T,bool>::value) &&
107 !std::is_same<T,std::nullptr_t>::value
113 struct ConversionHelper<
115 typename std::enable_if<
116 std::is_same<T,std::nullptr_t>::value
123 * Helper for implementing numeric conversions in operators on
124 * numbers. Just promotes to double when one of the arguments is
125 * double, or throws if either is not a numeric type.
127 template<template<class> class Op>
128 dynamic numericOp(dynamic const& a, dynamic const& b) {
129 if (!a.isNumber() || !b.isNumber()) {
130 throw TypeError("numeric", a.type(), b.type());
132 if (a.type() != b.type()) {
133 auto& integ = a.isInt() ? a : b;
134 auto& nonint = a.isInt() ? b : a;
135 return Op<double>()(to<double>(integ.asInt()), nonint.asDouble());
138 return Op<double>()(a.asDouble(), b.asDouble());
140 return Op<int64_t>()(a.asInt(), b.asInt());
145 //////////////////////////////////////////////////////////////////////
148 * We're doing this instead of a simple member typedef to avoid the
149 * undefined behavior of parameterizing std::unordered_map<> with an
152 * Note: Later we may add separate order tracking here (a multi-index
155 struct dynamic::ObjectImpl : std::unordered_map<dynamic, dynamic> {};
157 //////////////////////////////////////////////////////////////////////
159 // Helper object for creating objects conveniently. See object and
160 // the dynamic::dynamic(ObjectMaker&&) ctor.
161 struct dynamic::ObjectMaker {
162 friend struct dynamic;
164 explicit ObjectMaker() : val_(dynamic::object) {}
165 explicit ObjectMaker(dynamic const& key, dynamic val)
166 : val_(dynamic::object)
168 val_.insert(key, std::move(val));
170 explicit ObjectMaker(dynamic&& key, dynamic val)
171 : val_(dynamic::object)
173 val_.insert(std::move(key), std::move(val));
176 // Make sure no one tries to save one of these into an lvalue with
177 // auto or anything like that.
178 ObjectMaker(ObjectMaker&&) = default;
179 ObjectMaker(ObjectMaker const&) = delete;
180 ObjectMaker& operator=(ObjectMaker const&) = delete;
181 ObjectMaker& operator=(ObjectMaker&&) = delete;
183 // These return rvalue-references instead of lvalue-references to allow
184 // constructs like this to moved instead of copied:
185 // dynamic a = dynamic::object("a", "b")("c", "d")
186 ObjectMaker&& operator()(dynamic const& key, dynamic val) {
187 val_.insert(key, std::move(val));
188 return std::move(*this);
191 ObjectMaker&& operator()(dynamic&& key, dynamic val) {
192 val_.insert(std::move(key), std::move(val));
193 return std::move(*this);
200 // This looks like a case for perfect forwarding, but our use of
201 // std::initializer_list for constructing dynamic arrays makes it less
202 // functional than doing this manually.
203 inline dynamic::ObjectMaker dynamic::object() { return ObjectMaker(); }
204 inline dynamic::ObjectMaker dynamic::object(dynamic&& a, dynamic&& b) {
205 return ObjectMaker(std::move(a), std::move(b));
207 inline dynamic::ObjectMaker dynamic::object(dynamic const& a, dynamic&& b) {
208 return ObjectMaker(a, std::move(b));
210 inline dynamic::ObjectMaker dynamic::object(dynamic&& a, dynamic const& b) {
211 return ObjectMaker(std::move(a), b);
213 inline dynamic::ObjectMaker
214 dynamic::object(dynamic const& a, dynamic const& b) {
215 return ObjectMaker(a, b);
218 //////////////////////////////////////////////////////////////////////
220 struct dynamic::const_item_iterator
221 : boost::iterator_adaptor<dynamic::const_item_iterator,
222 dynamic::ObjectImpl::const_iterator> {
223 /* implicit */ const_item_iterator(base_type b) : iterator_adaptor_(b) { }
226 friend class boost::iterator_core_access;
229 struct dynamic::const_key_iterator
230 : boost::iterator_adaptor<dynamic::const_key_iterator,
231 dynamic::ObjectImpl::const_iterator,
233 /* implicit */ const_key_iterator(base_type b) : iterator_adaptor_(b) { }
236 dynamic const& dereference() const {
237 return base_reference()->first;
239 friend class boost::iterator_core_access;
242 struct dynamic::const_value_iterator
243 : boost::iterator_adaptor<dynamic::const_value_iterator,
244 dynamic::ObjectImpl::const_iterator,
246 /* implicit */ const_value_iterator(base_type b) : iterator_adaptor_(b) { }
249 dynamic const& dereference() const {
250 return base_reference()->second;
252 friend class boost::iterator_core_access;
255 //////////////////////////////////////////////////////////////////////
257 inline dynamic::dynamic(ObjectMaker (*)())
260 new (getAddress<ObjectImpl>()) ObjectImpl();
263 inline dynamic::dynamic(StringPiece s)
266 new (&u_.string) fbstring(s.data(), s.size());
269 inline dynamic::dynamic(char const* s)
272 new (&u_.string) fbstring(s);
275 inline dynamic::dynamic(std::string const& s)
278 new (&u_.string) fbstring(s);
281 inline dynamic::dynamic(fbstring const& s)
284 new (&u_.string) fbstring(s);
287 inline dynamic::dynamic(fbstring&& s)
290 new (&u_.string) fbstring(std::move(s));
293 inline dynamic::dynamic(std::initializer_list<dynamic> il)
296 new (&u_.array) Array(il.begin(), il.end());
299 inline dynamic::dynamic(ObjectMaker&& maker)
302 new (getAddress<ObjectImpl>())
303 ObjectImpl(std::move(*maker.val_.getAddress<ObjectImpl>()));
306 inline dynamic::dynamic(dynamic const& o)
312 inline dynamic::dynamic(dynamic&& o) noexcept
315 *this = std::move(o);
318 inline dynamic::~dynamic() noexcept { destroy(); }
321 dynamic::dynamic(T t) {
322 typedef typename detail::ConversionHelper<T>::type U;
323 type_ = TypeInfo<U>::type;
324 new (getAddress<U>()) U(std::move(t));
327 template<class Iterator>
328 dynamic::dynamic(Iterator first, Iterator last)
331 new (&u_.array) Array(first, last);
334 //////////////////////////////////////////////////////////////////////
336 inline dynamic::const_iterator dynamic::begin() const {
337 return get<Array>().begin();
339 inline dynamic::const_iterator dynamic::end() const {
340 return get<Array>().end();
344 struct dynamic::IterableProxy {
345 typedef It const_iterator;
346 typedef typename It::value_type value_type;
348 /* implicit */ IterableProxy(const dynamic::ObjectImpl* o) : o_(o) { }
359 const dynamic::ObjectImpl* o_;
362 inline dynamic::IterableProxy<dynamic::const_key_iterator> dynamic::keys()
364 return &(get<ObjectImpl>());
367 inline dynamic::IterableProxy<dynamic::const_value_iterator> dynamic::values()
369 return &(get<ObjectImpl>());
372 inline dynamic::IterableProxy<dynamic::const_item_iterator> dynamic::items()
374 return &(get<ObjectImpl>());
377 inline bool dynamic::isString() const { return get_nothrow<fbstring>(); }
378 inline bool dynamic::isObject() const { return get_nothrow<ObjectImpl>(); }
379 inline bool dynamic::isBool() const { return get_nothrow<bool>(); }
380 inline bool dynamic::isArray() const { return get_nothrow<Array>(); }
381 inline bool dynamic::isDouble() const { return get_nothrow<double>(); }
382 inline bool dynamic::isInt() const { return get_nothrow<int64_t>(); }
383 inline bool dynamic::isNull() const { return get_nothrow<void*>(); }
384 inline bool dynamic::isNumber() const { return isInt() || isDouble(); }
386 inline dynamic::Type dynamic::type() const {
390 inline fbstring dynamic::asString() const { return asImpl<fbstring>(); }
391 inline double dynamic::asDouble() const { return asImpl<double>(); }
392 inline int64_t dynamic::asInt() const { return asImpl<int64_t>(); }
393 inline bool dynamic::asBool() const { return asImpl<bool>(); }
395 inline const fbstring& dynamic::getString() const { return get<fbstring>(); }
396 inline double dynamic::getDouble() const { return get<double>(); }
397 inline int64_t dynamic::getInt() const { return get<int64_t>(); }
398 inline bool dynamic::getBool() const { return get<bool>(); }
400 inline fbstring& dynamic::getString() { return get<fbstring>(); }
401 inline double& dynamic::getDouble() { return get<double>(); }
402 inline int64_t& dynamic::getInt() { return get<int64_t>(); }
403 inline bool& dynamic::getBool() { return get<bool>(); }
405 inline const char* dynamic::data() const { return get<fbstring>().data(); }
406 inline const char* dynamic::c_str() const { return get<fbstring>().c_str(); }
407 inline StringPiece dynamic::stringPiece() const { return get<fbstring>(); }
410 struct dynamic::CompareOp {
411 static bool comp(T const& a, T const& b) { return a < b; }
414 struct dynamic::CompareOp<dynamic::ObjectImpl> {
415 static bool comp(ObjectImpl const& a, ObjectImpl const& b) {
416 // This code never executes; it is just here for the compiler.
421 inline bool dynamic::operator<(dynamic const& o) const {
422 if (UNLIKELY(type_ == OBJECT || o.type_ == OBJECT)) {
423 throw TypeError("object", type_);
425 if (type_ != o.type_) {
426 return type_ < o.type_;
429 #define FB_X(T) return CompareOp<T>::comp(*getAddress<T>(), \
431 FB_DYNAMIC_APPLY(type_, FB_X);
435 inline bool dynamic::operator==(dynamic const& o) const {
436 if (type() != o.type()) {
437 if (isNumber() && o.isNumber()) {
438 auto& integ = isInt() ? *this : o;
439 auto& doubl = isInt() ? o : *this;
440 return integ.asInt() == doubl.asDouble();
445 #define FB_X(T) return *getAddress<T>() == *o.getAddress<T>();
446 FB_DYNAMIC_APPLY(type_, FB_X);
450 inline dynamic& dynamic::operator+=(dynamic const& o) {
451 if (type() == STRING && o.type() == STRING) {
452 *getAddress<fbstring>() += *o.getAddress<fbstring>();
455 *this = detail::numericOp<std::plus>(*this, o);
459 inline dynamic& dynamic::operator-=(dynamic const& o) {
460 *this = detail::numericOp<std::minus>(*this, o);
464 inline dynamic& dynamic::operator*=(dynamic const& o) {
465 *this = detail::numericOp<std::multiplies>(*this, o);
469 inline dynamic& dynamic::operator/=(dynamic const& o) {
470 *this = detail::numericOp<std::divides>(*this, o);
474 #define FB_DYNAMIC_INTEGER_OP(op) \
475 inline dynamic& dynamic::operator op(dynamic const& o) { \
476 if (!isInt() || !o.isInt()) { \
477 throw TypeError("int64", type(), o.type()); \
479 *getAddress<int64_t>() op o.asInt(); \
483 FB_DYNAMIC_INTEGER_OP(%=)
484 FB_DYNAMIC_INTEGER_OP(|=)
485 FB_DYNAMIC_INTEGER_OP(&=)
486 FB_DYNAMIC_INTEGER_OP(^=)
488 #undef FB_DYNAMIC_INTEGER_OP
490 inline dynamic& dynamic::operator++() {
495 inline dynamic& dynamic::operator--() {
500 inline dynamic& dynamic::operator=(dynamic const& o) {
503 #define FB_X(T) new (getAddress<T>()) T(*o.getAddress<T>())
504 FB_DYNAMIC_APPLY(o.type_, FB_X);
511 inline dynamic& dynamic::operator=(dynamic&& o) noexcept {
514 #define FB_X(T) new (getAddress<T>()) T(std::move(*o.getAddress<T>()))
515 FB_DYNAMIC_APPLY(o.type_, FB_X);
522 inline dynamic& dynamic::operator[](dynamic const& k) {
523 if (!isObject() && !isArray()) {
524 throw TypeError("object/array", type());
529 auto& obj = get<ObjectImpl>();
530 auto ret = obj.insert({k, nullptr});
531 return ret.first->second;
534 inline dynamic const& dynamic::operator[](dynamic const& idx) const {
538 inline dynamic dynamic::getDefault(const dynamic& k, const dynamic& v) const {
539 auto& obj = get<ObjectImpl>();
540 auto it = obj.find(k);
541 return it == obj.end() ? v : it->second;
544 inline dynamic&& dynamic::getDefault(const dynamic& k, dynamic&& v) const {
545 auto& obj = get<ObjectImpl>();
546 auto it = obj.find(k);
547 if (it != obj.end()) {
554 template<class K, class V> inline dynamic& dynamic::setDefault(K&& k, V&& v) {
555 auto& obj = get<ObjectImpl>();
556 return obj.insert(std::make_pair(std::forward<K>(k),
557 std::forward<V>(v))).first->second;
560 inline dynamic* dynamic::get_ptr(dynamic const& idx) {
561 return const_cast<dynamic*>(const_cast<dynamic const*>(this)->get_ptr(idx));
564 inline const dynamic* dynamic::get_ptr(dynamic const& idx) const {
565 if (auto* parray = get_nothrow<Array>()) {
567 throw TypeError("int64", idx.type());
569 if (idx >= parray->size()) {
572 return &(*parray)[idx.asInt()];
573 } else if (auto* pobject = get_nothrow<ObjectImpl>()) {
574 auto it = pobject->find(idx);
575 if (it == pobject->end()) {
580 throw TypeError("object/array", type());
584 inline dynamic& dynamic::at(dynamic const& idx) {
585 return const_cast<dynamic&>(const_cast<dynamic const*>(this)->at(idx));
588 inline dynamic const& dynamic::at(dynamic const& idx) const {
589 if (auto* parray = get_nothrow<Array>()) {
591 throw TypeError("int64", idx.type());
593 if (idx >= parray->size()) {
594 throw std::out_of_range("out of range in dynamic array");
596 return (*parray)[idx.asInt()];
597 } else if (auto* pobject = get_nothrow<ObjectImpl>()) {
598 auto it = pobject->find(idx);
599 if (it == pobject->end()) {
600 throw std::out_of_range(to<std::string>(
601 "couldn't find key ", idx.asString(), " in dynamic object"));
605 throw TypeError("object/array", type());
609 inline bool dynamic::empty() const {
616 inline std::size_t dynamic::size() const {
617 if (auto* ar = get_nothrow<Array>()) {
620 if (auto* obj = get_nothrow<ObjectImpl>()) {
623 if (auto* str = get_nothrow<fbstring>()) {
626 throw TypeError("array/object", type());
629 inline std::size_t dynamic::count(dynamic const& key) const {
630 return find(key) != items().end();
633 inline dynamic::const_item_iterator dynamic::find(dynamic const& key) const {
634 return get<ObjectImpl>().find(key);
637 template<class K, class V> inline void dynamic::insert(K&& key, V&& val) {
638 auto& obj = get<ObjectImpl>();
639 auto rv = obj.insert(std::make_pair(std::forward<K>(key),
640 std::forward<V>(val)));
642 // note, the second use of std:forward<V>(val) is only correct
643 // if the first one did not result in a move. obj[key] = val
644 // would be preferrable but doesn't compile because dynamic
645 // is (intentionally) not default constructable
646 rv.first->second = std::forward<V>(val);
650 inline std::size_t dynamic::erase(dynamic const& key) {
651 auto& obj = get<ObjectImpl>();
652 return obj.erase(key);
655 inline dynamic::const_iterator dynamic::erase(const_iterator it) {
656 auto& arr = get<Array>();
657 // std::vector doesn't have an erase method that works on const iterators,
658 // even though the standard says it should, so this hack converts to a
659 // non-const iterator before calling erase.
660 return get<Array>().erase(arr.begin() + (it - arr.begin()));
663 inline dynamic::const_iterator
664 dynamic::erase(const_iterator first, const_iterator last) {
665 auto& arr = get<Array>();
666 return get<Array>().erase(
667 arr.begin() + (first - arr.begin()),
668 arr.begin() + (last - arr.begin()));
671 inline dynamic::const_key_iterator dynamic::erase(const_key_iterator it) {
672 return const_key_iterator(get<ObjectImpl>().erase(it.base()));
675 inline dynamic::const_key_iterator dynamic::erase(const_key_iterator first,
676 const_key_iterator last) {
677 return const_key_iterator(get<ObjectImpl>().erase(first.base(),
681 inline dynamic::const_value_iterator dynamic::erase(const_value_iterator it) {
682 return const_value_iterator(get<ObjectImpl>().erase(it.base()));
685 inline dynamic::const_value_iterator dynamic::erase(const_value_iterator first,
686 const_value_iterator last) {
687 return const_value_iterator(get<ObjectImpl>().erase(first.base(),
691 inline dynamic::const_item_iterator dynamic::erase(const_item_iterator it) {
692 return const_item_iterator(get<ObjectImpl>().erase(it.base()));
695 inline dynamic::const_item_iterator dynamic::erase(const_item_iterator first,
696 const_item_iterator last) {
697 return const_item_iterator(get<ObjectImpl>().erase(first.base(),
701 inline void dynamic::resize(std::size_t sz, dynamic const& c) {
702 auto& array = get<Array>();
706 inline void dynamic::push_back(dynamic const& v) {
707 auto& array = get<Array>();
711 inline void dynamic::push_back(dynamic&& v) {
712 auto& array = get<Array>();
713 array.push_back(std::move(v));
716 inline void dynamic::pop_back() {
717 auto& array = get<Array>();
721 inline std::size_t dynamic::hash() const {
726 throw TypeError("not null/object/array", type());
728 return std::hash<int64_t>()(asInt());
730 return std::hash<double>()(asDouble());
732 return std::hash<bool>()(asBool());
734 return std::hash<fbstring>()(asString());
740 //////////////////////////////////////////////////////////////////////
742 template<class T> struct dynamic::TypeInfo {
743 static char const name[];
744 static Type const type;
747 #define FB_DEC_TYPE(T) \
748 template<> char const dynamic::TypeInfo<T>::name[]; \
749 template<> dynamic::Type const dynamic::TypeInfo<T>::type
753 FB_DEC_TYPE(fbstring);
754 FB_DEC_TYPE(dynamic::Array);
756 FB_DEC_TYPE(int64_t);
757 FB_DEC_TYPE(dynamic::ObjectImpl);
762 T dynamic::asImpl() const {
764 case INT64: return to<T>(*get_nothrow<int64_t>());
765 case DOUBLE: return to<T>(*get_nothrow<double>());
766 case BOOL: return to<T>(*get_nothrow<bool>());
767 case STRING: return to<T>(*get_nothrow<fbstring>());
769 throw TypeError("int/double/bool/string", type());
773 // Return a T* to our type, or null if we're not that type.
775 T* dynamic::get_nothrow() noexcept {
776 if (type_ != TypeInfo<T>::type) {
779 return getAddress<T>();
783 T const* dynamic::get_nothrow() const noexcept {
784 return const_cast<dynamic*>(this)->get_nothrow<T>();
787 // Return T* for where we can put a T, without type checking. (Memory
788 // might be uninitialized, even.)
790 T* dynamic::getAddress() noexcept {
791 return GetAddrImpl<T>::get(u_);
795 T const* dynamic::getAddress() const noexcept {
796 return const_cast<dynamic*>(this)->getAddress<T>();
799 template<class T> struct dynamic::GetAddrImpl {};
800 template<> struct dynamic::GetAddrImpl<void*> {
801 static void** get(Data& d) noexcept { return &d.nul; }
803 template<> struct dynamic::GetAddrImpl<dynamic::Array> {
804 static Array* get(Data& d) noexcept { return &d.array; }
806 template<> struct dynamic::GetAddrImpl<bool> {
807 static bool* get(Data& d) noexcept { return &d.boolean; }
809 template<> struct dynamic::GetAddrImpl<int64_t> {
810 static int64_t* get(Data& d) noexcept { return &d.integer; }
812 template<> struct dynamic::GetAddrImpl<double> {
813 static double* get(Data& d) noexcept { return &d.doubl; }
815 template<> struct dynamic::GetAddrImpl<fbstring> {
816 static fbstring* get(Data& d) noexcept { return &d.string; }
818 template<> struct dynamic::GetAddrImpl<dynamic::ObjectImpl> {
819 static_assert(sizeof(ObjectImpl) <= sizeof(Data::objectBuffer),
820 "In your implementation, std::unordered_map<> apparently takes different"
821 " amount of space depending on its template parameters. This is "
822 "weird. Make objectBuffer bigger if you want to compile dynamic.");
824 static ObjectImpl* get(Data& d) noexcept {
825 void* data = &d.objectBuffer;
826 return static_cast<ObjectImpl*>(data);
832 if (auto* p = get_nothrow<T>()) {
835 throw TypeError(TypeInfo<T>::name, type());
839 T const& dynamic::get() const {
840 return const_cast<dynamic*>(this)->get<T>();
843 inline char const* dynamic::typeName(Type t) {
844 #define FB_X(T) return TypeInfo<T>::name
845 FB_DYNAMIC_APPLY(t, FB_X);
849 inline void dynamic::destroy() noexcept {
850 // This short-circuit speeds up some microbenchmarks.
851 if (type_ == NULLT) return;
853 #define FB_X(T) detail::Destroy::destroy(getAddress<T>())
854 FB_DYNAMIC_APPLY(type_, FB_X);
860 //////////////////////////////////////////////////////////////////////
863 * Helper for implementing operator<<. Throws if the type shouldn't
867 struct dynamic::PrintImpl {
868 static void print(dynamic const&, std::ostream& out, T const& t) {
873 struct dynamic::PrintImpl<dynamic::ObjectImpl> {
874 static void print(dynamic const& d,
876 dynamic::ObjectImpl const&) {
877 d.print_as_pseudo_json(out);
881 struct dynamic::PrintImpl<dynamic::Array> {
882 static void print(dynamic const& d,
884 dynamic::Array const&) {
885 d.print_as_pseudo_json(out);
889 inline void dynamic::print(std::ostream& out) const {
890 #define FB_X(T) PrintImpl<T>::print(*this, out, *getAddress<T>())
891 FB_DYNAMIC_APPLY(type_, FB_X);
895 inline std::ostream& operator<<(std::ostream& out, dynamic const& d) {
900 //////////////////////////////////////////////////////////////////////
902 // Secialization of FormatValue so dynamic objects can be formatted
904 class FormatValue<dynamic> {
906 explicit FormatValue(const dynamic& val) : val_(val) { }
908 template <class FormatCallback>
909 void format(FormatArg& arg, FormatCallback& cb) const {
910 switch (val_.type()) {
912 FormatValue<std::nullptr_t>(nullptr).format(arg, cb);
915 FormatValue<bool>(val_.asBool()).format(arg, cb);
918 FormatValue<int64_t>(val_.asInt()).format(arg, cb);
920 case dynamic::STRING:
921 FormatValue<fbstring>(val_.asString()).format(arg, cb);
923 case dynamic::DOUBLE:
924 FormatValue<double>(val_.asDouble()).format(arg, cb);
927 FormatValue(val_.at(arg.splitIntKey())).format(arg, cb);
929 case dynamic::OBJECT:
930 FormatValue(val_.at(arg.splitKey().toFbstring())).format(arg, cb);
940 class FormatValue<detail::DefaultValueWrapper<dynamic, V>> {
942 explicit FormatValue(
943 const detail::DefaultValueWrapper<dynamic, V>& val)
946 template <class FormatCallback>
947 void format(FormatArg& arg, FormatCallback& cb) const {
948 auto& c = val_.container;
953 case dynamic::STRING:
954 case dynamic::DOUBLE:
955 FormatValue<dynamic>(c).format(arg, cb);
959 int key = arg.splitIntKey();
960 if (key >= 0 && key < c.size()) {
961 FormatValue<dynamic>(c.at(key)).format(arg, cb);
963 FormatValue<V>(val_.defaultValue).format(arg, cb);
967 case dynamic::OBJECT:
969 auto pos = c.find(arg.splitKey());
970 if (pos != c.items().end()) {
971 FormatValue<dynamic>(pos->second).format(arg, cb);
973 FormatValue<V>(val_.defaultValue).format(arg, cb);
981 const detail::DefaultValueWrapper<dynamic, V>& val_;
986 #undef FB_DYNAMIC_APPLY