JSDoc中的类型断言函数

Question

我试图提出以下类型脚本类型断言函数的JavaScript JSDoc变体：

function typeCheck<T>(value: unknown, type: new () => T) {
    if (value instanceof type) {
        return value;
    }

    throw new Error('Invalid type');
}

const maybeButton: unknown = document.createElement('button');
const button = typeCheck(maybeButton, HTMLButtonElement);

我想到了这个，但我得到了一个错误：

/** @template T */
/** @returns {T} */
export default function check(/** @type {unknown} */ object, /** @type {new () => T} */ type) {
  if (object instanceof type) {
    /** @type {any} */
    const any = object;

    /** @type {T} */
    const t = any;

    return t;
  }

  throw new Error(`Object ${object} does not have the right type '${type}'!`)
}

错误在调用站点：const按钮=检查（event.current目标，HTMLButtonElement）；。HTMLButtonElement下划线，错误消息如下：

Argument of type '{ new (): HTMLButtonElement; prototype: HTMLButtonElement; }' is not assignable to parameter of type 'new () => T'.
  Type 'HTMLButtonElement' is not assignable to type 'T'.
    'T' could be instantiated with an arbitrary type which could be unrelated to 'HTMLButtonElement'.ts(2345)

是否可以开发这样的JSDoc函数，当传递未知时，仅使用TypeScript类型干扰和转义分析验证并返回作为提供的类型键入的未知对象？

一般来说，我对JSDoc不感兴趣，但特别是在Visual Studio代码中使用的JSDoc，TypeScript语言服务使用JSDoc作为类型提示处理JavaScript项目。

Answer 1

TS 3.7中引入的断言函数可以断言其调用范围内值的类型。

/**
 * @param {*} maybeString
 * @returns {asserts maybeString is string}
 */
function assertString(maybeString) {
  if (typeof maybeString !== 'string') throw Error('not a string');
}

/**
 * @param {unknown} something
 */
function demo(something) {
  something.concat; // type error
  assertString(something);
  something.concat; // valid
}

Answer 2

打字稿不和谐上的一个人帮我想出了答案：

/**
 * @template T
 * @returns {T}
 * @param {unknown} obj
 * @param {new () => T} type
 */
export default function assertInstance(obj, type) {
  if (obj instanceof type) {
    /** @type {any} */
    const any = obj;

    /** @type {T} */
    const t = any;

    return t;
  }

  throw new Error(`Object ${obj} does not have the right type '${type}'!`)
}