본문으로 건너뛰기
Abseil Code Review · 67/79

Abseil 자주 보는 anti-pattern

· Hawk · 3분 읽기

#anti-pattern을 모아 보는 이유

리뷰 코멘트의 80%는 같은 실수의 반복 이다. 한 번 정리해 두면 PR 작성 단계에서 스스로 잡아낼 수 있다. 부정 분류는 가볍게 “회피 vs Good” 쌍으로.

#1. string_view dangling

absl::string_view원본을 빌려보는 뷰 다. 원본보다 오래 살면 안 된다.

// 회피 — 임시 객체의 데이터 view
absl::string_view Bad() {
return std::string("hello"); // ❌ 임시 std::string 즉시 소멸
}
absl::string_view sv = absl::StrCat("a", "b", "c"); // ❌ StrCat 결과 즉시 소멸
// Good
std::string s = absl::StrCat("a", "b", "c");
absl::string_view sv = s; // s 살아 있는 동안만 사용

함수 매개변수로 받는 string_view호출자의 책임 으로 살아 있다고 가정한다. 함수 반환·멤버 저장은 위험.

// 회피 — 멤버 변수로 저장
class Bad {
public:
explicit Bad(absl::string_view s) : s_(s) {} // ❌ s_가 dangle 가능
private:
absl::string_view s_;
};
// Good
class Good {
public:
explicit Good(absl::string_view s) : s_(s) {}
private:
std::string s_; // 복사 소유
};

#2. Mutex annotation 누락

Clang thread safety analysis는 주석된 mutex/필드만 검증한다. 누락하면 race가 잡히지 않는다.

// 회피
class Bad {
public:
void Add(int x) { data_.push_back(x); } // ❌ lock 없이 수정
private:
absl::Mutex mu_;
std::vector<int> data_; // ❌ GUARDED_BY 없음
};
// Good
class Good {
public:
void Add(int x) ABSL_LOCKS_EXCLUDED(mu_) {
absl::MutexLock lock(&mu_);
data_.push_back(x);
}
private:
absl::Mutex mu_;
std::vector<int> data_ ABSL_GUARDED_BY(mu_);
};

ABSL_GUARDED_BY, ABSL_LOCKS_EXCLUDED, ABSL_EXCLUSIVE_LOCKS_REQUIRED를 routine하게 붙인다.

#3. StatusOr / Status 무시

absl::Status / absl::StatusOr<T>는 nodiscard. 그래도 무시되는 경우가 흔하다.

// 회피
absl::Status DoWork() { /* ... */ }
void Caller() {
DoWork(); // ❌ status 무시 — 컴파일러 경고는 나지만 코드 지나감
}
// 회피 — StatusOr value() 무방비
absl::StatusOr<int> Compute();
int v = Compute().value(); // ❌ 실패 시 throw
// Good — RETURN_IF_ERROR / ASSIGN_OR_RETURN 패턴
absl::Status Caller() {
RETURN_IF_ERROR(DoWork());
ASSIGN_OR_RETURN(int v, Compute());
use(v);
return absl::OkStatus();
}

#4. Hash + Equality 불일치

AbslHashValueoperator==다른 필드 집합을 보면 해시 컨테이너 invariant가 깨진다.

// 회피
struct Bad {
int id;
std::string name;
int version;
template <typename H>
friend H AbslHashValue(H h, const Bad& b) {
return H::combine(std::move(h), b.id); // id만
}
friend bool operator==(const Bad& a, const Bad& b) {
return a.id == b.id && a.name == b.name; // id + name
}
};
// ❌ a == b 인데 hash 다름 가능 (절대 안 됨) — 또는 그 반대

규칙: a == bhash(a) == hash(b). hash가 보는 필드 ⊆ equality가 보는 필드.

#5. flat_hash_map<K, V*> + 멤버에 dangling raw pointer

// 회피
absl::flat_hash_map<int, std::vector<int>*> m;
auto* v = m[42]; // 새 슬롯 — null pointer
v->push_back(1); // ❌ UB
// Good — node_hash_map 또는 value 보유
absl::flat_hash_map<int, std::vector<int>> m;
m[42].push_back(1); // 자동 생성
// 또는 명시 insert
auto [it, inserted] = m.try_emplace(42);
it->second.push_back(1);

#6. Duration int 변환

// 회피 — 단위 모호
void Wait(int seconds);
Wait(5); // ms? s?
// Good
void Wait(absl::Duration d);
Wait(absl::Seconds(5));
// 회피 — Duration → int 추출 후 다시 만들기
int ms = static_cast<int>(absl::ToDoubleMilliseconds(d));
absl::Duration restored = absl::Milliseconds(ms); // 정밀도 손실
// Good — Duration 그대로 전달
absl::Duration restored = d;

#7. ScopedMockLog 누락 → flaky test

// 회피 — 로그 출력 검증을 stderr capture로
TEST(BadLog, Warning) {
// stderr 캡처 + 문자열 매칭 ... ❌ 환경 의존, flaky
}
// Good — ScopedMockLog
TEST(GoodLog, Warning) {
absl::ScopedMockLog log;
EXPECT_CALL(log, Log(absl::LogSeverity::kWarning, _, HasSubstr("slow")));
log.StartCapturingLogs();
DoSlow();
}

#8. BitGen 매번 생성

// 회피
int Pick() {
absl::BitGen bg; // ❌ 매번 OS entropy 시드 — 비싸고 thread 충돌
return absl::Uniform(bg, 0, 100);
}
// Good — thread_local
thread_local absl::BitGen tls_bg;
int Pick() { return absl::Uniform(tls_bg, 0, 100); }

#9. SetFlag 후 캡처된 값 기대

// 회피
const bool verbose = absl::GetFlag(FLAGS_verbose); // 캡처
absl::SetFlag(&FLAGS_verbose, true);
if (verbose) { ... } // ❌ 여전히 이전 값
// Good — 런타임 변경 감지 필요하면 매번 GetFlag
if (absl::GetFlag(FLAGS_verbose)) { ... }

또는 변경 불가 한 설정은 main에서 한 번 캡처 후 그것만 사용.

#10. absl::variant get without check

// 회피
absl::variant<int, std::string> v = "hello";
int x = absl::get<int>(v); // ❌ throw absl::bad_variant_access
// Good
if (auto* p = absl::get_if<int>(&v)) {
use(*p);
}

#11. FormatTime/ParseTime의 time zone 가정

// 회피
std::string s = absl::FormatTime("%H:%M:%S", t, absl::LocalTimeZone());
// ❌ 호스트 의존 — 서버 reboot 시 시간대 바뀌면 결과 다름
// Good — 서비스 표준 TZ
std::string s = absl::FormatTime(absl::RFC3339_full, t, absl::UTCTimeZone());

#12. CHECK로 사용자 입력 검증

// 회피
absl::Status Handle(const Request& req) {
CHECK(!req.user_id().empty()); // ❌ 사용자가 빈 ID 보내면 서버 죽음
}
// Good
absl::Status Handle(const Request& req) {
if (req.user_id().empty()) {
return absl::InvalidArgumentError("user_id required");
}
}

CHECK는 invariant 위반 (자기 코드의 버그). 외부 입력 에러는 Status.

#13. StrCat에 std::string 임시 + string_view 결합

// 회피
absl::string_view sv = absl::StrCat("prefix-", suffix); // ❌ 임시 string
// Good
std::string s = absl::StrCat("prefix-", suffix);
absl::string_view sv = s; // s 살아 있는 동안 OK

#14. flat_hash_set의 iterator를 invalidate 후 사용

// 회피
auto it = set.find(key);
set.insert(new_key); // ❌ 재해싱 시 it invalidate
if (it != set.end()) use(*it);
// Good — insert 후 다시 find 또는 insert 전에 사용
auto it = set.find(key);
if (it != set.end()) use(*it); // 먼저 사용
set.insert(new_key);

flat_hash_*어떤 mutation에서도 iterator·reference invalidate. 안정 reference가 필요하면 node_hash_map.

#15. Initialize 누락

// 회피
int main(int argc, char** argv) {
LOG(INFO) << "start"; // ❌ log 초기화 전 — flag 미적용
}
// Good
int main(int argc, char** argv) {
absl::ParseCommandLine(argc, argv);
absl::InitializeSymbolizer(argv[0]);
absl::InstallFailureSignalHandler({});
absl::InitializeLog();
LOG(INFO) << "start";
}

#빠른 자가 점검 표

영역체크
string_view멤버 저장 / 함수 반환 안 함
MutexGUARDED_BY 모든 보호 필드에
StatusRETURN_IF_ERROR / ASSIGN_OR_RETURN 사용
Hashhash vs equality 필드 일치
flat_hash_*iterator invalidation 의식
Durationint 대신 Duration 시그니처
BitGenthread_local 또는 멤버
CHECKinvariant만 — 입력 검증은 Status
FormatTimeUTC + RFC3339 기본
LOGseverity 적절, Initialize 호출

#정리

  • 가장 빈번한 anti-pattern은 string_view dangling — 멤버 저장 금지.
  • Mutex annotation 누락 은 race를 정적 분석에서 숨김 — 일관 적용.
  • Status/StatusOr는 RETURN_IF_ERROR/ASSIGN_OR_RETURN 패턴이 표준.
  • hash vs equality 필드 일치는 컨테이너 invariant.
  • CHECK는 invariant 위반만, 사용자 입력은 Status로.

#다음 장 예고

Part 13-03: std → absl 마이그레이션 전략.

#관련 항목

Abseil Code Review · 68 of 79

  1. 1 Abseil Code Review — Google production-grade C++ 라이브러리 분석
  2. 2 Abseil 개요 — Google이 std를 보완한 이유
  3. 3 Abseil 설계 철학 — std 호환과 추가 기능의 균형
  4. 4 Abseil 빌드와 의존성 — Bazel vs CMake
  5. 5 Abseil LTS vs HEAD 릴리스 모델 분석
  6. 6 Abseil Versioning과 ABI 호환성 정책
  7. 7 Abseil 매크로 — ABSL_HAVE_*·ABSL_ATTRIBUTE_*
  8. 8 Abseil ABSL_PREDICT_TRUE/FALSE — branch hint
  9. 9 absl::LogSeverity — 로그 레벨 타입
  10. 10 Abseil type_traits — negation·conjunction·void_t
  11. 11 Abseil Conformance·Policy 분석
  12. 12 Abseil Memory utilities 분석
  13. 13 Abseil raw_logging — heap-free 로깅
  14. 14 Abseil thread_annotations — clang TSA 통합
  15. 15 absl::Status — exception-free error handling
  16. 16 absl::StatusOr<T> — 값 또는 에러
  17. 17 absl status_macros — ASSIGN_OR_RETURN·RETURN_IF_ERROR
  18. 18 absl::Status payload — 구조화된 에러 컨텍스트
  19. 19 absl::Status ↔ exception 변환 패턴
  20. 20 absl::string_view — non-owning 문자열 참조
  21. 21 absl::string_view 함정 — dangling·c_str·임시 객체
  22. 22 absl::StrCat — 가변 인자 문자열 연결과 AlphaNum
  23. 23 absl::StrSplit — Delimiter·Predicate·컨테이너 변환
  24. 24 absl::StrJoin — 컨테이너 결합과 Formatter
  25. 25 absl::StrFormat — type-safe printf·FormatSpec
  26. 26 Abseil ASCII 함수 — locale-free 분류·대소문자 변환
  27. 27 Abseil Escape — CEscape·HexEscape·Base64
  28. 28 absl::flat_hash_map — Swiss Table 기반 hash map
  29. 29 absl::flat_hash_set — set 버전 Swiss Table
  30. 30 absl::node_hash_map — stable pointer가 필요할 때
  31. 31 absl::btree_map — sorted·cache-friendly B-tree
  32. 32 absl::FixedArray — 런타임 크기 stack 배열
  33. 33 absl::InlinedVector — small buffer optimization
  34. 34 Abseil Swiss Table internals — control byte·SIMD probing
  35. 35 absl::Mutex — reader-writer·fairness·deadlock 검출
  36. 36 absl::Mutex Conditional Critical Section — Await로 cv 없애기
  37. 37 absl::Notification — once-only signal
  38. 38 absl::BlockingCounter·Barrier — 다중 thread 조율
  39. 39 absl::Mutex annotations — clang thread-safety로 race를 컴파일 타임에
  40. 40 absl::Time·Duration 분석 — 단단한 type
  41. 41 absl::Time Format·Parse
  42. 42 absl::CivilTime 분석
  43. 43 absl::time_zone 분석
  44. 44 absl::Time mocking — 테스트 친화 시간
  45. 45 absl::BitGen — 모던 난수 생성기
  46. 46 Abseil Random Distributions — Uniform·Exponential
  47. 47 Abseil Mocking Random — 테스트 결정성
  48. 48 Abseil Random Seeding·Entropy
  49. 49 absl::int128·uint128 분석
  50. 50 absl::bits — popcount·countl_zero
  51. 51 absl::optional vs std::optional
  52. 52 absl::variant 분석
  53. 53 absl::span 분석
  54. 54 absl::any 분석
  55. 55 absl::compare — three-way 비교
  56. 56 Abseil utility — apply·in_place
  57. 57 Abseil AbslHashValue 분석
  58. 58 Abseil HashState chaining
  59. 59 Abseil Custom hashable 구현
  60. 60 Abseil LOG·VLOG·CHECK 분석
  61. 61 Abseil LogSink 분석
  62. 62 Abseil LogEntry·structured logging
  63. 63 Abseil Stack trace·failure_signal_handler
  64. 64 ABSL_FLAG 정의 분석
  65. 65 Abseil ParseCommandLine 동작
  66. 66 Abseil Flag introspection·validation
  67. 67 Google 스타일의 Abseil 사용 패턴
  68. 68 Abseil 자주 보는 anti-pattern
  69. 69 std → absl 마이그레이션 전략
  70. 70 absl::Cleanup — 함수 종료 시 실행 보장
  71. 71 Abseil algorithm container 확장 — c_sort·c_find_if·c_count_if
  72. 72 absl::function_ref와 any_invocable — 함수 객체 전달의 두 축
  73. 73 absl::bind_front와 Overload — 함수 객체 보조 도구
  74. 74 absl::Cord — 분산 시스템용 대용량 문자열
  75. 75 absl::from_chars·SimpleAtoi — 빠른 숫자 변환
  76. 76 absl::Cord vs std::string — 선택 기준과 메모리 프로파일
  77. 77 absl::GetStackTrace와 Symbolize — crash 시 readable stack
  78. 78 absl::ComputeCrc32c — 하드웨어 가속 체크섬
  79. 79 absl::PeriodicSampler — 적응형 샘플링·jitter 회피