当前位置:首页 > > 架构师社区
[导读]来源 | Java中文社群(ID:javacn666) 前面的文章《动图演示:手撸堆栈的两种实现方法!》我们用数组和链表来实现了自定义的栈结构,那在 JDK 中官方是如何实现栈的呢?接下来我们一起来看。

JDK竟然是这样实现栈的?

来源 | Java中文社群(ID:javacn666)


前面的文章《动图演示:手撸堆栈的两种实现方法!》我们用数组和链表来实现了自定义的栈结构,那在 JDK 中官方是如何实现栈的呢?接下来我们一起来看。

这正式开始之前,先给大家再解释一下「堆栈」一词的含义,因为之前有读者对这个词有一定的疑惑。

Stack翻译为中文是堆栈的意思,但为了能和 Heap(堆)区分开,因此我们一般将 Stack简称为栈。因此当“堆栈”连在一起时有可能表示的是 Stack,而当“堆、栈”中间有分号时,则表示 Heap(堆)和 Stack(栈),如下图所示:

JDK竟然是这样实现栈的?


JDK 栈的实现

聊会正题,接下来我们来看 JDK 中是如何实现栈的?

在 JDK 中,栈的实现类是 Stack,它的继承关系如下图所示:

JDK竟然是这样实现栈的?

Stack包含的方法如下图所示:

JDK竟然是这样实现栈的?


其中最重要的方法有:

  • push:入栈方法(添加数据);
  • pop:出栈并返回当前元素(移除数据);
  • peek:查询栈顶元素。

Stack实现源码如下:

public class Stack<E> extends Vector<E> { /**
     * 创建一个空栈
     */ public Stack() {
    } /**
     * 入栈方法,调用的是 Vector#addElement 的添加方法
     */ public E push(E item) {
        addElement(item); return item;
    } /**
     * 出栈并返回当前元素,调用的是 Vector#removeElementAt 的移除元素方法
     */ public synchronized E pop() {
        E       obj; // 返回当前要移除的栈顶元素信息 int len = size();
        obj = peek(); // 查询当前栈顶元素 removeElementAt(len - 1); // 移除栈顶元素 return obj;
    } /**
     * 查询栈顶元素,调用 Vector#elementAt 的查询方法
     */ public synchronized E peek() { int len = size(); // 查询当前栈的长度 if (len == 0) // 如果为空栈,直接抛出异常 throw new EmptyStackException(); return elementAt(len - 1); // 查询栈顶元素的信息 } /**
     * 判断栈是否为空
     */ public boolean empty() { return size() == 0;
    } // 忽略其他方法... }

从上述源码可以看出, Stack中的核心方法中都调用了父类 Vector类中的方法,Vector类的核心源码:

public class Vector<E> extends AbstractList<E> implements List<E>, RandomAccess, Cloneable, java.io.Serializable { protected Object[] elementData; // 存储数据的容器 protected int elementCount; // 存储数据的容量值 /**
     * 添加数据
     */ public synchronized void addElement(E obj) {
        modCount++; // 统计容器被更改的参数 ensureCapacityHelper(elementCount + 1); // 确认容器大小,如果容量超出则进行扩容 elementData[elementCount++] = obj; // 将数据存储到数组 } /**
     * 移除元素(根据下标移除)
     */ public synchronized void removeElementAt(int index) {
        modCount++; // 统计容器被更改的参数 // 数据正确性效验 if (index >= elementCount) { throw new ArrayIndexOutOfBoundsException(index + " >= " +
                                                     elementCount);
        } else if (index < 0) { throw new ArrayIndexOutOfBoundsException(index);
        } int j = elementCount - index - 1; if (j > 0) { // 删除的不是最后一个元素 // 把删除元素之后的所有元素往前移动 System.arraycopy(elementData, index + 1, elementData, index, j);
        }
        elementCount--; // 数组容量 -1 elementData[elementCount] = null; // 将末尾的元素赋值为 null(删除尾部元素) } /**
     * 查询元素(根据下标)
     */ public synchronized E elementAt(int index) { // 安全性验证 if (index >= elementCount) { throw new ArrayIndexOutOfBoundsException(index + " >= " + elementCount);
        } // 根据下标返回数组中的元素 return elementData(index);
    } // 忽略其他方法... }

对于上述源码中,可以最不好理解的就是 System#arraycopy这个方法,它的作用其实就是将删除的元素(非末尾元素)的后续元素依次往前移动的,比如以下代码:

Object[] elementData = {"Java", "Hello", "world", "JDK", "JRE"}; int index = 3; int j = elementData.length - index - 1;
System.arraycopy(elementData, index + 1, elementData, index, j); //  System.arraycopy(elementData, 4, elementData, 3, 1); System.out.println(Arrays.toString(elementData));

它的运行结果是:

[Java, Hello, world, JRE, JRE]

也就是说当我们要删除下标为 3 的元素时,需要把 3 以后的元素往前移动,所以数组的值就从 {"Java", "Hello", "world", "JDK", "JRE"}变为了 [Java, Hello, world, JRE, JRE],最后我们只需要把尾部元素删除掉,就可以实现数组中删除非末尾元素的功能了。

小结

通过以上源码可以得知,JDK 中的栈(Stack)也是通过物理结构数组实现的,我们通过操作物理数组来实现逻辑结构栈的功能,关于物理结构和逻辑结构详见《动图演示:手撸堆栈的两种实现方法!》。

栈的应用

经过前面的学习我们对栈已经有了一定的了解了,那栈在我们的平常工作中有哪些应用呢?接下里我们一起来看。

浏览器回退

栈的特性为 LIFO(Last In First Out,LIFO)后进先出,因此借助此特性就可以实现浏览器的回退功能,如下图所示:

JDK竟然是这样实现栈的?

函数调用栈

栈在程序中最经典的一个应用就是函数调用栈了(或叫方法调用栈),比如操作系统给每个线程分配了一块独立的内存空间,这块内存被组织成“栈”这种结构, 用来存储函数调用时的临时变量。每进入一个函数,就会将临时变量作为一个栈帧入栈,当被调用函数执行完成,返回之后,将这个函数对应的栈帧出栈。为了让你更好地理解,我们一块来看下这段代码的执行过程。

int main() { int a = 1; int ret = 0; int res = 0;
   ret = add(3, 5);
   res = a + ret;
   System.out.println(res);
   reuturn 0;
} int add(int x, int y) { int sum = 0;
   sum = x + y; return sum;
}

从代码中我们可以看出, main()函数调用了 add()函数,获取计算结果,并且与临时变量 a相加,最后打印 res的值。为了让你清晰地看到这个过程对应的函数栈里出栈、入栈的操作,我画了一张图。图中显示的是,在执行到 add()函数时,函数调用栈的情况。

JDK竟然是这样实现栈的?

栈的复杂度

复杂度分为两个维度:

  • 时间维度:是指执行当前算法所消耗的时间,我们通常用「时间复杂度」来描述;
  • 空间维度:是指执行当前算法需要占用多少内存空间,我们通常用「空间复杂度」来描述。

这两种复杂度都是用大 O 表示法来表示的,比如以下代码:

int[] arr = {1, 2, 3, 4}; for (int i = 0; i < arr.length; i++) { System.out.println(i); }

用大 O 表示法来表示的话,它的时间复杂度就是 O(n),而如下代码的时间复杂度却为 O(1):

int[] arr = {1, 2, 3, 4};
System.out.println(arr[0]); // 通过下标获取元素 

因此如果使用大 O 表示法来表示栈的复杂度的话,结果如下所示:

JDK竟然是这样实现栈的?

引用 & 鸣谢

https://time.geekbang.org/column/article/41222

免责声明:本文内容由21ic获得授权后发布,版权归原作者所有,本平台仅提供信息存储服务。文章仅代表作者个人观点,不代表本平台立场,如有问题,请联系我们,谢谢!

本站声明: 本文章由作者或相关机构授权发布,目的在于传递更多信息,并不代表本站赞同其观点,本站亦不保证或承诺内容真实性等。需要转载请联系该专栏作者,如若文章内容侵犯您的权益,请及时联系本站删除( 邮箱:macysun@21ic.com )。
换一批
延伸阅读

在电子设备向高效化、小型化、智能化迭代的进程中,电源与控制电路作为核心支撑,其系统架构的选择直接决定设备的稳定性、能效水平与功能扩展性。电源电路负责能量的转换与分配,控制电路主导信号的处理与执行,二者架构的适配性的设计,...

关键字: 电源 控制电路 架构

在软件架构设计领域,系统与子系统、模块与组件、框架与架构是一组既紧密相关又容易混淆的核心概念。这些概念如同建筑设计中的地基、梁柱、墙体和整体蓝图,共同构成了软件系统的骨架和灵魂。很多开发者在架构设计过程中,常常因为对这些...

关键字: 架构 框架

2025 年 9 月,激光雷达行业迎来历史性转折点:禾赛科技港股双重上市、华为推出颠覆性融合产品 Limera、速腾聚创 EM 平台数字激光雷达全线量产。2024 年全球车载激光雷达市场迎来加速增长,市场规模攀升至 8....

关键字: 激光雷达 数字芯片 架构

在物联网(IoT)生态中,距离感知是设备实现定位、避障、交互等核心功能的基础,广泛应用于智能家居、工业物联网、智能交通等领域。然而,传统距离感知逻辑常面临精度不足、能耗过高、场景适配性差等问题,难以满足复杂场景下的应用需...

关键字: 物联网 距离感知 架构

在当今电子系统设计的复杂领域中,系统架构的选择宛如基石,深刻影响着电源和控制电路的设计,进而全方位塑造系统性能。不同架构在面对从交流电源到负载的能量流动控制任务时,因隔离栅位置、信号处理方式等差异,展现出截然不同的特性。...

关键字: 电子系统 控制电路 架构

在现代电子设备的发展进程中,电气隔离电源发挥着关键作用。从工业自动化系统到消费类电子产品,从医疗设备到通信基站,电气隔离电源无处不在,确保设备的安全运行和稳定供电。而在电气隔离电源的架构里,确定电气隔离控制器 IC 在初...

关键字: 隔离电源 架构 控制器

3月30日消息,在近日举办的2025年中关村论坛年会上,龙芯3C6000/D 2U双路服务器首度亮相。

关键字: 龙芯CPU 半导体 架构 CPU

技3月12日消息,龙芯中科介绍了基于龙芯CPU处理器的纯国产税务系统信创方案,既满足了信创改造需求,也实现了税务系统的智能化升级。

关键字: 龙芯CPU 半导体 架构 CPU

龙芯中科采用了完全自主的LoongArch龙架构指令集,因此软硬件适配工作更加繁重,今年以来已适配1100多款软件。

关键字: 龙芯CPU 半导体 架构 CPU

11月22日消息,龙芯中科宣布,旗下CPU处理器与安天WEB应用防护系统V3.0完成了适配认证工作。

关键字: 龙芯CPU 半导体 架构 CPU
关闭