在typescript中为泛型函数编写JSdoc

Question

我用以下代码提炼出了问题的本质：

完整来源

我有基类和Derive， Derived2：

class Base {
    static get type() {
        return 'Base';
    }
}

class Derived extends Base {
}

class Derived2 extends Base {
}

现在我有了变量t，它可以是派生的或派生的2的实例。它也可以在运行时多次更改。

/** @type {Base} */
var t = new Derived();
//or
var t = new Derived2();

我有一个函数，它检查t是否是传递类的实例，如果它是传递类的实例或未定义的实例，则返回t。

/**
 * @template {typeof Base} T
 * @param {T} cl
 * @returns {T}  /// <-- I can't figure out how to return an instance of T
 * @returns {instanceof T} /// it's hypothetical, but I need this..
 */
function checkTop( cl ) {
    if ( t instanceof cl ) {
        return t;
    }
    return undefined;
}

当我调用Check Top（Derive）时，它的返回类型应该是Derive。但是在上面的jsdoc中，它的返回类型是“typeof Derive”。但是我想让返回类型只是“Derive”。

let d1 = checkTop( Derived ); // 'typeof Derived', but I want 'Derived' as return type

同样，d2被识别为“衍生类型2”

let d2 = checkTop( Derived2 ); // 'typeof Derived2'.. but I want 'Derived2' as return type

我如何在JSDOC中指定返回类型，以便checkTop（派生）的返回类型为派生的，并且checkTop（Derived2）的返回类型为“Derived2”。

我尝试了以下返回类型：

/**
 * @template {Base} B 
 * @template {typeof B} T
 * @param {T} cl
 * @returns {B}
 */
function checkTop( cl )

和

/**
 * @template {typeof Base} T
 * @param {T} cl
 * @returns {instanceof T}
 */
function checkTop( cl )

如果在JSDOC中不可能，但在打字稿中可以，那也会很有帮助，但我更喜欢JSDOC解决方案。

Answer 1

您已经询问了至少在打字脚本中是否可能。是的。只要删除你的JSDoc评论，你就会有一个你想要的建议。

为了获得许可，你可以只做一个评论，只说明它返回的内容。这就够了。

您只是通过断言重写了正确的TypeScript建议（程序员的意见被认为比TypeScript的建议更重要，因为程序员知道在显式指定某些内容时他在做什么）。

Answer 2

我可能误解了这里的提问，但我认为您只需要返回cl而不是返回t：

/**
 * @template {typeof Base} T
 * @param {T} cl
 * @returns {T}  /// <-- I can't figure out how o return an instance of T
 */
function checkTop( cl ) {
    if ( t instanceof cl ) {
        return cl;
    }
    return undefined;
}

Answer 3

将模板定义为需要返回的类型，将参数定义为该类型的构造函数

/**
* @template {Base} T
* @param {new T} cl
* @returns {T}
*/
function checkTop( cl ) {
    if ( t instanceof cl ) {
        return t;
    }
    return undefined;
}