[022] 看 Code 說故事：Facebook Folly（二）- Lazy

Facebook C++ library 檔案命名慣例為 FileName.h，也就是 Camel Case 命名法，開頭大寫。我目前愛用的命名法是 Google 的 Snake case，長這樣：file_name.h。

單元測試使用 Google C++ test framework，各大開源專案的一致選擇。測試碼統一放在 test 目錄（我覺得複數 tests 較為合適）。Chromium 專案的習慣是測試碼與被測碼檔案放在同一個目錄，我們的專案也採用這種慣例。

回到程式碼，先來看 Lazy，路徑為：

• folly/Lazy.h

類似 Lazy evaluation 技法，其特性為：

• 讓某運算式／資源第一次使用時才執行／索取
• 運算式／資源只會被執行／索求一次
• Not thread-safe

「第一次使用時才執行」可用來避免付出不必要的成本，若「成本」很貴時，好處更明顯。舉例，假設程式有一執行路徑需要網路連線，而進行網路連線前必須先做「初始化」，作法有兩種：

1. 程式一執行就「初始化」網路相關設定，以便之後連線時能順利進行。
2. 程式執行初期先不做「初始化」，直到需要網路前才去做初始化。

由於「連線至網路」只有在特定時機才會發生，很有可能一直到程式結束都不會遇到，沒有道理付出這不必要的開銷。第二種作法可用 Lazy 來實作，搭配「只會被執行一次」的特性，不論做幾次網路連線，「初始化」的花費只要付一次。

我想，不將 Lazy 設計成 Thread-safe，一方面簡化設計，一方面有點 YAGNI 的味道。

來看看 folly\test\LazyTest.cpp 其中一個測試案例：

TEST(Lazy, Simple) {
  int computeCount = 0;

  auto const val = folly::lazy([&]() -> int {
    ++computeCount;
    EXPECT_EQ(computeCount, 1);
    return 12;
  });
  EXPECT_EQ(computeCount, 0);

  for (int i = 0; i < 100; ++i) {
    if (i > 50) {
      EXPECT_EQ(val(), 12);
      EXPECT_EQ(computeCount, 1);
    } else {
      EXPECT_EQ(computeCount, 0);
    }
  }
  EXPECT_EQ(val(), 12);
  EXPECT_EQ(computeCount, 1);
}

可以看到，val 不管被呼叫幾次，其包含的 lambda 只會被呼叫一次（computeCount == 1）。

看實作程式碼有幾點發現：

• Lazy 大部分的程式碼被包在 namespace detail。這麼做的好處是：
  • 告訴呼叫端 detail 裡的程式碼非 Lazy 的公開介面，使用者不必在乎該些實作細節。
  • 對於 Header only 的函式庫來說，清楚分出公開介面與實作細節，避免混肴。
• 大量使用 C++11 才有的新功能：
  • std::forward
  • std::remove_reference
  • std::result_of
• 成員變數（member variable）命名法使用結尾底線（func_），而不是另一派的 m_func。幾年前看了 Chromium 原始碼後，便由開頭 m_ 改用結尾底線。