基于对象就是对于单一class的设计。
对于有指针的:complex.h complex-test.cpp
对于没有指针的: string.h string-test.cpp
https://blog.csdn.net/ncepu_Chen/article/details/113843775?spm=1001.2014.3001.5501#commentBox
从下图可以看到,头文件由四个部分组成:
这里以构造复数类为例,可以看到这个类中明显的有数据和函数两部分。对于数据部分,这里定义的是double类。
如果我需要不同类型(如int,float)怎么办呢?难道每次都重新写一次?为了偷懒(不是),就引出了模板template概念。
模板的好处就是: 写类的时候不用把类型给固定下来,可以后面用的时候再指定类型。用模板就是先告诉编译器,还没有决定用哪个类型,类型由使用者之后决定。(模板的延伸很多,之后的讲解还是以double的情况来说)
定义内联函数有两种方式:
1)在类声明内定义的函数,自动成为inline函数 | 2)在类声明外定义的函数,并加上inline关键字 |
---|---|
![]() |
![]() |
由程序员定义的inline只是一种建议,至于是不是真正的inline,还得要编译器说了算(不能太复杂,要在编译器的能力范围之内)。
分为三类: public
,private
,protected
一般来说,数据只能供类内部使用,应该设置为private,而函数可以只被内部或者被外部使用。对于复数类的例子,在主函数中通过对象直接调取private的数据成员就是错误的。
当想创建一个对象的时候,就会自动调用构造函数:
complex c1(2,1); // 创建一个对象,实部2,虚部1
complex c2; // 创建一个对象,但没有给参数
complex* p = new complex(4); // complex(4, 0) 用动态方式创建一个复数
构造函数有几个特点:
写法比较独特,名称一定是和函数类的名称相同;
构造函数是可以有参数的,比如实部和虚部;
构造函数可以自带默认参数(其他函数也可以),在创建对象时如果没指定参数,就按照默认参数创建。
构造函数是没有返回类型的,因为它就是想要构造一个特定的class,已经固定下来了
只有构造函数有初始化列表的写法:一个变量的设定可以分为两个阶段,一为初始化阶段,二为赋值阶段;如果写成图中右上角的赋值方式,相当于放弃使用初始化列表,这样效率会低一些,不要这么写。
构造函数可以有多个,即可以进行函数重载overloading(普通函数也可以)。因为编译器是会综合函数名,函数参数个数,参数类型和返回类型来判断要调用哪个函数的。另外,构造函数的重载是很常见的。
double real () const {return re;}
void real(double r) { re = r;} //重载,注意这里不能有const
那么下面这种写法正确吗?
答案是:不对。如果创建对象的时候不给参数,那么①可以被调用,因为有默认参数,但②也可以被调用,编译器无法选择,所以这两个不能同时存在。
补充:对应于构造函数,还有析构函数,一般对于不带指针的类,不需要特别去写析构函数
private
中吗?如果构造函数被写进private中,就不可以在外部构造对象。这和我们最初对类与对象的认知有一点出入,但是在设计模式中的确是有这种情况的,即单例模式。此时是通过调用A类的函数,从而间接的创建对象。
对于不会改变数据成员内容的函数,要加上const(在函数内容大括号的前面),这里就相当于告诉编译器,这是不会变的。
如果去掉了图中的const
, 再用下图中的方法来调用实部,虚部,就会报错:
//这里表示对象的内容是不会变的,但调用的real()函数没有const
//编译器就会理解为这里是可能会变的,这就与const complex造成了矛盾,报错
const complex c1(2,1);
cout << c1.real();
cout << c1.imag();
图中涉及到了三种传参的方式:传值,传引用,传引用const。
为了提高效率,尽可能使用引用传递参数, 可以避免对参数的复制。如果在函数内不想对变量进行修改,那么就要传引用const。
和上一点相似,返回值也尽量使用引用形式返回。如果要返回的值只是这个函数中的一个局部变量/临时变量,那就一定要用传值来返回。(出了大括号之后就没有生命周期,返回时会报错)比如下面代码,必须要传值返回, 因为返回的必定是个临时对象(没有给名称):
inline complex operator + (const complex& x, const complex& y){
return complex(real(x)+real(y), imag(x)+imag(y));
}
inline complex operator + (const complex& x, const complex& y){
return complex(real(x)+real(y), imag(x)+imag(y));
}
inline complex operator + (const complex& x, const complex& y){
return complex(real(x)+real(y), imag(x)+imag(y));
}
{
int(7); //临时变量
complex c1(2,1);
complex c2;
complex(); //临时变量
complex(4,5); //临时变量,标准库用的较多
cout << complex(2); //临时变量
}
把数据成员设置成private
,就是想对其进行封装,外界只能通过public
函数间接来取数据。但这里有一种特殊情况:被设置成友元的函数,就可以直接调取私有数据,这比通过公有函数效率更高一点。
相同class的各个对象互为友元,这句话就可以解释下面这个用法为何是成立的。也可以说,在类定义内可以访问其他对象的私有变量。
complex c1(2,1);
complex c2;
c2.func(c1); //c1,c2是同一个类,这样是可以的
操作符重载允许我们对操作符,如加减乘除,进行重新定义。操作符重载有两种写法:
1)对成员函数重载: 会把重载的符号作用在左操作数,有this | 2)对全局函数重载:没有this |
---|---|
![]() |
![]() |
对于成员函数:
所有的成员函数一定带着一个隐藏参数this
指针, 这个this(指针)指向调用这个函数的调用者。代码中参数部分不可以写这个this,但是在函数内部可以用this。图中,会把c2的地址传到this指针中。
对于上图中的complex::operator +=
,其返回类型设置为complex&
,是为了可以处理连续赋值的情况:
//从右向左, c1加到c2之后,还要返回一个结果加到c3上
c3 += c2 += c1;
传递者不需要直到接受者是以引用形式接受????我不理解 https://zhuanlan.zhihu.com/p/98355681
对于非成员函数:
如由上图所示,为了应付三种加法,这里要写三种函数。注意这里的返回值一定不能用引用,因为return的都是临时变量。
有的时候,运算符重载是必须写在非成员函数中的,举3个例子:
1)右上图的第二种和第三种写法, 表示的是“复数+double”和“double+复数”,这个是成员函数的写法不能表示的,因为左操作数不是复数!
2)只有一个参数的时候:这里表示正负号
3)对于特殊的操作符,比如
<<
,要把操作符重载设计成全局函数。因为ostream可能是很早之前就定义好的,我们无法提前知道他要输出的类型,不可能预先在成员函数中定义。
这里的
operator <<
的返回类型也是考虑到连续输出,所以返回ostream&
private
,函数大部分要放到public
范例程序会比视频中的多很多,是以标准库的代码作为的示例。下面主要是梳理写代码的顺序,精简了一些代码。
private
inline
)const
private
加入友元函数如果类中带有指针,那么拷贝函数一定不能用编译器自带的版本,要自己写。
由于字符串大小不一,用指针就有一种动态的感觉,不需要提前分配一个具体的大小。第二个函数就是拷贝构造函数,它接受的是自己这种类别的东西,看起来也是构造函数的感觉。第三个是重载操作符;第四个函数是析构函数。
对于有指针成员变量的类,一定要定义拷贝构造函数,拷贝赋值函数和析构函数
对于
m_data
数组内存,就要通过delete[]
进行释放。图中右边的delete
是为了释放指针变量p
。
为什么要自己写拷贝构造函数?
因为默认的拷贝构造函数是浅拷贝,如下图所示,要把a拷贝给b。这就会带来两个问题,一是原来b指向的字符串此时没有任何指针指向它,成了孤儿,可能会造成内存泄露的问题;二是此时a和b都指向了同一个字符串,如果改变了a,那么b也会跟着变。
拷贝构造函数的写法为:这里是新分配了内存,把拷贝的内容放入这里
栈:是存在于某作用域(scope)的一块内存空间.例如当你调用函数,函数本身就会形成一个stack用来放置它所接收的参数以及返回地址。在函数本体内声明的任何变量,其所使用的内存块都取自上述stack.
堆:是指由操作系统提供的一块global内存空间,程序可动态分配从其中获得若干区块。
class Complex{...};
...
{
//c1所占的空间来自栈
Complex c1(1,2);
//Complex(3)是临时对象,其占用的空间是以new自堆动态分配而得,并由p指向
Complex* p = new Complex(3);
}
使用new和delete时的内存分配过程
new 先分配内存再调用构造函数 |
delete 先调用析构函数再释放内存 |
---|---|
![]() |
![]() |