我希望能够在TypeScript中定义一个相当于句柄或HWND的类型安全。用例实例化了一个具体类型,该类型作为不透明类型提供给用户,用户只使用它作为其他API函数的输入。如下所示:
module foo {
export
class Handle<T> {
}
class Property extends Handle<Property>
{
constructor(public value = 12) { super(); }
}
export interface IProperty { }
export function makeProperty(): Handle<IProperty> {
return new Property();
}
export function getPropertyValue(p: Handle<IProperty>) {
return (<Property>p).value;
}
}
module bar {
var s = foo.makeProperty();
var p = foo.getPropertyValue(12); // this should be a compile error
}我遇到了两个问题:
以前有人做过这样的事吗?
发布于 2014-06-30 00:29:49
为什么这不是一个错误
为
var p = foo.getPropertyValue(12); // this should be a compile error这不是编译错误,因为TypeScript使用的是结构化类型系统,而不是您可能从C#/JAVA等使用的标称类型系统。
这意味着两种类型是兼容的,如果它们的成员(结构)匹配,而不管名称(名称)。以下是可以的
class Foo{}
var foo:Foo = 123; // okay since number contains everything that a Foo needs (which is nothing)但以下几点是不对的:
class Foo{
bar:number;
}
var foo:Foo = 123; // Error NOT okay since number doesn't contain member bar使其成为编译错误
只需添加一些在无效类型上不存在的Handle特有的属性。例如,我添加了属性value:number,该属性在下面按预期导致编译错误:
module foo {
export class Handle<T> {
constructor(public value:number){}
}
class Property extends Handle<Property>
{
constructor(public value = 12) { super(value); }
}
export interface IProperty { }
export function makeProperty(): Handle<IProperty> {
return new Property();
}
export function getPropertyValue(p: Handle<IProperty>) {
return (<Property>p).value;
}
}
module bar {
var s = foo.makeProperty();
var p = foo.getPropertyValue(12); // Compile Error
}https://stackoverflow.com/questions/24481394
复制相似问题