TypeScript 接口(interface)
<h1 id="介绍">介绍</h1><p>TypeScript的核心原则之一是对值所具有的<em>结构</em>进行类型检查。 它有时被称做“鸭式辨型法”或“结构性子类型化”。 在TypeScript里,接口的作用就是为这些类型命名和为你的代码或第三方代码定义契约。</p>
<h1 id="接口初探">接口初探</h1>
<p>通过一个简单示例来观察接口是如何工作的:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">function <span class="nx">printLabel<span class="p">(<span class="nx">labelledObj<span class="err">: <span class="p">{ <span class="nl">label<span class="p">: <span class="kr">string <span class="p">}) <span class="p">{
<span class="nx">console<span class="p">.<span class="nx">log<span class="p">(<span class="nx">labelledObj<span class="p">.<span class="nx">label<span class="p">);
<span class="p">}
<span class="kd">let <span class="nx">myObj <span class="o">= <span class="p">{ <span class="na">size<span class="p">: <span class="mi">10<span class="p">, <span class="na">label<span class="p">: <span class="s2">"Size 10 Object" <span class="p">};
<span class="nx">printLabel<span class="p">(<span class="nx">myObj<span class="p">);
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>类型检查器会查看<code class="highlighter-rouge">printLabel</code>的调用。 <code class="highlighter-rouge">printLabel</code>有一个参数,并要求这个对象参数有一个名为<code class="highlighter-rouge">label</code>类型为<code class="highlighter-rouge">string</code>的属性。 需要注意的是,我们传入的对象参数实际上会包含很多属性,但是编译器只会检查那些必需的属性是否存在,并且其类型是否匹配。 然而,有些时候TypeScript却并不会这么宽松,我们下面会稍做讲解。</p>
<p>下面我们重写上面的例子,这次使用接口来描述:必须包含一个<code class="highlighter-rouge">label</code>属性且类型为<code class="highlighter-rouge">string</code>:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">LabelledValue <span class="p">{
<span class="nl">label<span class="p">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kd">function <span class="nx">printLabel<span class="p">(<span class="nx">labelledObj<span class="err">: <span class="nx">LabelledValue<span class="p">) <span class="p">{
<span class="nx">console<span class="p">.<span class="nx">log<span class="p">(<span class="nx">labelledObj<span class="p">.<span class="nx">label<span class="p">);
<span class="p">}
<span class="kd">let <span class="nx">myObj <span class="o">= <span class="p">{<span class="na">size<span class="p">: <span class="mi">10<span class="p">, <span class="na">label<span class="p">: <span class="s2">"Size 10 Object"<span class="p">};
<span class="nx">printLabel<span class="p">(<span class="nx">myObj<span class="p">);
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p><code class="highlighter-rouge">LabelledValue</code>接口就好比一个名字,用来描述上面例子里的要求。 它代表了有一个<code class="highlighter-rouge">label</code>属性且类型为<code class="highlighter-rouge">string</code>的对象。 需要注意的是,我们在这里并不能像在其它语言里一样,说传给<code class="highlighter-rouge">printLabel</code>的对象实现了这个接口。我们只会去关注值的外形。 只要传入的对象满足上面提到的必要条件,那么它就是被允许的。</p>
<p>还有一点值得提的是,类型检查器不会去检查属性的顺序,只要相应的属性存在并且类型也是对的就可以。</p>
<h1 id="可选属性">可选属性</h1>
<p>接口里的属性不全都是必需的。 有些是只在某些条件下存在,或者根本不存在。 可选属性在应用“option bags”模式时很常用,即给函数传入的参数对象中只有部分属性赋值了。</p>
<p>下面是应用了“option bags”的例子:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">SquareConfig <span class="p">{
<span class="nx">color<span class="p">?: <span class="kr">string<span class="p">;
<span class="nx">width<span class="p">?: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kd">function <span class="nx">createSquare<span class="p">(<span class="nx">config<span class="err">: <span class="nx">SquareConfig<span class="p">)<span class="err">: <span class="p">{<span class="nl">color<span class="p">: <span class="kr">string<span class="p">; <span class="nl">area<span class="p">: <span class="kr">number<span class="p">} <span class="p">{
<span class="kd">let <span class="nx">newSquare <span class="o">= <span class="p">{<span class="na">color<span class="p">: <span class="s2">"white"<span class="p">, <span class="na">area<span class="p">: <span class="mi">100<span class="p">};
<span class="k">if <span class="p">(<span class="nx">config<span class="p">.<span class="nx">color<span class="p">) <span class="p">{
<span class="nx">newSquare<span class="p">.<span class="nx">color <span class="o">= <span class="nx">config<span class="p">.<span class="nx">color<span class="p">;
<span class="p">}
<span class="k">if <span class="p">(<span class="nx">config<span class="p">.<span class="nx">width<span class="p">) <span class="p">{
<span class="nx">newSquare<span class="p">.<span class="nx">area <span class="o">= <span class="nx">config<span class="p">.<span class="nx">width <span class="o">* <span class="nx">config<span class="p">.<span class="nx">width<span class="p">;
<span class="p">}
<span class="k">return <span class="nx">newSquare<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">({<span class="na">color<span class="p">: <span class="s2">"black"<span class="p">});
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>带有可选属性的接口与普通的接口定义差不多,只是在可选属性名字定义的后面加一个<code class="highlighter-rouge">?</code>符号。</p>
<p>可选属性的好处之一是可以对可能存在的属性进行预定义,好处之二是可以捕获引用了不存在的属性时的错误。 比如,我们故意将<code class="highlighter-rouge">createSquare</code>里的<code class="highlighter-rouge">color</code>属性名拼错,就会得到一个错误提示:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">SquareConfig <span class="p">{
<span class="nx">color<span class="p">?: <span class="kr">string<span class="p">;
<span class="nx">width<span class="p">?: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kd">function <span class="nx">createSquare<span class="p">(<span class="nx">config<span class="err">: <span class="nx">SquareConfig<span class="p">)<span class="err">: <span class="p">{ <span class="nl">color<span class="p">: <span class="kr">string<span class="p">; <span class="nl">area<span class="p">: <span class="kr">number <span class="p">} <span class="p">{
<span class="kd">let <span class="nx">newSquare <span class="o">= <span class="p">{<span class="na">color<span class="p">: <span class="s2">"white"<span class="p">, <span class="na">area<span class="p">: <span class="mi">100<span class="p">};
<span class="k">if <span class="p">(<span class="nx">config<span class="p">.<span class="nx">color<span class="p">) <span class="p">{
<span class="c1">// Error: Property 'clor' does not exist on type 'SquareConfig'
<span class="nx">newSquare<span class="p">.<span class="nx">color <span class="o">= <span class="nx">config<span class="p">.<span class="nx">clor<span class="p">;
<span class="p">}
<span class="k">if <span class="p">(<span class="nx">config<span class="p">.<span class="nx">width<span class="p">) <span class="p">{
<span class="nx">newSquare<span class="p">.<span class="nx">area <span class="o">= <span class="nx">config<span class="p">.<span class="nx">width <span class="o">* <span class="nx">config<span class="p">.<span class="nx">width<span class="p">;
<span class="p">}
<span class="k">return <span class="nx">newSquare<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">({<span class="na">color<span class="p">: <span class="s2">"black"<span class="p">});
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<h1 id="只读属性">只读属性</h1>
<p>一些对象属性只能在对象刚刚创建的时候修改其值。 你可以在属性名前用<code class="highlighter-rouge">readonly</code>来指定只读属性:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">Point <span class="p">{
<span class="k">readonly <span class="nx">x<span class="err">: <span class="kr">number<span class="p">;
<span class="k">readonly <span class="nx">y<span class="err">: <span class="kr">number<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>你可以通过赋值一个对象字面量来构造一个<code class="highlighter-rouge">Point</code>。 赋值后,<code class="highlighter-rouge">x</code>和<code class="highlighter-rouge">y</code>再也不能被改变了。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">p1<span class="err">: <span class="nx">Point <span class="o">= <span class="p">{ <span class="na">x<span class="p">: <span class="mi">10<span class="p">, <span class="na">y<span class="p">: <span class="mi">20 <span class="p">};
<span class="nx">p1<span class="p">.<span class="nx">x <span class="o">= <span class="mi">5<span class="p">; <span class="c1">// error!
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>TypeScript具有<code class="highlighter-rouge">ReadonlyArray<T></code>类型,它与<code class="highlighter-rouge">Array<T></code>相似,只是把所有可变方法去掉了,因此可以确保数组创建后再也不能被修改:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">a<span class="err">: <span class="kr">number<span class="p">[] <span class="o">= <span class="p">[<span class="mi">1<span class="p">, <span class="mi">2<span class="p">, <span class="mi">3<span class="p">, <span class="mi">4<span class="p">];
<span class="kd">let <span class="nx">ro<span class="err">: <span class="nx">ReadonlyArray<span class="o"><<span class="kr">number<span class="o">> <span class="o">= <span class="nx">a<span class="p">;
<span class="nx">ro<span class="p">[<span class="mi">0<span class="p">] <span class="o">= <span class="mi">12<span class="p">; <span class="c1">// error!
<span class="nx">ro<span class="p">.<span class="nx">push<span class="p">(<span class="mi">5<span class="p">); <span class="c1">// error!
<span class="nx">ro<span class="p">.<span class="nx">length <span class="o">= <span class="mi">100<span class="p">; <span class="c1">// error!
<span class="nx">a <span class="o">= <span class="nx">ro<span class="p">; <span class="c1">// error!
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>上面代码的最后一行,可以看到就算把整个<code class="highlighter-rouge">ReadonlyArray</code>赋值到一个普通数组也是不可以的。 但是你可以用类型断言重写:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="nx">a <span class="o">= <span class="nx">ro <span class="k">as <span class="kr">number<span class="p">[];
</span></span></span></span></span></span></code></pre>
</div>
<h2 id="readonly-vs-const"><code class="highlighter-rouge">readonly</code> vs <code class="highlighter-rouge">const</code></h2>
<p>最简单判断该用<code class="highlighter-rouge">readonly</code>还是<code class="highlighter-rouge">const</code>的方法是看要把它做为变量使用还是做为一个属性。 做为变量使用的话用<code class="highlighter-rouge">const</code>,若做为属性则使用<code class="highlighter-rouge">readonly</code>。</p>
<h1 id="额外的属性检查">额外的属性检查</h1>
<p>我们在第一个例子里使用了接口,TypeScript让我们传入<code class="highlighter-rouge"><span class="p">{<span class="w"> <span class="err">size:<span class="w"> <span class="err">number;<span class="w"> <span class="err">label:<span class="w"> <span class="err">string;<span class="w"> <span class="p">}</span></span></span></span></span></span></span></span></span></span></span></code>到仅期望得到<code class="highlighter-rouge"><span class="p">{<span class="w"> <span class="err">label:<span class="w"> <span class="err">string;<span class="w"> <span class="p">}</span></span></span></span></span></span></span></code>的函数里。 我们已经学过了可选属性,并且知道他们在“option bags”模式里很有用。</p>
<p>然而,天真地将这两者结合的话就会像在JavaScript里那样搬起石头砸自己的脚。 比如,拿<code class="highlighter-rouge">createSquare</code>例子来说:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">SquareConfig <span class="p">{
<span class="nx">color<span class="p">?: <span class="kr">string<span class="p">;
<span class="nx">width<span class="p">?: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kd">function <span class="nx">createSquare<span class="p">(<span class="nx">config<span class="err">: <span class="nx">SquareConfig<span class="p">)<span class="err">: <span class="p">{ <span class="nl">color<span class="p">: <span class="kr">string<span class="p">; <span class="nl">area<span class="p">: <span class="kr">number <span class="p">} <span class="p">{
<span class="c1">// ...
<span class="p">}
<span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">({ <span class="na">colour<span class="p">: <span class="s2">"red"<span class="p">, <span class="na">width<span class="p">: <span class="mi">100 <span class="p">});
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>注意传入<code class="highlighter-rouge">createSquare</code>的参数拼写为<code class="highlighter-rouge">colour</code>而不是<code class="highlighter-rouge">color</code>。 在JavaScript里,这会默默地失败。</p>
<p>你可能会争辩这个程序已经正确地类型化了,因为<code class="highlighter-rouge">width</code>属性是兼容的,不存在<code class="highlighter-rouge">color</code>属性,而且额外的<code class="highlighter-rouge">colour</code>属性是无意义的。</p>
<p>然而,TypeScript会认为这段代码可能存在bug。 对象字面量会被特殊对待而且会经过<em>额外属性检查</em>,当将它们赋值给变量或作为参数传递的时候。 如果一个对象字面量存在任何“目标类型”不包含的属性时,你会得到一个错误。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="c1">// error: 'colour' not expected in type 'SquareConfig'
<span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">({ <span class="na">colour<span class="p">: <span class="s2">"red"<span class="p">, <span class="na">width<span class="p">: <span class="mi">100 <span class="p">});
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>绕开这些检查非常简单。 最简便的方法是使用类型断言:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">({ <span class="na">width<span class="p">: <span class="mi">100<span class="p">, <span class="na">opacity<span class="p">: <span class="mf">0.5 <span class="p">} <span class="k">as <span class="nx">SquareConfig<span class="p">);
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>然而,最佳的方式是能够添加一个字符串索引签名,前提是你能够确定这个对象可能具有某些做为特殊用途使用的额外属性。 如果<code class="highlighter-rouge">SquareConfig</code>带有上面定义的类型的<code class="highlighter-rouge">color</code>和<code class="highlighter-rouge">width</code>属性,并且<em>还会</em>带有任意数量的其它属性,那么我们可以这样定义它:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">SquareConfig <span class="p">{
<span class="nx">color<span class="p">?: <span class="kr">string<span class="p">;
<span class="nx">width<span class="p">?: <span class="kr">number<span class="p">;
<span class="p">[<span class="nx">propName<span class="err">: <span class="kr">string<span class="p">]<span class="err">: <span class="kr">any<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>我们稍后会讲到索引签名,但在这我们要表示的是<code class="highlighter-rouge">SquareConfig</code>可以有任意数量的属性,并且只要它们不是<code class="highlighter-rouge">color</code>和<code class="highlighter-rouge">width</code>,那么就无所谓它们的类型是什么。</p>
<p>还有最后一种跳过这些检查的方式,这可能会让你感到惊讶,它就是将这个对象赋值给一个另一个变量: 因为<code class="highlighter-rouge">squareOptions</code>不会经过额外属性检查,所以编译器不会报错。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">squareOptions <span class="o">= <span class="p">{ <span class="na">colour<span class="p">: <span class="s2">"red"<span class="p">, <span class="na">width<span class="p">: <span class="mi">100 <span class="p">};
<span class="kd">let <span class="nx">mySquare <span class="o">= <span class="nx">createSquare<span class="p">(<span class="nx">squareOptions<span class="p">);
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>要留意,在像上面一样的简单代码里,你可能不应该去绕开这些检查。 对于包含方法和内部状态的复杂对象字面量来讲,你可能需要使用这些技巧,但是大部额外属性检查错误是真正的bug。 就是说你遇到了额外类型检查出的错误,比如“option bags”,你应该去审查一下你的类型声明。 在这里,如果支持传入<code class="highlighter-rouge">color</code>或<code class="highlighter-rouge">colour</code>属性到<code class="highlighter-rouge">createSquare</code>,你应该修改<code class="highlighter-rouge">SquareConfig</code>定义来体现出这一点。</p>
<h1 id="函数类型">函数类型</h1>
<p>接口能够描述JavaScript中对象拥有的各种各样的外形。 除了描述带有属性的普通对象外,接口也可以描述函数类型。</p>
<p>为了使用接口表示函数类型,我们需要给接口定义一个调用签名。 它就像是一个只有参数列表和返回值类型的函数定义。参数列表里的每个参数都需要名字和类型。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">SearchFunc <span class="p">{
<span class="p">(<span class="nx">source<span class="err">: <span class="kr">string<span class="p">, <span class="nx">subString<span class="err">: <span class="kr">string<span class="p">)<span class="err">: <span class="kr">boolean<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>这样定义后,我们可以像使用其它接口一样使用这个函数类型的接口。 下例展示了如何创建一个函数类型的变量,并将一个同类型的函数赋值给这个变量。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">mySearch<span class="err">: <span class="nx">SearchFunc<span class="p">;
<span class="nx">mySearch <span class="o">= <span class="kd">function<span class="p">(<span class="nx">source<span class="err">: <span class="kr">string<span class="p">, <span class="nx">subString<span class="err">: <span class="kr">string<span class="p">) <span class="p">{
<span class="kd">let <span class="nx">result <span class="o">= <span class="nx">source<span class="p">.<span class="nx">search<span class="p">(<span class="nx">subString<span class="p">);
<span class="k">return <span class="nx">result <span class="o">> <span class="o">-<span class="mi">1<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>对于函数类型的类型检查来说,函数的参数名不需要与接口里定义的名字相匹配。 比如,我们使用下面的代码重写上面的例子:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">mySearch<span class="err">: <span class="nx">SearchFunc<span class="p">;
<span class="nx">mySearch <span class="o">= <span class="kd">function<span class="p">(<span class="nx">src<span class="err">: <span class="kr">string<span class="p">, <span class="nx">sub<span class="err">: <span class="kr">string<span class="p">)<span class="err">: <span class="kr">boolean <span class="p">{
<span class="kd">let <span class="nx">result <span class="o">= <span class="nx">src<span class="p">.<span class="nx">search<span class="p">(<span class="nx">sub<span class="p">);
<span class="k">return <span class="nx">result <span class="o">> <span class="o">-<span class="mi">1<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>函数的参数会逐个进行检查,要求对应位置上的参数类型是兼容的。 如果你不想指定类型,TypeScript的类型系统会推断出参数类型,因为函数直接赋值给了<code class="highlighter-rouge">SearchFunc</code>类型变量。 函数的返回值类型是通过其返回值推断出来的(此例是<code class="highlighter-rouge">false</code>和<code class="highlighter-rouge">true</code>)。 如果让这个函数返回数字或字符串,类型检查器会警告我们函数的返回值类型与<code class="highlighter-rouge">SearchFunc</code>接口中的定义不匹配。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kd">let <span class="nx">mySearch<span class="err">: <span class="nx">SearchFunc<span class="p">;
<span class="nx">mySearch <span class="o">= <span class="kd">function<span class="p">(<span class="nx">src<span class="p">, <span class="nx">sub<span class="p">) <span class="p">{
<span class="kd">let <span class="nx">result <span class="o">= <span class="nx">src<span class="p">.<span class="nx">search<span class="p">(<span class="nx">sub<span class="p">);
<span class="k">return <span class="nx">result <span class="o">> <span class="o">-<span class="mi">1<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<h1 id="可索引的类型">可索引的类型</h1>
<p>与使用接口描述函数类型差不多,我们也可以描述那些能够“通过索引得到”的类型,比如<code class="highlighter-rouge">a</code>或<code class="highlighter-rouge">ageMap["daniel"]</code>。 可索引类型具有一个<em>索引签名</em>,它描述了对象索引的类型,还有相应的索引返回值类型。 让我们看一个例子:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">StringArray <span class="p">{
<span class="p">[<span class="nx">index<span class="err">: <span class="kr">number<span class="p">]<span class="err">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">myArray<span class="err">: <span class="nx">StringArray<span class="p">;
<span class="nx">myArray <span class="o">= <span class="p">[<span class="s2">"Bob"<span class="p">, <span class="s2">"Fred"<span class="p">];
<span class="kd">let <span class="nx">myStr<span class="err">: <span class="kr">string <span class="o">= <span class="nx">myArray<span class="p">[<span class="mi">0<span class="p">];
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>上面例子里,我们定义了<code class="highlighter-rouge">StringArray</code>接口,它具有索引签名。 这个索引签名表示了当用<code class="highlighter-rouge">number</code>去索引<code class="highlighter-rouge">StringArray</code>时会得到<code class="highlighter-rouge">string</code>类型的返回值。</p>
<p>共有支持两种索引签名:字符串和数字。 可以同时使用两种类型的索引,但是数字索引的返回值必须是字符串索引返回值类型的子类型。 这是因为当使用<code class="highlighter-rouge">number</code>来索引时,JavaScript会将它转换成<code class="highlighter-rouge">string</code>然后再去索引对象。 也就是说用<code class="highlighter-rouge">100</code>(一个<code class="highlighter-rouge">number</code>)去索引等同于使用<code class="highlighter-rouge">"100"</code>(一个<code class="highlighter-rouge">string</code>)去索引,因此两者需要保持一致。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">class <span class="nx">Animal <span class="p">{
<span class="nl">name<span class="p">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kr">class <span class="nx">Dog <span class="k">extends <span class="nx">Animal <span class="p">{
<span class="nl">breed<span class="p">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="c1">// 错误:使用'string'索引,有时会得到Animal!
<span class="kr">interface <span class="nx">NotOkay <span class="p">{
<span class="p">[<span class="nx">x<span class="err">: <span class="kr">number<span class="p">]<span class="err">: <span class="nx">Animal<span class="p">;
<span class="p">[<span class="nx">x<span class="err">: <span class="kr">string<span class="p">]<span class="err">: <span class="nx">Dog<span class="p">;
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>字符串索引签名能够很好的描述<code class="highlighter-rouge">dictionary</code>模式,并且它们也会确保所有属性与其返回值类型相匹配。 因为字符串索引声明了<code class="highlighter-rouge">obj.property</code>和<code class="highlighter-rouge">obj["property"]</code>两种形式都可以。 下面的例子里,<code class="highlighter-rouge">name</code>的类型与字符串索引类型不匹配,所以类型检查器给出一个错误提示:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">NumberDictionary <span class="p">{
<span class="p">[<span class="nx">index<span class="err">: <span class="kr">string<span class="p">]<span class="err">: <span class="kr">number<span class="p">;
<span class="nl">length<span class="p">: <span class="kr">number<span class="p">; <span class="c1">// 可以,length是number类型
<span class="nl">name<span class="p">: <span class="kr">string <span class="c1">// 错误,`name`的类型与索引类型返回值的类型不匹配
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>最后,你可以将索引签名设置为只读,这样就防止了给索引赋值:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">ReadonlyStringArray <span class="p">{
<span class="k">readonly <span class="p">[<span class="nx">index<span class="err">: <span class="kr">number<span class="p">]<span class="err">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">myArray<span class="err">: <span class="nx">ReadonlyStringArray <span class="o">= <span class="p">[<span class="s2">"Alice"<span class="p">, <span class="s2">"Bob"<span class="p">];
<span class="nx">myArray<span class="p">[<span class="mi">2<span class="p">] <span class="o">= <span class="s2">"Mallory"<span class="p">; <span class="c1">// error!
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>你不能设置<code class="highlighter-rouge">myArray</code>,因为索引签名是只读的。</p>
<h1 id="类类型">类类型</h1>
<h2 id="实现接口">实现接口</h2>
<p>与C#或Java里接口的基本作用一样,TypeScript也能够用它来明确的强制一个类去符合某种契约。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">ClockInterface <span class="p">{
<span class="nl">currentTime<span class="p">: <span class="nb">Date<span class="p">;
<span class="p">}
<span class="kr">class <span class="nx">Clock <span class="k">implements <span class="nx">ClockInterface <span class="p">{
<span class="nl">currentTime<span class="p">: <span class="nb">Date<span class="p">;
<span class="kd">constructor<span class="p">(<span class="nx">h<span class="err">: <span class="kr">number<span class="p">, <span class="nx">m<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">}
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>你也可以在接口中描述一个方法,在类里实现它,如同下面的<code class="highlighter-rouge">setTime</code>方法一样:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">ClockInterface <span class="p">{
<span class="nl">currentTime<span class="p">: <span class="nb">Date<span class="p">;
<span class="nx">setTime<span class="p">(<span class="nx">d<span class="err">: <span class="nb">Date<span class="p">);
<span class="p">}
<span class="kr">class <span class="nx">Clock <span class="k">implements <span class="nx">ClockInterface <span class="p">{
<span class="nl">currentTime<span class="p">: <span class="nb">Date<span class="p">;
<span class="nx">setTime<span class="p">(<span class="nx">d<span class="err">: <span class="nb">Date<span class="p">) <span class="p">{
<span class="k">this<span class="p">.<span class="nx">currentTime <span class="o">= <span class="nx">d<span class="p">;
<span class="p">}
<span class="kd">constructor<span class="p">(<span class="nx">h<span class="err">: <span class="kr">number<span class="p">, <span class="nx">m<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">}
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>接口描述了类的公共部分,而不是公共和私有两部分。 它不会帮你检查类是否具有某些私有成员。</p>
<h2 id="类静态部分与实例部分的区别">类静态部分与实例部分的区别</h2>
<p>当你操作类和接口的时候,你要知道类是具有两个类型的:静态部分的类型和实例的类型。 你会注意到,当你用构造器签名去定义一个接口并试图定义一个类去实现这个接口时会得到一个错误:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">ClockConstructor <span class="p">{
<span class="k">new <span class="p">(<span class="nx">hour<span class="err">: <span class="kr">number<span class="p">, <span class="nx">minute<span class="err">: <span class="kr">number<span class="p">);
<span class="p">}
<span class="kr">class <span class="nx">Clock <span class="k">implements <span class="nx">ClockConstructor <span class="p">{
<span class="nl">currentTime<span class="p">: <span class="nb">Date<span class="p">;
<span class="kd">constructor<span class="p">(<span class="nx">h<span class="err">: <span class="kr">number<span class="p">, <span class="nx">m<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">}
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>这里因为当一个类实现了一个接口时,只对其实例部分进行类型检查。 constructor存在于类的静态部分,所以不在检查的范围内。</p>
<p>因此,我们应该直接操作类的静态部分。 看下面的例子,我们定义了两个接口,<code class="highlighter-rouge">ClockConstructor</code>为构造函数所用和<code class="highlighter-rouge">ClockInterface</code>为实例方法所用。 为了方便我们定义一个构造函数<code class="highlighter-rouge">createClock</code>,它用传入的类型创建实例。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">ClockConstructor <span class="p">{
<span class="k">new <span class="p">(<span class="nx">hour<span class="err">: <span class="kr">number<span class="p">, <span class="nx">minute<span class="err">: <span class="kr">number<span class="p">)<span class="err">: <span class="nx">ClockInterface<span class="p">;
<span class="p">}
<span class="kr">interface <span class="nx">ClockInterface <span class="p">{
<span class="nx">tick<span class="p">();
<span class="p">}
<span class="kd">function <span class="nx">createClock<span class="p">(<span class="nx">ctor<span class="err">: <span class="nx">ClockConstructor<span class="p">, <span class="nx">hour<span class="err">: <span class="kr">number<span class="p">, <span class="nx">minute<span class="err">: <span class="kr">number<span class="p">)<span class="err">: <span class="nx">ClockInterface <span class="p">{
<span class="k">return <span class="k">new <span class="nx">ctor<span class="p">(<span class="nx">hour<span class="p">, <span class="nx">minute<span class="p">);
<span class="p">}
<span class="kr">class <span class="nx">DigitalClock <span class="k">implements <span class="nx">ClockInterface <span class="p">{
<span class="kd">constructor<span class="p">(<span class="nx">h<span class="err">: <span class="kr">number<span class="p">, <span class="nx">m<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">}
<span class="nx">tick<span class="p">() <span class="p">{
<span class="nx">console<span class="p">.<span class="nx">log<span class="p">(<span class="s2">"beep beep"<span class="p">);
<span class="p">}
<span class="p">}
<span class="kr">class <span class="nx">AnalogClock <span class="k">implements <span class="nx">ClockInterface <span class="p">{
<span class="kd">constructor<span class="p">(<span class="nx">h<span class="err">: <span class="kr">number<span class="p">, <span class="nx">m<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">}
<span class="nx">tick<span class="p">() <span class="p">{
<span class="nx">console<span class="p">.<span class="nx">log<span class="p">(<span class="s2">"tick tock"<span class="p">);
<span class="p">}
<span class="p">}
<span class="kd">let <span class="nx">digital <span class="o">= <span class="nx">createClock<span class="p">(<span class="nx">DigitalClock<span class="p">, <span class="mi">12<span class="p">, <span class="mi">17<span class="p">);
<span class="kd">let <span class="nx">analog <span class="o">= <span class="nx">createClock<span class="p">(<span class="nx">AnalogClock<span class="p">, <span class="mi">7<span class="p">, <span class="mi">32<span class="p">);
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>因为<code class="highlighter-rouge">createClock</code>的第一个参数是<code class="highlighter-rouge">ClockConstructor</code>类型,在<code class="highlighter-rouge">createClock(AnalogClock, 7, 32)</code>里,会检查<code class="highlighter-rouge">AnalogClock</code>是否符合构造函数签名。</p>
<h1 id="继承接口">继承接口</h1>
<p>和类一样,接口也可以相互继承。 这让我们能够从一个接口里复制成员到另一个接口里,可以更灵活地将接口分割到可重用的模块里。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">Shape <span class="p">{
<span class="nl">color<span class="p">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kr">interface <span class="nx">Square <span class="k">extends <span class="nx">Shape <span class="p">{
<span class="nl">sideLength<span class="p">: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">square <span class="o">= <span class="o"><<span class="nx">Square<span class="o">><span class="p">{};
<span class="nx">square<span class="p">.<span class="nx">color <span class="o">= <span class="s2">"blue"<span class="p">;
<span class="nx">square<span class="p">.<span class="nx">sideLength <span class="o">= <span class="mi">10<span class="p">;
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>一个接口可以继承多个接口,创建出多个接口的合成接口。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">Shape <span class="p">{
<span class="nl">color<span class="p">: <span class="kr">string<span class="p">;
<span class="p">}
<span class="kr">interface <span class="nx">PenStroke <span class="p">{
<span class="nl">penWidth<span class="p">: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kr">interface <span class="nx">Square <span class="k">extends <span class="nx">Shape<span class="p">, <span class="nx">PenStroke <span class="p">{
<span class="nl">sideLength<span class="p">: <span class="kr">number<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">square <span class="o">= <span class="o"><<span class="nx">Square<span class="o">><span class="p">{};
<span class="nx">square<span class="p">.<span class="nx">color <span class="o">= <span class="s2">"blue"<span class="p">;
<span class="nx">square<span class="p">.<span class="nx">sideLength <span class="o">= <span class="mi">10<span class="p">;
<span class="nx">square<span class="p">.<span class="nx">penWidth <span class="o">= <span class="mf">5.0<span class="p">;
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<h1 id="混合类型">混合类型</h1>
<p>先前我们提过,接口能够描述JavaScript里丰富的类型。 因为JavaScript其动态灵活的特点,有时你会希望一个对象可以同时具有上面提到的多种类型。</p>
<p>一个例子就是,一个对象可以同时做为函数和对象使用,并带有额外的属性。</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">interface <span class="nx">Counter <span class="p">{
<span class="p">(<span class="nx">start<span class="err">: <span class="kr">number<span class="p">)<span class="err">: <span class="kr">string<span class="p">;
<span class="nl">interval<span class="p">: <span class="kr">number<span class="p">;
<span class="nx">reset<span class="p">()<span class="err">: <span class="k">void<span class="p">;
<span class="p">}
<span class="kd">function <span class="nx">getCounter<span class="p">()<span class="err">: <span class="nx">Counter <span class="p">{
<span class="kd">let <span class="nx">counter <span class="o">= <span class="o"><<span class="nx">Counter<span class="o">><span class="kd">function <span class="p">(<span class="nx">start<span class="err">: <span class="kr">number<span class="p">) <span class="p">{ <span class="p">};
<span class="nx">counter<span class="p">.<span class="nx">interval <span class="o">= <span class="mi">123<span class="p">;
<span class="nx">counter<span class="p">.<span class="nx">reset <span class="o">= <span class="kd">function <span class="p">() <span class="p">{ <span class="p">};
<span class="k">return <span class="nx">counter<span class="p">;
<span class="p">}
<span class="kd">let <span class="nx">c <span class="o">= <span class="nx">getCounter<span class="p">();
<span class="nx">c<span class="p">(<span class="mi">10<span class="p">);
<span class="nx">c<span class="p">.<span class="nx">reset<span class="p">();
<span class="nx">c<span class="p">.<span class="nx">interval <span class="o">= <span class="mf">5.0<span class="p">;
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>在使用JavaScript第三方库的时候,你可能需要像上面那样去完整地定义类型。</p>
<h1 id="接口继承类">接口继承类</h1>
<p>当接口继承了一个类类型时,它会继承类的成员但不包括其实现。 就好像接口声明了所有类中存在的成员,但并没有提供具体实现一样。 接口同样会继承到类的private和protected成员。 这意味着当你创建了一个接口继承了一个拥有私有或受保护的成员的类时,这个接口类型只能被这个类或其子类所实现(implement)。</p>
<p>当你有一个庞大的继承结构时这很有用,但要指出的是你的代码只在子类拥有特定属性时起作用。 这个子类除了继承至基类外与基类没有任何关系。 例:</p>
<div class="language-ts highlighter-rouge">
<pre class="highlight"><code><span class="kr">class <span class="nx">Control <span class="p">{
<span class="k">private <span class="nx">state<span class="err">: <span class="kr">any<span class="p">;
<span class="p">}
<span class="kr">interface <span class="nx">SelectableControl <span class="k">extends <span class="nx">Control <span class="p">{
<span class="nx">select<span class="p">()<span class="err">: <span class="k">void<span class="p">;
<span class="p">}
<span class="kr">class <span class="nx">Button <span class="k">extends <span class="nx">Control <span class="k">implements <span class="nx">SelectableControl <span class="p">{
<span class="nx">select<span class="p">() <span class="p">{ <span class="p">}
<span class="p">}
<span class="kr">class <span class="nx">TextBox <span class="k">extends <span class="nx">Control <span class="p">{
<span class="p">}
<span class="c1">// Error: Property 'state' is missing in type 'Image'.
<span class="kr">class <span class="nx">Image <span class="k">implements <span class="nx">SelectableControl <span class="p">{
<span class="nx">select<span class="p">() <span class="p">{ <span class="p">}
<span class="p">}
<span class="kr">class <span class="nx">Location <span class="p">{
<span class="p">}
</span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></span></code></pre>
</div>
<p>在上面的例子里,<code class="highlighter-rouge">SelectableControl</code>包含了<code class="highlighter-rouge">Control</code>的所有成员,包括私有成员<code class="highlighter-rouge">state</code>。 因为<code class="highlighter-rouge">state</code>是私有成员,所以只能够是<code class="highlighter-rouge">Control</code>的子类们才能实现<code class="highlighter-rouge">SelectableControl</code>接口。 因为只有<code class="highlighter-rouge">Control</code>的子类才能够拥有一个声明于<code class="highlighter-rouge">Control</code>的私有成员<code class="highlighter-rouge">state</code>,这对私有成员的兼容性是必需的。</p>
<p>在<code class="highlighter-rouge">Control</code>类内部,是允许通过<code class="highlighter-rouge">SelectableControl</code>的实例来访问私有成员<code class="highlighter-rouge">state</code>的。 实际上,<code class="highlighter-rouge">SelectableControl</code>就像<code class="highlighter-rouge">Control</code>一样,并拥有一个<code class="highlighter-rouge">select</code>方法。 <code class="highlighter-rouge">Button</code>和<code class="highlighter-rouge">TextBox</code>类是<code class="highlighter-rouge">SelectableControl</code>的子类(因为它们都继承自<code class="highlighter-rouge">Control</code>并有<code class="highlighter-rouge">select</code>方法),但<code class="highlighter-rouge">Image</code>和<code class="highlighter-rouge">Location</code>类并不是这样的。</p><br><br>
来源:https://www.cnblogs.com/xiewangfei123/p/12242409.html
頁:
[1]