質問編集履歴

2

修正

2023/01/08 07:12

投稿

sasa0330
sasa0330

スコア64

test CHANGED
File without changes
test CHANGED
@@ -27,7 +27,7 @@
27
27
  TS(これでも良いのでは?)の型は、値がない場合はundefined型となりましたが、値がある場合は期待通りの型になりました。
28
28
 
29
29
  質問2
30
- もし質問1の分岐が必須だとすれば、値がないときかつ何を返せば良いか定まらない時はnever型を返しておけば良いのでしょうか。
30
+ もし質問1の分岐が必須だとすれば、「配列の値がないときかつ何を返せば良いか定まらない時はnever型を返しておけば良い。といった御作法的なもはあるのでしょうか。
31
31
 
32
32
  初歩的な質問かとは思いますが、よろしくお願いいたします。
33
33
 

1

修正

2023/01/08 07:11

投稿

sasa0330
sasa0330

スコア64

test CHANGED
File without changes
test CHANGED
@@ -23,7 +23,7 @@
23
23
  type First2<T extends any[]> = T[0]
24
24
  ```
25
25
  質問1
26
- 配列の内容がない時にnever型になるように考慮しているのだと思うのですが、これは必ず必要な分岐なのでしょうか。
26
+ TS(解答例)の方は配列の内容がない時にnever型になるように考慮しているのだと思うのですが、必ず必要な分岐なのでしょうか。
27
27
  TS(これでも良いのでは?)の型は、値がない場合はundefined型となりましたが、値がある場合は期待通りの型になりました。
28
28
 
29
29
  質問2