TypeScript (JavaScript)での配列型のチェック方法

Question

前提・実現したいこと

TypeScriptで、複素行列クラスを実装しております。
コンストラクタの実装でvaluesがComplex[]とnumber[]の場合で、instanceofを使って場合分けし、それぞれの場合で処理したいのですが、うまくいきません。
どのように実装すれば良いのでしょうか。

該当のソースコード

class Matrix{
   m:number;
   n:number;
   values:Complex[];
   constructor(m:number, n:number);
   constructor(m:number, n:number, values?:number[]|Complex[]){
        this.m=m;
        this.n=n;
        if(values == undefined){
            this.values=Complex.zeros(m*n);
        }else if(Array.isArray(values)){
            if(values instanceof Complex[]){//ここで困ってます。
                this.values=values;
            }else{
                this.values=Complex.zeros(m*n);
                for(let i=0;i<values.length;i++){
                    this.values[i]=this.values[i].add(values[i]);
                }
            }
        }
    }
}

試したこと

values instanceof Complex[]では、そもそも構文エラーで、
values[0] instanceof Complexでは、valuesがComplex[]であることが確定しておらず、this.values=valuesで代入できない。
typeof(values) === "Complex[]"もダメでした。

Answer 1

type predicate を使って、以下のような関数

function isComplexArray(values: number[] | Complex[]): values is Complex[] {
  return values[0] instanceof Complex;
}

を作っておき、以下のように修正すると、どうでしょう？

- if(values instanceof Complex[]){//ここで困ってます。
+ if (isComplexArray(values)) {

ちなみに、以下をTypescript Playground (v4.4.4) にコピペしてもエラーは無かったです。（Complex クラスは当方の推測でテキトーに作りました。）

class Complex {
  real = 0;
  imaginary = 0;

  static zeros(size: number) {
    return [...Array(size)].map(_ => new Complex());
  }

  add(other: Complex | number) {
    if (other instanceof Complex) {
      this.real += other.real;
      this.imaginary += other.imaginary;
    } else {
      this.real += other;
    }
    return this;
  }
}

function isComplexArray(values: number[] | Complex[]): values is Complex[] {
  return values[0] instanceof Complex;
}

class Matrix {
  m: number;
  n: number;
  values: Complex[] = [];

  constructor(m: number, n: number, values?: number[] | Complex[]) {
    this.m = m;
    this.n = n;

    if (values == undefined) {
      this.values = Complex.zeros(m * n);
    } else if (Array.isArray(values)) {
      if (isComplexArray(values)) {
        this.values = values;
      } else {
        this.values = Complex.zeros(m * n);
        for (let i = 0; i < values.length; i++) {
          this.values[i] = this.values[i].add(values[i]);
        }
      }
    }
  }
}

Comments

[0819Goki]

なるほど、
type predicate という方法を初めて知りました。
ありがとうございました。