这是 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));
    }
}
</t>

当我传递混合类型（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'.
</t>

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

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

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

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

结论

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

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

以上就是这是 Java 中的错误吗？的详细内容，更多请关注其它相关文章！