bind-this-method-homecheck-AtomGit

已合并

bind-this-method #1122

raifmirzaerten创建于 2025年9月29日从raifmirzaerten/homecheck： arkts-instance-method-bind-this-fix 合入到 openharmony-sig/homecheck： arkts1.2_check

bind-this-method #1122

已合并

raifmirzaerten创建于 2025年9月29日

从raifmirzaerten/homecheck arkts-instance-method-bind-this-fix合入到openharmony-sig/homecheck arkts1.2_check

raifmirzaerten

2025年9月29日

一、内容说明（相关的Issue）

二、建议测试周期和提测地址

建议测试完成时间：xxxx.xx.xx
投产上线时间：xxxx.xx.xx
提测地址：CI环境/压测环境
测试账号：

三、变更内容

3.1 关联PR列表
3.2 数据库和部署说明
1. 常规更新
2. 重启unicorn
3. 重启sidekiq
4. 迁移任务：是否有迁移任务，没有写 "无"
5. rake脚本：bundle exec xxx RAILS_ENV = production；没有写 "无"
3.4 其他技术优化内容（做了什么，变更了什么）
- 重构了 xxxx 代码
- xxxx 算法优化
3.5 废弃通知（什么字段、方法弃用？）
3.6 后向不兼容变更（是否有无法向后兼容的变更？）

四、研发自测点（自测哪些？冒烟用例全部自测？）

自测测试结论：

五、测试关注点（需要提醒QA重点关注的、可能会忽略的地方）

检查点：

需求名称	是否影响xx公共模块	是否需要xx功能	需求升级是否依赖其他子产品
xxx	否	需要	不需要

接口测试：

性能测试：

并发测试：

其他：

Pull Request已成功合入, 合并人@openharmony_ci

（感谢 raifmirzaerten 的贡献）

openharmony_ci成员

2025年9月29日评论：

感谢提交 Pull Requests！
Thanks for submitting a pull request.

openharmony_ci成员

2025年9月29日添加了label：dco检查成功

xudan16成员2025年9月30日进行代码检视2

test/unittest/sample/ThisBindCheck/ets/LocalAndClassSimilar.ts

已过期

24+ private someProp: A = new A();

25+

26+ public someMethod(someProp: A) {

27+ console.log(`Some important message with prop -> ${this.someProp.getSomething}` +

xudan162025年9月30日评论：

what will happed if someProp is defined in this someMethod rather than from param?

系统消息系统

2025年10月10日评论：

raifmirzaerten

2025年10月10日推送 1 个提交:fc33e413-numeric rule field check

raifmirzaerten

2025年10月10日强制推送 1 个提交:2d612f89-numeric rule field check

raifmirzaerten

2025年10月10日修改标题为 “[WIP]bind-this-method”，原标题为“[WIP]numeric rule field check”

xudan16成员2025年10月10日进行代码检视2

src/checker/migration/ThisBindCheck.ts

已过期

147151 }

148- } else {

152+ } else if (user instanceof ArkAssignStmt) {

153+ if(user.getRightOp() instanceof ArkPtrInvokeExpr) {

xudan162025年10月10日评论：

not quite understand about this check. why it's unsafe if the rightOp is ArkPtrInvokeExpr？

系统消息系统

2025年10月10日评论：

raifmirzaerten

2025年10月10日强制推送 1 个提交:b9248158-bind this rule impl

xudan16成员2025年10月10日进行代码检视1

test/unittest/code/ThisBindCheck.test.ts

已过期

9595

9696 test('ThisBindTest_008', () => {

9797 const detectFile: string = path.join(realPath, 'ets', 'GlobalThis.ets');

98- const expectReportList = ['25%16%'];

xudan162025年10月10日评论：

why there is no issue here?

xudan16成员2025年10月10日进行代码检视1

src/checker/migration/ThisBindCheck.ts

40+import {ArkPtrInvokeExpr} from "arkanalyzer/lib";

3941

4042const logger = Logger.getLogger(LOG_MODULE_TYPE.HOMECHECK, 'ThisBindCheck');

4143

106108 const isBuilder = method.hasBuilderDecorator();

107109 const isLocalBuilder = method.hasDecorator('LocalBuilder');

108110 const leftOp = stmt.getLeftOp();

111+

109112 if (i + 1 >= stmts.length || !this.hasBindThis(leftOp, stmts[i + 1])) {

110113 if (!this.isSafeUse(leftOp)) {

111114 this.addIssueReport(stmt, isBuilder, isLocalBuilder, base, scene);

132135

133136 private isSafeUse(v: Value): boolean {

134137 if (!(v instanceof Local)) {

138+

135139 return false;

136140 }

137141

138142 const users = v.getUsedStmts();

139143 if (users.length === 0) {

140- return false;

144+ return true;

141145 }

142146 for (const user of users) {

143147 if (user instanceof ArkIfStmt) {

145149 if (v !== cond.getOp1() && v !== cond.getOp2()) {

146150 return false;

147151 }

xudan162025年10月10日评论：

How can we distinguish the cases for:

function pointer with called.
function pointer without called.

xudan16成员2025年10月10日进行代码检视1

test/unittest/sample/ThisBindCheck/ets/LocalAndClassSimilar.ts

25+function someMethod(getSomething : () => string): void {

26+ getSomething();

27+}

28+someMethod(getSomething);

xudan162025年10月10日评论：

Add a case for let res = foo(getSomething)

raifmirzaerten

2025年10月10日强制推送 1 个提交:1e566073-bind this rule impl

raifmirzaerten

2025年10月10日强制推送 1 个提交:dba6c880-bind this rule impl

raifmirzaerten

2025年10月10日强制推送 1 个提交:6196525d-bind this rule impl

xudan16成员2025年10月11日进行代码检视1

test/unittest/code/ThisBindCheck.test.ts

135127 const detectFileReport = checkEntry.fileChecks.find((fileCheck) => fileCheck.arkFile.getFilePath() === detectFile);

136128 assert.isDefined(detectFileReport, 'The file path is error.');

137- assert.equal(detectFileReport?.issues.length, expectReportList.length, 'The number of reported line is different from the expected number of line.');

129+ assert.equal(detectFileReport?.issues.length, 0,'The number of reported line should be 0.');

xudan162025年10月11日评论：

It should still report issue in all these files which are used to report. Avoid to remove the issue.

If necessary, you need to update the corresponding sample code to ensure the issue report as before.

xudan16成员2025年10月11日进行代码检视1

src/checker/migration/ThisBindCheck.ts

7678 public check = (targetMtd: ArkMethod): void => {

7779 const file = targetMtd.getDeclaringArkFile();

78- if (file.getName().includes('.test.ets')) {

80+ if (file.getName().includes('.test.ets') || file.getName().includes('.ts') || file.getName().includes('.js')) {

xudan162025年10月11日评论：

please using targetMtd.getLanguage() !== Language.ARKTS1_2 to do the check.

the file could also be with .ets but not marked as arkts1.2 which no need to check as well as C++ files.

raifmirzaerten

2025年10月13日强制推送 1 个提交:0b9347d6-bind this rule impl

raifmirzaerten

2025年10月17日取消了草稿状态

yifei-xue成员

2025年10月20日通过审查

xudan16成员

2025年10月20日评论：

FORCE_VERIFY

openharmony_ci成员

2025年10月20日通过测试

openharmony_ci成员

2025年10月20日评论：

添加测试通过成功！

openharmony_ci成员

2025年10月20日合入了pull request，合并节点 SHA：bc5527693d8646cf3134c668596a13a2d0bb9740