这是 Java 中的错误吗？

最近，我想在 Java 中重新创建 console.log 的灵活性，所以我决定编写一个通用的打印函数，它可以接受多个参数并以逗号分隔打印它们，就像JavaScript 或 TypeScript 中的 console.log。结果呢？我留下的问题多于答案。让我带您了解一下。

Java 代码

我首先用 Java 编写一个简单的泛型函数，它接受 T 类型的可变参数并打印它们，用逗号分隔值：

public class Main {
    public static void main(String[] args) {
        Main.print(1, "4", new ArrayList<>());
        // Expected type issues, but it ran without any problem!
    }

    private static <T> void print(T... args) {
        System.out.println(Arrays.toString(args));
    }
}

当我传递混合类型（Integer、String 和 ArrayList）时，我预计 Java 的严格类型会警告我或抛出错误，但事实并非如此。代码编译并运行得很好，打印 [1, 4, []] 没有任何抱怨。

这让我感到惊讶，因为作为一个也使用 TypeScript 的人，这感觉很不舒服。 Java 不应该捕获这种类型不一致吗？

在 TypeScript 中尝试

自然地，我转向 TypeScript 看看它如何处理这个问题。我在 TypeScript 中写了一个类似的函数：

function print<T>(...args: T[]) {
  console.log(args.join(","));
}

print(1, "4", []);
// TS warns (which makes sense):
// Argument of type 'string' is not assignable to parameter of type 'number'.

正如预期的那样，TypeScript 抛出了警告！由于 TypeScript 根据第一个参数 (1) 将类型 T 推断为数字，因此它将第二个和第三个参数（“4”和 []）标记为无效。这种行为非常有意义，因为 TypeScript 强制泛型函数使用一致的类型。

那么，这是 Java 中的一个错误吗？

不一定。这里发生的事情是 Java 的类型系统由于类型擦除而表现不同。在 Java 中，泛型类型信息会在运行时被删除，这意味着当您将不同类型传递给 T...args 时，Java 不会强制所有参数都具有相同类型。它只是将输入视为对象。

另一方面，TypeScript 在编译和运行时都保持严格的检查，确保所有参数都与推断或声明的类型匹配。

结论

这段经历让我思考：Java 是否应该像 TypeScript 一样强制执行更严格的类型检查？或者说这种灵活性是 Java 设计中有意为之的一部分？

你觉得怎么样？在 Java 和 TypeScript 之间切换时，您是否遇到过类似的怪癖？我很想在评论中听到你的想法！

以上是这是 Java 中的错误吗？的详细内容。更多信息请关注PHP中文网其他相关文章！