Qt信号槽-原理分析

目录

• 1、问题
• 2、Moc
  • 一、变量
  • 二、Q_OBJECT展开后的函数声明
  • 三、自定义信号
• 3、connect
• 4、信号触发
  • 一、直连
  • 二、队列链接
• 5、总结
• 6、推荐阅读

1、问题

学习Qt有一段时间了，信号槽用的也是666，但是对信号槽的机制仍是只知其一;不知其二，总觉着不是那么得劲儿，万一哪天面试被问到了还说不清楚，那岂不是很尴尬。最近抽空研究了下Qt的信号和槽进制，结果发现也不是那么难嘛！不论是同步仍是异步，说白了都是函数回调，只是回调的地方变了而已

首先，咱们先看以下几个问题，认真的思考下，从之前的知识储备中尝试回答他们，若是说这几个问题你都很清楚，那么恭喜你，你不适合看这篇文章。

1. moc预编译在干吗
2. signals和slots关键字产生的理由
3. 信号槽链接方式有什么区别
4. 信号和槽函数有什么区别
5. connect到底干了什么
6. 信号触发原理

下面咱们就分模块来说述下Qt的信号槽，首先分析下Moc他到底干了什么，若是没有他信号槽还能行吗？接着咱们在来分析下最经常使用的connect函数，最后在看下信号执行后是怎么触发槽函数的？

2、Moc

qt中的moc 全称是 Meta-Object Compiler，也就是“元对象编译器”，当咱们编译C++
文件时，若是类声明中包含了宏Q_OBJECT，则会生成另一个C++源文件，也就是咱们常常看到的moc_xxx.cpp文件，执行流程可能会像这样。

Q_OBJECT是一个很是重要的宏，他是Qt实现元编译系统的一个关键宏，这个宏展开后，里边包含了不少Qt帮助咱们写的代码，包括了变量定义、函数声明等等，下边是一个测试例子，是我用moc命令生成的一个moc文件。

分析下面这个几个变量和函数，将有助于咱们更好的理解元编译系统

一、变量

- static const qt_meta_stringdata_completerTst_t qt_meta_stringdata_completerTst：存储函数列表
- static const uint qt_meta_data_completerTst：类文件描述

二、Q_OBJECT展开后的函数声明

如下5个函数都是使用Q_OBJECT宏自动生成的

- void xxx::qt_static_metacall(QObject *_o, QMetaObject::Call _c, int _id, void **_a)
- const QMetaObject xxx::staticMetaObject
- const QMetaObject *xxx::metaObject()
- void *xxx::qt_metacast(const char *_clname)
- int xxx::qt_metacall(QMetaObject::Call _c, int _id, void **_a)

为了更好的理解这5个函数，咱们首先须要引入一个Qt元对象，也就是QMetaObject，这个类里边存储了父类的源对象、咱们当前类描述、函数描述和qt_static_metacall函数地址。

a、qt_static_metacall

很重要，根据函数索引进行调用槽函数，这块须要注意一个很大的细节问题，这个回调中，信号和槽都是能够被回调的，自动生成代码以下

if (_c == QMetaObject::InvokeMetaMethod) {
    completerTst *_t = static_cast<completerTst *>(_o);
    Q_UNUSED(_t)
    switch (_id) {
    case 0: _t->lanuch(); break;
    case 1: _t->test(); break;
    default: ;
    }
}

lanch是一个信号声明，可是却也能够被回调，这也间接的说明了一个问题，信号是能够当槽函数同样使用的。

b、staticMetaObject

构造一个QMetaObject对象，传入当前moc文件的动态信息

c、metaObject

返回当前QMetaObject，通常而言，虚函数 metaObject() 仅返回类的 staticMetaObject对象。

d、qt_metacast

是否能够进行类型转换，被QObject::inherits直接调用，用于判断是不是继承自某个类。判断时，须要传入父类的字符串名称。

e、qt_metacall

调用函数回调，内部仍是调用了qt_static_metacall函数，该函数被异步处理信号时调用，或者Qt规定的有必定格式的槽函数(on_xxx_clicked())触发，异步调用代码以下所示

void QMetaCallEvent::placeMetaCall(QObject *object)
{
    if (slotObj_) {
        slotObj_->call(object, args_);
    } else if (callFunction_ && method_offset_ <= object->metaObject()->methodOffset()) {
        callFunction_(object, QMetaObject::InvokeMetaMethod, method_relative_, args_);
    } else {
        QMetaObject::metacall(object, QMetaObject::InvokeMetaMethod, method_offset_ + method_relative_, args_);
    }
}

三、自定义信号

下面这个函数是咱们本身定义的一个信号，moc命令帮咱们生成了一个信号函数实现，因而可知，信号其实也是一个函数，只是咱们只管写信号声明，而信号实现Qt会帮助咱们自动生成；槽函数咱们不只仅须要写函数声明，函数实现也必须本身写。

- void xxx::lanuch()：自定义信号

这里Qt怎么会知道咱们定义了信号呢？这个也是文章开头咱们提出的第2个问题。答案就是signals，当Qt发现这个标志后，默认咱们是在定义信号，它则帮助咱们生产了信号的实现体，slots标志是一样的道理，Qt元系统用来解析槽函数时用的。

咱们在C++文件中添加了编译器不认识的关键字，这个时候编译为何会没有报错呢？

由于咱们使用了define宏定义，定义了这个关键字

# define signals

3、connect

上面咱们分析了moc系统帮助咱们生成的moc文件，他是实现信号槽的基础，也是关键所在，这一小节咱们来了解下咱们平时使用最多的connect函数，看看他到底干了些什么。

当咱们执行connect时，实际上他可能像这样的执行流程

从这张图上咱们能够看到，connect干的事情并很少，好像就是构造了一个Connection对象，而后存储在了发送者的内存中，具体存储了哪些内容，能够看下面代码，这是我从Qt源码中沾出来的部分代码。

QScopedPointer<QObjectPrivate::Connection> c(new QObjectPrivate::Connection);
c->sender = s;   //发送者
c->signal_index = signal_index;//信号索引
c->receiver = r;//接收者
c->method_relative = method_index;//槽函数索引
c->method_offset = method_offset;//槽函数偏移 主要是区别于多个信号
c->connectionType = type;//链接类型
c->isSlotObject = false;//是不是槽对象 默认是true
c->argumentTypes.store(types);//参数类型
c->nextConnectionList = 0;//指向下个链接对象
c->callFunction = callFunction;//静态回调函数，也就是qt_static_metacall

QObjectPrivate::get(s)->addConnection(signal_index, c.data());

上述代码中我只把关键代码贴出来了，Qt的源码实现有不少异常判断咱们这里不须要考虑

发送者内存中存储结构

class QObjectConnectionListVector : public QVector<QObjectPrivate::ConnectionList>

信号槽链接后在内存中已QObjectConnectionListVector对象存储，这是一个数组，Qt巧妙的借用了数组快速访问指定元素的方式，把信号所在的索引做为下标来索引他链接的Connection对象，众所周知一个信号能够被多个槽链接，那么咱们的的数组天然而然也就存储了一个链表，用于方便的插入和移除，也就是CommectionList对象。

4、信号触发

一切准备就绪，接下来咱们看看信号触发后，是怎么关联到槽函数的

Qt为咱们提供了5种类型的链接方式，以下

• Qt::AutoConnection 自动链接，根据sender和receiver是否在一个线程里来决定使用哪一种链接方式，同一个线程使用直连，不然使用队列链接
• Qt::DirectConnection 直连
• Qt::QueuedConnection 队列链接
• Qt::BlockingQueuedConnection 阻塞队列链接，顾名思义，虽然是跨线程的，可是仍是但愿槽执行完以后，才能执行信号的下一步代码
• Qt::UniqueConnection 惟一链接

通常状况下，咱们都使用默认的链接方式，除非一些特殊的需求，咱们才会主动指定链接方式。当咱们执行信号时，函数的调用关系可能会像下面这样

emit testSignal(); 执行信号

信号触发后，就至关于调用QMetaObject::activate函数，信号的函数体是moc帮助咱们自动生成的。

下面咱们来分析下几个关键的链接方式，他们都是怎么工做的

一、直连

对于大多数的开发工做来讲，咱们可能都是在同一个线程里进行的，所以直连也是咱们使用链接方式最多的一种，直连说白了就是函数回调。还记得咱们第三小节讲的connect吗，他构造了一个Connection对象，存储在了发送者的内存中，直连其实就是调用了咱们以前存储在Connection中的函数地址。

以下图所示，是一个直连时，回调到槽函数中的一个内存堆栈。

讲connect函数时，咱们分析到，该函数内部其实就是构造了一个Connection对象存储在了发送者内存中，其中有一个变量是isSlotObject，默认是true。当咱们使用connect链接信号槽时，该参数默认就是一个true，可是Qt还提供了了另一种规定格式的槽函数，此时isSlotObject就是false啦。

以下图所示，这是一个使用Qt规定格式的槽函数。格式：on_objectname_clicked();。

二、队列链接

connect链接信号槽时，咱们使用Qt::QueuedConnection做为链接类型时，槽函数的执行是经过抛出QMetaCallEvent事件，通过Qt的事件循环达到异步的效果

以下图所示，是使用队列链接时，槽函数的回调堆栈

下面代码摘自Qt源码，queued_activate函数便是处理队列请求的函数，当咱们使用自动链接而且接受者和发送者不在一个线程时使用队列链接；或者当咱们指定链接方式为队列时使用队列链接。

// determine if this connection should be sent immediately or
// put into the event queue
if ((c->connectionType == Qt::AutoConnection && !receiverInSameThread)
    || (c->connectionType == Qt::QueuedConnection)) {
    queued_activate(sender, signal_index, c, argv ? argv : empty_argv, locker);
    continue;

5、总结

讲了这么多，Qt信号槽的实现原理其实就是函数回调，不一样的是直连直接回调、队列链接使用Qt的事件循环隔离了一次达到异步，最终仍是使用函数回调

1. moc预编译帮助咱们构建了信号槽回调的开头(信号函数体)和结尾(qt_static_metacall回调函数)，中间的回调过程Qt已经在QOjbect函数中实现
2. signals和slots就是为了方便moc解析咱们的C++文件，从中解析出信号和槽
3. 信号槽总共有5种链接方式，前四种是互斥的，能够表示为异步和同步。第五种惟一链接时配合前4种方式使用的
4. 信号和槽本质上是同样的，可是对于使用者来讲，信号只须要声明，moc帮你实现，槽函数声明和实现都须要本身写
5. connect方法就是把发送者、信号、接受者和槽存储起来，供后续执行信号时查找
6. 信号触发就是一系列函数回调

6、推荐阅读

最简化信号槽：QT学习——Qt信号与槽实现原理

moc文件解析：Qt高级——Qt信号槽机制源码解析

---

转载声明：本站文章无特别说明，皆为原创，版权全部，转载请注明：朝十晚八 or Twowords