2. C++基础:Trivial/Standard layout/POD
在深入学习《STL源码剖析》时,码解对trivial/standard layout/POD这几个概念有了深入理解。码解以下是码解它们的关键要点:1. C++编译器自动生成的函数
新定义类型的构造函数会影响编译器的行为。C++引入了明确指定默认构造函数的码解方式。若已有构造函数,码解编译器将不再自动创建默认构造函数。码解哪里有人气源码2.1 Trivial类型
一个类型被称为trivial,码解当满足以下条件:没有用户自定义的码解构造函数、析构函数、码解拷贝构造函数、码解赋值运算符或静态成员。码解例如:// 示例1: trivial
struct SimpleType { } __attribute__((trivial));
// 示例2: non-trivial
struct ComplexType {
int data;
};
3. Standard layout类型
标准布局类型保持与C语言兼容的码解内存布局,允许用户定义构造函数,码解但不支持C++的码解额外特性。例如:// 示例1: standard layout
class StandardClass {
public:
int data;
};
// 示例2: non-standard layout (可能使用虚函数或内部继承等)
class NonStandardClass { };
4. POD类型
POD(Plain Old Data)是码解既trivial又standard layout的类型。它们的特性包括简单、没有复杂成员函数,但C++后,推荐使用std::is_trivial和std::is_standard_layout来判断。// 示例1: POD
struct PODClass : public SimpleType {
// 省略其他可能的成员
};
以上是关于C++中trivial/standard layout/POD概念的总结,这些在编写高效、可移植的代码时至关重要。做java程序员都要看哪些书
我就是去年刚毕业的 ,买了好多书,开始买的web查看源码寻找password是java圣经--《java编程思想》但是不适合初学者,因为是外文翻译过来的,初学者很难懂,但它确实经典。后来我挑了很多书,我选中了《由浅入深学java》李志刚写的,电子工业出版社。我主要看中了里面不但有讲解,还有小练习,练习还有答案,这个对初学者很好。我用的技术是jsp+oracle。所以还买了一本数据库书《从入门到精通oracle》中国水利水电出版社,钱慎一,张素智写的。没深看,就学习基本的数据库添加、修改、删除语句。看了这两本书,我还是对我整个工程结构不明白,我有买了本《java web轻量级开发全体验》邓子云系的,电子工业出版社。这本书让我对框架有了清楚的了解还介绍用eclipse软件如何开发,我觉得非常值得你一看。怎么解析apk的源码
书是必须看的,此外我还经常去百度文库搜索我遇到的新鲜的技术术语,百度文库里我也学到了不少技术,js、spring、ssh、ibatis啊这些东西你不可能样样都买书,所以从网上看一样。没事我还经常去csdn网站,了解咱们IT行业最新前景,这都对咱们新手有很大帮助。
不明白的地方我经常去百度知道问,也会去帮助别人解答。这对自己知识的理解都有好处。
祝你学习愉快
从应用到源码理解STL反向迭代器
在实际应用中,我们可能需要从序列容器(如vector)的尾部移除不满足特定条件的部分元素。这通常涉及从尾部开始的迭代操作。然而,容器成员函数erase不接受反向迭代器作为参数。因此,我们需要将反向迭代器转换为普通迭代器。先来看看STL迭代器的分类和转换关系。
STL迭代器主要分为用途迭代器,它们之间存在转换关系,图片分类管理源码但不是所有迭代器类型都可以相互转换。转换关系需通过迭代器的构造函数定义,有些可以直接转换,有些则需调用特定方法。
特别地,反向迭代器到普通迭代器的转换可以通过调用反向迭代器的base()方法实现。但初版代码存在缺陷,未能按预期将元素正确删除。通过跟踪代码并参考cpp reference文档,我们发现base()方法返回的迭代器实际上比预期位置靠后一个元素。
为了修正这个问题,我们需要将通过base()方法得到的迭代器向前移动一个位置,以正确指向第一个符合移除条件的元素。修改代码后,可以确保元素按约定进行删除。
在一般场景下,迭代器的使用主要涉及遍历访问和遍历修改元素值。对于删除和插入操作,可能需要将反向迭代器转换为普通迭代器。STL容器的erase和insert成员函数仅接受普通迭代器作为参数。
在执行插入操作时,直接使用base()将反向迭代器转换为普通迭代器,并传入insert函数,其语义是剑外飞仙源码一致的。而在删除操作中,直接使用base()转换后的迭代器可能无法正确执行,因为反向迭代器和普通迭代器在终止位置上的处理存在差异。为了修正此问题,需要手动调整,确保迭代器的有效性。
对于反向迭代器,通过正确的反向迭代操作得到的迭代器,在不等于rend()返回的迭代器时,都是指向有效值的。因此,除了rend().base()-1操作可能导致问题外,其他转换通常都是安全的。
讨论end()迭代器的前移操作时,需要考虑是否能够安全地访问容器的尾端元素。对于随机访问迭代器,如vector容器,end()返回的迭代器可以进行前移操作,但需确保移动操作的合法性。对于双向访问迭代器如list,同样可以进行前移操作以访问尾端元素。
结束讨论前,还需要确认iterator的-1操作是否对指向容器尾端元素的迭代器有效。在vector容器中,通过end成员函数返回的迭代器通过-1操作可以得到指向尾端元素的普通迭代器。对于list容器,其end成员函数返回的迭代器也支持前移操作。
总结来说,支持向前移动操作的迭代器访问容器内元素的容器,其end成员函数通过前移操作可以得到一个指向容器尾端元素的迭代器。这符合双向迭代器的设定语义。通过反向迭代器的原理,我们也能验证end()函数返回的迭代器可以进行反向移动。
STL 源码剖析:sort
我大抵是太闲了。
更好的阅读体验。
sort 作为最常用的 STL 之一,大多数人对于其了解仅限于快速排序。
听说其内部实现还包括插入排序和堆排序,于是很好奇,决定通过源代码一探究竟。
个人习惯使用 DEV-C++,不知道其他的编译器会不会有所不同,现阶段也不是很关心。
这个文章并不是析完之后的总结,而是边剖边写。不免有个人的猜测。而且由于本人英语极其差劲,大抵会犯一些憨憨错误。
源码部分sort
首先,在 Dev 中输入以下代码:
然后按住 ctrl,鼠标左键sort,就可以跳转到头文件 stl_algo.h,并可以看到这个:
注释、模板和函数参数不再解释,我们需要关注的是函数体。
但是,中间那一段没看懂……
点进去,是一堆看不懂的#define。
查了一下,感觉这东西不是我这个菜鸡能掌握的。
有兴趣的 戳这里。
那么接下来,就应该去到函数__sort 来一探究竟了。
__sort
通过同样的方法,继续在stl_algo.h 里找到 __sort 的源代码。
同样,只看函数体部分。
一般来说,sort(a,a+n) 是对于区间 [公式] 进行排序,所以排序的前提是 __first != __last。
如果能排序,那么通过两种方式:
一部分一部分的看。
__introsort_loop
最上边注释的翻译:这是排序例程的帮助程序函数。
在传参时,除了首尾迭代器和排序方式,还传了一个std::__lg(__last - __first) * 2,对应 __depth_limit。
while 表示,当区间长度太小时,不进行排序。
_S_threshold 是一个由 enum 定义的数,好像是叫枚举类型。
当__depth_limit 为 [公式] 时,也就是迭代次数较多时,不使用 __introsort_loop,而是使用 __partial_sort(部分排序)。
然后通过__unguarded_partition_pivot,得到一个奇怪的位置(这个函数的翻译是无防护分区枢轴)。
然后递归处理这个奇怪的位置到末位置,再更新末位置,继续循环。
鉴于本人比较好奇无防护分区枢轴是什么,于是先看的__unguarded_partition_pivot。
__unguarded_partition_pivot
首先,找到了中间点。
然后__move_median_to_first(把中间的数移到第一位)。
最后返回__unguarded_partition。
__move_median_to_first
这里的中间数,并不是数列的中间数,而是三个迭代器的中间值。
这三个迭代器分别指向:第二个数,中间的数,最后一个数。
至于为什么取中间的数,暂时还不是很清楚。
`__unguarded_partition`
传参传来的序列第二位到最后。
看着看着,我好像悟了。
这里应该就是实现快速排序的部分。
上边的__move_median_to_first 是为了防止特殊数据卡 [公式] 。经过移动的话,第一个位置就不会是最小值,放在左半序列的数也就不会为 [公式] 。
这样的话,__unguarded_partition 就是快排的主体。
那么,接下来该去看部分排序了。
__partial_sort
这里浅显的理解为堆排序,至于具体实现,在stl_heap.h 里,不属于我们的讨论范围。
(绝对不是因为我懒。)
这样的话,__introsort_loop 就结束了。下一步就要回到 __sort。
__final_insertion_sort
其中某常量为enum { _S_threshold = };。
其中实现的函数有两个:
__insertion_sort
其中的__comp 依然按照默认排序方式 < 来理解。
_GLIBCXX_MOVE_BACKWARD3
进入到_GLIBCXX_MOVE_BACKWARD3,是一个神奇的 #define:
其上就是move_backward:
上边的注释翻译为:
__unguarded_linear_insert
翻译为“无防护线性插入”,应该是指直接插入吧。
当__last 的值比前边元素的值小的时候,就一直进行交换,最后把 __last 放到对应的位置。
__unguarded_insertion_sort
就是直接对区间的每个元素进行插入。
总结
到这里,sort 的源代码就剖完了(除了堆的那部分)。
虽然没怎么看懂,但也理解了,sort 的源码是在快排的基础上,通过堆排序和插入排序来维护时间复杂度的稳定,不至于退化为 [公式] 。
鬼知道我写这么多是为了干嘛……
2024-11-14 12:33
2024-11-14 11:52
2024-11-14 11:49
2024-11-14 11:04
2024-11-14 11:01