C++之类和对象(三)

x33g5p2x  于2021-10-25 转载在 C/C++  
字(15.5k)|赞(0)|评价(0)|浏览(351)

我们首先来看一个关于构造函数和析构函数调用顺序相关的一道题:

class A
{
public:
    A()
    {
        cout<<"A()"<<endl;
    }
    ~A()
    {
        cout<<"~A()"<<endl;
    }
    
};
class B
{
public:
    B()
    {
        cout<<"B()"<<endl;
    }
    ~B()
    {
        cout<<"~B()"<<endl;
    }
};
class C
{
public:
    C()
    {
        cout<<"C()"<<endl;
    }
    ~C()
    {
        cout<<"~C()"<<endl;
    }
};
class D
{
public:
    D()
    {
        cout<<"D()"<<endl;
    }
    ~D()
    {
        cout<<"~D()"<<endl;
    }
};

设已经有A,B,C,D,4个类的定义,程序中A,B,C,D析构函数调用顺序为?()

C c;
int main()
{
    A a;
    B b;
    static D d;
    return 0;
}

构造函数是定义对象的时候调用的,析构函数是在对象销毁的时候调用的,也就是生命周期结束的时候

栈要符合后进先出,在函数栈帧里面也要符合后进先出的性质,首先我们看a和b,a比b先定义,销毁的时候就是b先销毁,a再销毁,所以现在至少知道了b比a先调用析构函数,我们再来进一步分析,c是一个全局对象,d是一个静态对象,c和d对象在程序的整个运行期间都存在,直到main函数结束,c是在main函数之前就构造处理了, 静态的不是在main函数之前初始化的,而是在第一次调用这个函数时进行初始化的,然后再构造a,再构造b,再构造d,那么析构顺序是怎么样的呢?析构顺序是后定义的先析构,因为c是再main函数进去之前就定义了,所以它是在最后析构,那么a、b、d是怎么样的顺序呢?首先a和b的顺序是b先析构,然后a再析构,那么d是在什么时候析构呢?后定义的不是先析构吗?那么顺序是d、b、a吗?不是的,因为d是静态变量,他是在第一次调用当前域函数的时候初始化,它是静态的,当第二次调用函数的时候就不进行初始化了,它是存在静态区的,它和c一样都是在main函数结束后才销毁的,那么d为什么先比c销毁,是因为它们都在静态区,先定义的后析构,所以析构函数的调用顺序是:b,a,d,c。

再谈构造函数

构造函数体赋值

在创建一个对象时,编译器通过调用构造函数给对象的各个成员进行初始化

此时我们有一个难题:

class A
{
public:
    A(int a)
    {
        _a=a;
    }
private:
    int_a;
}
class B
{
private:
    int _b;//内置类型
    A _aa;//自定义类型
};
int main()
{
    B b;
}

B类里面有一个内置类型和一个自定义类型的成员变量,我们现在要对它们初始化,假设B类我们不写构造函数,编译器会生成默认构造函数,对自定义类型会调用自定义类型的构造函数,对内置类型不处理。当我们不写B类的构造函数,给A类写一个带参的构造函数时,编译器会报错:

这里本质上是B生成的默认构造函数去调用A的默认构造函数,但是A没有默认构造函数,所以会报错。

我们将A类的构造函数改为默认构造函数就解决了:

对于编译器默认生成的默认构造函数内置类型不处理,自定义类型处理,C++11打了一个补丁:

class B
{
private:
    int _b = 1;//内置类型
    A _aa;//自定义类型
};

这里是声明,而不是初始化,后面给一个缺省值,当没有处理_b时,就会用默认的,也就是1

但是这样比较尴尬,这里的_b只能初始化为1,那么我们写一个带参的构造函数

B(int a,int b)
{
    
}

那么这里怎么初始化呢?感觉不好初始化,只要_b好初始化

B(int a,int b)
{
    _b = b;
}

关键是_aa怎么初始化呢?这样吗?

B(int a,int b)
{
    _aa._a = a;
    _b = b;
}

这样是不行的,因为_a在A类是私有的,是不可以访问或者修改的

那么要怎么处理这个问题呢?这样就可以初始化:

B(int a,int b)
{
   	A aa(a);
    _aa = aa;
    _b = b;
}

这里定义了A类型aa对象,调用了构造函数初始化了aa对象,再将aa对象赋值给_aa,这里又调用了赋值重载函数,这里是比较麻烦的。

实际上我们也可以定义一个匿名对象进行:

B(int a,int b)
{
   	_aa = A(a);//匿名对象,只是想临时用用
    _b = b;
}

匿名对象的生命周期是定义的这一行

所以我们确定的初始化的解决为:

class A
{
public:
	A(int a = 0)
	{
		_a = a;
		cout << "A(int a = 0)" << endl;
	}
	A& operator=(const A& aa)
	{
		cout << "operator=(const A& a)" << endl;
		if (this != &aa)
		{
			_a = aa._a;
		}
		return *this;
	}
private:
	int _a;
};
class B
{
public:
	B(int a, int b)
	{
		_aa = A(a);//匿名对象,只是想临时用用
		_b = b;
	}
private:
	int _b = 1;
	A _aa;
};
int main()
{
	B b(10,20);
	return 0;
}

可以看到调用了A类的两次构造函数,一次赋值重载函数

可能有的人会疑惑,为什么会有两个构造?

因为在b对象被定义出来以后,有一个自定义类型,有一个内置类型,在B类的构造函数里面它会默认先去调用A的构造:

我们可以通过反汇编可以看到在B的构造函数里面调用了A的构造函数。

我们这样写了一个构造函数完成了初始化,但是可以看到非常麻烦,要初始化这个_aa代价很大,这个是函数体内初始化,接下来我们来看初始化列表初始化:

初始化列表

初始化列表:以一个冒号开始,接着是一个以逗号分隔的数据成员列表,每个"成员变量"后面跟一个放在括号中的初始值或表达式。

对于没有自定义类型成员时函数体内初始化和使用初始化列表初始化没有什么区别,而在有自定义类型成员时,函数体内初始化改用初始化列表可以提高效率。

因为在有自定义类型成员时,函数体内初始化付出的代价高,而初始化列表初始化呢?

class A
{
public:
	A(int a = 0)
	{
		_a = a;
		cout << "A(int a = 0)" << endl;
	}
	A& operator=(const A& aa)
	{
		cout << "operator=(const A& a)" << endl;
		if (this != &aa)
		{
			_a = aa._a;
		}
		return *this;
	}
private:
	int _a;
};
class B
{
public:
	B(int a, int b)
        :_aa(a),_b(b)
	{
		//_b = b;
	}
private:
	int _b = 1;
	A _aa;
};
int main()
{
	B b(10,20);
	return 0;
}

使用初始化列表初始化只调用了一个构造函数就完成了初始化,不写初始化列表,我们在函数体开始时也要调用构造,只是调用的是默认构造,如果显式的去写,就可以去调用带参的构造

  • 尽量使用初始化列表初始化
    因为就算不写,编译器也会认为是有初始化列表的_b,_aa会使用默认初始化列表进行初始化,可以说初始化列表是成员变量定义的地方,所以建议能使用初始化列表初始化的成员尽量使用初始化列表初始化
class B
{
public:
	B(int a, int b)
	{
		_aa = A(a);//匿名对象,只是想临时用用
		_b = b;
	}
private:
	int _b = 1;
	A _aa;
};
int main()
{
	B b(10,20);
	return 0;
}

尽管我们没有显式的写初始化列表,那么这里也是认为有初始化列表的,_b和_aa会使用默认初始化列表进行初始化,我们也可以认为初始化列表是对象的成员变量定义的地方

我们调式可以看到还没有走函数体内的初始化,他已经被初始化了,所以一般的建议是:能使用初始化列表初始化的成员尽量使用初始化列表进行初始化

  • 有些成员必须使用初始化列表初始化

1.const修饰的变量必须使用初始化列表初始化

class B
{
public:
    B(int c)
    {
        _c=c;
    }
    private:
    const int _c;
    int& _ref;
};
int main()
{
    B b(1);
    return 0;
}

使用函数体内初始化它会报错,为什么呢?
const修饰的变量必须在定义的时候初始化,那么对象的成员在初始化列表定义,已经定义过了就不能再在函数体内改了

2.引用也必须使用初始化列表进行初始化

class B
{
public:
    B(int c,int& ref)
        :_c(c)
    {
        _ref=ref;
    }
private:
    const int _c;
    int& _ref;
};
int main()
{
    int ref = 10;
    B b(1,ref);
    return 0;
}

为什么呢?
是因为引用也必须在定义的时候初始化

3.自定义类型成员(该类没有默认构造函数)

class A
{
public:
	A(int a)
	{
		_a = a;
		cout << "A(int a = 0)" << endl;
	}
private:
	int _a;
};
class B
{
public:
    B(int c,int& ref)
        :_c(c),_ref(ref)
    {
    }
private:
    const int _c;
    int& _ref;
    A _aa;
};
int main()
{
    int ref = 10;
    B b(1,ref);
    return 0;
}

这里会报错,因为不写,它会调用默认的构造函数,写了就会调用带参的构造函数

总结:

尽量使用初始化列表初始化,因为就算你不显示用初始化列表,成员也会先用初始化列表初始化一遍。
1.
有些成员是必须在初始化列表初始化的。引用、const、没有默认成员函数、的成员
1.
初始化列表和函数体内初始化,可以混着用,互相配合

比如实现带头双向循环链表

//带头双向循环链表
List(): _head(BuyNode(0))
{
    //有些初始化用初始化列表完成不了,还得函数体内初始化,所以我们要注意灵活应用
    _head->next = _head;
    _head->prev = _head;
}
  • 成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关
class A
{
public:
    A(int a)
    :_a1(a)
    ,_a2(_a1)
	{}
void Print() 
{
	cout<<_a1<<" "<<_a2<<endl;
}
private:
    int _a2;
    int _a1;
};
int main() 
{
    A aa(1);
    aa.Print();
}

上面这段程序会输出什么呢?

A. 输出1 1

B.程序崩溃

C.编译不通过

D.输出1 随机值

答案是D,为什么呢?

因为成员变量在类中声明次序就是其在初始化列表中的初始化顺序,与其在初始化列表中的先后次序无关,这里是先初始化a2,a2是用a1进行初始化的,但是此时a1还没初始化,a1是随机值,所以a2是随机值,然后再用a初始化a1,故a1为1,所以最后输出1和随机值,在实际中建议声明顺序和初始化列表的顺序保持一致,避免出现这样的问题

explicit关键字

我们首先看下面这个代码:

class A
{
public:
    A(int a):_a(a)
    {}
private:
    int _a;
};
int main()
{
    A aa1(1);
    return 0;
}

这里就是创建了aa1对象,调用了它的构造函数

还可以这样写:

class A
{
public:
    A(int a):_a(a)
    {}
private:
    int _a;
};
int main()
{
    A aa1(1);
    //下面本质是一个隐式类型转换
    A aa2 = 2;
    return 0;
}

第11行是调用构造函数,那么第13行是干什么呢?

它其实是隐式类型转换,int转换成A了,为什么int能转换成A呢?因为它有一个用int去初始化A的构造函数,有这个构造函数就支持,没有这个构造函数就不支持

A aa2 = 2;

怎么证明这一点呢?我们打印出来:

可以看到调用了两次构造函数,并没有调用拷贝构造

232行和234行虽然结果是一样的,都是直接调用构造函数,但是对于编译器而言过程是不一样的,234行是优化后的结果

如果你不想这种隐式类型转换的发生,你可以在构造函数前面加个关键字explicit:

class A
{
public:
    explicit A(int a) :_a(a)
    {
        cout << "A(int a)" << endl;
    }
    A(const A& a)
    {
        cout << "A(const A& a)" << endl;
    }
private:
    int _a;
};
int main()
{
    A aa1(1);
    //下面本质是一个隐式类型转换
    A aa2 = 2;
    return 0;
}

此时就会报错无法从int转换为A

上面是一个参数的情况,那么如果是多个参数呢?

class A
{
public:
    explicit A(int a,int b) :_a(a)
    {
        cout << "A(int a)" << endl;
    }
    A(const A& a)
    {
        cout << "A(const A& a)" << endl;
    }
private:
    int _a;
};
int main()
{
    A aa1(1,2);
    return 0;
}

如果是直接调用构造函数,就传多个参数就可以了,那么第二种怎么写呢?

在C98中是不支持多参数的,但是在C11中支持:

int main()
{
    A aa2 = {1,2};
    return 0;
}

C++11支持多个参数时这样写,道理是一样的,编译器会进行优化成只是一个构造

同样地,你不想发生隐式类型转换,你也可以加关键字explicit

static成员

声明为static的类成员称为类的静态成员,用static修饰的成员变量,称之为静态成员变量;用static修饰的成员函数,称之为静态成员函数。静态的成员变量一定要在类外进行初始化

我们来看一个面试题:实现一个类,计算程序构造了多少个对象。(构造+拷贝构造)

int countn = 0;
class A
{
public:
    A()
    {
        ++countn;
    }
    A(const A& a)
    {
        ++countn;
    }
};
A f(A a)
{
    A ret(a);
    return ret;
}
int main()
{
    A a1 = f(A());
    A a2;
    A a3;
    a3 = f(a2);
    cout<<countn<<endl;
    return 0;
}

可以看到有8个

这样写有一个问题,万一别人写时,把你的countn改了呢?

有什么好的方式让别人不能轻易的改呢?

C++当中有静态变量,成员变量不仅可以是普通的变量,也可以是静态变量

class A
{
public:
    A()
    {
        ++_count;
    }
    A(const A& a)
    {
        ++_count;
    }
private:
    //声明
    int _a;
    static int _count;
};
//定义初始化
int A::_count = 0;
A f(A a)
{
    A ret(a);
    return ret;
}

int main()
{
    A a1 = f(A());
    A a2;
    A a3;
    a3 = f(a2);
    return 0;
}

_a和_count有什么区别呢?

_a存储在定义出的对象中,属于某个对象,而_count存在静态区,属于整个类,也属于每个定义出来的对象共享,跟全局变量比较,他受类域和访问限定符限制,更好体现封装,别人不能轻易修改

注意_count没有存在对象里面

int main()
{
    A a1 = f(A());
    A  a2;
    A a3;
    a3 = f(a2);
    cout << sizeof(A) <<endl;//算的是A定义出来的对象的大小
    return 0;
}


可以看到sizeof(A)是4,并没有算_count。

需要注意的是:

静态成员变量不能在构造函数初始化,它在全局位置定义初始化,并且它是私有的,是不能改的

int main()
{
    A a1 = f(A());
    A  a2;
    A a3;
    a3 = f(a2);
    A::_count = 10;//我们假设要修改,会报错
    return 0;
}

那么我们要访问_count需要怎么访问呢?这样吗?

cout <<A::_count << endl;
cout << a1._count <<endl;
cout <<a2._count << endl;

这样是不可以的,因为_count是私有的,是不能访问的,那么把_count设为公有的就可以访问了

那么不是公有,这几种方式都不能访问了,那么还可以怎么访问呢?

我们提供一个GetCount成员函数来获取它:

int GetCount()
{
    return _count;
}

那么我们就可以这样访问:

int main()
{
    A ret;
    cout << ret.GetCount()-1 << endl;
    //也可以这样写,匿名对象
    //cout << A().GetCount()-1 << endl;
    
    return 0;
}

那么我们不想通过创建对象调用这个成员函数怎么办呢?可以把它定义成静态成员函数:

static int GetCount()
{
    return _count;
}
int main()
{
    cout << A::GetCount() << endl;
    //cout << A().GetCount() << endl;//创建对象调用
    return 0;
}

使用静态成员函数,突破类域就可以不使用对象调用了,可以使用类指定去访问。

注意:

静态成员函数没有this指针

static int GetCount()
{
    _a = 1;//error,没有this指针不可以访问成员变量
    return _count;
}

static总结:

C语言:

1、修饰全局变量和全局函数,改变链接属性,只在当前文件可见

2、修饰局部变量,改变生命周期

上面的特性在C中依旧有用,C兼容C的这些特性

C++ :

1、修饰成员变量和成员函数,成员变量属于整个类,所有对象共享,成员函数没有this指针

问题:

1、静态成员函数可以调用非静态成员函数吗?
不可以,因为静态成员函数没有this指针,导致不能调用具体实例对象的成员。静态成员函数的函数形参中没有默认的this指针指向类对象本身。所以当我们调用对象的非静态成员的时候它不能识别该变量

2、非静态成员函数可以调用类的静态成员函数吗?

可以,对于静态成员变量而言,其存在于整个类中,为每个类对象共有,所以就算没有默认的this形参仍然可以识别该静态成员变量

总结:静态的不可以访问非静态的,非静态的可以访问静态的

讲完这些知识,我们来做一道题:

题目描述:
求1+2+3+…+n,要求不能使用乘除法、for、while、if、else、switch、case等关键字及条件判断语句(A?B:C)。

题目思路:

这道题相当于把循环和递归禁掉了,那么有什么方法可以解决呢?可以借助刚才讲的一些特性

class Sum
{
public:
    Sum()
    {
        _ret += _i;
        _i++;
    }
    static int GetRet()
    {
        return _ret;
    }
private:
    static int _i;
    static int _ret;
    
};
int Sum::_i = 1;
int Sum::_ret = 0;
class Solution
{
public:
    int Sum_solution(int n)
    {
        Sum a[n];//定义一个n大小的数组,相当于调用了n次构造函数
        return Sum::GetRet();
    }
};

C++11 的成员初始化新玩法

我们前面说过,我们不写构造函数,编译器对于内置类型默认不会处理,自定义类型会调用它的默认构造函数:

class A
{
    public:
    A():_a(0)
    {}
    private:
    int _a;
};
class B
{
private:
    int _b;
    A _aa;
};
int main()
{
    B bb;
    return 0;
}

内置类型默认不会处理,自定义类型会调用它的默认构造函数,C++在这里打了补丁,给内置类型一个缺省值:

class B
{
private:
    int _b = 0;//这里只是声明,不是定义
    A _aa;
};

可以看到内置类型处理了。

当然还有很多可以给缺省值,比如:

class B
{
private:
    //这里给的都是缺省值,如果在构造函数里显式的给值,这里就没用了
    int _b = 0;//这里只是声明,不是定义
    int *_p = (int*)malloc(sizeof(int)*10);
    //A _aa = A(10);
    A _aa = 10;
    //静态成员不能在这里给缺省值,因为静态成员不在构造函数初始化,需要在全局位置定义初始化
    static int _n =10;//error
};

注意:静态成员不能在这里给缺省值,因为静态成员不在构造函数初始化,需要在全局位置定义初始化

如果在构造函数中我们显示的给值了,就不会用这些缺省值,没有显式给值,就用这些缺省值,这里我们在构造函数当中给_p显式给值了,所以就没有用缺省值:

友元

友元分为:友元函数和友元类
友元提供了一种突破封装的方式,有时提供了便利。但是友元会增加耦合度,破坏了封装,所以友元不宜多用。

友元函数

我们拿日期类来举例子:

class Date
{
public:
    Date(int year, int month, int day)
    : _year(year)
    , _month(month)
    , _day(day)
    {}

prvate:
    int _year;
    int _month;
    int _day
};

我们想像内置类型一样去输入输出:

int main()
{
    Date d1;
    cin >> d1;//把d1这个对象插入到这个流当中去,输入
    cout << d1;//把d1这个对象插入到这个流当中去,输出
    return 0;
}

那么我们需要重载<<运算符和>>运算符,那么我们想一下这两个运算符的操作数是几个呢?是两个,cin是istream类型,cout是ostream类型,我们首先重载<<运算符:

void operator<<(ostream& out)
{
    out << _year <<"/"<<_month<<"/"<<_day<<endl;
}

但是这样编译不过,为什么呢?

运算符重载,运算符有几个操作数,重载函数就有几个参数
如果是两个操作数,左操作数是第一个参数,右操作数是第二个参数,operator<<写成成员函数,隐含的this指针默认占据了第一个位置,对象就要做左操作数。那么用起来就不符合流特性,虽然可以用,但是不符合运算符原来的用法和特性

相当于是这样:

void operator<<(Date* this,ostream& out)
{
    out << _year <<"/"<<_month<<"/"<<_day<<endl;
}

而我们调用时,是这样写的:

cout << d1;

这里顺序冲突了,给重载成员函数的第一个位置传了cout,而不是d1对象,本来是应该给第一个传d1对象,第二个传cout,我们这样写就可以成功:

d1 << cout;
//d1.operator<<(cout);

但是这样影响了它的特性,那么怎么办呢?我们需要写成非成员函数,out做左操作数,类对象做第二个参数:

void operator<<(ostream& out,const Date& d)
{
    out<<d._year<<d._month<<d._day<<endl;
}

但是现在我们又不能访问私有成员,怎么办呢?我们可以写GetYear,GetMonth,GetDay,这些成员函数进行访问,但是这样比较麻烦,那么怎么样还可以解决呢?在C++中有一个友元可以解决这个问题,我们想要访问这个类的私有,那就把这个成员函数设置成这个类的友元:

class Date
{
    friend void operator<<(ostream& _cout,const Date& d);
public:
    Date(int year, int month, int day)
    : _year(year)
    , _month(month)
    , _day(day)
    {}
};
prvate:
    int _year;
    int _month;
    int _day
};
void operator<<(ostream& out,const Date& d)
{
    out<<d._year<<d._month<<d._day<<endl;
}

但是现在写的也是不行的,为什么呢?<<运算符是不是还支持连续输出:

cout << d1 << d2;

所以我们是需要返回值的:

class Date
{
    friend ostream& operator<<(ostream& _cout,const Date& d);
public:
    Date(int year, int month, int day)
    : _year(year)
    , _month(month)
    , _day(day)
    {}
};
prvate:
    int _year;
    int _month;
    int _day
};
ostream& operator<<(ostream& out,const Date& d)
{
    out<<d._year<<d._month<<d._day<<endl;
    return out;
}

我们就顺理成章的可以写>>运算符的重载:

class Date
{
    friend istream& operator>>(istream& in, Date& d);
public:
    Date(int year, int month, int day)
    : _year(year)
    , _month(month)
    , _day(day)
    {}
};
prvate:
    int _year;
    int _month;
    int _day
};
istream& operator>>(istream& in, Date& d)
{
    in >> d._year >> d._month >> d._day;
    return in;
}

那么这里就可以使用了:

int main()
{
    Date d1;
    cin >> d1;//把d1这个对象插入到这个流当中去,输入
    cout << d1;//把d1这个对象插入到这个流当中去,输出
    return 0;
}

总结:
为了让cout在第一个参数,左操作数,我们只能把<<运算符重载写成全局的,其次就是operator<<搞成友元,可以在类中访问私有,但是operator<<不是必须要是友元,还有其他方式,比如通过写成员函数来访问。

  • 友元函数可访问类的私有和保护成员,但不是类的成员函数
    声明为友元函数的函数能在该类中访问私有和保护成员,它并不是类的成员函数

  • 友元函数不能用const修饰
    回答:不能,在类中,const 修饰函数是修饰函数的什么?当然是类函数中的this指针了,那么友元函数有没有this指针呢?当然没有this指针了,所以友元函数不能用const修饰。

  • 友元函数可以在类定义的任何地方声明,不受类访问限定符限制

  • 一个函数可以是多个类的友元函数

例如:

class B;
class A
{
    friend void f(const A& aa, const B& bb);
public:
    A():_a(10)
    {}
private:
    int _a;
};
class B
{
    friend void f(const A& aa, const B& bb);
public:
    B():_b(20)
    {}
private:
    int _b;
};
void f(const A& aa, const B& bb)
{
    cout << aa._a << endl;
    cout << bb._b << endl;
}
int main()
{
    A aa;
    B bb;
    f(aa, bb);
    return 0;
}

这里需要注意我们在A类中将该函数定义为友元时,我们需要在这之前先声明B类,因为编译器不知道B这个符号是什么。

  • 友元函数的调用与普通函数的调用和原理相同

友元类

友元类的所有成员函数都可以是另一个类的友元函数,这些友元函数都可以访问另一个类中的私有成员

  • 友元关系是单向的,不具有交换性
    比如Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中可以直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。

  • 友元关系不能传递
    如果B是A的友元,C是B的友元,则不能说明C是A的友元

友元类:

#include<iostream>
using namespace std;
class Date;
class Time
{
	friend Date;//友元类
public:
	Time(int hour = 0, int minute = 0, int second = 0)
		:_hour(hour), _minute(minute), _second(second)
	{}
	void Print()
	{
		cout << _hour << "/" << _minute << "/" << _second << endl;
	}
private:
	int _hour;
	int _minute;
	int _second;

};
class Date
{
public:
	Date(int year,int month,int day)
		:_year(year),_month(month),_day(day),_t(11,26,30)
	{}
	void Print()
	{
		cout << _year << "/" << _month << "/" << _day <<" "<< _t._hour <<":"<< _t._minute<<":" << _t._second << endl;//Time类是Date类的友元,可以访问私有成员
	}
private:
	int _year;
	int _month;
	int _day;
	Time _t;
};

int main()
{
	Date d1(2021, 10, 18);
	d1.Print();
    return 0;
}

内部类

概念:如果一个类定义在另一个类的内部,这个内部类就叫做内部类。注意此时这个内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去调用内部类。外部类对内部类没有任何优越的访问权限。
注意:内部类就是外部类的友元类。注意友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。

特性:

  1. 内部类可以定义在外部类的public、protected、private都是可以的。
class A
{
private:
    static int k;
    int h;
public:
//protect:
//private:
    class B //B天生就是A的友元
    {
    private:
        int _b;
    };
};
  1. 内部类天生就是外部类的友元,内部类可以直接访问外部类中的static、枚举成员,不需要外部类的对象/类名。
class A
{
private:
	static int k;
    int h;
public:
	class B //B天生就是A的友元
    {
	public:
        void foo( const A& a)
        {
            cout << k << endl; //OK
            cout << a.h << endl; //OK
    	}
    private:
    int _b;
	};
};
int main()
{
    A::B b;
    b.foo(A());
    return 0;
}

  1. sizeof(外部类)=外部类,和内部类没有任何关系。
class A
{
private:
	static int k;
    int h;
public:
	class B //B天生就是A的友元
    {
	public:
        void foo( const A& a)
        {
            cout << k << endl; //OK
            cout << a.h << endl; //OK
    	}
    private:
    int _b;
	};
};
int main()
{
	cout << sizeof(A) << endl;
    A::B b;
    b.foo(A());
    return 0;
}

这里计算A类型对象大小的时候,不考虑B类。因为B作为A的内部类,跟普通类并没有什么区别,只是定义在A的内部,他受到A的类域的限制和访问限定符的限制

理解完内部类,我们再来看一下我们前面做过的那道题

题目描述:
求1+2+3+…+n,要求不能使用乘除法、for、while、if、else、switch、case等关键字及条件判断语句(A?B:C)。

题目思路:

这道题相当于把循环和递归禁掉了,那么有什么方法可以解决呢?这里我们可以把Sum类设置为Solution类的内部类,这里可以更好的体现封装性

class Solution
{
private:
    class Sum//内部类天生是外部类的友元
    {
    public:
        Sum()
        {
            _ret += _i;//Sum是Solution的友元,所以可以访问它的私有成员
            _i++;
        }
    };
    static int _i;
    static int _ret;
public:
    int Sum_Solution(int n)
    {
        Sum a[n];//定义一个n大小的数组,相当于调用了n次构造函数
        return _ret;
    }
};
int Solution::_i = 1;
int Solution::_ret = 0;

因为内部类天生是外部类的友元,所以我们把数据放在外部类,因为内部类可以访问外部类的数据,外部类不可以访问内部类,因为我们为了更好的体现封装性,我们可以把内部类设置为private,这样外面就不能用它了,只让外部类用它的功能就可以了

下面我们再看一道题:

题目描述:
输入一个日期,输出是这一年的第几天

输入描述:

输入一行,每行空格分割,分别是年,月,日

输出描述:

输出是这一年的第几天

#include<iostream>
using namespace std;
int main()
{
    //monthDays[i]存的是1+2+3+...i月的天数
	static int monthDays[13]={0,31,59,90,120,151,181,212,243,273,304,·334,365}
    int year,month,day;
    cin>>year>>month>>day;
    
    int n =monthDays[month-1]+day;//不是闰年的天数=monthDays数组的month-1存的元素+day
    //闰年2月多一天
    if (month > 2 && ((year%4==0 && year%100!=0) || year %400 == 0))
    {
        n++;
    }
    return n;
}

再次理解封装

C++是基于面向对象的程序,面向对象有三大特性即:封装、继承、多态。
C++通过类,将一个对象的属性与行为结合在一起,使其更符合人们对于一件事物的认知,将属于该对象的所有东西打包在一起;通过访问限定符选择性的将其部分功能开放出来与其他对象进行交互,而对于对象内部的一些实现细节,外部用户不需要知道,知道了有些情况下也没用,反而增加了使用或者维护的难度,让整个事情复杂化。

例如我们在实现栈时:

struct Stack
{
	int* a;
    int top;
    int capacity;
}
int StackTop(Stack* ps)
{
	return ps->a[ps->top-1];
}
int main()
{
    //正确的访问方式
    Stack st;
    StackTop(&st);
    
    //错误的访问方式
    st.a[st.top];//如果访问的人自己想自由获取数据,又不清楚top规则,可能就会出问题
    return 0;
}

在现实中,总有人不守规矩,我们本来有正确的接口去获取top,但是总有人自己想自由获取数据,又不清楚top规则,可能就会出问题。

而类就不一样了,这就体现了封装性:

class Stack
{
public:
	int Top()
    {
    	return _a[_top-1];
    }
private:
	int*_a;
	int _top;
    int _capacity;
};
int main()
{
    //正确
    Stack st;
    st.Top();
    //错误
    st.a[st._top]//不可以,压根不给你犯错的机会,因为_top是私有成员,不能访问0【0-
    return 0;
}

使用类时,将_top设置为私有成员,当在外部访问时,编译器就会报错,因为它是私有的,不能访问

再次理解面向对象

可以看出面向对象其实是在模拟抽象映射现实世界。

比如我们在打英雄联盟时,我们选定的英雄就是对象,我们的战绩,输出,承伤等等就是这个对象的属性,在游戏中移动,攻击其实就是方法。

欢迎大家学习交流!

相关文章