1. 底層數據結構——建立連接時建立的什么。
讀者可先大致瀏覽一下qobject_p.cpp
中添加連接的實現,回頭再細看:
void QObjectPrivate::addConnection(int signal, Connection *c)
{
/*
* 中心數據結構是二維廣義表
* 不妨看作一個二維數組:
* A B C D E...
* 0
* 1
* 2
* 3
* 4
* ...
* 縱向序號0123..為signal序號,每一個signal對應一個connectionList(無s)單鏈表。
* 所有conectionList 存放在類的 connectionLists這個向量中。
* 橫向序號為接收者reciver,相應每一列為該reciver對應接收signal的connection節點(有的話才分配,順序不一定按0123)
* 每列組成相應縱向單鏈表senders(含義為該reciver的senders)。
* 每個對象自己保存著自己的senders單鏈表
* 該二維表為全局數據結構,包含以signal索引的行鏈表connectionLists和每個對象自己保存的相應senders鏈表
*
*/
Q_ASSERT(c->sender == q_ptr);
if (!connectionLists)
connectionLists = new QObjectConnectionListVector();
if (signal >= connectionLists->count())
connectionLists->resize(signal + 1);
ConnectionList &connectionList = (*connectionLists)[signal];
if (connectionList.last) {
connectionList.last->nextConnectionList = c;
} else {
connectionList.first = c;
}
connectionList.last = c;
cleanConnectionLists();
/*
* 插入節點的技巧:
* prev為二級指針,指向本對象的senders列表頭的地址addr(addr中保存的是表頭節點的地址)
* senders表本身為一個單鏈表。
* 但鏈表中每一個節點的prev都指向表頭地址addr,即訪問某一個節點,也可以繼續訪問整個senders表。
* 更新senders表時,直接將c插到原表頭,原表頭變為c的next。addr內容變為c的地址,但addr本身地址不變。
*/
c->prev = &(QObjectPrivate::get(c->receiver)->senders);
c->next = *c->prev;
*c->prev = c;
if (c->next)
c->next->prev = &c->next;
if (signal < 0) {
connectedSignals[0] = connectedSignals[1] = ~0;
} else if (signal < (int)sizeof(connectedSignals) * 8) {
connectedSignals[signal >> 5] |= (1 << (signal & 0x1f));
}
}
先看看傳入參數:
傳入參數signal
就是所謂的信號,是一個整數。
Connection 類的定義,在qobject_p.h
中。
它是在QObjectPrivate類中定義的一個結構體:
struct Connection
{
QObject *sender;
QObject *receiver;
union {
StaticMetaCallFunction callFunction;
QtPrivate::QSlotObjectBase *slotObj;
};
// The next pointer for the singly-linked ConnectionList
Connection *nextConnectionList;
//senders linked list
Connection *next;
Connection **prev;
QAtomicPointer<const int> argumentTypes;
QAtomicInt ref_;
ushort method_offset;
ushort method_relative;
uint signal_index : 27; // In signal range (see QObjectPrivate::signalIndex())
ushort connectionType : 3; // 0 == auto, 1 == direct, 2 == queued, 4 == blocking
ushort isSlotObject : 1;
ushort ownArgumentTypes : 1;
Connection() : nextConnectionList(nullptr), ref_(2), ownArgumentTypes(true) {
//ref_ is 2 for the use in the internal lists, and for the use in QMetaObject::Connection
}
~Connection();
int method() const { Q_ASSERT(!isSlotObject); return method_offset + method_relative; }
void ref() { ref_.ref(); }
void deref() {
if (!ref_.deref()) {
Q_ASSERT(!receiver);
delete this;
}
}
};
可以看到,與鏈表相關的有三個指針,其中prev
是個二級指針。為什么這么用,在addConnection
函數我寫的注釋里可以看到一些解釋。其他的結構體參數在這里不作深究,有些也可以見名知意。
采用二維表的目的有二:
- 能根據發出的信號找到所有接受者
- 能將某一個接受者接收的所有信號統一管理
采用鏈表的目的,自然就是方便動態管理了。
既然知道了建立的是什么數據結構,那么下一步就是理清是怎么建立的。
另外,我們都知道Qt中基本上所有的類都繼承于QObject這個類,這個類包含些什么?為什么連接的數據結構是存在QObjectPrivate這個類中?QObjectPrivate和QObject是什么關系?為什么要這樣定義?這是我們最后要討論的問題。
2. 從信號和槽的定義到整數的轉換
(1) 神奇的關鍵字
再看信號和槽的基本定義和使用方式。
一個簡單例子:
定義一個 Counter類
class Counter : public QObject
{
Q_OBJECT
int m_value;
public:
int value() const { return m_value; }
public slots: //使用public slots聲明槽函數
void setValue(int value);
signals: //使用signal聲明信號,也是函數
void valueChanged(int newValue);
};
信號的發射方式。在某處發射信號的寫法:
void Counter::setValue(int value)
{
if (value != m_value) {
m_value = value;
//使用emit關鍵字發射信號,附帶參數。
emit valueChanged(value);
}
}
有了信號和槽,還需要將它們建立連接關系:
Counter a, b;
QObject::connect(&a, SIGNAL(valueChanged(int)),
&b, SLOT(setValue(int)));
或
//可省略QObject::默認的是同一個函數
// 信號和對應的槽,參數要一致
connect(&a, &a->valueChanged,&b, b->setValue);
首先來看這幾個Qt中特有的關鍵字的含義:slots,signals,emit
在no-keywords.h
中:
#define signals Q_SIGNALS
#define slots Q_SLOTS
#define emit Q_EMIT
具體地:
# define Q_SLOTS QT_ANNOTATE_ACCESS_SPECIFIER(qt_slot)
# define Q_SIGNALS public QT_ANNOTATE_ACCESS_SPECIFIER(qt_signal) //主要有個public
//進一步可見:
# define QT_ANNOTATE_ACCESS_SPECIFIER(x)
#define Q_EMIT //(空)
簡單來說,emit就只是個寫程序用到的邏輯關鍵字,起提示作用。
而signals除了public關鍵字聲明為公有,其他部分就只在預處理過程中起作用。
slots就是只有預處理作用。
由此可見,定義的信號和槽函數, 最終變成了整數,而定義的特殊性,僅在于多一個預處理特征(包括#define xx
本身)。那么可以推測,是使用某種預處理機制,進行了轉化。那么這是什么機制?如何運作的?
(2) Qt 的MOC(the Meta Object Compiler)預處理器
文檔翻譯時間:
Qt信號/槽和屬性系統基于在運行時內省對象的能力。內省意味著能夠列出對象的方法和屬性,并具有關于它們的各種信息,例如它們的參數類型。
C ++本身不提供內省支持,因此Qt附帶了一個提供它的工具。該工具是MOC。它是一個代碼生成器(而不是像某些人所說的預處理器)。它解析頭文件并生成一個額外的C ++文件,該文件與程序的其余部分一起編譯。生成的C ++文件包含內省所需的所有信息。
引用說那不是預處理,但是我仍然認為,既然需要用到了宏定義,先對代碼進行一遍處理(生成相關代碼也是一種處理),仍然可以看作是預處理,只不過是全部預處理的一部分。
再來看每個基于QObject類都需要聲明的一個宏Q_OBJECT:
#define Q_OBJECT \
public: \
static const QMetaObject staticMetaObject; \
virtual const QMetaObject *metaObject() const; \
virtual void *qt_metacast(const char *); \
virtual int qt_metacall(QMetaObject::Call, int, void **); \
QT_TR_FUNCTIONS /* translations helper */ \
private: \
Q_DECL_HIDDEN static void qt_static_metacall(QObject *, QMetaObject::Call, int, void **);
Q_OBJECT定義了一堆函數和一個靜態QMetaObject這些函數在MOC生成的文件中實現。
簡單說,就是MOC根據代碼的關鍵字,自動提取出信號和槽,并進行處理,生成了相應的cpp文件,相關要使用的函數即由Q_OBJECT定義,也生成在相應cpp文件中,隨整個工程一同進行編譯鏈接。
對于老版本的信號和槽:
Q_CORE_EXPORT const char *qFlagLocation(const char *method);
#ifndef QT_NO_DEBUG
# define QLOCATION "\0" __FILE__ ":" QTOSTRING(__LINE__)
# define SLOT(a) qFlagLocation("1"#a QLOCATION)
# define SIGNAL(a) qFlagLocation("2"#a QLOCATION)
#else
# define SLOT(a) "1"#a
# define SIGNAL(a) "2"#a
#endif
這些宏只是使用預處理器將參數轉換為字符串,并在前面添加代碼。在debug模式下,如果信號連接不起作用,我們還會使用文件位置注釋字符串以顯示警告消息。這是以兼容的方式在Qt 4.5中添加的。為了知道哪些字符串具有行信息,我們使用qFlagLocation,它將在具有兩個條目的表中注冊字符串地址。
也即直接將函數名翻譯成字符串,在前面加1或2字符,所謂的信號和槽,也就是相應的字符串。另外只需要處理參數傳遞問題。
新版用法中,傳遞的也是函數名,但從方式上看并沒有轉換成字符串,而是直接傳遞函數指針??傊?,就是兩種區分名稱的方法而以。函數指針方式能方便編輯器和編譯器檢查語法錯誤,使用更安全。