类和对象(上)
一.面向过程和面向对象初步认识
- C语言是面向过程的,关注的是过程。分析出求解问题的步骤,通过函数调用逐步解决问题。
- C++是面向对象的,关注的是解决问题过程中涉及到的对象与对象之间的关系和交互。
- 面向对象的本质是:将现实世界中的类和对象映射到虚拟的计算机系统中。
二.类的引入
C语言中我们经常使用的结构体,在C++中被升级成了类。
- C语言结构体
struct stack
{
//结构体变量
int* a;
int top;
int capacity;
};
在C语言中结构体中只有结构体的成员变量,没有结构体成员函数。
- C++中struct定义的类中可以有成员变量和成员函数。
struct stack
{
//成员函数
void Init(int defaultcapacity = 4)
{
a = (int*)malloc(sizeof(int) * defaultcapacity);
if (a == nullptr)
{
perror("malloc failed ");
return;
}
int top = 0;
int capacity = defaultcapacity;
}
void Push(int x)
{
//不考虑扩容
a[top++] = x;
}
void Destroy()
{
free(a);
a = nullptr;
top = capacity = 0;
}
//成员变量
int* _a;
int _top;
int _capacity;
};
int main()
{
//C语言需要使用完整的类型struct stack来创建变量
struct stack st1;
//C++中直接使用类名来创建变量
stack st2;
st2.Init();
st2.Push(1);
st2.Push(2);
st2.Push(3);
st2.Push(4);
return 0;
}
注意:
- 创建类会定义一个类域(C/C++中有花括号就会定义一个域)。
- 类域是一个整体,成员变量写在类中的任何地方都可以
三.类的定义
在C++中struct和class都可以定义类,但是在C++中更喜欢使用class。
class className
{
// 类体:由成员函数和成员变量组成
}; // 一定要注意后面的分号
解释:
- class为定义类的关键字,ClassName为类的名字,{}中为类的主体。
- 类体中内容称为类的成员:类中的变量称为类的属性或成员变量; 类中的函数称为类的方法或者成员函数。
3.1类的两种定义方式
-
- 声明和定义全部放在类体中。注意:成员函数如果在类中定义,编译器可能会将其当成内联函数处理(内联函数声明定义不可分)。
class stack
{
//成员函数
void Init(int defaultcapacity = 4)
{
_a = (int*)malloc(sizeof(int) * defaultcapacity);
if (_a == nullptr)
{
perror("malloc failed ");
return;
}
int _top = 0;
int _capacity = defaultcapacity;
}
void Push(int x)
{
//不考虑扩容
_a[_top++] = x;
}
void Destroy()
{
free(_a);
_a = nullptr;
_top = _capacity = 0;
}
//成员变量
int* _a;
int _top;
int _capacity;
};
-
- 类声明放在.h文件中,成员函数定义放在.cpp文件中. 注意:此时成员函数名前需要加类名::
建议:使用第二种。将长函数声明和定义分离,短函数在类中定义。
3.2类成员变量命名规则的建议
class Date
{
public:
void Init(int year)
{
// 这里的year到底是成员变量,还是函数形参?
year = year;
}
private:
int year;
};
class Date
{
public:
void Init(int year)
{
_year = year;
}
private:
int _year;
//int year_;
//int myear;
};
此时编译器的搜索规则是,类域中的局部域中->类域->全局域。因此针对这种情况,我们可以在成员变量的前面或者后面加_或者字母m以示区分,
注意:
- 局部域全局域会影响生命周期。
- 类域和命名空间域不会影响生命周期。
此时我们回过头来解决一个我们在之前留下的问题,为什么在C++中更喜欢使用class来定义类?要解决这个问题,我们还需要了解类的访问限定符。
四.类的访问限定符及封装
4.1访问限定符
C++实现封装的方式:用类将对象的属性与方法结合在一块,让对象更加完善,通过访问权限选择性的将其接口提供给外部的用户使用。
访问限定符说明:
- public修饰的成员在类外可以直接被访问
- protected和private修饰的成员在类外不能直接被访问(此处protected和private是类似的)
- 访问权限作用域从该访问限定符出现的位置开始直到下一个访问限定符出现时为止
- 如果后面没有访问限定符,作用域就到}即类结束。
- class的默认访问权限为private,struct默认为public(因为struct要兼容C)
注意:
- 一般不建议使用默认的访问限定符,应该显示指令。
- 一般情况下,数据是私有的,方法是公有的。
4.2封装
面向对象的三大特性:封装,继承,多态。,在类和对象阶段主要是研究类的封装特性。
封装本质上是一种管理,让用户更方便使用类,和杜绝一些不规范的行为。在C++语言中实现封装,可以通过类将数据以及操作数据的方法进行有机结合,通过访问权限来隐藏对象内部实现细节,控制哪些方法可以在类外部直接被使用。
-
列1:
对于计算机使用者而言,我们可以不知道计算机中是如何让实现的,我们只要可以通过鼠标,键盘等方法来正常使用计算机就行。对于实现细节的在计算机出厂之前就已经被隐藏了起来,仅仅对外提供开关机、鼠标以及键盘插孔等,让用户可以与计算机进行交互即可。 -
列2:
-
当不清楚C语言如何实现栈的人来使用栈。
STDataType STTop(ST* ps)
{
assert(ps);
assert(!STEmpty(ps));
return ps->a[ps->top - 1];
}
int main()
{
ST st;
STInit(&st);
//错误的使用方法
//使用者不知道此时的top是指向栈顶,还是栈顶元素的下一个
int top = st.a[st.top];
return 0;
}
对于此类情况,就需要来使用栈的人了解C语言中是如何实现栈的。
- C++封装之后
class stack
{
public:
void Init(int defaultcapacity = 4);
void Push(int x)
{
//不考虑扩容
_a[_top++] = x;
}
int Top()
{
return _a[_top - 1];
}
void Destroy()
{
free(_a);
_a = nullptr;
_top = _capacity = 0;
}
private:
int* _a;
int _top;
int _capacity;
};
int main()
{
stack st2;
st2.Init();
st2.Push(1);
st2.Push(2);
st2.Push(3);
st2.Push(4);
//通过访问权限来隐藏对象内部实现细节
//通过给定的方法直接使用。
int top = st2.Top();
st2.Destroy();
return 0;
}
五.类的实例化
类是对对象进行描述的,是一个模型一样的东西,限定了类有哪些成员,定义出一个类并没有分配实际的内存空间来存储它。
解释:可以将类理解为一张建筑图纸。在没有将建筑物建筑起来之前(未实例化),它只是包含了有那些建筑物(类的成员)的图纸(未分配空间)。
class Date
{
public:
{
_year = year;
}
private:
//成员变量的声明,并未开空间
int _year;
};
注意:声明和定义的区别在于开不开空间。
- 用类类型创建对象的过程,称为类的实例化
- . 一个类可以实例化出多个对象,实例化出的对象占用实际的物理空间,存储类成员变量。
int main()
{
//创建对象,实例化
stack st2;
stack st3;
stack st4;
return 0;
}
六.类对象模型
6.1类大小的计算
class A
{
public:
void PrintA()
{
cout << _a << endl;
}
private:
char _a;
int _b;
};
int main()
{
A aa1;
cout << sizeof(A) << endl;
cout << sizeof(aa1) << endl;
return 0;
}
这里我们发现类/对象的大小只算了成员变量,并没有算成员函数,并且需要内存对齐。
为了解决这个问题,我们就得先知道,计算机中类对象的存储方式。
6.2类对象的存储方式
-
- 对象中包含类的各个成员
缺点:这种方式每个对象中成员变量是不同的,但是调用同一份函数,当创建多个对象的时候,相同代码保存多次,就会浪费空间。
-
- 代码只保存一份,在对象中保存存放代码的地址
-
- 只保存成员变量,成员函数存放在公共的代码段
显然,计算机中是按照第三种方式存储。通过类创建不同的对象,不同的对象的成员变量是不同的,但是调用的成员函数的地址是相同的,这些成员函数被放在了一个公共的区域,在调用函数的时候,不是去对象中去找,而是去公共的区域去找,对象中只存储成员变量。
注意:没有成员变量的类,也需要1字节,用来占位,表示对象存在(实例化),不存储有效数据。
// 类中仅有成员函数
class A2 {
public:
void f2() {}
};
// 类中什么都没有---空类
class A3
{};
七.this指针
7.1认识this指针
class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout <<_year<< "-" <<_month << "-"<< _day <<endl;
}
private:
int _year; // 年
int _month; // 月
int _day; // 日
};
int main()
{
Date d1, d2;
d1.Init(2022,1,11);
d2.Init(2022, 1, 12);
d1.Print();
d2.Print();
return 0;
}
这里我们发现不同的对象,调用相同的函数,为什么可以打印不同的结果?
这是因为:形参的不同,C++中通过引入this指针解决该问题,即:C++编译器给每个“非静态的成员函数“传递一个隐藏的thisi指针参数(形参),让该指针指向函数运行时调用该函数的对象 在函数体中所有“成员变量”的操作,都是通过该指针去访问。只不过所有的操作对用户是透明的,即用户不需要来传递,编译器自动完成。
class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << _year << "-" << _month << "-" << _day << endl;
}
//编译器对成员函数的处理
/*void Print(Date* const this)
{
cout <<this-> _year << "-" <<this-> _month << "-" <<this-> _day << endl;
}*/
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1, d2;
//传参时隐含的this指针
d1.Init(2022, 1, 11);
d2.Init(2022, 1, 12);
//编译器自动进行处理
//d1.Init(&d1,2022, 1, 11);
//d2.Init(&d1,2022, 1, 12);
d1.Print();
d2.Print();
//编译器自动进行处理
/*d1.Print(&d1);
d2.Print(&d2);*/
//Date::_year; //错误,_year是声明(在图纸中找房间)
return 0;
}
注意:C++规定规定,this是一个关键字,不能在形参或者实参显示传递,但是允许在函数内部显示使用
class Date
{
public:
void Init(int year, int month, int day)
{
_year = year;
_month = month;
_day = day;
}
void Print()
{
cout << this << endl;
cout << this->_year << "-" << this->_month << "-" << this->_day << endl;
}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1, d2;
d1.Init(2022, 1, 11);
d2.Init(2022, 1, 12);
d1.Print();
d2.Print();
return 0;
}
7.2this指针的特性
- this指针的类型:类类型* const,即成员函数中,不能给this指针赋值。
- 只能在“成员函数”的内部使用
- this指针本质上是“成员函数”的形参,当对象调用成员函数时,将对象地址作为实参传递给this形参。所以对象中不存储this指针。
- this指针是“成员函数”第一个隐含的指针形参,一般情况由编译器通过ecx寄存器自动传递,不需要用户传递
7.3this存在哪里?
首先排除在对象中,因为在计算对象的大小的时候,并没有将this指针计算进去。前面我们说到this指针是作为形参进行传递的,因此this指针是跟普通的参数一样存在于函数调用的栈帧中。
接下来我们来看两个试题:
- 试题1;
// 1.下面程序编译运行结果是? A、编译报错 B、运行崩溃 C、正常运行
class A
{
public:
void Print()
{
//this指针为空,但是函数内并没有对this指针解引用
cout << "Print()" << endl;
}
private:
int _a;
};
int main()
{
A* p = nullptr;
p->Print();
return 0;
}
答案:C.正常运行。
解释:p->Print(),p调用Print时不会发生解引用,因为Print的地址不在对象当中,而是存在于公共的代码段,在编译的时候就找到了Print的地址了。然后p作为实参传递给this指针,this指针为空,没有问题。在调用函数的时候并没有对this指针进行解引用,因此能正常运行。
- 试题2:
// 1.下面程序编译运行结果是? A、编译报错 B、运行崩溃 C、正常运行
class A
{
public:
void PrintA()
{
//this指针为空,但是函数内访问_a,本质上是访问this->_a
//对空指针进行解引用,报错
cout<<_a<<endl;
}
private:
int _a;
};
int main()
{
A* p = nullptr;
p->PrintA();
return 0;
}
答案:B.运行崩溃。
解释:this指针为空,但是函数内访问_a,本质上是访问this->_a,对空指针进行解引用,报错。
7.4this指针可以为空吗?
想必通过上面两个列子,这个问题也就迎刃而解了。