是否可以在 Javascript 中创建一个“class extends A {} instanceof A”为真的类 A？

Question

是否可以创建一个类A（可以是ES 6 类或旧式构造函数）使得class extends A {} instanceof A 为真？

如果可以，请举个例子。 如果不是，请给我一个证明。

请注意，通过操纵原型链可以实现类B 使得new B instanceof B 和new new B instanceof B 同时为真。可以编写一个B 以使new B 满足class extends B {} 的预期行为，但我还想研究使class extends A {} 满足new A 的预期行为的A 的可能性也是。

这与我刚刚发布的my code golf 有关，但是在这个问题中我想调查反向的可能性 - 使class extends A {} 的行为类似于new A，而代码高尔夫是使@987654335 @ 的行为类似于 class extends A {}。

Answer 1

有可能。

首先，A 的明显值是Object 和Function。这两个将使表达式为真。

对于A 的任何其他值，您必须将其原型设置为其prototype 属性值：

Object.setPrototypeOf(A, A.prototype);

我想这只是“体育”，因为它会给其他查询带来意想不到的结果，例如：A instanceof Function。通过操纵A 的原型链，这不再是真的。尽管如此，A 仍然可以执行，因为它仍然具有内部的 [[Call]] 插槽。

这是一个说明上述内容的 sn-p：

function test1() {
  let A = Object;
  console.log(class extends A {} instanceof A); // true
  A = Function;
  console.log(class extends A {} instanceof A); // true
}

function test2() {
  class A {
    speak() { console.log("hello") }
  }

  Object.setPrototypeOf(A, A.prototype);

  console.log(class extends A {} instanceof A); // true
  console.log(A instanceof Function); // false
  new A().speak(); // hello
}

test1();
test2();