c++中冒泡法有关for循环的一些小疑惑

Question

如图，我对于这个冒泡法嵌套循环理解是：小的和大的交换，如果无法交换则终止小的for循环。
1.但是我很疑惑，假设这里有一个一维数组b[i]={3,1,2,4,1}
如果按照这个循环来讲，
j=0,i=0,开始循环，3与1交换，3再与2交换，遇到4时停止循环，
此时数组b[i]{1,2,3,4,1}。
再次进入大层for循环，j=1,i=0,此时1<2直接退出循环了，那最终数组b[i]={1,2,3,4,1}。并未实现冒泡法所说的底层是最大的。这是为什么？
2.其次，小层for循环的i<k-j-1是为什么？这样后面j增大时i不是永远都无法与最后一个就行交换了吗？

Answer 1

j=0,i=0,开始循环，3与1交换，3再与2交换，遇到4时停止循环===谁跟你说遇到4的时候停止循环的呢？？？还会继续进行4和1的比较啊，每一趟内循环的结果是将最大值移动到数组末尾