就像沒有任何現代物理人會否定牛頓的大師地位與貢獻, 但試問如果不正視牛頓力學的狹隘, 要如何才能欣賞相對論的美麗?

另, 本文雖是原創, 但我並不是第一個發表這樣看法的人, 我不過是一個對這些問題點稍有了解並願意將其公開文字化的人. 寫這篇文字的目的是對相關問題提供一篇整合性的中文討論. 當然, 不管是這篇或是站上的其他文字, 若有任何技術上不正確的地方, 還期待您與其他朋友的友善補充指正.

不要想太多了, 還是讓我們回到技術性主題的交流好嗎?

ed: 不雅無效 url, 已刪除 – fr3@K

事實上我在後來的 啟始 Global Variable 的困境 中寫的 sample code 就是直接用 init() 對 global/singleton 初始化.

看到你的留言後我 revisit 了這段 code, 沒有看出 init_impl() 的必要性. 先讓我以 “它是沒有必要的” 來回答你. 如果之後我看出想出什麼端倪再留言並 email 給你.

Thanks for your comment.

像這樣：

// header file
bool init ();
foo& instance ();
namespace
{
// The next line would be injected to every object file, those include this header file.
const bool init__ = init();
}
// source file
foo& instance ()
{
static foo instance_;
return instance_;
}
bool init ()
{
instance()
return true;;
}

Glad to be helpful.

其实作为project来说，大部分情况下GoF Singleton是可以适用的？
因为“static mutex mutex_;”在程序启动时已经完成，除非mutex_本身构建需要很长的时间

很遺憾, 除非不讓其他的 global instance (含 class/file static) 直接/間接參考到它, 否則用了 static mutex 就不行.

這與建構 mutex 所需的時間無關, 這是 dependency 與啟始順序的問題, 請參考我去年底寫的另一篇文字: 啟始 Global Variable 的困境

另外, 用在 GoF’s singleton 的 double-checked locking 也已經被證實是失敗的手法, 在多緒程序無法正確保障客戶端參考到的是起始完成的對象. 請參考 Meyers 的簡報.

Codejock Software的Xtreme ToolkitPro v10.0中给出了另外一种实现方法…

我沒玩過這東西不好評論它的優缺點, 但也不期望它會做的多好. Singleton 手法是為了解決 global variable 的技術問題, 但在我看來 global variable 更是一個設計問題. 用技術來 work around 糟糕的設計… 你說會是容易的事情嗎?

另外：
Codejock Software的Xtreme ToolkitPro v10.0中给出了另外一种实现方法，在foo类中，定义了foo类静态指针及一个私有类（垃圾收集器），并定义了该类的静态全局变量（static global variable），并在类的析构函数中析构foo的静态指针

去年我寫過一篇文章, 大意是在說 大多數人所使用的 Singleton 實作都是有問題的. 在文章靠近後面的部份, 我也介紹了一種較少為人知, 我常用在 lifetime 是全局但 scope 是局部的 (global) 變數的 Si…