Question

很高兴看到TypeScript 1.3的发布，但是如何编写一个接口代表一个元组类型？

E.g。

var data: [string, number, number];

如何编写接口IData，以便我能够通过编写

来做同样的事情

var data: IData;

Answer 1

请注意，随着一些新功能的出现，例如联合类型，您可以大致得到您想要的内容。该规范的最新草案包含这些行的示例（请参阅https://github.com/Microsoft/TypeScript/blob/master/doc/spec.md#3.3.3）

以下代码显示了一个示例：

interface KeyValuePair extends Array<string | number> { 0: string; 1: number; }

var x: KeyValuePair = ["test", 42]; // OK
var y: KeyValuePair = [42, "test"]; // Error

如果从主分支中获取最新代码并编译上述代码，您将看到它将“x”的赋值检测为有效，并将“y”赋值为错误：

S:\src\TypeScript\bin>node tsc c:\temp\tuple.ts
c:/temp/tuple.ts(4,5): error TS2323: Type '[number, string]' is not assignable to type 'KeyValuePair'.
  Types of property '0' are incompatible.
    Type 'number' is not assignable to type 'string'.

Answer 2

比Joe Skeen更多的样板方法，但允许编译时类型检查。和样板工具代码只写一次..;）

function usage(t: CortegeOf2<boolean, string>) {
    get1(t).toLowerCase(); //ok

    // var trash1 = t[2]; //runtime error
    // var e0 = get2(t); //compile-time error we cannot get 2nd element cuz t has only 0th and 1st

    // var trash2: string = t[1]; //sadly that syntax allows to pass value somewhere, where expected another type
    // trash2.toUpperCase(); //runtime error

    // var e2: string = get1(t); //but that usage will not allow that pass
}


export interface CortegeOf1<T0> {
    0: T0;
}

export interface CortegeOf2<T0, T1> extends CortegeOf1<T0> {
    1: T1;
}

export interface CortegeOf3<T0, T1, T2> extends CortegeOf2<T0, T1> {
    2: T2;
}

export function get0<T>(cortege: CortegeOf1<T>): T {
    return cortege[0];
}

export function get1<T>(cortege: CortegeOf2<any, T>): T {
    return cortege[1];
}

export function get2<T>(cortege: CortegeOf3<any, any, T>): T {
    return cortege[2];
}

可以与数组一起使用：

export function joinTwo<A, B>(a: Promise<A>, b: Promise<B>): Promise<CortegeOf2< A, B >> {
    return Promise.all([a, b]);
}

function joinThree<A, B, C>(a: Promise<A>, b: Promise<B>, c: Promise<C>): Promise<CortegeOf3< A, B, C >> {
    return Promise.all([a, b, c]);
}

Answer 3

你不能从元组创建一个接口，就像你不能从一个字符串中创建一个接口。

您可以在以下界面中使用元组：

interface IDATA {
   value: [number, string];
}

如何编写接口代表TypeScript中的元组类型？

3 个答案: