TypeScript 3.7ã®`asserts x is T`åž‹ã¯ã©ã®ã‚ˆã†ã«å±é™ºãªã®ã‹ - QiitaTypeScirptã®å‹•å‘ã‚’å°‘ã—熱心ã«è¿½ã£ã¦ã„ã‚‹æ–¹ãªã‚‰ã°ã€8月é ã«Anders Hejlsbergã•ã‚“ãŒTypeScriptリãƒã‚¸ãƒˆãƒªã«æ¬¡ã®ãƒ—ルリクエストを出ã—ãŸã“ã¨ã¯è¨˜æ†¶ã«æ–°ã—ã„ã§ã—ょã†ã€‚ Assertions in control flow analysis ã“ã‚Œã¯TypeScript 3.7ã§å°Žå…¥ã•ã‚Œã‚‹äºˆå®šã®æ©Ÿèƒ½ã§ã€é–¢æ•°ã®è¿”り値ã®åž‹å®£è¨€ã«ãŠã„ã¦asserts x is T （xã¯å¼•æ•°åã§Tã¯åž‹ï¼‰ã¨ã„ã†æ§‹æ–‡ã‚’書ãã“ã¨ãŒå¯èƒ½ã«ãªã‚‹ã¨ã„ã†ã‚‚ã®ã§ã™ã€‚ ã“ã®æ©Ÿèƒ½ã¯ãŸã„ã¸ã‚“é¢ç™½ã„ã®ã§ã™ãŒã€èª¤ã£ãŸä½¿ã„方をã™ã‚‹ã¨ã¨ã¦ã‚‚å±é™ºã§ã™ã€‚ãã“ã§ã€ã“ã®è¨˜äº‹ã§ã¯ã€assertsã¨ã„ã†æ–°ã—ã„型述語1ã‚’æ£ã—ã使ã„ã“ãªã›ã‚‹ã‚ˆã†ã«çš†ã•ã‚“をガイドã—ã¾ã™ã€‚ 3è¡Œã§ã¾ã¨ã‚る㨠assertsã«ã‚ˆã‚‹å®£è¨€ã¯TypeScriptã«ã‚ˆã‚Šæ£ã—ã•ãŒãƒã‚§ãƒƒã‚¯ã•ã‚Œã‚‹ã‚ã‘ã§ã¯ã‚ã‚Šã¾ã›ã‚“。 よã£ã¦ã€assertsを使ã†å ´åˆå®‰å…¨æ€§ã‚’ä¿è¨¼ã™ã‚‹è²¬ä»»ã¯ã‚³
{{#tags}}- {{label}}
{{/tags}}