メンバ変数をTypeScriptで拡張型として宣言する方法は？

Question

「メンバ変数」を静的型ではなく（インターフェイスを使用せずに）「拡張オブジェクト」として定義する方法はありますか？

単にこの擬似コードのようなもの：

class Foo { 

    bar -> extends Rectangle; 
    constructor(barInstance:IRectangle){ 
     this.bar = barInstance; 

     this.bar.getArea(); //<-- is code completed because interface IRectangle 

     // no type error 
     this.bar.someCustomFunction = function() { 
     } 
    } 

} 

代わりの

class Foo { 
    bar: IRectangle; 
    //or 
    bar:Rectangle; 
} 

私は型エラーを取得せずに、基本クラスまたはインタフェースで定義されていないプロパティを追加するだけでなく、コード補完を取得することができますこの方法ベースクラスから。 Heh、怠惰な厳密なタイピング？

Answer 1

制限されたジェネリック型のパラメータを考えてみましょう。

interface Base { 
    prop: number; 
} 

interface Child extends Base { 
    thing: string; 
} 

class Foo<T extends Base> { 
    bar: T 
} 

var foo = new Foo<Child>(); 
foo.bar.thing; // now permitted by the type checker 

Answer 2

私はあなたを理解していることを完全にわからないんだけど、もしそうなら、このような何か：私はしたい

interface IRectangle { 
    getArea(): void; 
} 

class Rectangle implements IRectangle { 
    getArea(): void {} 
    someCustomFunction(): void {} 
} 

class Foo<T extends IRectangle> { 
    bar: T; 

    constructor(barInstance: T){ 
     this.bar = barInstance; 
     this.bar.getArea(); 

     // no type error 
     if (this.bar instanceof Rectangle) { 
      (this.bar as any as Rectangle).someCustomFunction = function() {} 
     } 
    } 
} 

（code in playground）

Answer 3

交差点の種類

interface IRectangle { 
    getArea:() => number; 
} 

class Foo { 
    bar: IRectangle & { [key: string]: any; }; 

    constructor(barInstance:IRectangle){ 
     this.bar = barInstance; 

     this.bar.getArea(); //<-- is code completed because interface IRectangle 

     // no type error 
     this.bar.someCustomFunction = function() { 
     } 
    } 
}