インライン条件付き型ガード

Question

私のクラスの引数の1つに文字列またはエラーを受け入れることができるようにしたいが、インライン条件を使用して型をチェックするときに型がガードされるようにする。

以下の3つの例から明らかなように、インライン条件の型ガードはサポートされていないようですが、最後のものだけがコンパイルされます。これは、よりである：何らかの理由でdocumentation

UPDATEで「インライン」と呼ばれている

私は「インライン条件文」と言うとき、私は/他のブロック場合は複数行ない、フォーム(<boolean statement>)? a : bの意味、活字体が適切に三元の文で使用されるタイプのガードを処理しない正しく

export class MyError extends Error { 
    public code; name; message 

    constructor(code: number = -1, name: string = '', err?: Error | string) { 
     super() 
     this.name = name 
     this.code = code 
     // no type guards 
     this.message = this.name + (err)? ": " + (err instanceof Error)? err.message : err : '' 
    } 
} 

export class MyError2 extends Error { 
    public code; name; message 

    constructor(code: number = -1, name: string = '', err?: Error | string) { 
     super() 
     this.name = name 
     this.code = code 
     if(err) { 
      // no type guards 
      this.message = this.name + ": " + (err instanceof Error)? err.message : err 
     } else { 
      this.message = this.name 
     } 
    } 
} 

export class MyError3 extends Error { 
    public code; name; message 

    constructor(code: number = -1, name: string = '', err?: Error | string) { 
     super() 
     this.name = name 
     this.code = code 
     // type guards... but at what cost to brevity 
     this.message = this.name 
     if(err) { 
      if(err instanceof Error) { 
       this.message += ": " + err.message 
      } else { 
       this.message += ": " + err 
      } 
     } 
    } 
} 

Answer 1

インライン条件文のサポートタイプのガードをしtypescriptですよりjavascriptの、で行います。括弧を使用すると、これらのステートメントで予想される動作とは異なる動作になります。

export class MyError extends Error { 
    public code; name; message 

    constructor(code: number = -1, name: string = '', err?: Error | String) { 
     super() 
     this.name = name 
     this.code = code 
     this.message = this.name + (err ? ": " + (err instanceof Error ? err.message : err) : '') 
    } 
} 

export class MyError2 extends Error { 
    public code; name; message 

    constructor(code: number = -1, name: string = '', err?: Error | String) { 
     super() 
     this.name = name 
     this.code = code 
     if(err) { 
      this.message = this.name + ": " + (err instanceof Error ? err.message : err) 
     } else { 
      this.message = this.name 
     } 
    } 
} 

は、私はまた、括弧内の全体の三元の文を囲むことはそれをより読みやすく役立つと信じているが、それは個人の意見の問題です：あなたが最初の2つの例では、このようなコードをフォーマットすると、すべてが正常に動作するはずですコース。

---

あなたの3者声明には何が問題なのですか？ operator precedence rulesのため、最初の?の左にあるものはすべて同じ式の一部であり、したがってすべてが一緒に連結され、3項の全体の意味を変更します。ここでは例です：

this.message = this.name + ": " + (err instanceof Error)? err.message : err 
// same as: 
(this.name + ": " + (err instanceof Error)) ? err.message : err 
// with values filled in: 
"someName: true" ? err.message : err 

だから、上記のコードは、常にあなたが `としてあなたのメッセージをしたいと仮定すると、 Error