比较整数时出现Int应是Void -> Int错误的技术问询

嘿，作为业余开发者碰到这种类型不匹配的错误确实容易懵，不过这个问题的根源其实挺典型的——你一定是把方法引用当成了方法的返回值来用了！让我慢慢给你拆解清楚：

错误的核心原因 #

Haxe里，当你写 touch.getId 的时候，你并没有调用这个方法拿到它返回的整数，而是拿到了方法本身的引用。这个方法的类型是 Void -> Int（意思是“不需要参数，返回一个Int的函数”）。而你试图把这个函数类型和另一个Int去比较，编译器自然会报错：它期望的是Int类型，但你给了一个Void -> Int的函数类型，所以就出现了“Int should be Void -> Int”的提示。

举个具体的例子 #

假设你的代码是这样的：

var t1:Touch = new Touch();
var t2:Touch = new Touch();

// ❌ 错误写法：没加括号，拿到的是方法引用
if (t1.getId == t2.getId) {
    // 这里会触发你看到的错误
}

而正确的写法应该是给方法加上括号，确保执行方法并拿到返回的Int值：

// ✅ 正确写法：调用方法获取返回值
if (t1.getId() == t2.getId()) {
    // 现在就能正常比较两个整数了
}

为什么会犯这个错？ #

对于刚接触静态类型语言的开发者来说，很容易混淆“方法本身”和“方法执行的结果”：

• obj.method → 代表方法这个“函数实体”，类型是函数类型（比如Void -> Int）
• obj.method() → 代表执行这个方法，得到它返回的具体值（这里就是Int类型）

你可以做个小测试验证一下：

// 这行会直接报错，因为getId是函数类型，不是Int
var testId:Int = t1.getId;

// 这行完全没问题，因为getId()返回的就是Int
var testId:Int = t1.getId();

延伸思考 #

这个错误其实是静态类型语言的“严格类型检查”在帮你规避逻辑错误——如果允许你直接比较方法引用，那你其实是在判断两个方法是不是同一个函数对象，而不是比较它们返回的ID值，这显然不是你想要的结果。

希望这个解释能帮你彻底理解问题的本质，而不只是解决眼前的代码问题~

内容的提问来源于stack exchange，提问作者sdieters