为什么显式缩小变量在kotlin中不会产生错误

在Kotlin中，显式缩小变量不会产生错误的原因是Kotlin是一种静态类型语言，它具有类型推断的特性。在Kotlin中，变量的类型是由编译器根据上下文推断出来的，而不是由开发人员显式指定的。

当我们在Kotlin中声明一个变量时，编译器会根据变量的初始值来推断其类型。如果我们在声明变量时显式指定了类型，并且后续对该变量进行了缩小操作，编译器会根据缩小操作的上下文重新推断变量的类型。

例如，假设我们声明了一个整数类型的变量：

var num: Int = 10

在这个例子中，我们显式指定了变量num的类型为整数类型。然后，如果我们对该变量进行缩小操作，例如：

num = num / 2

编译器会根据缩小操作的上下文重新推断变量num的类型为整数类型。因此，即使我们对变量进行了缩小操作，编译器仍然能够正确地推断变量的类型，不会产生错误。

这种类型推断的特性使得Kotlin代码更加简洁和易读，同时也减少了开发人员在类型声明上的工作量。在实际开发中，我们可以充分利用Kotlin的类型推断特性，减少显式类型声明的使用，提高代码的可维护性和可读性。

腾讯云相关产品和产品介绍链接地址：

腾讯云官网：https://cloud.tencent.com/
云服务器（CVM）：https://cloud.tencent.com/product/cvm
云数据库 MySQL 版：https://cloud.tencent.com/product/cdb_mysql
人工智能平台（AI Lab）：https://cloud.tencent.com/product/ailab
云存储（COS）：https://cloud.tencent.com/product/cos
区块链服务（TBC）：https://cloud.tencent.com/product/tbc

相关·内容

为什么Java中类的成员变量不能被重写？成员变量在Java中能够被重写么？不会重写成员变量，而是隐藏成员变量访问隐藏域的方法

这篇文章讨论了Java面向对象概念中一个基本的概念--Field Hiding（成员变量隐藏）成员变量在Java中能够被重写么？...这是为什么呢？...不会重写成员变量，而是隐藏成员变量 Java文档中对隐藏域的定义： Within a class, a field that has the same name as a field in the superclass...意思就是：在一个类中，子类中的成员变量如果和父类中的成员变量同名，那么即使他们类型不一样，只要名字一样。父类中的成员变量都会被隐藏。在子类中，父类的成员变量不能被简单的用引用来访问。...其实，简单来说，就是子类不会去重写覆盖父类的成员变量，所以成员变量的访问不能像方法一样使用多态去访问。

3.5K4 0

kotlin和java语言_我希望Java可以从Kotlin语言中窃取的10个功能

在围绕Kotlin 1.0的发行大肆宣传之后，让我们认真看一下我们也应该在Java中拥有的一些Kotlin语言功能。在本文中，我不会希望有独角兽。...请注意，在Kotlin中val是如何可能的：局部变量类型推断。现在正在为将来的Java版本进行讨论。 ...我只是觉得if-else更容易阅读，而且我不明白为什么那应该是一个陈述，而不是一个表达。Heck，在Kotlin中，甚至try是一个表达，而不是一个陈述。...但是，如果永远不需要这样做，那就很好了，每次我们使用控制流结构显式缩小类型时，它就很棒。有关更多信息，请参阅有关流量敏感类型的Wikipedia条目。...在Java中，这是不可能的，这就是为什么Java新手在Stack Overflow上有一个不计其数的问题。我为什么不能...

1.1K0 0

《Kotlin 极简教程》第4章基本数据类型与类型系统

根据类型检查的强弱，我们把编程语言分为弱类型语言强类型语言弱类型语言在运行时会隐式做数据类型转换。强类型语言在运行时会确保不会发生未经明确转换（显式调用）的类型转换。...显式类型语言隐式类型语言前者需要在定义变量时显式给出变量的类型，而后者可以使用类型推论来确定变量的类型。...Kotlin 跟Scala类似，它也使用类型推断支持隐式类型。但是，在一些场景下也需要显式声明变量的类型，所以我们可以说，同时也是显式类型。...Kotlin的类型系统和Java相比，首要的区别就是Kotlin对可空类型的显式支持。在本节中，我们将讨论Kotlin中的可空类型。...4.5.2 Kotlin中的null 在Kotlin中，针对Java中的null的杂乱局面，进行了整顿，作了清晰的界定，并在编译器级别强制规范了可空null变量类型的使用。

2.1K2 0

Kotlin 初体验：主要特征与应用

但它的缺点是，在编译期不能发现像名字拼写错误这样的问题，继而导致运行时的错误。另一方面，与 Java 不同的是，Kotlin 不需要你在源代码中显式地声明每个变量的类型。...得益于 Kotlin 对类型推导的支持，你不再需要显式地声明类型，因此大部分关于静态类型的额外冗长代码也就不复存在了。当你检视 Kotlin 类型系统的细节时，你会发现许多熟悉的概念。...此类函数在输入相同时会产生同样的结果，并且不会修改其他对象的状态，也不会和外面的世界交互。函数式编程风格的代码能给你带来什么好处 ? 首先，简洁。...函数式编程风格的代码带来的第二个好处是多线程安全。多线程程序中最大的错误来源之一就是，在没有采用适当同步机制的情况下，在不同的线程上修改同一份数据。...大部分Java中会导致NullPointerException的代码在Kotlin中无法编译成功，以确保这些错误在应用到达用户手中之前得到修正。

8443 0

Kotlin 1.4-M1 现已发布！

☞标准库中的渐进式变更：完成弃用周期并弃用一些额外的部分。您可以在变更日志中找到完整的变更列表。我们要一如既往地感谢外部贡献者。...：在 Kotlin 1.3 中，您需要引入显式 lambda 参数，或者将 to 替换为包含显式泛型参数的 Pair 构造函数才可以。...推断为 result 变量的类型：在 Kotlin 1.4 中，借助新的推理算法，lambda 中的最后一个表达式可以实现智能转换，并且这种更精确的新类型用于推断结果 lambda 类型。...因此，result 变量的类型变为 String。在 Kotlin 1.3 中，您经常需要添加显式转换（!! 或类型转换，例如 as String）来使这种情况奏效，而现在这些转换不再必要。...Kotlin 和 Swift 之间的错误处理存在着根本的区别。所有 Kotlin 异常都未经检查，而 Swift 只包含检查的错误。

3.4K2 0

变量声明与类型推断

那么理清了 Kotlin 变量声明带给我们的好处后，我们一起来看一下里面的几个知识点： 1. 类型推断与 var Kotlin 不再需要显式的声明变量的类型，取而代之的是通过赋值的类型来判断。...极小部分情况需要显式声明，如：被赋值的类型不是期望的类型，如想声明为其父类某些极限情况会出现无法推断的情形，如循环推断依赖但确实是极小部分的情况，而且 IDE 都能给出解决办法。...大部分变量我们只会设置一次，大部分的函数也不会被继承。那为什么不用上呢？唯一的原因就是因为打 final 太麻烦了！而 val 就是为了解决“final”打起来太麻烦而设计的。...或者在首次维护一段别人代码的过程中，需要时刻考虑这个变量是否会被更改。...final 意味这这个变量的可能性变少了，我们在阅读代码的过程中，不需要再去关注这个变量的赋值变化，这对我们快速读懂代码是很有帮助的，毕竟我们脑容量都是有限的，并不能同时关注非常多的变化。

6513 0

论编程界的日经问题：到底如何区分静态类型和动态类型、强类型和弱类型？

在强类型和弱类型的定义中，强类型语言常常会直接出错或编译失败，而弱类型语言会进行隐式转换或产生意料之外的结果。根据这个定义，Python被归类为强类型语言。...但其实，Python 是一门强类型的动态类型语言，虽然在变量声明时我们不需要显式指定类型，但是“类型”这一概念是实际存在的，举个例子，以下 Python 代码会获得一个 TypeError： >>> 1...，虽然其不需要显式声明变量类型，但是强类型定义的系统是内部存在的），那么这样的代码在 Java 中能否正确运行呢？...，而不是显式声明变量类型，是想表明一个观点：动态类型和变量类型推断是完全不同的两个东西，虽然 Java 提供了 var 关键字让我们可以无须显式指定一个变量的类型，但是该变量类型依然在编译期就会被确定下来...；上例 a 变量的类型被推断为 int，因此就不能再被赋值为 java.lang.String 对象，所以产生了编译错误。

2714 0

Kotlin 变量、常量和类型

若要显式指定 Long 值，请将后缀 L 附加到该值。显式类型规范触发编译器检查值是否不超过指定类型的范围。...常量和变量 Kotlin 有强大的类型推断能力。虽然你可以显式地声明变量的类型，但通常会让编译器通过推断来完成这项工作。Kotlin 并不强制执行不变性，尽管它是被推荐的。...在 Kotlin 中声明变量，就是在标识符的前面加上关键字 var。变量一旦赋值就不能更改。要声明只读变量，使用 val 关键字。常量一旦初始化后就不能再被修改。...因为一方面 val 声明的变量是只读，一旦初始化后不能修改，这可以避免程序运行过程中错误地修改变量内容；另一方面在声明引用类型使用 val，对象的引用不会被修改，但是引用内容可以修改，这样会更加安全，也符合函数式编程的技术要求...赋值与显式转换 Kotlin 是一种安全的语言，对于类型的检查非常严格，不同类型数值进行赋值是禁止的. Kotlin中要想实现这种赋值转换，需要使用转换函数显式转换。

9401 0

第3章 Kotlin 可空类型与类型系统第3章 Kotlin 可空类型与类型系统

跟动态类型语言相比，由于有了类型的显式声明，静态类型的语言更加易读好懂。有了类型我们还可以更好地做抽象化、模块化的工作。这使得我们可以在较高抽象层次思考并解决问题。...Kotlin系统类型分为可空类型和不可空类型。Kotlin中引入了可空类型，把有可能为null的值单独用可空类型来表示。这样就在可空引用与不可空引用之间划分出来一条明确的显式的“界线”。...3.4.1 Unit类型 Kotlin也是面向表达式的语言。在Kotlin中所有控制流语句都是表达式（除了变量赋值、异常等）。 Kotlin中的Unit类型实现了与Java中的void一样的功能。...类型在Java中，void不能是变量的类型。也不能被当做值打印输出。但是，在Java中有个包装类Void是 void 的自动装箱类型。...代码中，当我们使用str instanceof String来判断其值为true的时候，我们想使用str变量，还需要显式的强制转换类型： @org.junit.runner.RunWith(org.junit.runners.JUnit4

2.1K2 0

Kotlin京东业务实战 | 强大又简洁的JVM语言

Kotlin使用了显式的null，这会强制我们在必要时进行null检查。互操作：Kotlin可与Java语言无缝通信。...artist.print() 第2行会显示一个错误，因为没有对变量进行null检查。 Null曾经被戏称为“十亿美金的错误”，Null虽然好用，但是导致很多错误的元凶往往都是它。...Kotlin在设计上避免了常见的编程错误，从而减少了应用程序崩溃和系统故障。此外，由于Kotlin 是快速失败机制，可以立即报告任何可能导致失败的问题。...>>>> 常见问题环境配置出错，出现无法编译或编译正常但apk中无kotlin代码，运行时报kotlin代码找不到; 解决方法：在插件代码中配置kotlin环境，在gradle中增加classpath...，在编译时使用，最终不会被编译到apk；后期将配置环境放到aura中更方便。

1.6K0 0

Lombok 有哪些坑？

3.2 解决方法用了 @data 就不要有继承关系，类似 kotlin 的做法，具体探讨见下一节自己重写 equals()，lombok 不会对显式重写的方法进行生成显式使用 @EqualsAndHashCode...lombok 会以显式指定的为准。...kotlin 为什么要这样做，二者有没有什么联系呢？...在一篇流传较广的文章抛弃 Java 改用 Kotlin 的六个月后，我后悔了(译文) https://blog.csdn.net/csdnnews/article/details/80746096 中...，对于data修饰符，提到：对于Liskov（里氏替换）原则，可以简单概括为：一个对象在其出现的任何地方，都可以用子类实例做替换，并且不会导致程序的错误。

4.2K2 0

android Kotlin int类型和Long类型转换

在Kotlin开发中，即使Long类型较大，int类型的数值也不会自动转换为long类型。这与Java处理数字转换的方式不同。...例如; 在Java中 int number1 = 102; long number2 = number1; //有效代码这里，number1类型的 int 值自动转换为类型long，并分配给变量number2...在Kotlin， val number1：Int =102 val number2：Long = number1 //错误：类型不匹配。...虽然Long的大小大于Int，但Kotlin不会自动将Int转换为Long。相反，Kotlin为了避免意外而确保其安全性，需要 toLong() 显式使用（转换为Long类型）。。

1.8K4 0

IntelliJ IDEA 2022.2 正式发布，功能真心强大！

现已完全支持 Spring 6 和 Spring Boot 3 功能，包括新的 @AutoConfiguration 类和 @ConfigurationProperties 类，涵盖新的构造函数绑定语法，无需显式...调整文件类型关联的新通知面板当文件错误地与纯文本显式关联时，IntelliJ IDEA 现在会在通知中说明错误的文件类型关联并建议直接从编辑器中将其重置，无需在 Settings / Preferences...Kotlin 调试器中对数据流分析的支持已将 Kotlin 调试器与数据流分析功能集成，因此现在它可以在 DFA 提示中显示哪些条件为 true 以及哪些分支将被执行。...针对 Kotlin 改进的 IDE 性能最近的索引优化工作对 IDE 在代码高亮显示、补全和 Find Usages（查找用法）方面的速度和性能产生了积极影响。...当 private 或 class 形参隐藏超类变量时将触发新警告。此外，试图以编译器禁止的方式覆盖变量时会显示错误。

2.4K1 0

3. 类型声明与空安全(Void Safety)

在 Kotlin 中，不可能为空的变量和可能为空的变量被强行分开了（Java 有 @Nullable 和 @NonNull 注释，但只会提供警告）。那 Kotlin 为什么要这样设计呢？...Kotlin 非空类型/可空类型（NonNull/Nullable）声明最开始时我们提到：在 Kotlin 中，不可能为空的变量和可能为空的变量被强行分开了。具体是怎么分开的呢？...他不会根据后面的赋值作为依据来推断这个变量的类型。所以我们需要像 string3 那样显式声明为 String?。至于 Nothing 类型我们暂且不管，实际也很少用到，后面再分析。 2....Kotlin 通过不允许可空变量直接调用方法来保证不会出现空指针错误。那么可空变量应该怎么调用呢？ Kotlin 可空变量的调用方法是：调用的”.”号前加”?”或”!!”。...双叹号由于在变量为空时会抛出异常，所以它的返回值就还是为 Int，因为抛了异常的话，后面的代码已经不会被执行了。这个 a4 要写在外面的原因是，如果声明为局部变量，即使 a4 被声明为 A?

9905 0

Kotlin实战【五】Kotlin中的异常

一、kotlin如何抛异常 Kotlin中的异常处理与Java或者其他语言中的处理方式相似。一个函数可以以正常方式结束,或者当错误发生的时候抛出异常。...如果满足条件，程序的行为正确，percentage会number初始化，否则异常将被抛出，而变量也不会初始化。...{ //不必显式地指定这个函数可能抛出的异常 try { val line = reader.readLine() return Integer.parseInt...public int readNumber(BufferedReader reader) throws IOException{ //显式地指定这个函数可能抛出的异常 try { String...在这个例子中，在catch代码块中有return语句，所以这个函数在catch代码块后不会再进行。

2K4 0

给 Java 开发者的 Kotlin 快速上手教程（Kotlin for Java Developers）v0.1

基本不会带来额外的成本负担。...localVariables() { val a: Int = 1 val b = 1 // 自动推导类型为Int val c: Int // 没有初始值时需要显式制定变量类型...里的let，ES6中的const, 使用val定义的是不可重新赋值的变量。...var 定义可重复赋值（读写）的变量使用var关键字。var定义的变量就是大部分编程语言里的普通变量，可读写，可重新赋值，Swift也是使用var。 ES6中用的是 let。注意哦。...is String -> print("Not a string") else -> print("Unknown") } } 空值检查 Kotlin中，如果一个值可能为null就必须显式标示为

1.5K3 0

给 Java 开发者的 Kotlin 快速上手教程（Kotlin for Java Developers）v0.1

基本不会带来额外的成本负担。...fun localVariables() { val a: Int = 1 val b = 1 // 自动推导类型为Int val c: Int // 没有初始值时需要显式制定变量类型...里的let，ES6中的const, 使用val定义的是不可重新赋值的变量。...var 定义可重复赋值（读写）的变量使用var关键字。var定义的变量就是大部分编程语言里的普通变量，可读写，可重新赋值，Swift也是使用var。 ES6中用的是 let。注意哦。...就必须显式标示为nullable，使用问号?

1.1K3 0

Kotlin for Java Developers 学习笔记

toUpperCase() 函数式编程 Lambda 与匿名类类似，在现代语言（例如 Kotlin）和 Java 8 中，都支持了 Lambda 使得语法更简单 Kotlin 中的 Lambda 用...在 Kotlin 中，依然保持了 Java 中属性的概念，但是不再需要显式地声明 getter 和 setter property = field + accessor val = field + getter...和 final 的，如果需要不是 final 的需要显式说明 open Java 中的默认级别是 package-level，同一个包内其他类可见，这个在 Kotlin 中叫做 internal override...Java 中，如果只写 class A，则作为一个内部类，会默认保存外部类的一个引用，而在 Kotlin 中， class A这种写法默认不会产生这样的引用，即相当于 Java 中的 static class...中）的基类除非是内联的 Lambda 表达式，否则会被变成 Function0、Function1 这样，内联的表达式会直接替换可以显式地在 Kotlin 中调用 invoke() println(

1.8K1 0

开心档-Kotlin 基本数据类型

中没有基础数据类型，只有封装的数字类型，你每定义的一个变量，其实 Kotlin 帮你封装了一个对象，这样可以保证不会出现空指针。...数字类型也一样，所以在比较两个数字的时候，就有比较数据大小和比较两个对象是否相同的区别了。在 Kotlin 中，三个等号 === 表示比较对象地址，两个 == 表示比较两个值大小。...这意味着在不进行显式转换的情况下我们不能把 Byte 型值赋给一个 Int 变量。...我们可以显式把字符转换为 Int 数字： fun decimalDigitValue(c: Char): Int { if (c !...注意: 与 Java 不同的是，Kotlin 中数组是不协变的（invariant）。

4941 0

开心档-软件开发入门之Kotlin 基本数据类型

中没有基础数据类型，只有封装的数字类型，你每定义的一个变量，其实 Kotlin 帮你封装了一个对象，这样可以保证不会出现空指针。...数字类型也一样，所以在比较两个数字的时候，就有比较数据大小和比较两个对象是否相同的区别了。在 Kotlin 中，三个等号 === 表示比较对象地址，两个 == 表示比较两个值大小。...这意味着在不进行显式转换的情况下我们不能把 Byte 型值赋给一个 Int 变量。...我们可以显式把字符转换为 Int 数字：fun decimalDigitValue(c: Char): Int { if (c !...0'..'9') throw IllegalArgumentException("Out of range") return c.toInt() - '0'.toInt() // 显式转换为数字

4573 0

点击加载更多

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

为什么显式缩小变量在kotlin中不会产生错误

相关·内容

为什么Java中类的成员变量不能被重写？成员变量在Java中能够被重写么？不会重写成员变量，而是隐藏成员变量访问隐藏域的方法

kotlin和java语言_我希望Java可以从Kotlin语言中窃取的10个功能

《Kotlin 极简教程》第4章基本数据类型与类型系统

Kotlin 初体验：主要特征与应用

Kotlin 1.4-M1 现已发布！

变量声明与类型推断

论编程界的日经问题：到底如何区分静态类型和动态类型、强类型和弱类型？

Kotlin 变量、常量和类型

第3章 Kotlin 可空类型与类型系统第3章 Kotlin 可空类型与类型系统

Kotlin京东业务实战 | 强大又简洁的JVM语言

Lombok 有哪些坑？

android Kotlin int类型和Long类型转换

IntelliJ IDEA 2022.2 正式发布，功能真心强大！

3. 类型声明与空安全(Void Safety)

Kotlin实战【五】Kotlin中的异常

给 Java 开发者的 Kotlin 快速上手教程（Kotlin for Java Developers）v0.1

给 Java 开发者的 Kotlin 快速上手教程（Kotlin for Java Developers）v0.1

Kotlin for Java Developers 学习笔记

开心档-Kotlin 基本数据类型

开心档-软件开发入门之Kotlin 基本数据类型

扫码

相关资讯

热门标签

活动推荐

运营活动

社区

活动

资源

关于

腾讯云开发者

热门产品

热门推荐

更多推荐