Typescript 界面中的禁止属性

Question

我要创建一个 TypeScript 接口，它不仅要求存在特定的属性，而且还禁止不属于定义的属性。这是一个例子：

  export interface IComponentDirective {
    scope : any;
    templateUrl : string;
  };

  var ddo : IComponentDirective = {
    scope: {
      dt: '='
    },
    templateUrl: 'directives.datepicker',
    controller: function() {
      console.log('hello world');
    }
  };

即使controller 没有在接口中定义，ddo 赋值也不会引发错误。做一些研究，这看起来可能是设计的：

请注意，我们的对象实际上有比这更多的属性，但是 编译器仅检查是否至少存在所需的 并匹配所需的类型。

http://www.typescriptlang.org/Handbook#interfaces

但是请注意，在我将 ddo 声明为 IComponentDirective 之后，如果我尝试类似的操作：

ddo.transclude = false;

编译器会抱怨：

2339 类型上不存在属性“transclude” 'IComponentDirective'。

有没有办法强制执行更严格的合同？

Answer 1

简而言之（但取决于您对“更严格”的定义）您不能限制超出此范围的内容。

界面是一个合同，上面写着“如果这些成员不存在，你就不是其中之一”。如果您的对象碰巧有其他成员，那很好；当您使用界面时，它们对您是不可见的。

例如（根据您的代码），当您键入ddo. 时，它只会建议接口上的成员，因为您已经告诉编译器使用接口类型。

您不能使用接口来防止定义一个成员。我想不出任何语言可以做到这一点。例如，在 C# 中，您可以实现比接口要求的更多，但是当您使用接口类型时，其他成员不可用。

动态添加属性

ddo.tranclude = false; 为什么会生成警告的问题有点不同。这与接口无关 - 没有接口时会这样做：

  var ddo = {
    scope: {
      dt: '='
    },
    templateUrl: 'directives.datepicker',
    controller: function() {
      console.log('hello world');
    }
  };

  ddo.transclude = false; // Nope

原因是……这就是 TypeScript 的意义所在！它警告您，您可能输入了错误的transclude。也许您的意思是templateUrl，确实存在。如果 TypeScript 没有警告你这类问题，它会让你在代码中引入印刷错误。

因此，TypeScript 将为您创建的任何对象生成一个类型，然后强制执行该结构，除非您另有说明。

如果您希望“有时成为transclude 成员”，您可以做到这一点：

interface SometimesTransclude {
    scope: { dt: string};
    templateUrl: string;
    controller: () => void;
    transclude?: boolean;
}

  var ddo: SometimesTransclude = {
    scope: {
      dt: '='
    },
    templateUrl: 'directives.datepicker',
    controller: function() {
      console.log('hello world');
    }
  };

  ddo.transclude = false;

或者您可以直接跳过编译器（风险自负），使用：

ddo['transclude'] = false;