Null<UInt> compared with null gives wrong results (null is cast to 0 by UInt's == / != overloads)
维护者通常 1 天内回复
还没有人认领这个 Issue。
评估
调研方向
Start with std/UInt.hx and inspect the == and != overloads described in the issue; reproduce the case on the cpp target using Haxe 4.3.7 and hxcpp 4.3.2. Compare the generated C++ with the Null<Int> behavior and check whether the null literal reaches the overload. Done means Null<UInt> comparisons with null and 0 match the expected results on cpp.
由索引模型根据 Issue 内容生成。
描述
Haxe 4.3.7, hxcpp 4.3.2, Windows 11 (MSVC)
On the cpp target, comparing a Null<UInt> that holds null against null gives the wrong result. The value also compares equal to 0. HashLink, JS and eval give the expected results.
class Main {
static function get():Null<UInt> return null;
static function main() {
var u:Null<UInt> = get();
trace(u == null); // expected true
trace(u != null); // expected false
trace(u == 0); // expected false
trace((u : Dynamic) == null); // true
}
}
| cpp | hl / js / inter | |
|---|---|---|
| u == null | false | true |
| u != null | true | false |
| u == 0 | true | false |
| (u : Dynamic) == null | true | true |
Cause: on cpp, UInt is the non-core abstract UInt(Int) from std/UInt.hx. u == null resolves to the @:commutative @:op(A == B) equalsInt<T:Int>(a:UInt, b:T) overload, a.toInt() == b. The inline toInt() becomes a C++ cast that unboxes the null to 0 before comparing:
::hx::IsEq( ( (int)(u) ),b ) // u == null
::hx::IsNotEq( ( (int)(u) ),b1 ) // u != null
Null<Int> isn't affected, since it has no overloads and compiles to ::hx::IsNull(i).
Expected: comparing a Null<UInt> with null should be a null check, as on the other targets. For example, the ==/!= overloads shouldn't apply when the other operand is the null literal, or the generated code should test for null before the (int) cast.
Workaround: compare through Dynamic: (u : Dynamic) == null.
Impact: any API returning Null<UInt> for an absent value can't be null-checked in the obvious way on cpp, and an absent value is indistinguishable from 0. Found while generating FlatBuffers accessors for optional uint fields.
- 主要语言
- C++
- 星标
- 329
- 派生
- 230
- 平均合并
- 2 天 16 小时
- 30 天内合并 PR
- 4
环境准备
这个项目没有提供开发容器、Dockerfile 或贡献指南，环境需要你自己搭建：先看它的 README，通用步骤见我们的新手贡献指南。
从这里开始
- 先读完整个 Issue，再读项目的贡献指南。
- 在 Issue 下留言说明你要接手 —— 这能避免两个人做同样的事。
- Fork 仓库，在一个分支上完成修改。
- 提交 Pull Request，并在描述里引用这个 Issue 编号。
HaxeFoundation/hxcpp 的其他 Issue
-
难度 2/5 1-3 小时 新手友好度 68/100
HaxeFoundation/hxcpp#1217 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 45/100
HaxeFoundation/hxcpp#1415 · 4 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 47/100
HaxeFoundation/hxcpp#1414 · 1 条评论 ·
维护者通常 1 天内回复
-
难度 4/5 3-5 天 新手友好度 45/100
HaxeFoundation/hxcpp#1396 ·
维护者通常 1 天内回复
-
难度 3/5 1-2 天 新手友好度 65/100
HaxeFoundation/hxcpp#1391 · 6 条评论 ·
维护者通常 1 天内回复
查看 HaxeFoundation/hxcpp 的全部 Issue
相似的 Issue
-
难度 2/5 1-3 小时 新手友好度 78/100
scp-fs2open/fs2open.github.com#7914 ·
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 82/100
维护者通常 2 天内回复
-
bug low priority rt_lib wasm
难度 2/5 1-3 小时 新手友好度 77/100
维护者通常 1 天内回复
-
难度 2/5 1-3 小时 新手友好度 74/100
eclipse-score/inc_someip_gateway#356 ·
维护者通常 2 天内回复
-
难度 2/5 1-3 小时 新手友好度 68/100
HarperFast/rocksdb-js#945 ·
维护者通常 1 天内回复