본문으로 건너뛰기
Folly Code Review · 51/89

folly dynamic ↔ struct — manual marshaling

· Hawk · 3분 읽기

#한 줄 요약

folly::dynamic은 외부 boundary 전용이고, 내부에서는 strongly-typed struct로 옮기는 게 정석이다. Folly 자체는 자동 reflection이 없으므로 manual marshaling 함수를 작성한다. 일관된 규칙(fromDynamic / toDynamic 정적 함수)을 세우면 보일러플레이트가 줄어든다.

#동기 — type safety의 한계선

dynamic을 코드 깊숙이 흘려보내면 다음이 발생한다.

  • 컴파일 타임에 키 오타가 안 잡힘 (obj["nmae"]).
  • 타입 mismatch가 런타임 throw로만 잡힘.
  • IDE/refactor 도구가 못 따라감.
  • 성능: 모든 접근이 enum dispatch.

해법은 boundary에서 한 번 parse해서 struct로 넘기는 것이다. 이후는 모두 type-safe 코드.

[ JSON string ]
↓ parseJson
[ dynamic ] ← 여기까지가 boundary
↓ fromDynamic
[ User struct ] ← 이후는 type-safe
↓ business logic
[ User struct ]
↓ toDynamic
[ dynamic ]
↓ toJson
[ JSON string ]

#기본 패턴 — fromDynamic / toDynamic

struct User {
std::string name;
int age;
std::vector<std::string> roles;
};
User userFromDynamic(const folly::dynamic& d) {
User u;
u.name = d["name"].asString();
u.age = d["age"].asInt();
for (const auto& r : d["roles"]) {
u.roles.push_back(r.asString());
}
return u;
}
folly::dynamic userToDynamic(const User& u) {
folly::dynamic arr = folly::dynamic::array;
for (auto& r : u.roles) arr.push_back(r);
return folly::dynamic::object
("name", u.name)
("age", u.age)
("roles", std::move(arr));
}

이게 가장 단순한 변환 패턴이다. 모든 struct에 대해 이 두 함수를 작성한다. 보일러플레이트지만 한 번 쓰면 모든 후속 코드가 type-safe.

#defensive parsing

외부 JSON은 신뢰할 수 없다. 각 필드에서 키 존재, 타입, 범위를 검증한다.

folly::Expected<User, std::string> tryUserFromDynamic(const folly::dynamic& d) {
if (!d.isObject()) return folly::makeUnexpected("not object");
if (!d.count("name")) return folly::makeUnexpected("missing name");
const auto& nameD = d["name"];
if (!nameD.isString()) return folly::makeUnexpected("name not string");
User u;
u.name = nameD.getString();
// age는 optional, default 0
u.age = d.getDefault("age", 0).asInt();
// roles는 optional, default []
if (d.count("roles")) {
if (!d["roles"].isArray()) return folly::makeUnexpected("roles not array");
for (const auto& r : d["roles"]) {
if (!r.isString()) return folly::makeUnexpected("role not string");
u.roles.push_back(r.getString());
}
}
return u;
}

asInt(coercion) 대신 getInt/isInt(strict)를 쓰면 silent type drift를 막을 수 있다.

#helper로 보일러플레이트 줄이기

template <typename T>
T getOrThrow(const folly::dynamic& d, const std::string& key);
template <>
std::string getOrThrow(const folly::dynamic& d, const std::string& key) {
if (!d.count(key)) throw std::runtime_error("missing: " + key);
const auto& v = d[key];
if (!v.isString()) throw std::runtime_error("type: " + key);
return v.getString();
}
template <>
int64_t getOrThrow(const folly::dynamic& d, const std::string& key) {
if (!d.count(key)) throw std::runtime_error("missing: " + key);
const auto& v = d[key];
if (!v.isInt()) throw std::runtime_error("type: " + key);
return v.getInt();
}
// 사용
User u;
u.name = getOrThrow<std::string>(d, "name");
u.age = getOrThrow<int64_t>(d, "age");

함수 한 개로 키 누락 + 타입 검사가 일관되게 처리된다.

#reflection 라이브러리

Meta 내부는 thrift가 자동 marshaling을 제공한다. 외부 코드는 다음 옵션.

  • boost::pfr (C++17 reflection-like): aggregate struct에 대해 멤버 순회 가능. 키 이름은 따로 매핑 필요.
  • rfl (reflectcpp): macro 없이 field 이름까지 가져오는 reflection.
  • macro 기반 등록 (REFLECT(User, name, age, roles)): nlohmann의 NLOHMANN_DEFINE_TYPE_INTRUSIVE.

Folly는 이 영역에 표준 솔루션을 두지 않는다. 큰 프로젝트면 reflection lib 도입을 검토, 작으면 manual이 명료하다.

#코드 리뷰 포인트

#1. boundary 명확히 한 곳에

// 회피 — 여러 곳에서 dynamic ↔ struct 변환
void handlerA(folly::dynamic d) {
auto u = parseUser(d);
...
}
void handlerB(folly::dynamic d) {
// 또 parsing
}
// Good — boundary 한 군데
User parseUser(const folly::dynamic& d); // 한 군데서 정의
void handlerA(const User& u); // 이후는 struct만
void handlerB(const User& u);

변환은 한 함수에 모아 두면 검증·로깅·error mapping이 일관된다.

#2. coercion vs strict

// 회피 — 외부 JSON에 asInt
u.age = d["age"].asInt(); // "30"도 30으로 받아들임 (silent drift)
// Good — strict
if (!d["age"].isInt()) throw ...;
u.age = d["age"].getInt();

production에서는 strict가 디버깅을 쉽게 한다. coercion은 사람이 편집한 config 용도.

#3. unknown field 처리

// 옵션 1 — silent ignore (포워드 호환 위해)
auto u = parseUser(d); // d에 unknown 키 있어도 무시
// 옵션 2 — strict (오타 잡기 위해)
for (auto& k : d.keys()) {
if (!known_keys.count(k.asString())) {
throw "unknown key: " + k.asString();
}
}

API 호환성 정책에 따라 선택. 일반 RPC는 silent ignore, internal config는 strict.

#4. Optional 필드 명시

struct User {
std::string name;
int age;
std::optional<std::string> email; // optional
};
User parseUser(const folly::dynamic& d) {
User u;
u.name = getOrThrow<std::string>(d, "name");
u.age = getOrThrow<int64_t>(d, "age");
if (d.count("email") && d["email"].isString()) {
u.email = d["email"].getString();
}
return u;
}

dynamic에선 missing key가 nullptr type. struct에서는 std::optional로 명시.

#안티패턴

#1. dynamic을 함수 인자로 깊숙이 전달

// 회피
void deepInnerLogic(folly::dynamic d) {
// 5단계 깊은 곳에서도 d["x"]["y"] 접근
}

테스트 어렵고, 타입 미스매치가 늦게 드러남.

#2. 매번 parsing

// 회피 — 같은 dynamic을 반복 parsing
for (auto& req : requests) {
auto u = parseUser(req.body); // 매번 throw 가능
process(u);
}
// 변환 실패 처리 명확화
for (auto& req : requests) {
auto userOrErr = tryParseUser(req.body);
if (userOrErr.hasError()) { /* log */ continue; }
process(*userOrErr);
}

folly::Expected로 변환을 감싸 부분 실패에 강하게.

#3. struct → dynamic 후 다시 struct

// 회피
auto d = userToDynamic(u);
auto u2 = userFromDynamic(d); // copy 의도면 그냥 auto u2 = u;

JSON round-trip은 비싸다 + 정보 손실 가능(double 정밀도, optional이 null vs missing 구분 등).

#정리

  • dynamic은 boundary에만, 내부는 struct로 변환.
  • 각 struct마다 fromDynamic/toDynamic 한 쌍.
  • 외부 JSON은 strict(isInt+getInt)로 검증, silent coercion 회피.
  • folly::Expected로 변환 결과 wrap → 부분 실패 처리.
  • Optional 필드는 std::optional<T>로 명시.
  • 큰 코드베이스면 reflection lib(boost::pfr, rfl) 검토.

#다음 편

Part 11-04 Visitor pattern — dynamic의 type별 분기를 std::visit처럼 처리하는 helper.

#관련 항목

Folly Code Review · 52 of 89

  1. 1 Folly Code Review — Meta의 production-grade C++ 라이브러리 코드 분석
  2. 2 Folly 개요 — Meta가 production에서 검증한 utility 모음 분석
  3. 3 Folly vs Abseil 철학 비교 — performance-first vs std-compatible
  4. 4 Folly 빌드와 fbcode 환경 — monorepo의 그림자
  5. 5 Folly API stability 정책 — 어떤 보장도 없다는 솔직함
  6. 6 Folly production validation 문화 — peta-scale에서 단련된 코드
  7. 7 folly::Future 분석 — std::future의 한계를 넘는 composable async
  8. 8 folly::Promise·makeFuture — Future를 만드는 두 길
  9. 9 folly::SemiFuture vs Future — executor binding의 명시화
  10. 10 folly::Future thenValue·thenError·thenTry — continuation 체인 분석
  11. 11 folly::collect·collectAll·collectAny — fan-in 패턴 분석
  12. 12 folly::Future retry·window·via — 제어 흐름 조합자
  13. 13 folly::fibers 분석 — M:N stackful coroutine
  14. 14 folly::InlineExecutor — 호출자 thread에서 즉시 실행
  15. 15 folly::CPUThreadPoolExecutor — CPU-bound 작업의 표준 thread pool
  16. 16 folly::IOThreadPoolExecutor — libevent 기반 I/O pool
  17. 17 folly::ManualExecutor — 결정적 테스트를 위한 수동 진행
  18. 18 folly::EventBase 분석 — libevent 이벤트 루프의 핵심
  19. 19 folly::IOBuf 분석 — zero-copy buffer chain의 기본 단위
  20. 20 folly::IOBufQueue — chain의 push/pull 추상화
  21. 21 folly::io::Cursor·RWCursor — chain 위의 stream
  22. 22 folly Zero-copy 패턴 — IOBuf로 ScatterGather I/O 표현
  23. 23 folly::IOBuf shared semantics — clone·unshare·takeOwnership
  24. 24 folly::FBString 분석 — SSO + COW 구현
  25. 25 folly의 fmt::format 통합 — 모던 포맷팅 채택
  26. 26 folly::StringPiece — string_view 호환 분석
  27. 27 folly Join·Split utilities — 문자열 분해와 결합
  28. 28 folly::to·tryTo — text↔num 변환 분석
  29. 29 folly Conv Customization — 사용자 타입 지원
  30. 30 folly Conv 성능 비교 — sprintf·stringstream 대비
  31. 31 folly::F14ValueMap vs std::unordered_map
  32. 32 folly::F14NodeMap — stable pointer가 필요할 때
  33. 33 folly::F14VectorMap — cache-friendly iteration
  34. 34 folly::F14FastMap — auto-select 동작
  35. 35 folly F14 internals — SIMD probing 메커니즘
  36. 36 folly::small_vector — inline storage 분석
  37. 37 folly::FixedString — compile-time string
  38. 38 folly::AtomicHashMap — lock-free read 분석
  39. 39 folly::ConcurrentHashMap — sharded 동시 해시 맵
  40. 40 folly::EvictingCacheMap — LRU 구현 분석
  41. 41 folly::Synchronized — lock wrapper 패턴
  42. 42 folly::SharedMutex 분석
  43. 43 folly::Baton — one-shot wait 동기화
  44. 44 folly::RWSpinLock 분석
  45. 45 folly::PicoSpinLock — 1-byte spinlock
  46. 46 folly::ProducerConsumerQueue — SPSC 큐 분석
  47. 47 folly::MPMCQueue — multi-producer multi-consumer
  48. 48 folly::UnboundedQueue — 동적 크기 lock-free
  49. 49 folly::fibers::Channel — Go-like channel
  50. 50 folly::dynamic — JSON-like dynamic type 분석
  51. 51 folly JSON conversion — toJson·parseJson
  52. 52 folly dynamic ↔ struct — manual marshaling
  53. 53 folly dynamic Visitor pattern — type별 분기
  54. 54 folly::Singleton vs Meyers/static — 왜 Folly의 Singleton인가
  55. 55 folly::SingletonVault 분석 — 등록·소멸·의존성
  56. 56 folly::Singleton try_get·try_get_fast — TLS-cached 접근
  57. 57 folly::ExceptionWrapper — type-erased exception holder
  58. 58 folly::ScopeGuard·SCOPE_EXIT — RAII cleanup
  59. 59 folly::Optional vs std::optional
  60. 60 folly::Function vs std::function
  61. 61 folly::Lazy — 지연 초기화 wrapper
  62. 62 folly Meta 스타일 code review 패턴
  63. 63 folly anti-patterns — 잘못 쓰면 std보다 느림
  64. 64 folly vs std 선택 기준 분석
  65. 65 folly::coro 개요 — production C++20 코루틴 어댑터
  66. 66 folly::coro::Task — lazy single-shot 코루틴
  67. 67 folly::coro::AsyncGenerator — 비동기 스트림
  68. 68 folly coro blockingWait·collectAll — 동기 경계와 fan-in
  69. 69 folly::coro::Baton·Mutex — 코루틴-aware 동기화
  70. 70 folly::Expected — 결과 또는 오류
  71. 71 folly::Try — Future 결과 wrapper
  72. 72 folly::Try vs Expected 선택 기준
  73. 73 folly::Range — 일반 iterator pair
  74. 74 folly::Uri — URL 파서
  75. 75 folly Fingerprint64·128 — 분산 hash
  76. 76 folly SpookyHashV2 — fast non-crypto hash
  77. 77 folly::Init — main() 부트스트랩
  78. 78 folly::Indestructible — global lifetime 패턴
  79. 79 folly::MicroLock — 1-byte 락
  80. 80 folly::MicroSpinLock — 가장 좁은 spin lock
  81. 81 folly::format — legacy formatter 분석
  82. 82 folly::demangle — typeid 디망글링
  83. 83 folly::DynamicConverter — dynamic ↔ struct
  84. 84 folly::RecordIO — append-only 로그 파일 포맷
  85. 85 folly::io::Compression — zstd·lz4·snappy wrapper
  86. 86 folly::AsyncIO — io_uring·Linux AIO
  87. 87 folly::CancellationToken — 코루틴·Future 취소 전파
  88. 88 folly::observer — hot config의 atomic refresh
  89. 89 fbcode 패턴 모음 — folly 사용의 실전