folly::ScopeGuard·SCOPE_EXIT — RAII cleanup

1
// 회피
2
FILE* f = fopen("data", "rb");
3
if (!f) return;
4
char* buf = (char*)malloc(1024);
5
if (!buf) { fclose(f); return; } // cleanup 중복
6
auto n = fread(buf, 1, 1024, f);
7
if (n == 0) { free(buf); fclose(f); return; } // 또 중복
8
// ...
9
free(buf);
10
fclose(f);

1
#include <folly/ScopeGuard.h>
2

3
FILE* f = fopen("data", "rb");
4
if (!f) return;
5
SCOPE_EXIT { fclose(f); };
6

7
char* buf = (char*)malloc(1024);
8
if (!buf) return; // SCOPE_EXIT가 fclose(f)
9
SCOPE_EXIT { free(buf); };
10

11
// ... 작업
12
// scope 끝: free → fclose 순서로 자동

1
auto guard = folly::makeGuard([&]{ rollback(); });
2
doStep1();
3
doStep2();
4
guard.dismiss(); // 모든 step 성공 → rollback 취소

1
SCOPE_FAIL    { rollback(); };  // 예외로 종료 시만
2
SCOPE_SUCCESS { commit(); };    // 정상 종료 시만

1
template <typename F>
2
class ScopeGuardImpl {
3
  F func_;
4
  bool dismissed_ = false;
5
public:
6
  ScopeGuardImpl(F&& f) : func_(std::move(f)) {}
7
  ~ScopeGuardImpl() noexcept {
8
    if (!dismissed_) {
9
      try { func_(); }
10
      catch (...) { /* swallow */ }
11
    }
12
  }
13
  void dismiss() { dismissed_ = true; }
14
};
15

16
#define SCOPE_EXIT \
17
  auto SCOPE_EXIT_VAR(__LINE__) = ::folly::detail::ScopeGuardOnExit() + [&]() noexcept

1
auto* socket = create_socket();
2
SCOPE_EXIT { destroy_socket(socket); };
3

4
auto* mmap = ::mmap(...);
5
SCOPE_EXIT { ::munmap(mmap, size); };

1
hardware_lock();
2
SCOPE_EXIT { hardware_unlock(); };

1
auto guard = folly::makeGuard([&]{ db.rollback(); });
2
db.begin();
3
db.execute(query1);
4
db.execute(query2);
5
db.commit();
6
guard.dismiss();

1
LOG(INFO) << "entering critical section";
2
SCOPE_EXIT { LOG(INFO) << "leaving critical section"; };

1
// unique_ptr — type 정의 가능, 반복 사용
2
struct FileCloser { void operator()(FILE* f) { fclose(f); } };
3
std::unique_ptr<FILE, FileCloser> f(fopen(...));
4

5
// SCOPE_EXIT — 일회성, 짧음
6
FILE* f = fopen(...);
7
SCOPE_EXIT { fclose(f); };

1
// 회피
2
SCOPE_EXIT { mayThrow(); }; // 람다가 throw하면 ScopeGuard가 삼킴

1
// 회피
2
{
3
  std::string s = "data";
4
  SCOPE_EXIT { LOG(INFO) << s; }; // s는 SCOPE_EXIT 실행 시점에 유효
5
} // scope 끝 — SCOPE_EXIT 먼저, 그다음 s 소멸. 안전.
6

7
// 회피 — 더 큰 scope의 reference
8
SCOPE_EXIT { LOG(INFO) << *ptr; }; // ptr이 어디서 살아있는지?

1
// 회피
2
auto g = folly::makeGuard([&]{ rollback(); });
3
// dismiss 없음 → 항상 rollback
4
// → commit 후 rollback도 호출됨

1
// 회피
2
SCOPE_EXIT {
3
  flushAllBuffers();
4
  uploadToS3();
5
  notifyMonitoring();
6
};

1
// 회피
2
SCOPE_EXIT { unlock(); }; // first
3
SCOPE_EXIT { releaseBuf(); }; // second

1
// 회피
2
if (cond) return; // SCOPE_EXIT 등록 전
3
SCOPE_EXIT { cleanup(); };