- 博客(7)
- 收藏
- 关注
原创 记录一下在vscode下使用qt遇到的错误,帮助各位避坑
在Vs code下对Qt creator创建的项目使用qmake进行编译时,出现undefined reference to `_imp___ZN12QApplicationC1ERiPPci’的报错。百思不得其解,后来发现,是编译器的原因,导致无法对Qt库中的函数进行编译链接。解决方案:修改环境变量,将Qt下的编译器添加到环境变量中,然后调整优先级使得默认的编译器为Qt中的编译器。环境变量设置后需要重启才可以生效。可以用cmd使用gcc -v查看是否修改成功。...
2022-04-27 19:26:10
1877
原创 关于里氏替换原则(LSP)
里氏替换原则(LSP)的定义如果对每一个类型为T1的对象o1,都有类型为T2的对象o2,使得以T1定义的所有程序P在所有的对象o1都替换成o2时,程序P的行为没有变化,那么类型T2是类型T1的子类型。也就是说,所有引用基类的地方必须能透明地使用其子类的对象。1、子类可以实现父类的抽象方法,但不能覆盖父类的非抽象方法。2、子类中可以增加自己特有的方法。具体体现:子类必须实现父类所有非私有的属性和方法,或子类的所有非私有属性和方法必须在父类中声明。即,子类可以有自己的“个性”,这也就是说,里氏代换
2021-07-07 15:10:43
297
原创 ADT中的等价性
等价关系在这里我们把离散数学当中的等价性引入了ADT中。在离散数学中等价关系满足三条性质,即:自反性、对称性、传递性。自反性∀t∈ \in∈T, t R t.对称性∀u,v∈ \in∈T, if u R v, then v R u.传递性∀u,v,w∈ \in∈T, if u R v, and v R w, then u R w.不可变类型的等价性我们可以利用抽象函数来判断两个对象是否等价,如果两者的AF映射会得到同样的结果,那么说明二者等价,否则,他们不是等价的。“==”和vs.equa
2021-07-06 23:22:16
536
原创 基本数据类型和对象数据类型的区别
基本数据类型和对象数据类型的区别在java当中数据类型分为基本数据类型和对象数据类型。其中基本数据类型包括int、long、bollean、double、char、byte、short、float八大基本类型。对象类型包括String、BigInteger等等首先,基本数据类型和对象数据类型的存储方式是不同的。在基本类型当中,所有的简单数据类型都不存在“引用”的概念,基本数据类型都是直接存储在栈中,数据本身的值就是存储在栈空间中。而对于对象数据类型来说,Java使用堆和栈来对其进行存储。Java的机制告
2021-07-05 20:33:25
447
原创 关于工厂模式
1.工厂模式定义工厂模式是Java里最常用的设计模式之一。这种类型的设计模式属于创建型模式,它提供了一种创建对象的最佳方式,在工厂模式里,我们在创建对象是不会对客户端暴露创建逻辑,而是通过一个共同的接口来指向新创建的对象。顾名思义,工厂就是创建产品,根据产品是具体产品还是具体工厂可分为简单工厂模式和工厂方法模式。根据工厂的抽象程度可分为工厂方法模式和抽象工厂模式。该模式用于封装和管理对象的创建,是一种创建型模式。简单工厂和工厂方法模式的不同在于前者生成产生产品的行为封装在一个方法中,根据参数的类型进行
2021-07-03 23:29:46
110
原创 AF与RI
软件构造感悟之AF和RI在设计ADT,考虑数据的抽象类型时,RI和AF有助于我们考虑两个值空间之间的关系。Rep(值空间)由实际实现实体的值组成。抽象值的空间是我们想象中的一个虚构,是我们想要查看抽象类型的元素的方式,作为该类型的客户端。**R(具体域)->A(表示域)的映射特点:**每一个抽象值都是由表示值映射而来 ,即满射一些抽象值是被多个表示值映射而来的,即未必单射不是所有的表示值都能映射到抽象域中,即未必双射如无界整数的抽象类型可能将数学整数作为其抽象值空间。但当我们要实现
2021-07-02 12:53:35
82
原创 HIT计算机系统大作业程序人生
目 录第1章 概述 - 4 -1.1 HELLO简介 - 4 -1.2 环境与工具 - 4 -1.3 中间结果 - 4 -1.4 本章小结 - 4 -第2章 预处理 - 5 -2.1 预处理的概念与作用 - 5 -2.2在UBUNTU下预处理的命令 - 5 -2.3 HELLO的预处理结果解析 - 5 -2.4 本章小结 - 5 -第3章 编译 - 6 -3.1 编译的概念与作用 - 6 -3.2 在UBUNTU下编译的命令 - 6 -3.3 HELLO的编译结果解析 - 6
2021-06-24 12:57:17
365
空空如也
空空如也
TA创建的收藏夹 TA关注的收藏夹
TA关注的人