编辑“︁Lean队列与栈”︁（章节）

== 简介 ==
'''队列（Queue）'''和'''栈（Stack）'''是两种基础但功能强大的数据结构，广泛应用于计算机科学和编程中。它们的主要区别在于数据的添加和移除顺序：

* '''队列'''遵循'''先进先出（FIFO, First In First Out）'''原则，即最先添加的元素最先被移除。
* '''栈'''遵循'''后进先出（LIFO, Last In First Out）'''原则，即最后添加的元素最先被移除。

在Lean中，队列和栈可以通过多种方式实现，包括使用内置的List类型或自定义结构。本文将详细介绍它们的实现、操作和应用场景。