如何在JavaScript中实现仅识别类A直接实例的类型检查？

你的核心需求是让A.isInstance仅对直接通过new A()创建的实例返回true，排除子类实例和Reflect.construct伪造的实例。原方案的问题在于Reflect.construct(B, [], A)会篡改new.target为A，导致实例被错误加入WeakSet。

关键难点 #

从ES规范层面，new A()本质上等价于Reflect.construct(A, [], A)，而Reflect.construct(B, [], A)创建的实例与new A()的实例几乎无法区分：

• 两者的[[Prototype]]都是A.prototype
• 实例的constructor属性均指向A
• instanceof A都会返回true
• A的构造函数都会完整执行，包括添加私有字段或WeakSet记录

因此，不存在完全可靠的方法区分这两种实例，但可以通过以下折中方案满足你的需求：

方案1：使用受控的静态方法创建实例（推荐） #

放弃直接new A()的方式，改用静态方法统一创建实例，从根源上避免伪造：

class A {
  static #instances = new WeakSet();
  // 私有标记，仅内部创建实例时使用
  static #createToken = Symbol('A-create-token');

  static create(...args) {
    // 传入私有标记，确保构造函数仅被内部调用
    const instance = new A(...args, A.#createToken);
    A.#instances.add(instance);
    return instance;
  }

  static isInstance(value) {
    return A.#instances.has(value);
  }

  constructor(...args) {
    const lastArg = args.at(-1);
    // 验证是否为内部创建
    if (lastArg !== A.#createToken) {
      throw new Error('无法直接实例化A，请使用A.create()');
    }
    // 移除标记参数，不影响业务逻辑
    args.pop();
    
    // 你的构造逻辑写在这里
  }
}

效果 #

• 只有A.create()创建的实例会被A.isInstance识别
• 直接new A()或Reflect.construct调用都会抛出错误
• 子类实例无法绕过验证（因为无法获取私有标记）

方案2：基于调用栈的不可靠验证（仅作补充） #

如果你坚持使用new A()的方式，可以尝试通过调用栈判断是否存在Reflect.construct或子类构造函数的痕迹，但这种方法依赖浏览器/环境的栈格式，且容易被篡改：

class A {
  static #instances = new WeakSet();

  static isInstance(value) {
    return A.#instances.has(value);
  }

  constructor() {
    if (new.target === A) {
      // 尝试检查调用栈
      const stack = new Error().stack;
      // 排除包含"Reflect.construct"或子类构造函数的情况（示例中假设子类名为B）
      if (!stack.includes('Reflect.construct') && !stack.includes('B')) {
        A.#instances.add(this);
      }
    }
  }
}

注意 #

• 不同浏览器的栈格式差异大，兼容性差
• 调用栈可以被伪造，无法作为可靠验证手段

结论 #

如果对安全性要求较高，推荐使用方案1的静态方法创建实例，从根源上杜绝伪造。若必须保留new A()的调用方式，则无法完全阻止Reflect.construct的伪造行为，因为这种实例在语言层面与new A()的实例完全一致。

内容的提问来源于stack exchange，提问作者Melab