javascript - 混合类型还是保留类型性能更好？

Question

我想知道，对于 v8，在存储类属性时，使用一个混合类型的变量还是每个类型一个变量的性能更高？考虑以下片段(用 TypeScript 编写，以便更清楚地区分):

type Type = "number" | "string";
type FooChild = number | string;

class Foo {
    val?: FooChild;
    _type: Type = "number";
    constructor(initialValue: FooChild, initialType: Type) {
        this.val = initialValue;
        this._type = initialType;
    }
    getValue() {
        return this.val;
    }
}

class Bar {
    str?: string;
    val?: number;
    _type: Type = "number";
    constructor(initialValue: FooChild, initialType: Type) {
        if (initialType === "string") this.str = initialValue as string;
        else this.val = initialValue as number;
        this._type = initialType;
    }
    getValue() {
        return this._type === "string" ? this.str : this.val;
    }
}

Afaik 两者都应该有优势或默认值。使用一个变量会有这样的问题，即 JS 引擎可能会对类型做出假设，针对该类型对其进行优化，并且必须取消优化它，事实证明它实际上也接受数字。但是使用多个变量会使每个实例中都有很多垃圾变量，白白占用大量内存空间。

我做了 this little benchmark看看一个是否优于另一个，似乎只使用一个变量的性能更高。但我也知道这样的基准通常不能很好地复制现实世界的情况，所以我正在寻求更多知识渊博的程序员的确认。

Answer 1

(这里是 V8 开发人员。)定义“更高性能”:更快地创建此类对象，更快地读取它们的属性，更快地修改它们？您通常可以以另一个为代价来改进其中一个操作:-)

在实践中的大多数情况下，我希望这两种方法的行为足够相似以至于无关紧要，因此您可以使用更简单的方法。

的确，在某些情况下，当给定的对象属性始终有一个数字作为其值时，引擎可以应用某些技巧和快捷方式，并且很可能(我还没有尝试过)制作一个微基准来使其成为可能似乎有重大影响。但是，如果您的用例中的对象自然必须存储各种类型的属性，那么手动对区别进行建模(如您的示例所做的那样)会带来其自身的性能成本，因此很可能无法获得返回。

TL;DR:别担心，让引擎做它的事。当您拥有一个完整的应用程序并且对其性能不满意时，对其进行分析(在现实条件下运行)并找到最容易实现的成果，即通过投入一些努力(可能还有代码复杂性)来改进事物而获得最大影响的瓶颈。我怀疑将一个属性分成两个是否是您可以进行的更有效的优化之一，它甚至可能会损害整体性能(尽管我可以想象在某些非常特定的情况下它可能会有所帮助)。

[旁注:请忽略您链接的微基准测试，无论其结果如何。首先，它的两个版本分配 instance.str = randint(...(或 .val，或 .bar)的方式是显然违反了类的约定，在不更新 _type 的情况下分配 str 或 val 是非法的。其次，在执行任何操作 有了这样一个微基准测试的结果，你想确保它实际上测量的是你认为它测量的东西。在 randint 上花费的时间百分比是多少？对象是否实际分配，还是优化编译器意识到它们从未被使用并完全消除了分配？第三，“一次分配，一千次分配，更改类型的概率为 50%，零读取”是否真正代表了您感兴趣的实际工作负载在？永远不要相信微基准测试，除非你已经深入研究了引擎实际上最终做了什么!]