建议

允许在属性访问器中使用 this 参数：

const extension = {
    get bar(this:ObjectWithFoo):string {
        return this.foo;
    }
}

🔍 搜索词

getter setter accessor this argument parameter

✅ 可实现性检查清单

我的建议满足以下指导原则：

• 这不会对现有的 TypeScript/JavaScript 代码造成破坏性的改变
• 与函数一样，访问器的 this 参数是可选的，并且默认为 home 对象。
• 这不会改变现有 JavaScript 代码的运行时行为
• 与大多数 TypeScript 一样，这个提案对发出的 JavaScript 没有影响。
• 这可以在不根据表达式的类型发射不同的 JS 的情况下实现
• 如下面的示例所示，这个提案在技术上已经发射了功能正常的 JavaScript。这个提案只会影响类型检查(就像函数一样)。
• 这不是一个运行时特性(例如库功能、带有 JavaScript 输出的非 ECMAScript 语法、JS 的新语法糖等)
• 这个提案只会影响编译期间的类型检查。
• 这个特性会与 TypeScript's Design Goals 的其他部分一致。
• 虽然这个特性与所有的设计目标一致，但它最符合目标 5 和 9:“产生一种可组合且易于推理的语言”以及“使用一致的完全可擦除的结构化类型系统”。

⭐ 建议

目前可以给方法分配一个 this 参数来确保其正确使用。例如：

interface ObjectWithFoo {
    foo: "foo";
};
const extensions = {
    baz(this:ObjectWithFoo):string {
        return this.foo + "baz";
    },
};
const target:ObjectWithFoo = {
    foo: "foo",
};
const extendedTarget = Object.assign(target, extensions);
extendedTarget.baz(); // "foobaz"

当定义将用于扩展其他类型的对象时，这种能力非常有用。
然而，有一个明显的缺失功能。尽管可以将属性访问器添加到扩展对象中，但它们无法访问 this 引用，即使获取器和设置器访问器本质上只是属性描述符上的 get 和 set 函数。这严重限制了它们的功能，尽管在 JavaScript 中得到了完全的支持。

const extensions = {
    // The following accessor currently produces:
    //     Error: 'get' and 'set' accessors cannot declare 'this' parameters.(2784)
    get bar(this:ObjectWithFoo):string {
        return this.foo;
    },
    baz(this:ObjectWithFoo):string {
        return this.foo + "baz";
    },
};

📃 激励性示例

考虑以下简单的扩展框架代码。它使用了 getOwnPropertyDescriptor 和 defineProperty,这些保留了原始的访问器函数(即获取器/设置器)。JavaScript 在访问器的上下文中评估 this 引用，允许任何属性获取器/设置器逻辑表现得好像这些属性是从目标对象一开始就定义的。

function extend<T, E>(target:T, extension:E): T & E {
    // Please note that this function is offered as a reasonable stand in for an extension framework.
    // It is not, on its own, a complete solution that handles all edge-cases.
    for (const extensionName in extensions) {
        const extensionDescriptor = Object.getOwnPropertyDescriptor( extensions, extensionName );
        if (!extensionDescriptor) throw Error("Missing property descriptor for: " + extensionName);
        Object.defineProperty(target, extensionName, extensionDescriptor);
    }
    return target as T & E;
}

TypeScript 对属性访问器上的 this 支持将允许扩展框架作者表达 JavaScript 的强大功能并确保他们的代码正确。

interface ObjectWithFoo {
    foo: "foo";
};
const extensions = {
    // Proposed:
    get bar(this:ObjectWithFoo):string {
        return this.foo;
    },
    baz(this:ObjectWithFoo):string {
        return this.foo + "baz";
    },
};
const target:ObjectWithFoo = {
    foo: "foo",
};
const extendedTarget = extend(target, extensions);
extendedTarget.bar; // "foo"

除了方便地访问预期的 this 引用外，TypeScript 还可以像目前为函数提供的功能一样为其属性提供相同的类型安全性。

// Current:
extensions.baz(); // The 'this' context of type '...' is not assignable to method's 'this' of type '...'
// Proposed:
extensions.bar; // The 'this' context of type '...' is not assignable to accessor's 'this' of type '...'

检查预期的 this 引用对于属性访问器可以用来帮助防止常见的错误，例如以下情况：

Object.assign(target, extensions);

在这里，工程师本打算附加 bar 属性访问器函数，但意外触发了属性值的求值。而不是分配一个动态获取器，目标收到了一个具有简单固定值的新属性(或潜在的运行时错误)。
一个演示提议代码(实际上可以运行，尽管有 TS 错误！)的Playground链接。