草庐IT

C++类和对象终章——友元函数 | 友元类 | 内部类 | 匿名对象 | 关于拷贝对象时一些编译器优化

花想云(西安第一深情) 2023-06-11 原文


文章目录

💐专栏导读

🌸作者简介:花想云,在读本科生一枚,致力于 C/C++、Linux 学习。

🌸本文收录于 C++系列,本专栏主要内容为 C++ 初阶、C++ 进阶、STL 详解等,专为大学生打造全套 C++ 学习教程,持续更新!

🌸相关专栏推荐:C语言初阶系列C语言进阶系列 数据结构与算法

💐文章导读

本文为类和对象终章,我们将学习友元的概念,包含友元函数友元类内部类匿名对象以及关于拷贝构造时一些编译器优化的情况等。

🌷友元

面向对象有三大特性——封装继承多态。从学习C++至今,我们一直在谈封装的重要性。但是在某些特殊的情况下,有时需要突破封装的限制。

🌼举例

之前我们通过实现日期类来学习运算符重载。其中实现操作符<<(流插入)、>>(流提取)的重载时,我们遇到了难题——如果在类中实现<<>>重载,我们无法调换this指针的位置,导致实现出来的重载<<用起来怪怪的。如下:

class Date
{
//...
	//使用因为返回,为了适应连续输入或输出的情况
	ostream& operator<<(ostream& out)
	{
		out << _year << "年" << _month << "月" << _day << "日" << endl;
		return out;
	}
	istream& operator>>(istream& in)
	{
		in >>_year >>_month >>_day;
		return in;
	}
	//...
}
void Test()
{
	Date d1(2023, 4, 1);
	d1 << cout;//有点奇怪
}

还记得当时我们是怎么解决的吗?答案是,可以将两个函数改为友元函数。例如:

class Date
{
//...
	//声明友元函数
	friend ostream& operator<<(ostream& out, const Date& d);
	friend istream& operator>>(istream& in, Date& d);
	//...
}
ostream& operator<<(ostream& out, const Date& d)
{
	out << d._year << "年" << d._month << "月" << d._day << "日";
	return out;
}

istream& operator>>(istream& in, Date& d)
{
	in >> d._year >> d._month >> d._day;
	return in;
}

上次我们只是浅浅的看了一下友元函数的使用。今天我们正式认识一下友元

🌺概念

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

友元分为:友元函数友元类

🌺友元函数

友元函数可以直接访问类的私有成员,它是定义在类外部的普通函数不属于任何类,但需要在类的内部声明,声明时需要加friend关键字。

🌼示例

{
//...
	//声明友元函数
	friend ostream& operator<<(ostream& out, const Date& d);
	friend istream& operator>>(istream& in, Date& d);
	//...
}
ostream& operator<<(ostream& out, const Date& d)
{
	out << d._year << "年" << d._month << "月" << d._day << "日";
	return out;
}

istream& operator>>(istream& in, Date& d)
{
	in >> d._year >> d._month >> d._day;
	return in;
}

🍁友元函数的重要性质

友元函数有如下几条重要的性质:

  • 友元函数可访问类的私有和保护成员,但它不是类的成员函数;
  • 友元函数不能用const修饰;
  • 友元函数可以在类定义的任何地方声明,不受类访问限定符限制
  • 一个函数可以是多个类的友元函数
  • 友元函数的调用与普通函数的调用原理相同;

🌺友元类

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

🌼示例

class Time
{
	friend class Date;//声明日期类为时间类的友元类,则在日期类中可以直接发访问时间类
	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 = 2023, int month = 4, int day = 9)
		: _year(year)
		, _month(month)
		, _day(day)
	{}
	void SetTime(int hour, int minute, int second)
	{
		// 直接访问时间类私有的成员变量
		_t._hour = hour;
		_t._minute = minute;
		_t._second = second;
	}
private:
	int _year;
	int _month;
	int _day;
	Time _t;
};

🍁友元类的重要性质

友元类的重要性质如下:

  • 友元关系是单向的,不具有交换性

比如上述Time类和Date类,在Time类中声明Date类为其友元类,那么可以在Date类中直接访问Time类的私有成员变量,但想在Time类中访问Date类中私有的成员变量则不行。

  • 友元关系不能传递

如果C是B的友元, B是A的友元,则不能说明C是A的友元。

  • 友元关系不能继承(先不做解释);

🌷内部类(不常用)

如果一个类定义在另一个类的内部,这个类就叫做内部类。内部类是一个独立的类,它不属于外部类,更不能通过外部类的对象去访问内部类的成员。外部类对内部类没有任何优越的访问权限。

内部类有一个重要的性质——内部类天生就是外部类的友元。参照友元类的定义,内部类可以通过外部类的对象参数来访问外部类中的所有成员。但是外部类不是内部类的友元。

🌺内部类的性质

  1. 内部类可以定义在外部类的public、protected、private下。
  2. 注意内部类可以直接访问外部类中的static成员,不需要外部类的对象或类名
  3. sizeof(外部类)=外部类,说明外部类和内部类在空间上没有任何关系。

🌼示例

class A
{
private:
	//声明static成员
	static int k;
	int n=0;
public:
	class B // B天生就是A的友元
	{
	public:
		void print(const A& a)
		{
			cout << k << endl;
			cout << a.n << endl;
		}
	};
};

//初始化static成员
int A::k = 1;

int main()
{
	A::B b;//定义B类对象

	A a;
	b.print(a);
	return 0;
}

🌷匿名对象

匿名对象,顾名思义,该对象没有名字就叫匿名对象。匿名对象重要的性质:

  • 匿名对象的生命周期只在定义它的那一行

🌼示例

class A
{
public:
	A(int a = 0)
		:_a(a)
	{}
private:
	int _a;
};

int main()
{
	//普通对象
	A a1;
	//匿名对象的定义
	return 0;
}

匿名对象看似鸡肋,但在某些场合下非常适用。比如,我们只想拿到类内部的某个成员的值,或只是想用一下类中的某个成员函数,为了一件简单的事而专门定义一个对象再销毁显得有点多此一举,那么就可以使用匿名对象

🌼示例

class solution
{
public:
	int Sum_Solution(int n)
	{
		int sum = 0;
		for (int i = 1; i <= n; i++)
		{
			sum += i;
		}
		return sum;
	}
};
int main()
{
	//匿名对象的使用场景
	cout << solution().Sum_Solution(100) << endl;
	return 0;
}

🌷关于拷贝对象时一些编译器优化

对于有些场景下,若出现拷贝构造与构造同时出现的情况,编译器可能省略中间的拷贝构造,转化为直接构造。(此种情况取决于不同编译器不同的实现方法)

🌼示例

上一章中,我们谈到类型转换。这是典型的1个拷贝构造+1个构造优化为——>直接构造

class Date
{
public:
	Date(int year)
		:_year(year)
	{}
private:
	int _year=0;
};

void Test()
{
	//1个拷贝构造+1个构造优化为——>直接构造
	Date d2 = 2023;
}

🌼其它情况

class A
{
public:
	A(int a = 0)
		:_a(a)
	{}
private:
	int _a;
};

void func1(A aa)
{

}

void func2(const A& aa)
{

}

A func3()
{
	A aa;
	return aa; 
}

A func4()
{
	return A();
}

int main()
{
	A aa1 = 1; // 构造+拷贝构造 ——> 优化为直接构造
	func1(aa1); // 无优化
	func1(2); // 构造+拷贝构造 ——> 优化为直接构造
	func1(A(3)); // 构造+拷贝构造——> 优化为直接构造
	func2(aa1);  // 无优化
	func2(2);    // 无优化
    func2(A(3)); // 无优化

	A aa1 = func3(); // 拷贝构造+拷贝构造  -- 优化为一个拷贝构造

	A aa2;
	aa2 = func3();  // 不能优化

	func4(); // 构造+拷贝构造 -- 优化为直接构造
	A aa3 = func4(); // 构造+拷贝构造+拷贝构造  -- 优化为直接构造

	return 0;
}

点击下方个人名片,可添加博主的个人QQ,交流会更方便哦~
↓ ↓ ↓ ↓ ↓ ↓ ↓ ↓

有关C++类和对象终章——友元函数 | 友元类 | 内部类 | 匿名对象 | 关于拷贝对象时一些编译器优化的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法? - 2

    总的来说,我对ruby​​还比较陌生,我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础,我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 在 Ruby 中使用匿名模块 - 2

    假设我做了一个模块如下:m=Module.newdoclassCendend三个问题:除了对m的引用之外,还有什么方法可以访问C和m中的其他内容?我可以在创建匿名模块后为其命名吗(就像我输入“module...”一样)?如何在使用完匿名模块后将其删除,使其定义的常量不再存在? 最佳答案 三个答案:是的,使用ObjectSpace.此代码使c引用你的类(class)C不引用m:c=nilObjectSpace.each_object{|obj|c=objif(Class===objandobj.name=~/::C$/)}当然这取决于

  3. ruby-on-rails - 按天对 Mongoid 对象进行分组 - 2

    在控制台中反复尝试之后,我想到了这种方法,可以按发生日期对类似activerecord的(Mongoid)对象进行分组。我不确定这是完成此任务的最佳方法,但它确实有效。有没有人有更好的建议,或者这是一个很好的方法?#eventsisanarrayofactiverecord-likeobjectsthatincludeatimeattributeevents.map{|event|#converteventsarrayintoanarrayofhasheswiththedayofthemonthandtheevent{:number=>event.time.day,:event=>ev

  4. ruby-on-rails - 如何验证非模型(甚至非对象)字段 - 2

    我有一个表单,其中有很多字段取自数组(而不是模型或对象)。我如何验证这些字段的存在?solve_problem_pathdo|f|%>... 最佳答案 创建一个简单的类来包装请求参数并使用ActiveModel::Validations。#definedsomewhere,atthesimplest:require'ostruct'classSolvetrue#youcouldevencheckthesolutionwithavalidatorvalidatedoerrors.add(:base,"WRONG!!!")unlesss

  5. Ruby 写入和读取对象到文件 - 2

    好的,所以我的目标是轻松地将一些数据保存到磁盘以备后用。您如何简单地写入然后读取一个对象?所以如果我有一个简单的类classCattr_accessor:a,:bdefinitialize(a,b)@a,@b=a,bendend所以如果我从中非常快地制作一个objobj=C.new("foo","bar")#justgaveitsomerandomvalues然后我可以把它变成一个kindaidstring=obj.to_s#whichreturns""我终于可以将此字符串打印到文件或其他内容中。我的问题是,我该如何再次将这个id变回一个对象?我知道我可以自己挑选信息并制作一个接受该信

  6. ruby - 在没有 sass 引擎的情况下使用 sass 颜色函数 - 2

    我想在一个没有Sass引擎的类中使用Sass颜色函数。我已经在项目中使用了sassgem,所以我认为搭载会像以下一样简单:classRectangleincludeSass::Script::FunctionsdefcolorSass::Script::Color.new([0x82,0x39,0x06])enddefrender#hamlengineexecutedwithcontextofself#sothatwithintemlateicouldcall#%stop{offset:'0%',stop:{color:lighten(color)}}endend更新:参见上面的#re

  7. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

    如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

  8. ruby-on-rails - 未在 Ruby 中初始化的对象 - 2

    我在Rails工作并有以下类(class):classPlayer当我运行时bundleexecrailsconsole然后尝试:a=Player.new("me",5.0,"UCLA")我回来了:=>#我不知道为什么Player对象不会在这里初始化。关于可能导致此问题的操作/解释的任何建议?谢谢,马里奥格 最佳答案 havenoideawhythePlayerobjectwouldn'tbeinitializedhere它没有初始化很简单,因为你还没有初始化它!您已经覆盖了ActiveRecord::Base初始化方法,但您没有调

  9. ruby - 如何在 Rails 4 中使用表单对象之前的验证回调? - 2

    我有一个服务模型/表及其注册表。在表单中,我几乎拥有服务的所有字段,但我想在验证服务对象之前自动设置其中一些值。示例:--服务Controller#创建Action:defcreate@service=Service.new@service_form=ServiceFormObject.new(@service)@service_form.validate(params[:service_form_object])and@service_form.saverespond_with(@service_form,location:admin_services_path)end在验证@ser

  10. ruby-on-rails - 在 ruby​​ 中使用 gsub 函数替换单词 - 2

    我正在尝试用ruby​​中的gsub函数替换字符串中的某些单词,但有时效果很好,在某些情况下会出现此错误?这种格式有什么问题吗NoMethodError(undefinedmethod`gsub!'fornil:NilClass):模型.rbclassTest"replacethisID1",WAY=>"replacethisID2andID3",DELTA=>"replacethisID4"}end另一个模型.rbclassCheck 最佳答案 啊,我找到了!gsub!是一个非常奇怪的方法。首先,它替换了字符串,所以它实际上修改了

随机推荐