如何在接口中定义构造函数签名？

Question

下面是关于在 TypeScript 接口 (Javascript) 中定义构造函数签名的问题，尽管最终它变得不可用。但是，这在 Objective-c 中是可能的，如果在其他地方也能做到这一点，那就太好了。

我有一组数据对象类，它们都将通过一个带有 json 字符串参数的通用构造函数来使用。当我选择 TypeScript 作为一个工具，它有一个编译器，可以帮助我更早地发现错误和问题，我如何在接口中定义一个构造函数，然后在类中实现它？

interface IParsable {

  //constructor(json : string);
  new (json : string);
}

class UserObject implements IParsable {

constructor(json : string) {

   //...
}

代码有效，但编译器显示错误“错误 TS2420：类 'UserObject' 错误地实现了接口 'IParsable'。”如果我在接口中使用“构造函数”而不是 new，那么我会得到“未实现来自接口 IParsable 的方法构造函数”。

更新：在objective-c中，可以使用两种方法创建对象：

第一种方法：

UserObject *userObject = [[UserObject alloc] init]; 

对象的创建由两种方法组成。 Alloc - 分配所需的内存，init 是默认的构造函数名称。构造函数就像objective-c中的常规方法一样，并且有它们的名字。因此，如果您需要一个带参数的自定义构造函数，那么您只需定义一个新方法，例如 initWithJson:(NSString *)json。因此，您可以在界面中定义任何您想要的内容并执行合同。

第二种方法：

UserObject *userObject = [UserObject new]; 

new 是保留字，但它实际上执行 alloc + init 并且您不能使用自定义构造函数。因此，推荐的方法是使用 alloc + init，这样如果需要，您可以随时将其替换为自定义构造方法，如 alloc + initWithJson。

事实证明，即使在 java 或 C# 中也无法做到这一点。我一直认为这些语言在 OOP 方面更加标准且经过深思熟虑，尽管这件小事在 Objective-c 中做得更好。

Answer 1

extends 子句定义类的实例 的行为，而不是其构造函数。构造函数本身不是类的instance 的一部分。基本上，您是说UserObject 的实例（在其上调用new 的结果）本身可以调用new，但事实并非如此：

var x = new UserObject();
var y = new x(); // Nonsense, of course

目前 TypeScript 中没有直接的语法来指示构造函数 UserObject 与接口 IParsable 匹配。您可以将其用作解决方法：

class UserObject { ... }
UserObject === <IParsable>undefined;

Answer 2

TypeScript 是结构化类型的，因此您无需在类上实际使用implements 关键字即可获得所需的所有检查。

在下面的示例中，检查传递给IParsable 的构造函数的参数（在example 函数内）。您也不能将不满足 IParsable 接口的参数传递给 example 函数，即它必须接受字符串参数（或根本不接受参数）。

我已经突出显示了编译器将捕获的三个错误。

interface IParsable {
    new (json: string);
}

class ExampleOne {
    constructor(json: string) {

    }
}

class ExampleTwo {
    constructor(json: string) {

    }
}

class ExampleThree {
    constructor(arg: number) {

    }
}

function example(obj: IParsable) {
    // Error - doesn't pass string arg
    //return new obj();

    // Error - wrong argument type
    //return new obj(1);

    return new obj('{ a: "b"}');

}

example(ExampleOne);
example(ExampleTwo);

// Error - Doesn't satisfy IParsable
//example(ExampleThree);