了解 Java 作为一种强类型语言：初学者指南

php中文网 2024-10-15 12:31:23

在编程中，根据语言处理数据类型的方式，可以将语言分为强类型或松散类型。如果您一直使用 javascript 等语言，您可能会注意到变量类型并没有严格执行。然而，java 的工作方式却截然不同——它是一种强类型语言，这意味着必须显式声明数据类型，并且不允许在不兼容的类型之间进行转换。

在这篇文章中，我将分解两个关键概念来说明 java 的强类型，并向您展示为什么这些功能可以帮助您编写更安全、更可靠的代码。

概念 1：无自动类型强制

java 不允许自动类型强制。这意味着每个变量的数据类型必须由程序员显式指定，任何将不同类型的值分配给变量的尝试都会导致编译时错误。

示例：

package basics;

public class stronglytypedlanguage {

    public static void main(string[] args) {

        // this will result in compilation error
        // error: number cannot be resolved to a variable
        number = 10;

        int num = 10; // correct usage

        // this will result in compilation error
        // error: cannot implicitly convert from int to string
        num = "hello";
    }
}

在上面的代码中：

立即学习“Java免费学习笔记（深入）”；

如果您尝试在未声明其类型的情况下为 number 赋值，java 将不会编译该程序。
java 也不会将“hello”（字符串）隐式转换为 int 类型，这与松散类型语言不同，其中允许或强制这种行为。

这种对数据类型的严格执行有助于在开发过程中尽早发现错误，甚至在代码运行之前。例如，将字符串分配给整数变量可能会导致其他语言在运行时出现意外错误，但 java 的强类型消除了这种风险。

概念2：禁止提升——变量必须在使用前声明

java 类型系统中的另一个概念是变量必须在使用之前声明。这与 javascript 等语言形成鲜明对比，在 javascript 中，变量可以被提升（在声明之前使用）。

示例：

package basics;

public class StronglyTypedLanguage {

    public static void main(String[] args) {

        // This will result in compilation error
        // Error: num cannot be resolved to a variable
        num = 20; // Initializing first
        int num; // Declaration later

        int number = 20; // Correct Usage
    }
}

在此示例中：