类与对象(下)
文章目录:
1.再谈构造函数
1.1构造函数体赋值
在创建对象时,编译器调用构造函数,给对象中的每个成员一个合适的初始值
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
{
//函数体内赋值
_year = year;
_month = month;
_day = day;
}
private:
int _year;
int _month;
int _day;
};
虽然上述构造函数调用后,对象中已经有了一个初始值,但是不能将其称为对对象中的成员变量的初始化,构造函数体内的语句只能将其称为赋初值,而不能称为初始化。因为,初始化只能初始化一次,而构造函数体内可以多次赋值
1.2初始化列表
语法:以一个冒号开始,接着是以逗号分割的数据成员列表,每个成员变量后面跟一个放在括号中的初始值或表达式
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
:_year(year) //成员变量的定义
,_month(month)
,_day(day)
{
//初始化列表
}
private:
int _year; //成员变量的声明
int _month;
int _day;
};
-
每个成员变量只能在初始化列表出现一次(初始化只能初始化一次)
-
类中包含一下成员,必须放在初始化列表进行初始化:
- 引用成员变量
- const成员变量
- 没有默认构造函数的自定义类型成员变量
class A { public: A(int a) //没有默认构造函数 :_a(a) //默认构造函数:无参的构造函数,全缺省的构造函数,编译器默认生成的构造函数 {} private: int _a; }; class B { public: B(int ref, int a) :_ref(ref) ,_n(1) ,_a(a) {} private: int& _ref; //引用 const int _n; //const A _a; //没有默认构造函数 };
-
尽量使用初始化列表初始化,因为不管你是否使用初始化列表,对于自定义类型成员变量,一定会先使用初始化列表初始化
class Time { public: Time(int hour = 0) :_hour(hour) { cout << "Time()" << endl; } private: int _hour; }; class Date { public: Date(int day) {} //并没有处理自定义类型,但还是调用了_t的构造函数 private: int _day; Time _t; }; int main() { Date d(1); }
-
成员变量在类中的声明次序就是其在初始化列表中的初始化顺序,初始化顺序与其在初始化列表的先后次序无关
class A { public: A(int a) :_a1(a) ,_a2(_a1) //先初始化_a2,因为_a2先声明 {} void Print() { cout<<_a1<<" "<<_a2<<endl; } private: int _a2; //声明次序,先声明_a2,再声明_a1 int _a1; } int main() { A aa(1); aa.Print(); //输出结果是:1 随机值 } //实际中,建议声明和初始化列表定义的顺序写成一样的
1.3explicit关键字
构造函数不仅可以初始化对象,对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用
class Date //单个参数
{
public:
Date(int year = 0)
:_year(year)
{}
private:
int _year;
};
int main()
{
Date d1(1); //构造函数
Date d2 = 1; //隐式类型转换 先构造出tmp(1),再用tmp拷贝构造d2(tmp)->编译器可能会优化成直接构造
//const Date& d2 = 1; 引用的是中间产生的临时变量tmp(1),因为临时变量具有常性,所以加const修饰才能通过
//类似于
int i = 1;
const double& d = i; //隐式类型转换
return 0;
}
因为隐式类型转换,导致代码可读性不是很好,引入关键字explicit来禁止构造函数的隐式类型转换
class Date //单个参数
{
public:
explicit Date(int year = 0)
:_year(year)
{}
private:
int _year;
};
int main()
{
Date d1(1);
//Date d2 = 1; //隐式类型转换 当构造函数被explicit修饰后,自定义类型的隐式类型转换被禁止
return 0;
}
隐式类型转换在C++98时,只有单个参数的构造函数才具有该性质
到了C++11,多个参数的构造函数也拥有了类型转换的功能
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
:_year(year)
,_month(month)
,_day(day)
{}
private:
int _year;
int _month;
int _day;
};
int main()
{
Date d1(1,2,3); //正常定义
Date d2 = {1,2,3}; //类似结构体
return 0;
}
2.static成员
2.1概念
类成员包括成员变量和成员函数
声明为static的类成员称为类的静态成员,用static修饰的成员变量称为静态成员变量,用static修饰的成员函数称为静态成员函数
静态成员变量一定要在类外进行初始化
实现一个类,可以计算程序中创建了多少个对象?
分析:创建对象就要调用构造函数,包括构造函数和拷贝构造函数,调用一次构造函数就会创建一个对象
class Test
{
public:
test()
{
++n;
}
test(const test& t)
{
++n;
}
static int GetN() //static修饰后,GetN()可通过类直接调用,而不用再构建对象,通过对象对其调用
{ //static修饰后,这个函数属于整个类,不是单独对象的,因此没有了this指针
return n; //因为没有this指针,所以不能访问非静态的成员
}
private:
static int n; //声明 不是属于某个对象,是属于类的所有对象,属于这个类
//n不在对象中,n在静态区
};
int Test::n = 0; //定义 静态成员变量在类外初始化
Test func(Test t)
{
return t;
}
int main()
{
test t1; //创建一个对象
func(t1); //参数传进去,调用一次拷贝构造,返回值传出来,调用一次拷贝构造,来回创建了2个对象
cout<<Test::GetN()<<endl; //输出3
return 0;
}
2.2特征
- 静态成员变量为所以类对象共享,不属于某个具体的对象,存放在静态区
- 静态成员变量必须在类外定义,定义时不加static修饰,类中只是声明
- 静态成员可以用类名::静态成员或对象.静态成员访问
- 静态成员函数没有隐藏的this指针,不能访问非静态成员
- 静态成员也是类的成员,受访问限定符的限制
3.友元
友元提供了一种突破封装的方式,在某种场景下适用,但因为破坏了封装,增加了耦合度,所以不宜多用
耦合度:指模块间相互依赖的程度。耦合度越低,模块间的依赖关系越小,系统的灵活性和可维护性就越高
内聚度:指模块内部各个元素彼此关联程度的度量。内聚度越高,模块内部的元素关联性越强,该模块更容易理解和维护
友元分为:友元函数和友元类
3.1友元函数
对于日期类,现在想要重载<<来实现日期的打印输出,但是没有办法在类中实现
operator<<(const Date& d)
,因为cout的输出流对象和隐含的this指针都在抢占第一个参数的位置,所以只能把运算符在类外进行重载
#include<iostream> //iostream库里包含cin和cout,<<和>>是C++对于C独有的运算符
using namespace std;
class Date
{
public:
friend ostream& operator<<(ostream& out, const Date& d); //友元函数 因为是友元突破了封装,所以友元声明在
Date(int year = 0, int month = 1, int day = 1) //公有还是私有都可以
:_year(year)
,_month(month)
,_day(day)
{}
private:
int _year;
int _month;
int _day;
};
ostream& operator<<(ostream& out,const Date& d) //ostream是输出流的类型
{
cout << d._year <<"."<< d._month <<"."<< d._day << endl;
return out; //返回值是为了满足连续输出的情况 cout<<d1<<d2;
}
int main()
{
Date d1;
cout << d1;
return 0;
}
回过头来看,为什么
cout<<a
支持自动识别a的类型呢?因为在
iostream
库里已经将基本类型的情况进行了函数重载
特征:
- 友元函数可以访问类的私有成员,它是定义在类外的普通函数,不属于任何类,但需要在类中声明,声明时需要加friend关键字
- 友元函数不能用const修饰
- 友元函数可以在类定义的任意地方声明,不受访问限定符限制
- 一个函数可以是多个类的友元函数
3.2友元类
class Time
{
friend class Date; //声明Date是Time的友元类,Date可以之间访问Time的私有成员
public:
Time(int hour = 0, int minute = 0, int second = 0)
:_hour(hour)
,_minute(minute)
,_second(second)
{}
private:
int _hour;
int _minute;
int _second;
};
class Date
{
public:
Date(int year = 0, int month = 1, int day = 1)
:_year(year)
,_month(month)
,_day(day)
{}
void f(int a)
{
_t._hour = a; //直接访问Time的私有成员
}
private:
int _year;
int _month;
int _day;
Time _t;
};
特征:
- 友元类的所有成员函数都可以是另一个类的友元函数,都可以直接访问另一个类的非公有成员
- 友元关系是单向的,可以在两个类中互相声称对方,这样可以变成双向的
- 友元关系不能传递,A是B的友元,B是C的友元,不能说明A是C的友元
- 友元关系不能继承
4.内部类
概念:如果一个类定义在另一个类的内部,这个在内部的类就叫做内部类
class A
{
public:
class B //B天生就是A的友元类
{
public:
void f(const A& n)
{
cout<< n.a <<endl;
cout<< b <<endl;
}
};
private:
int a;
static int b;
};
int main()
{
A::B b;
A a;
b.f(a);
return 0;
}
注意:
- 内部类是一个独立的类,不属于外部的类,不能通过外部类的对象去访问内部类的成员,外部类对内部类没有任何优越的访问权限
- 内部类是外部类的友元类,可以直接访问外部类的成员
特性:
- 内部类可以在外部类的任意地方定义,不受访问限定符的限制
- 内部类可以直接访问外部类的静态成员,不需要再加类名::或者对象.
sizeof(外部类)
计算外部类的大小,跟内部类没有关系
5.匿名对象
概念:不给对象命名的情况下创建的对象
class test
{
public:
void f()
{}
};
int main()
{
test a; //正常定义对象
test(); //匿名对象,生命周期只有这一行
test().f(); //直接调用成员函数
return 0;
}
C++是基于过程的面向对象,而Java是完全面向对象,因此在Java里,函数只能定义在类里,匿名对象的出现可以直接快速调用成员函数
6.再次理解类与对象
类是对某一实体进行描述的,描述该实体的属性和行为,形成的新的自定义类型,再用形成的类型实例化出对象
类似于
int i;
的关系,只不过int
是整形,而类是自定义的类型