TS2345报错：自定义MxHeaderFooterShape无法赋值给构造类型的原因

核心类型判定规则 #

TypeScript对可实例化的构造函数和普通可调用函数有严格的类型边界：

• 目标参数要求的new (...args: any) => mxShape是构造签名，语义为：传入的值必须在类型层面支持new操作符调用，且调用完成后返回mxShape类型的实例。
• 你当前实现的MxHeaderFooterShape，经过TypeScript自动推导后，得到的是普通函数类型(bounds: any, fill: any, stroke: any, strokewidth: any) => mxShape。这个类型的语义是“可以直接被当普通函数调用、返回mxShape类型的值”，全程没有声明自身支持new关键字调用，因此自然无法匹配带构造签名的参数类型要求。

实现代码对应的类型偏差 #

你当前的函数实现如下：

function MxHeaderFooterShape(bounds, fill, stroke, strokewidth) : mxShape{
    let val = mxShape.call(this);
    this.bounds = bounds;
    this.fill = fill;
    this.stroke = stroke;
    this.strokewidth = (strokewidth != null) ? strokewidth : 1;
    return val;
}

• 这个函数带有显式的对象类型返回值（mxShape）。按照JavaScript运行时规则，当函数被new调用时，如果函数显式返回了一个非原始类型的对象，new操作符会直接返回这个对象，而非构造函数内部的this实例。但从TypeScript的类型规则来看，带显式对象返回值的普通函数，和仅初始化this、无显式对象返回的构造函数是完全独立的类型，不存在自动兼容逻辑。
• 构造签名的返回值约束，本质是对函数内部this实例的类型描述，并非要求函数要显式return一个对象。TypeScript不会因为函数内部写了this.xxx = ...的赋值逻辑，就自动将这个函数标记为带构造签名的类型——类型判定只依赖显式声明的类型结构，不会穿透函数实现逻辑做额外的兼容推导。

常见认知误区 #

• 构造签名与普通函数的兼容是单向的：构造函数类型因为本身可直接调用，所以可以赋值给普通函数类型；但反过来，没有声明构造签名的普通函数，永远无法自动匹配构造函数类型的要求。
• 哪怕函数内部的逻辑完全适配new的运行时行为，只要类型层面没有显式标注它支持new调用，TypeScript就会判定它不满足构造签名的要求，抛出TS2345错误。

内容的提问来源于stack exchange，提问作者Sebastian G.