🔎 Search Terms
__setFunctionName
class static name
ES decorators static name
__esDecorate static name
🕗 Version & Regression Information
5.0.4-5.9.3
⏯ Playground Link
https://tsplay.dev/WJgblw
💻 Code
const noop = (Self: any, ctx: ClassDecoratorContext) => {};
const rand = () => 4;
@noop export default class {
static get name() { return 2434; }
}
(@noop class {
static get name() { return 2434; }
});
(@noop class __A {
static get name() { return 2434; }
});
@noop
class __B {
static get name() { return 2434; }
}
var __C = @noop class {
static get name() { return 2434; }
};
var __D = {
[rand()]: @noop class {
static get name() { return 2434; }
}
};
// Unconditionally throws at runtime:
@noop class __E {
static #a = 2434;
static get name() { return this.#a; }
}
// Undecorated classes are broken as well:
var __F = class {
static get name() { return 2434; }
// target≤es2021 => '__F'
// target≥es2022 => 2434
static {}
}
🙁 Actual behavior
Static name is overridden by __setFunctionName().
🙂 Expected behavior
Static name should work as defined in the class code.
Additional information about the issue
Generated code for the ES decorators breaks custom static name property on the decorated class. The only syntax that works is plain static name; field declaration; other kinds (methods, get/set/accessor) are broken.
The issue reproduces iff the compiler decides to inject the static { __setFunctionName(this, ...) } block, which unconditionally overrides the static name descriptor on the class object.
The issue also affects undecorated classes (when targeting older environments; see the examples).
I’m not sure what exactly triggers the __setFunctionName() block injection. Sometimes it’s injected even if the class has a correct unambiguous automatic name. Sometimes it isn’t injected, even if the class becomes incorrectly named (e.g., when targeting es3/es5):
Missing `__setFunctionName()`
https://tsplay.dev/WKYAMN
// tests/cases/compiler/blockScopedVariablesUseBeforeDef.ts
function foo8() {
let y = class {
a = x;
};
let x;
// @ts-ignore
console.log(y.name);
}
// target≤es5 => 'class_###'
// target≥es2015 => 'y'
foo8();
But either way, it shadows non-field static name declarations.
Possible Fix
At runtime, check that the descriptor of this.name matches the automatic name descriptor shape (i.e., value:string, writable≡enumerable≡false, configurable=true). The runtime check is necessary to correctly handle static name declared with a computed key.
Technically, the necessary and sufficient condition is even simpler—just check for writable≡false before __setFunctionName to robustly prevent overriding of non-field static name declarations:
- At this point, the descriptors are completely defined by the syntax:
- No
static {} blocks evaluated.
- No class decorators evaluated.
- No class element initializers evaluated.
- So, the static
name is one of:
- Automatic, always defined. If there’s a static
name field, it’s to be reconfigured at the time of the actual field initialization.
- Method.
get/set or accessor.
- Methods have
writable≡true.
get/set/accessor declarations have writable≡undefined.
This matches the correct behavior:
- With a field
static name declaration, it’s the automatic name up to the time of the actual static name initialization. The field initialization successfully overrides the automatic descriptor.
- For non-fields, the descriptor matches the declaration from the very beginning of the class. If the
name is reconfigured here, the actual declaration doesn’t revert the override.
Adjust createClassNamedEvaluationHelperBlock() and isClassNamedEvaluationHelperBlock() in namedEvaluation.ts to produce a code like this:
static {
Object.getOwnPropertyDescriptor(this, "name").writable === false &&
__setFunctionName(this, ...);
}
NB: With target≤es5 and useDefineForClassFields≡false, the compiler uses plain C.name=... assignment to set the static name, which has no effect (doesn’t reconfigure the static name descriptor), so the injected block—if injected—will call __setFunctionName() unconditionally. But this is already a compile-time error
Static property 'name' conflicts with built-in property
'Function.name' of constructor function 'A'. (2699)
so it doesn’t matter here.
🔎 Search Terms
__setFunctionName
class static name
ES decorators static name
__esDecorate static name
🕗 Version & Regression Information
5.0.4-5.9.3
⏯ Playground Link
https://tsplay.dev/WJgblw
💻 Code
🙁 Actual behavior
Static
nameis overridden by__setFunctionName().🙂 Expected behavior
Static
nameshould work as defined in the class code.Additional information about the issue
Generated code for the ES decorators breaks custom static
nameproperty on the decorated class. The only syntax that works is plainstatic name;field declaration; other kinds (methods,get/set/accessor) are broken.The issue reproduces iff the compiler decides to inject the
static { __setFunctionName(this, ...) }block, which unconditionally overrides the staticnamedescriptor on the class object.The issue also affects undecorated classes (when targeting older environments; see the examples).
Possible Fix
At runtime, check that the descriptor of
this.namematches the automaticnamedescriptor shape (i.e.,value:string,writable≡enumerable≡false,configurable=true). The runtime check is necessary to correctly handle staticnamedeclared with a computed key.Technically, the necessary and sufficient condition is even simpler—just check for
writable≡falsebefore__setFunctionNameto robustly prevent overriding of non-field staticnamedeclarations:static {}blocks evaluated.nameis one of:namefield, it’s to be reconfigured at the time of the actual field initialization.get/setoraccessor.writable≡true.get/set/accessordeclarations havewritable≡undefined.This matches the correct behavior:
static namedeclaration, it’s the automaticnameup to the time of the actualstatic nameinitialization. The field initialization successfully overrides the automatic descriptor.nameis reconfigured here, the actual declaration doesn’t revert the override.Adjust
createClassNamedEvaluationHelperBlock()andisClassNamedEvaluationHelperBlock()innamedEvaluation.tsto produce a code like this: