qt介绍01——信号槽原理

1. 什么是moc?

qt中的moc全称是Meta-Object Compiler,也就是“元对象编译器”。当我们编译C++文件时,如果类声明中包含了宏Q_OBJECT,则会生成另外一个C++源文件,也就是我们经常看到的moc_xxx.cpp文件,执行流程如图所示:

Q_OBJECT是一个非常重要的宏,他是Qt实现元编译系统的一个关键宏,这个宏展开后,里边包含了很多Qt帮助我们写的代码,包括了变量定义、函数声明等。

1.1 变量

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

1.2 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函数地址。

1.2.1 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是一个信号声明,但是却也可以被回调,这也间接的说明了一个问题,信号是可以当槽函数一样使用的。

1.2.2 staticMetaObject

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

1.2.3 metaObject

返回当前QMetaObject,一般而言,虚函数 metaObject() 仅返回类的 staticMetaObject对象。

1.2.4 qt_metacast

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

1.2.5 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_);
    }
}

1.3 自定义信号

下面这个函数是我们自己定义的一个信号,moc命令帮我们生成了一个信号函数实现,由此可见,信号其实也是一个函数,只是我们只管写信号声明,而信号实现Qt会帮助我们自动生成;槽函数我们不仅仅需要写函数声明,函数实现也必须自己写。

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

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

我们使用了define宏定义,定义了这个关键字。

# define signals

2. 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());

发送者内存中存储结构

class QObjectConnectionListVector : public QVector<QObjectPrivate::ConnectionList>

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

3. 信号触发

Qt为我们提供了5种类型的连接方式,如下

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

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

emit testSignal(); 执行信号

信号触发后,就相当于调用QMetaObject::activate函数,信号的函数体是moc帮助我们自动生成的。

3.1 直连

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

如下图所示,是一个直连时,回调到槽函数中的一个内存堆栈:

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

如下图所示,这是一个使用Qt规定格式的槽函数。格式:on_objectname_clicked()

3.2 队列连接

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;

4. 总结

Qt信号槽的实现原理其实就是函数回调,不同的是直连直接回调、队列连接使用Qt的事件循环隔离了一次达到异步,最终还是使用函数回调。

通过上面的概述,我们总结如下:

1)moc预编译帮助我们构建了信号槽回调的开头(信号函数体)和结尾(qt_static_metacall回调函数),中间的回调过程Qt已经在QOjbect函数中实现;

2)signals和slots就是为了方便moc解析我们的C++文件,从中解析出信号和槽;

3)信号槽总共有5种连接方式,前四种是互斥的,可以表示为异步和同步。第五种唯一连接时配合前4种方式使用的;

4)信号和槽本质上是一样的,但是对于使用者来说,信号只需要声明,moc帮你实现,槽函数声明和实现都需要自己写;

5)connect方法就是把发送者、信号、接受者和槽存储起来,供后续执行信号时查找;

6)信号触发就是一系列函数回调;

猜你喜欢

转载自blog.csdn.net/www_dong/article/details/114907797