TypeScriptで空配列を引数として取らない関数の型を書けるでしょうか？

Question

状況

string[]を受け取ってbooleanを返すJS関数の型宣言ファイルを作成しようとしています。
ただ空配列が与えられると Error が投げられるため、引数としては受け取れないようにしたいです。

試したこと

空配列が受け取れないように、

  export default function func(strings: [string, ...string[]]): boolean

としたところ、確かに空配列は受け取れなくなったのですがstring[]に型推論された配列も受け取れなくなってしまいました。

string[]を受け取りつつ空配列だけ弾くような型の書き方はありますでしょうか？

Answer 1

自己解決されたようですが、せっかく書いたので貼っておきます。前の質問で

const a: [string, ...string[]] = ['a', 'b', 'c'];

がエラーにならないのは、['a', 'b', 'c'] というリテラルにはまだ型がついてないので、string[] にも [string, ...string[]] にもなりうるし、なんなら次のような型にも適合する、ということでしょう。

type A = 'a';
type B = 'b';
type C = 'c';

type ABC = [A, B, C];
let a1: ABC = ['a', 'b', 'c'];

type BorC = B | C;
let a2: [A, ...BorC[]] = ['a', 'b', 'c'];

let a3: Array<A | B | C> = ['a', 'b', 'c'];

let a4 = ['a', 'b', 'c']; // a4 は string[] に型推論される

a1 = a2; // Error
a1 = a3; // Error
a1 = a4; // Error
a2 = a1; // OK
a2 = a3; // Error
a2 = a4; // Error
a3 = a1; // OK
a3 = a2; // OK
a3 = a4; // Error
a4 = a1; // OK
a4 = a2; // OK
a4 = a3; // OK

いったん string[] と型推論されてしまったら、その型は空の配列も含むので、[string, ...string[]] に自動的に変換されることはない (TypeScipr の型は静的なものなので、実行時の実際の値を型に反映させるためには、自分でその型に適合することを確認するコードを書く必要がある) のだと思います。

具体的にはこんな感じでしょうか。
参考: ユーザー定義のType Guard (型ガード - TypeScript Deep Dive 日本語版)

function notEmpty<T>(arg: T[]): arg is [T, ...T[]] {
  return arg.length > 0;
}

const a = foo(); // foo は string[] を返すと仮定
if (notEmpty(a)) {
  func(a);
}

Comments

[ts-learner]

ありがとうございます。
そしてすみません自己解決していなかっため回答を修正しました。

配列が空でないことを示す型ガードを作成して、この関数を利用する前に型ガードをしておくのがTypeScript的な書き方なのですかね。

[hoshi-takanori]

そうだと思います。回答欄に追記しておきました。

Answer 2

自己解決しましたので後日追記します。
すみません勘違いでしたので元に戻しました。