由上一篇文章引出的关于迭代器ｅｎｄ指向值的问题

本文链接：https://blog.youkuaiyun.com/weishiang/article/details/8244023

本文通过实验探讨了C++标准库中list容器的end指针行为，特别是首次创建的list与后续list之间的end指针差异，并分析了不同数据类型（如int和char）对end指针的影响。

摘要生成于 C知道，由 DeepSeek-R1 满血版支持，前往体验 >

上一篇文章中吃了ｅｎｄ的亏，虽然找到问题的原因了，但还是不明白为什么ｅｎｄ会指向１

又写了个测试程序，代码如下：

#include<iostream>
#include<list>
using namespace std;

int main()
{
	int i=0;
	list<int> aa,bb,cc,dd;	
	for(i=0;i<5;i++)
	{
		aa.push_back(i+1);
		bb.push_back(i+2);
		cc.push_back(i+7);
		dd.push_back(i+12);
		cout<<*aa.begin()<<" "<<*aa.end()<<endl;
		cout<<*bb.begin()<<" "<<*bb.end()<<endl;
		cout<<*cc.begin()<<" "<<*cc.end()<<endl;
		cout<<*dd.begin()<<" "<<*dd.end()<<endl;
	}
	list<char> aal,bbl,ccl,ddl;	
	for(i=0;i<5;i++)
	{
		aal.push_back('a'+1);
		bbl.push_back('a'+2);
		ccl.push_back('a'+7);
		ddl.push_back('a'+12);
		cout<<*aal.begin()<<" "<<*aal.end()<<endl;
		cout<<*bbl.begin()<<" "<<*bbl.end()<<endl;
		cout<<*ccl.begin()<<" "<<*ccl.end()<<endl;
		cout<<*ddl.begin()<<" "<<*ddl.end()<<endl;
	}
	return 0;
}

输出的结果如下：

1 1
2 6295648
7 6295672
12 6295696
1 2
2 6295648
7 6295672
12 6295696
1 3
2 6295648
7 6295672
12 6295696
1 4
2 6295648
7 6295672
12 6295696
1 5
2 6295648
7 6295672
12 6295696
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m

对于上面的结果，为什么ｉｎｔ型的ｌｉｓｔ　ａａ（主要因为他是第一个ｌｉｓｔ）的ｅｎｄ每次都是ｌｉｓｔ的最后一个元素，而另外的三个ｂｂ＼ｃｃ＼ｄｄ的ｅｎｄ指向的应该是一堆未分配的内存地址

但是ｃｈａｒ型的ｌｉｓｔ第一个ａａｌ却没有指向ｌｉｓｔ的最后一个元素

根据上面的情况，我可以理解ｅｎｄ标记指向的值其实每次都是随机的，第二次运行程序的输出如下：

1 1
2 5705824
7 5705848
12 5705872
1 2
2 5705824
7 5705848
12 5705872
1 3
2 5705824
7 5705848
12 5705872
1 4
2 5705824
7 5705848
12 5705872
1 5
2 5705824
7 5705848
12 5705872
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m
b ¿
c ╪
h ≡
m

根据第二次的输出可以看出每次运行程序ｅｎｄ是指向了一个随机的值，但为什么第一个ｉｎｔ型的ｌｉｓｔ　ａａ每次都还是最后一个元素的值而不是随机的呢？

但下边的ｃｈａｒ型ｅｎｄ每次运行指向的值都是那几个符号，我可以理解为当随机产生的某个地址

对应的ａｓｃｉｉ值超过ａｓｃｉｉ代码表中规定的符号后都认为是某一个符号，但是这某一个符号为什么又会对应三个不同的符号呢

接下来把程序中ｉｎｔ和ｃｈａｒ型ｌｉｓｔ的顺序反一下，即先给ｃｈａｒ型ｌｉｓｔ赋值，输出的结果如下：

b b
c `
h x
m É
b b
c `
h x
m É
b b
c `
h x
m É
b b
c `
h x
m É
b b
c `
h x
m É
1 2494632
2 2516440
7 2516464
12 2516488
1 2494632
2 2516440
7 2516464
12 2516488
1 2494632
2 2516440
7 2516464
12 2516488
1 2494632
2 2516440
7 2516464
12 2516488
1 2494632
2 2516440
7 2516464
12 2516488

这种情况下第一个初始化的ｃｈａｒ型ｌｉｓｔ　ａａｌ的ｅｎｄ指向的值每次都和ｂｅｇｉｎ指向的值相同（不代表ｂｅｇｉｎ和ｅｎｄ指向的是同一个位置），结合以上的情况我可以认为在程序中第一个初始化的ｌｉｓｔ对应的ｅｎｄ指向的值都很特殊，但是ｃｈａｒ型的时候为什么不是最后一个而是第一个元素呢，我也不知道，只能得出

第一个初始化的ｌｉｓｔ对应的ｅｎｄ指向的值都很特殊，之后的ｌｉｓｔ对应的ｅｎｄ指向的都是随机的未分配的内存地址