基於參數類型的TypeScript結果類型

Question

在此代碼中，類型v1是BehaviorSubject<string | number>，而v2的類型是{}。

我想那種類型的v1是BehaviorSubject<string>和類型v2是{ a: number, b: number }。

這是類似於TypeScript類型系統的可能嗎？

interface Test 
{ 
    prop: { 
     (x: string | number): BehaviorSubject<typeof x>; 
     (x: {}): typeof x; 
    } 
} 

let test: Test; 
let v1 = test.prop(''); 
let v2 = test.prop({ a: 1, b: 2 }); 

即使使用keyof或映射類型功能，它也可能與最新的TypeScript 2.1一起使用。

Answer 1

如何使用泛型爲此？

interface Test 
{ 
    prop: { 
     <T extends string | number> (x: T): BehaviorSubject<T>; 
     <T> (x: T): T; 
    } 
} 

Answer 2

@Paarth的解決方案回答了我的問題。我不得不使用：

<T extends string> (x: T): BehaviorSubject<string>; 
<T extends number> (x: T): BehaviorSubject<number>; 

所以道具（1）具有兼容類型（數量，而不是常量）與道具（2）。

現在，我想是這樣的：

interface Int 
{ 
    a: MyType<number>; 
    b: MyType<string>; 
    c: MyType<{ x: number, y: number }>; 
} 

使用相同的邏輯，其中類型的a，b和c是分別BehaviorSubject<number>, BehaviorSubject<string> and { x: number, y: number }。

這可能嗎？