迷思 2018-01-02
学习数据结构和算法十分重要。首要原因是数据结构和算法可以很高效地解决常见问题,这对今后的代码质量至关重要(也包括性能,要是用了不恰当的数据结构或算法,很可能会产生性能问题)。其次,对于计算机科学,算法是最基础的概念。数组是计算机科学中最常用的数据结构,我们知道,可以在数组的任意位置上删除或添加元素。然而,有时候还需要一种在添加或删除元素时有更多控制的数据结构。有两种数据结构类似于数组,但在添加和删除元素时更为可控。它们就是栈和队列。本文将详细介绍栈
栈是一种遵从后进先出(LIFO)原则的有序集合。新添加的或待删除的元素都保存在栈的末尾,称作栈顶,另一端就叫栈底。在栈里,新元素都靠近栈顶,旧元素都接近栈底。
在现实生活中也能发现很多栈的例子。例如,下图里的一摞书或者餐厅里堆放的盘子
栈也被用在编程语言的编译器和内存中保存变量、方法调用等
下面将创建一个类来表示栈,先声明这个类:
function Stack() { //各种属性和方法的声明 }
使用一种数据结构来保存栈里的元素。可以选择数组:
let items = [];
接下来,为栈声明一些方法
push(element(s)):添加一个(或几个)新元素到栈顶 pop():移除栈顶的元素,同时返回被移除的元素 peek():返回栈顶的元素,不对栈做任何修改(这个方法不会移除栈顶的元素,仅仅返回它) isEmpty():如果栈里没有任何元素就返回true,否则返回false clear():移除栈里的所有元素 size():返回栈里的元素个数。这个方法和数组的length属性很类似
【push】
push方法负责往栈里添加新元素,有一点很重要:该方法只添加元素到栈顶,也就是栈的末尾
因为使用了数组来保存栈里的元素,所以可以数组的push方法来实现
this.push = function(element){ items.push(element); };
【pop】
接着来实现pop方法。这个方法主要用来移除栈里的元素。栈遵从LIFO原则,因此移出的是最后添加进去的元素。因此,可以用数组的pop方法
this.pop = function(){ return items.pop(); };
只能用push和pop方法添加和删除栈中元素,这样一来,栈自然就遵从了LIFO原则
【peek】
现在,为类实现一些额外的辅助方法。如果想知道栈里最后添加的元素是什么,可以用peek方法。这个方法将返回栈顶的元素:
this.peek = function(){ return items[items.length-]; };
因为类内部是用数组保存元素的,所以访问数组的最后一个元素可以用 length - 1
在上图中,有一个包含三个元素的栈,因此内部数组的长度就是3。数组中最后一项的位置是2,length - 1(3 -1)正好是2
【isEmpty】
下面要实现的方法是 isEmpty,如果栈为空的话将返回true,否则就返回false:
this.isEmpty = function(){ return items.length == ; };
使用isEmpty方法,能简单地判断内部数组的长度是否为0
【size】
类似于数组的length属性,也能实现栈的length。对于集合,最好用size代替length。因为栈的内部使用数组保存元素,所以能简单地返回栈的长度:
this.size = function(){ return items.length; };
【clear】
最后来实现clear方法。clear方法用来移除栈里所有的元素,把栈清空。实现这个方法最简单的方式是:
this.clear = function(){ items = []; };
另外也可以多次调用pop方法,把数组中的元素全部移除,这样也能实现clear方法
栈已经实现。通过一个例子来应用它,为了检查栈里的内容,我们来实现一个辅助方法,叫print。它会把栈里的元素都输出到控制台:
this.print = function(){ console.log(items.toString()); };
这样,我们就完整创建了栈!
栈的完整代码如下
function Stack() { let items = []; this.push = function(element){ items.push(element); }; this.pop = function(){ return items.pop(); }; this.peek = function(){ return items[items.length-]; }; this.isEmpty = function(){ return items.length == ; }; this.size = function(){ return items.length; }; this.clear = function(){ items = []; }; this.print = function(){ console.log(items.toString()); }; this.toString = function(){ return items.toString(); }; }
下面来学习如何使用Stack类。 首先,需要初始化Stack类。然后,验证一下栈是否为空(输出是true,因为还没有往栈里添加元素)
var stack = new Stack(); console.log(stack.isEmpty()); //输出为true
接下来,往栈里添加一些元素(可以添加任意类型的元素)
stack.push(); stack.push();
如果调用peek方法,将会输出8,因为它是往栈里添加的最后一个元素:
console.log(stack.peek());//输出8
再添加一个元素:
stack.push(); console.log(stack.size()); //输出3 console.log(stack.isEmpty()); //输出false
我们往栈里添加了11。如果调用size方法,输出为3,因为栈里有三个元素(5、8和11)。 如果调用isEmpty方法,会看到输出了false(因为栈里有三个元素,不是空栈)。最后, 我们再添加一个元素:
stack.push();
下图描绘了目前为止我们对栈的操作,以及栈的当前状态:
然后,调用两次pop方法从栈里移除2个元素:
stack.pop(); stack.pop(); console.log(stack.size()); //输出2 stack.print(); //输出[5, 8]
在两次调用pop方法前,我们的栈里有四个元素。调用两次后,现在栈里仅剩下5和8了。下图描绘这个过程的执行:
下面来花点时间分析一下代码,看看是否能用ES6的新功能来改进
我们创建了一个可以当作类来使用的Stack函数。JS函数都有构造函数,可以用来模拟类的行为。我们声明了一个私有的items变量,它只能被Stack函数/类访问。然而,这个方法为每个类的实例都创建一个items变量的副本。因此,如果要创建多个Stack实例,它就不太适合了
下面用ES6新语法来声明Stack类
class Stack { constructor () { this.items = []; } push(element){ this.items.push(element); } //其他方法 }
我们只是用ES6的简化语法把Stack函数转换成Stack类。这种方法不能像其他语言(Java、C++、C#)一样直接在类里面声明变量,只能在类的构造函数constructor里声明,在类的其他函数里用this.items就可以引用这个变量
尽管代码看起来更简洁、更漂亮,变量items却是公共的。ES6的类是基于原型的,虽然基于原型的类比基于函数的类更节省内存,也更适合创建多个实例,却不能声明私有属性(变量)或方法。而且,在这种情况下,我们希望Stack类的用户只能访问暴露给类的方法。否则,就有可能从栈的中间移除元素(因为我们用数组来存储其值),这不是我们希望看到的
ES6语法有没有其他方法来创建私有属性呢?
【Symbol】
ES6新增了一种叫作Symbol的基本类型,它是不可变的,可以用作对象的属性。看看怎么用它来在Stack类中声明items属性
let _items = Symbol(); //{1} class Stack { constructor () { this[_items] = []; //{2} } //Stack方法 }
在上面的代码中,我们声明了Symbol类型的变量_items(行{1}),在类的constructor函数中初始化它的值(行{2})。要访问_items,只需把所有的this.items都换成this[_items]
这种方法创建了一个假的私有属性,因为ES6新增的Object.getOwnPropertySymbols方法能够取到类里面声明的所有Symbols属性。下面是一个破坏Stack类的例子:
let stack = new Stack(); stack.push(); stack.push(); let objectSymbols = Object.getOwnPropertySymbols(stack); console.log(objectSymbols.length); // console.log(objectSymbols); // [Symbol()] console.log(objectSymbols[]); // Symbol() stack[objectSymbols[]].push(); stack.print(); //输出 5, 8, 1
从以上代码可以看到,访问stack[objectSymbols[0]]是可以得到_items的。并且,_items属性是一个数组,可以进行任意的数组操作,比如从中间删除或添加元素。我们操作的是栈,不应该出现这种行为
【WeakMap】
有一种数据类型可以确保属性是私有的,这就是WeakMap。WeakMap可以存储键值对,其中键是对象,值可以是任意数据类型。
如果用WeakMap来存储items变量,Stack类就是这样的:
const items = new WeakMap(); //{1} class Stack { constructor () { items.set(this, []); //{2} } push(element) { let s = items.get(this); //{3} s.push(element); } pop() { let s = items.get(this); let r = s.pop(); return r; } //其他方法 }
行{1},声明一个WeakMap类型的变量items。行{2},在constructor中,以this(Stack类自己的引用)为键,把代表栈的数组存入items。行{3},从WeakMap中取出值,即以this为键(行{2}设置的)从items中取值
现在知道,items在Stack类里是真正的私有属性了,但还有一件事要做。items现在仍然是在Stack类以外声明的,因此谁都可以改动它。要用一个闭包(外层函数)把Stack类包起来,这样就只能在这个函数里访问WeakMap:
let Stack = (function () { const items = new WeakMap(); class Stack { constructor () { items.set(this, []); } //其他方法 } return Stack; //{5} })();
当Stack函数里的构造函数被调用时,会返回Stack类的一个实例(行{5})
现在,Stack类有一个名为items的私有属性。虽然它很丑陋,但毕竟实现了私有属性。然而,用这种方法的话,扩展类无法继承私有属性。鱼与熊掌不可兼得
栈的完整代码如下
let Stack3 = (function () { const items = new WeakMap(); class Stack3 { constructor () { items.set(this, []); } push(element){ let s = items.get(this); s.push(element); } pop(){ let s = items.get(this); let r = s.pop(); return r; } peek(){ let s = items.get(this); return s[s.length-]; } isEmpty(){ return items.get(this).length == ; } size(){ let s = items.get(this); return s.length; } clear(){ items.set(this, []); } print(){ console.log(this.toString()); } toString(){ return items.get(this).toString(); } } return Stack3; })();
把上面的代码跟最初实现的Stack类做个比较,我们会发现有一些相似之处:
function Stack() { let items = []; //其他方法 }
事实上,尽管ES6引入了类的语法,仍然不能像在其他编程语言中一样声明私有属性或方法。有很多种方法都可以达到相同的效果,但无论是语法还是性能,这些方法都有各自的优点和缺点
哪种方法更好?这取决于在实际项目中如何使用算法,要处理的数据量,要创建的实例个数,以及其他约束条件
栈的实际应用非常广泛。在回溯问题中,它可以存储访问过的任务或路径、撤销的操作。Java和C#用栈来存储变量和方法调用,特别是处理递归算法时,有可能抛出一个栈溢出异常
下面将学习使用栈的三个最著名的算法示例。首先是十进制转二进制问题,以及任意进制转换的算法;然后是平衡圆括号问题;最后,学习如何用栈解决汉诺塔问题
【十进制转二进制】
现实生活中,我们主要使用十进制。但在计算科学中,二进制非常重要,因为计算机里的所有内容都是用二进制数字表示的(0和1)。没有十进制和二进制相互转化的能力,与计算机交流就很困难
要把十进制转化成二进制,我们可以将该十进制数字和2整除(二进制是满二进一),直到结果是0为止。举个例子,把十进制的数字10转化成二进制的数字,过程大概是这样
下面是对应的算法描述:
function divideBy2(decNumber){ var remStack = new Stack(), rem, binaryString = ''; while (decNumber > ){ //{1} rem = Math.floor(decNumber % ); //{2} remStack.push(rem); //{3} decNumber = Math.floor(decNumber / ); //{4} } while (!remStack.isEmpty()){ //{5} binaryString += remStack.pop().toString(); } return binaryString; }
在这段代码里,当结果满足和2做整除的条件时(行{1}),我们会获得当前结果和2的余数,放到栈里(行{2}、{3})。然后让结果和2做整除(行{4})。另外请注意:JavaScript有数字类型,但是它不会区分究竟是整数还是浮点数。因此,要使用Math.floor函数让除法的操作仅返回整数部分。最后,用pop方法把栈中的元素都移除,把出栈的元素变成连接成字符串(行{5})。
用刚才写的算法做一些测试,使用以下代码把结果输出到控制台里:
console.log(divideBy2(233)); //输出11101001 console.log(divideBy2(10)); //输出1010 console.log(divideBy2(1000)); //输出1111101000
【进制转换算法】
我们很容易修改之前的算法,使之能把十进制转换成任何进制。除了让十进制数字和2整除 转成二进制数,还可以传入其他任意进制的基数为参数,就像下面算法这样:
function baseConverter(decNumber, base){ var remStack = new Stack(), rem, baseString = '', digits = '0123456789ABCDEF'; //{6} while (decNumber > ){ rem = Math.floor(decNumber % base); remStack.push(rem); decNumber = Math.floor(decNumber / base); } while (!remStack.isEmpty()){ baseString += digits[remStack.pop()]; //{7} } return baseString; }
我们只需要改变一个地方。在将十进制转成二进制时,余数是0或1;在将十进制转成八进制时,余数是0到7之间的数;但是将十进制转成16进制时,余数是0到9之间的数字加上A、B、C、D、E和F(对应10、11、12、13、14和15)。因此,我们需要对栈中的数字做个转化才可以(行{6}和行{7})
可以使用之前的算法,输出结果如下:
console.log(baseConverter(100345, 2)); //输出11000011111111001 console.log(baseConverter(100345, 8)); //输出303771 console.log(baseConverter(100345, 16)); //输出187F9
【平衡圆括号】
function parenthesesChecker(symbols){ let stack = new Stack(), balanced = true, index = , symbol, top, opens = "([{", closers = ")]}"; while (index < symbols.length && balanced){ symbol = symbols.charAt(index); if (opens.indexOf(symbol) >= ){ stack.push(symbol); console.log(`open symbol - stacking ${symbol}`); } else { console.log(`close symbol ${symbol}`); if (stack.isEmpty()){ balanced = false; console.log('Stack is empty, no more symbols to pop and compare'); } else { top = stack.pop(); //if (!matches(top, symbol)){ if (!(opens.indexOf(top) === closers.indexOf(symbol))) { balanced = false; console.log(`poping symbol ${top} - is not a match compared to ${symbol}`); } else { console.log(`poping symbol ${top} - is is a match compared to ${symbol}`); } } } index++; } if (balanced && stack.isEmpty()){ return true; } return false; } console.log(parenthesesChecker('{([])}')); //true console.log(parenthesesChecker('{{([][])}()}')); //true console.log(parenthesesChecker('[{()]')); //false
【汉诺塔】
function towerOfHanoi(n, from, to, helper){ if (n > ){ towerOfHanoi(n-, from, helper, to); to.push(from.pop()); console.log('-----'); console.log('Source: ' + from.toString()); console.log('Dest: ' + to.toString()); console.log('Helper: ' + helper.toString()); towerOfHanoi(n-, helper, to, from); } } var source = new Stack(); source.push(); source.push(); source.push(); var dest = new Stack(); var helper = new Stack(); towerOfHanoi(source.size(), source, dest, helper); source.print(); helper.print(); dest.print();