目录
前言:
一:static成员
(1)概念
(2)特性
(3)例子
二:explicit关键字
三:内部类
(1)概念
(2)特性
(3)实例
四:匿名对象
(1)概念
(2)特性
(3)实例
五:拷贝对象时的一些编译器优化
(1)引入
(2)更多例子
代码:
前言:
C++专栏内容连贯,没展开讲的重要内容都在专栏往期。
为方便语法学习,直接展开std命名空间。
个人主页链接:派小星233的博客_CSDN博客-初阶数据结构,C语言,C++初阶领域博主
一:static成员
(1)概念
- 声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量,静态成员变量一定要在类外进行初始化
- 用static修饰的成员函数,称之为静态成员函数。
(2)特性
- 静态成员为所有类对象所共享,不属于某个具体的对象,存放在静态区
- 静态成员变量必须在类外定义,定义时不添加static关键字,类中只是声明
- 类静态成员即可用类名::静态成员 或者 对象.静态成员来访问
- 静态成员函数没有隐藏的this指针,不能访问任何非静态成员
- 静态成员也是类的成员,受public、protected、private 访问限定符的限制
(3)例子
问题:实现一个类,计算程序中创建出了多少个类对象。
代码:
class A
{
public:
A() //构造
{
++_scount;
}
A(const A & t) //拷贝
{
++_scount;
}
static int GetACount()
{
return _scount;
}
private:
//声明这个静态变量是属于这个类的,没有定义
static int _scount;
};
//定义并加域限定符(域限定也是符号表规则之一,不加的话类中的_scout只有声明)
int A::_scount = 0;
int main()
{
cout << A::GetACount() << endl;
A a1, a2;
A a3(a1);
//构造了三次,属于类A的静态变量加了3
cout << A::GetACount() << endl;
return 0;
}
二:explicit关键字
class A
{
public:
A(int a = 0,int b = 0)
:_a(a)
,_b(b)
{}
private:
int _a;
int _b;
};
int main()
{
A a1 = 50;
return 0;
}
上面的代码和结果说明了这样一个现象:
构造函数不仅可以构造与初始化对象,对于单个参数或者除第一个参数无默认值其余均有默认值的构造函数,还具有类型转换的作用。
⭐构造函数的隐式转换有的时候很灵活,有的时候却会导致代码的可读性下降,explicit关键字的作用就是修饰构造函数,禁止类型转换。
代码:
//这段代码编译不通过
class Date
{
public:
// 1. 单参构造函数,没有使用explicit修饰,具有类型转换作用
// explicit修饰构造函数,禁止类型转换---explicit去掉之后,代码可以通过编译
explicit Date(int year)
:_year(year)
{}
/*
// 2. 虽然有多个参数,但是创建对象时后两个参数可以不传递,没有使用explicit修饰,具
有类型转换作用
// explicit修饰构造函数,禁止类型转换
explicit Date(int year, int month = 1, int day = 1)
: _year(year)
, _month(month)
, _day(day)
{}
*/
Date& operator=(const Date& d)
{
if (this != &d)
{
_year = d._year;
_month = d._month;
_day = d._day;
}
return *this;
}
private:
int _year;
int _month;
int _day;
};
void Test()
{
Date d1(2022);
// 用一个整形变量给日期类型对象赋值
//构造函数没用explicit修饰时实际编译器背后会用2023构造一个无名对象,最后用无名对象给d1对象进行赋值
d1 = 2023;
// 将1屏蔽掉,2放开时则编译失败,因为explicit修饰构造函数,禁止了单参构造函数类型转换的作用
}
三:内部类
(1)概念
如果一个类定义在另一个类的内部,这个内部类就叫做内部类。内部类是一个独立的类,
它不属于外部类;内部类就是外部类的友元类,内部类可以访问外部类中的所有成员。但是外部类不是内部类的友元,不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。(C++内部类并不常用)
(2)特性
- 内部类可以定义在外部类的public、protected、private都是可以的。(如果定义在private或者protected,则外部不可定义内部类的对象)
- 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象/类名。
- sizeof(外部类)=外部类,和内部类没有任何关系。
(3)实例
class A
{
private:
static int k;
int _a = 0;
public:
class B // B天生就是A的友元
{
public:
void foo(const A& a)
{
//B类是A类友元,可以访问A
cout << k << endl;
cout << a._a << endl;
}
};
};
int A::k = 1;
int main()
{
//虽然说类A对类B并没有访问权限,但是类B的定义是在A的域里面的
//定义类B实例化对象时需要加上域限定符
A::B b;
A a1;
b.foo(a1);
return 0;
}
四:匿名对象
(1)概念
匿名对象指的是没有被赋予任何名称的对象,它们通常是在方法调用时临时创建的,并且只能被引用一次。虽然匿名对象没有名称,但它们仍然是一个完整的对象,具有对象的所有属性和方法。需要注意的是,由于没有名称,当使用匿名对象时无法再进行其他操作或访问该对象。
(2)特性
匿名对象没有名字,在定义对象时,不需要为其分配变量名,可以直接使用,且使用完毕后不需要释放内存,系统会自动回收。
匿名对象一般用于临时的对象操作,可以在一些函数中直接使用,无需定义变量。
匿名对象一般不能用于多次操作。如果需要多次操作一个对象,应当定义具名对象,否则代码会难以维护。
在定义匿名对象时,无法传递对象参数执行对象的构造函数。
匿名对象的生命周期只有一条语句。
(3)实例
代码:
class A
{
public:
A(int a = 0)
:_a(a)
{
cout << "A(int a)" << endl;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
};
class Solution {
public:
int Sum_Solution(int n)
{
//这里可以实现一系列计算,比方求n的阶乘
//…………
return n;
}
};
int main()
{
A aa1;
// 不能这么定义对象,因为编译器无法识别下面是一个函数声明,还是对象定义
//A aa1();
// 但是我们可以这么定义匿名对象,匿名对象的特点不用取名字,
// 但是他的生命周期只有这一行,我们可以看到下一行他就会自动调用析构函数
A();
A aa2(2);
// 匿名对象在这样场景下就很好用
Solution().Sum_Solution(10);
return 0;
}
五:拷贝对象时的一些编译器优化
(1)引入
注意:这部分的优化取决于编译器,大部分的编译器是存在优化的。
但对象复杂的类对象,一个对象往往很大,这个时候拷贝的代价十分大,编译器会在保证安全的情况下进行优化。比如:使用去A函数构造一个对象,然后传值返回main函数去拷贝构造一个新对象。在未优化的情况下,你先拷贝了一份存储在预留的部分,然后在回收空间前又拷贝预留的一份到main函数栈帧中;这个行为在编译器看来是可以优化的,于是编译器直接拷贝了一份到main函数栈帧中,省去了在预留空间中的一次拷贝。(其他的连续拷贝也类似)
(2)更多例子
代码:
class A
{
public:
A(int a = 0)
:_a(a)
{
cout << "A(int a)" << endl;
}
A(const A& aa)
:_a(aa._a)
{
cout << "A(const A& aa)" << endl;
}
A& operator=(const A& aa)
{
cout << "A& operator=(const A& aa)" << endl;
if (this != &aa)
{
_a = aa._a;
}
return *this;
}
~A()
{
cout << "~A()" << endl;
}
private:
int _a;
};
void f1(A aa)
{}
A f2()
{
A aa;
return aa;
}
int main()
{
// 传值传参
A aa1;
f1(aa1);
cout << endl;
// 传值返回
f2();
cout << endl;
// 隐式类型,连续构造+拷贝构造->优化为直接构造
f1(1);
// 一个表达式中,连续构造+拷贝构造->优化为一个构造
f1(A(2));
cout << endl;
// 一个表达式中,连续拷贝构造+拷贝构造->优化一个拷贝构造
A aa2 = f2();
cout << endl;
// 一个表达式中,连续拷贝构造+赋值重载->无法优化
aa1 = f2();
cout << endl;
return 0;
}