Sigslot 是一個(gè)小巧,卻十分易用的開(kāi)源C++信號(hào)插槽庫(kù)。如果不想使用boost的signals庫(kù),Sigslot也不失為一個(gè)不錯(cuò)的選擇,作者是Sarah Thompson,你可以通過(guò)sarah@telergy.com與他取得聯(lián)系,相關(guān)文檔在 http://sigslot.sourceforge.net/
關(guān)于Sigslot的使用方法本文不再贅述,它的簡(jiǎn)單易用就已無(wú)需要太多的說(shuō)明。在此對(duì)其代碼結(jié)構(gòu)進(jìn)行一下大體的分析總結(jié)。
首先看下代碼注釋中 Quick documentation的簡(jiǎn)單描述:
【SIGSLOT_PURE_ISO】:
強(qiáng)制設(shè)定其為ISO C++編譯器,并關(guān)閉所有的操作系統(tǒng)提供的線程安全的支持。
【SIGSLOT_USE_POSIX_THREADS】:
當(dāng)使用gcc以外的編譯器,而編譯器支持Posix線程時(shí),強(qiáng)制使用Posix線程支持。
(gcc時(shí)該項(xiàng)是默認(rèn)開(kāi)啟的,如果需要可以使用SIG_PURE_ISO關(guān)閉該項(xiàng))
【SIGSLOT_DEFAULT_MT_POLICY】:
當(dāng)啟用多線程支持時(shí),默認(rèn)項(xiàng)為全局多線程(multi_threaded_global)。否則默認(rèn)項(xiàng)為單線程
(single_threaded)。如果想更改默認(rèn),你需要自己定義該項(xiàng)。在純ISO模式中,single_threaded以外的
內(nèi)容都會(huì)觸發(fā)編譯錯(cuò)誤。
關(guān)于操作系統(tǒng)的說(shuō)明:
Win32:
Win32系統(tǒng)中,必須定義WIN32宏。大多數(shù)主流的編譯器會(huì)默認(rèn)定義該宏,但是你當(dāng)你的編譯環(huán)境并不是很
標(biāo)準(zhǔn)的時(shí)候,必須有你自己定義。以便于Win32線程支持部分被編譯并自動(dòng)啟動(dòng)。
Unix/Linux/BSD,etc:
如果你正在使用gcc,則默認(rèn)Posix線程是可用的,所以會(huì)自動(dòng)使用Posix線程部分代碼。使用
SIGLOT_PURE_ISO可以關(guān)閉這個(gè)默認(rèn)項(xiàng)(在Windows中)。如果你gcc以外的編譯器,但是仍然想使用 Posix線程部分的代碼,
你必須#define SIGSLOT_USE_POSIX_THREADS
ISO C++:
如果處于不支持多線程的操作系中,或者定義了SIGSLOT_PURE_ISO宏時(shí),所有多線程支持就被關(guān)閉,連
同可能在會(huì)純ISO C++環(huán)境中會(huì)引發(fā)任何編譯器警告的代碼也不會(huì)被使用。我會(huì)在你提出疑問(wèn)前,直接告訴
你gcc -ansi -pedantic選項(xiàng)不會(huì)成功編譯,但是gcc -ansi沒(méi)有問(wèn)題。Pedantic選項(xiàng)似乎會(huì)引發(fā)大量的
奇怪錯(cuò)誤。如果你想研究這個(gè)問(wèn)題,請(qǐng)聯(lián)系作者。
關(guān)于線程模型:
single_threaded:
由于signal/slot的使用方式,程序設(shè)定為了單線程模型(例如所有的信號(hào)對(duì)象和槽對(duì)象都是有一個(gè)單線程
創(chuàng)建和銷毀的)沒(méi)有定義相關(guān)保證對(duì)象銷毀一致性的行為(例如:會(huì)得到對(duì)已銷毀對(duì)象使用的錯(cuò)誤或者觸發(fā)內(nèi)存異常)
multi_threaded_global:
程序設(shè)定多線程模型。使用信號(hào)和插槽的對(duì)象能夠被任一線程安全的創(chuàng)建和銷毀,甚至發(fā)生在信號(hào)和插槽的
連接已經(jīng)建立的情況中。multi_threaded_global模型,依靠唯一的全局的互斥體實(shí)現(xiàn)線程安全(實(shí)際上
windows中是使用臨界區(qū)因?yàn)樾阅芨茫T撃P褪褂蒙倭康南到y(tǒng)資源,但是導(dǎo)致更多產(chǎn)生資源競(jìng)爭(zhēng)的機(jī)
會(huì),或許,因此產(chǎn)生更多的設(shè)備上下文切換是無(wú)法避免的。
multi_threaded_local:
該模型的機(jī)制本質(zhì)上跟multi_threaded_global是沒(méi)有太大區(qū)別的,除了各個(gè)信號(hào)和對(duì)象都各自繼承自
has_slots,他們都具備各自的互斥體/臨界區(qū)部分。實(shí)際上,
這意味著互斥體沖突的狀況(因此產(chǎn)生的設(shè)備
上下文切換)只會(huì)在最必要的時(shí)候才會(huì)發(fā)生。無(wú)論如何在某些操作系統(tǒng)中,創(chuàng)建大量的互斥體會(huì)減慢整個(gè)操
作系統(tǒng)的運(yùn)行速度,所以使用該模型最好謹(jǐn)而為之。
#if defined(SIGSLOT_PURE_ISO) || (!defined(WIN32) && !defined(__GNUG__) && !defined(SIGSLOT_USE_POSIX_THREADS))
# define _SIGSLOT_SINGLE_THREADED //單線程模型
#elif defined(WIN32)
# define _SIGSLOT_HAS_WIN32_THREADS //WIN32多線程模型
# include <windows.h>
#elif defined(__GNUG__) || defined(SIGSLOT_USE_POSIX_THREADS)
# define _SIGSLOT_HAS_POSIX_THREADS //POSIX多線程模型
# include <pthread.h>
#else
# define _SIGSLOT_SINGLE_THREADED //單線程模型
#endif
#ifndef SIGSLOT_DEFAULT_MT_POLICY //默認(rèn)多線程模型策略
# ifdef _SIGSLOT_SINGLE_THREADED //如果強(qiáng)制指定為單線程模型則默認(rèn)策略為單線程
# define SIGSLOT_DEFAULT_MT_POLICY single_threaded
# else
# define SIGSLOT_DEFAULT_MT_POLICY multi_threaded_local //否則默認(rèn)策略為local多線程模型
# endif
#endif
對(duì)于
單線程模型single_threaded,lock(),unlock()保留為空函數(shù)。
多線程模型中 針對(duì)_SIGSLOT_HAS_WIN32_THREADS和_SIGSLOT_HAS_POSIX_THREAD 開(kāi)關(guān),對(duì)應(yīng)了Win32和Posix兩個(gè)系統(tǒng)平臺(tái),因?yàn)椴煌脚_(tái)使用不同的線程同步對(duì)象,所以分別實(shí)現(xiàn)兩類平臺(tái)下的兩種 multi_threaded_global、multi_threaded_local版本。在Posix中使用了
pthread_mutex_t作為線程同步對(duì)象,Win32中使用
CRITICAL_SECTION作為線程同步對(duì)象。
我們可以看到在所有的模板類中都有一個(gè)mt_policy模板參數(shù),有意思的是
template<class mt_policy = SIGSLOT_DEFAULT_MT_POLICY>這并不是多此一舉,若將mt_policy直接替換為SIGSLOT_DEFAULT_MT_POLICY,不僅代碼變得凌亂丑陋,代碼而且維護(hù)性也會(huì)大大降低。
鎖對(duì)象:
lock_block模板類,最終根據(jù)實(shí)例化的模板類使用相應(yīng)的線程模型和同步對(duì)象,只需要將該類實(shí)例化到需要的位置即實(shí)現(xiàn)了線程同步功能,這是比較規(guī)范并簡(jiǎn)單有效的方法。
template<class mt_policy>
class lock_block
{
public:
mt_policy *m_mutex;
lock_block(mt_policy *mtx) : m_mutex(mtx)
{
m_mutex->lock();
}
~lock_block()
{
m_mutex->unlock();
}
};
mt_policy被指定為SIGSLOT_DEFAULT_MT_POLICY宏,同時(shí)也作為一個(gè)強(qiáng)制指定為單線程模型的開(kāi)關(guān)。
連接對(duì)象 _connection0 ... _connection8:
_connection0<dest_type,mt_policy>...
_connection8<dest_type,arg1_type...arg8_type,mt_policy>
是接口:
_connection_base0<mt_policy> ...
_connection_base8<arg1_type,...arg8_type,mt_policy>的實(shí)現(xiàn)類,其中:
clone():
使用默認(rèn)拷貝構(gòu)造函數(shù)返回一個(gè)新的_connection_baseN對(duì)象指針。
duplicate(sigslot::has_slots<mt_policy> *pnewdest):
返回一個(gè)新的目標(biāo)對(duì)象為pnewdest的_connection_baseN對(duì)象指針。
emit(arg0_type a0..argN_type aN):
觸發(fā)_connection_baseN中目標(biāo)對(duì)象中指定的函數(shù)指針。
getdest(void)const:
返回目標(biāo)對(duì)象指針。
插槽has_slots<mt_policy>:
類has_slots<mt_policy>為所有具備插槽對(duì)象的基類,也就是說(shuō),任何想接收信號(hào),并將信號(hào)連接到處理函數(shù)(插槽)的對(duì)象都必須繼承自has_slots類。
private:
typedef typename std::set<_signal_base<mt_policy> *> sender_set;
typedef typename sender_set::const_iterator const_iterator;
sender_set m_senders;
senders 為 _signal_base<mt_policy> 接口指針容器,用于維護(hù)一系列signal0..signal8實(shí)例。
signal_disconnect和signal_connect成員函數(shù)用于管理_signal_base<mt_policy>指針列表m_senders的插入與刪除(最終由信號(hào)對(duì)象signalN的
connect(desttyp *pclass,void(desttype::*pmemfun)() 函數(shù)直接使用。)。實(shí)際上即使對(duì)信號(hào)與插槽的維護(hù)。
信號(hào)對(duì)象 Signal0 ... Signal8 :以帶一個(gè)參數(shù)的信號(hào)對(duì)象為例:
signal1<arg1_type,mt_policy>的
emit(arg1_type a1) 與 重載運(yùn)算符
operator ()(arg1_type a1)功能是一致的。都是遍歷父類成員
m_connected_slots中的_connection_base1<arg1_type, mt_policy>指針元素,逐一的調(diào)用_connection_base1中的
emit(a1)函數(shù)最終使目標(biāo)函數(shù)被調(diào)用。
函數(shù)
connect()生成模板參數(shù)的目標(biāo)對(duì)象和目標(biāo)函數(shù)指針,并將該新連接加入到已連接的列表
m_connected_slots中。最后使用has_slots的signal_connect函數(shù),將signal1信號(hào)對(duì)象加入到has_slots的
m_senders列表中。代碼如下:
template<class desttype>
void connect(desttype* pclass, void (desttype::*pmemfun)(arg1_type))
{
lock_block<mt_policy> lock(this);
_connection1<desttype, arg1_type, mt_policy>* conn =
new _connection1<desttype, arg1_type, mt_policy>(pclass, pmemfun);
m_connected_slots.push_back(conn);
pclass->signal_connect(this);
}