开发者社区

文档建议反馈控制台

最新优惠活动

文章/答案/技术大牛

发布

在Kotlin中省略不必要的类型信息

在Kotlin中，可以通过类型推断来省略不必要的类型信息。类型推断是指编译器根据上下文自动推断变量或表达式的类型，从而省略代码中的类型声明。

Kotlin的类型推断机制非常强大，可以根据变量的初始化值、函数返回值等推断出变量的类型。这样一来，我们就不需要显式地声明变量的类型，减少了冗余的代码，提高了代码的可读性和简洁性。

以下是一些示例：

变量声明时的类型推断：

val name = "John" // 推断name为String类型
val age = 25 // 推断age为Int类型
val pi = 3.14 // 推断pi为Double类型

函数返回值的类型推断：

fun add(a: Int, b: Int) = a + b // 推断add函数返回值为Int类型
fun getFullName(firstName: String, lastName: String) = "$firstName $lastName" // 推断getFullName函数返回值为String类型

集合类型的类型推断：

val numbers = listOf(1, 2, 3, 4, 5) // 推断numbers为List<Int>类型
val map = mapOf("key" to "value", "name" to "John") // 推断map为Map<String, String>类型

通过类型推断，我们可以简化代码，提高开发效率。但需要注意的是，有时候过度依赖类型推断可能会导致代码可读性下降，因此在一些情况下仍然需要显式地声明变量的类型。

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

腾讯云Kotlin开发文档

相关搜索:省略mongodb中不必要的属性如何按属性类型省略类型中的属性如何省略docker容器信息模块中的容器 kotlin中的类型比较/匹配如何比较Kotlin中的类型在Typescript中省略扩展类型中的键/项的最好方法？Kotlin中具有属性的函数类型 `map` Kotlin中的返回类型错误 kotlin中的递归类型参数将类型传入Kotlin中的函数 Kotlin:检查函数中的类类型 VSCode是否在工具提示中准确显示正确的类型？无不必要的类型断言错误 Kotlin:在函数中传递filterIsInstance中使用的类类型在Kotlin中，根据属性的类型限制批注目标在Kotlin中获取运行时的泛型类型传递类型信息以在Scala中运行 kotlin中的多个实例化参数类型 Excel VBA中不必要的值连接和类型错误颤动文本在列表中不是省略的在C中不必要的指针转换

相关搜索:

页面内容是否对你有帮助？

有帮助

没帮助

相关·内容

最强总结 | 带你快速搞定kotlin开发(下篇)

通过前面两篇文章的介绍，我们对kotlin有了初步的了解（没看的同学可以通过点击话题跳转回去阅读），现在去动手写kotlin代码或者阅读一些kotlin源码应该不成问题了。今天我们主要围绕函数来展开讲解一下kotlin的函数。

02

JavaScript ASI 机制

分号对于编程语言来说不是必须的，比如对JavaScript来说，分号你可写可不写，而对于C#来说，没有分号无法通过编译。

01

一个你可能没听说过的 Java 语法

函数 f 的参数的类型是 @NotNullList<@NotNullString>，表示这个参数本身不能为 null ，而它作为一个 List，它的成员也都不能是 null 。这个看起来非常好理解，因为它实际上就是它看起来那样，很符合直觉。

01

Kotlin中let()with()run()apply()also()函数的使用方法与区别

相比Java, Kotlin提供了不少高级语法特性。对于一个Kotlin的初学者来说经常会写出一些不够优雅的代码。在Kotlin中的源码标准库(Standard.kt)中提供了一些Kotlin扩展的内置函数可以优化kotlin的编码。Standard.kt是Kotlin库的一部分，它定义了一些基本函数。这个源代码文件虽然一共不到50行代码，但是这些函数功能都非常强大。

02

巧用Kotlin：内置函数let、also、with、run、apply大大提高你的开发效率！

在Kotlin中，有一些用于扩展 & 方便开发者编码的内置函数，能大大提高开发者的开发效率。今天，我将主要讲解的是：

开源｜携程机票 App KMM 跨端 KV 存储库 MMKV-Kotlin

作者简介禹昂，携程移动端资深工程师，专注于 Kotlin 移动端跨平台领域，Kotlin 中文社区核心成员，图书《Kotlin 编程实践》译者。一、背景携程机票移动端研发团队自 2021 年始就一直在移动端实践 Kotlin Multiplatform 技术（请见参考链接 1）。由于目前 Kotlin Multiplatform 生态尚处于起步阶段，大部分 Kotlin 开源库都是 JVM only 的，因此在我们团队的日常开发过程中迫切需要一些能够支持 KMM（Kotlin Multiplatf

02

图神经网络17-DGL实战：节点分类/回归

对于图神经网络来说，最常见和被广泛使用的任务之一就是节点分类。图数据中的训练、验证和测试集中的每个节点都具有从一组预定义的类别中分配的一个类别，即正确的标注。节点回归任务也类似，训练、验证和测试集中的每个节点都被标注了一个正确的数字。

01

Kotlin for Java Developers 学习笔记

Kotlin 被编译为 Java 字节码，所以从 Java 代码的层面看，这两者是一样的，都有一个 Constructor 和两个 Getter

01

Kotlin 编码规约

如需根据本风格指南配置 IntelliJ 格式化程序，请安装 Kotlin 插件1.2.20 或更高版本，转到“Settings | Editor | Code Style | Kotlin”，点击右上角的“Set from...”链接，并从菜单中选择“Predefined style / Kotlin style guide”。

02

with、run等函数使用教程

在Kotlin中对Java中的一些的接口的回调做了一些优化，可以使用一个lambda函数来代替。可以简化写一些不必要的嵌套回调方法。但是需要注意:在lambda表达式，只支持单抽象方法模型，也就是说设计的接口里面只有一个抽象的方法，才符合lambda表达式的规则，多个回调方法不支持。

00

Go入门系列：变量声明

首先明确一点就是Go语言是静态语言，意味着对于变量的使用来说，必须先进行声明之后才可以使用。

03

Kotlin实战【二】Kotlin基本要素

本章我们将学习怎么用kotlin声明任何程序都存在的基本要素：变量、函数、类以及属性的概念

02

Kotlin入入入门(二)

之前在 Kotlin入入入门(一) 中已经介绍了如何配置 Kotlin 。另外，还把 Java 代码转换为了 Kotlin 代码。所以今天我们就来比较一下这两者代码之间的区别，从而实现快速入门 Kotlin 。

02

Kotlin学习笔记(一)-数据类型

本系列适合完全没有学过Kotlin并且像快速入门的同学，本人现在也是在学习中，所以作为笔记难免会有错误，如果我理解的不对或是有疑问，真诚希望可以在留言区大家进行讨论。

01

[zz]Kotlin 和 Checked ExceptionKotlin 和 Checked Exception

最近 JetBrains 的 Kotlin 语言忽然成了热门话题。国内小编们传言说，Kotlin 取代了 Java，成为了 Android 的“钦定语言”，很多人听了之后热血沸腾。初学者们也开始注意到 Kotlin，问出各种“傻问题”，很“功利”的问题，比如“现在学 Kotlin 是不是太早了一点？” 结果引起一些 Kotlin 老鸟们的鄙视。当然也有人来信，请求我评价 Kotlin。对于这种评价语言的请求，我一般都不予理睬的。作为一个专业的语言研究者，我的职责不应该是去评价别人设计的语言。然而浏览了 Kotlin 的文档之后，我发现 Kotlin 的设计者误解了一个重要的问题——关于是否需要 checked exception。对于这个话题我已经思考了很久，觉得有必要分享一下我对此的看法，避免误解的传播，所以我还是决定写一篇文章。可以说我这篇文章针对的是 checked exception，而不是 Kotlin，因为同样的问题也存在于 C# 和其它一些语言。冷静一下在进入主题之前，我想先纠正一些人的误解，让他们冷静下来。我们首先应该搞清楚的是，Kotlin 并不是像有些国内媒体传言的那样，要“取代 Java 成为 Android 的官方语言”。准确的说，Kotlin 只是得到了 Android 的“官方支持”，所以你可以用 Kotlin 开发 Android 程序，而不需要绕过很多限制。可以说 Kotlin 跟 Java 一样，都是 Android 的官方语言，但 Kotlin 不会取代 Java，它们是一种并存关系。这里我不得不批评一下有些国内技术媒体，他们似乎很喜欢片面报道和歪曲夸大事实，把一个平常的事情吹得天翻地覆。如果你看看国外媒体对 Kotlin 的报道，就会发现他们用词的迥然不同： Google’s Java-centric Android mobile development platform is adding the Kotlin language as an officially supported development language, and will include it in the Android Studio 3.0 IDE.

02

Go 编码建议——风格篇

为形成统一的 Go 编码风格，提高代码的可读性、安全性和易维护性，在 Google Golang 代码规范的基础上，给出编码风格建议。使用时，可根据实际情况进行了调整和补充。

05

Kotlin初探

Kotlin是一种在Java虚拟机上执行的静态型别编程语言，它主要是由俄罗斯圣彼得堡的JetBrains开发团队所发展出来的编程语言。

02

【Java代码与架构之完美优化】篇1：代码质量优化通用准则

空块的存在，很容易引起误解。过一段时间，可能程序员自己都不知道这个地方为什么会有这样的代码？是写漏了？还是失误？百思不得其解，是删除还是继续调查需求文档？带来了不必要的麻烦。

06

开始切换到 Kotlin: 谷歌工程师给初学者的知识点总结

在 2019 年的 I/O 大会上，我们曾宣布 Kotlin 将会是 Android 应用开发的首选语言，但是，部分开发者们反馈仍不清楚如何切换到 Kotlin，如果团队中没有人熟悉 Kotlin，一开始直接使用 Kotlin 进行项目开发还是会令人生畏。

01

介绍Kotlin第一部分（翻译篇）

1、介绍Kotlin Kotlin是jvm新的开发语言。谷歌推广Kotlin作为其基于java的Android平台上的第一类语言在五月份。从那之后我就纳闷：这是什么语言？Kotlin已经有好几年了，并且在2016年2月正式在生产系统上运行，语言后的1.0版本，为期一年左右。该语言已经获得很多的赞赏和喜爱。在这篇文章中我们将涵盖语法等基本构建块，在介绍Kotlin第二部分，我们将接触变量，函数，类，接口和对象。最后，在第三部分，我们来看一看控制流程的几个例子。 1、构建过程当Kotlin在发展的时候

04

[Oauth] OAuth 2.1整合简化OAuth 2.0

OAuth 2.1是整合和简化OAuth 2.0的一项正在进行中的工作。自2012年OAuth 2.0（RFC 6749）首次发布以来，已经发布了一些新的RFC，它们在核心规范中添加或删除了功能包括用于原生APP的OAuth 2.0（RFC 8252）用于代码交换的证明密钥（RFC 7636）。），用于基于浏览器的应用程序的OAuth OAuth 2.0安全性最佳实践。

01

Kotlin 泛型：基本使用

在 Kotlin 中声明和使用泛型类、泛型函数的基本概念和 Java 相似，有 Java 泛型概念的情况下，不用详细解释或者做进一步了解，也能够很容易地上手使用泛型。

03

【Kotlin Android】一个列表带你领略Kotlin简洁之风

自从Google宣布Kotlin为Android官方开发语言以来，越来越多的应用都开始使用Kotlin进行开发，包括Google自家开发的许多APP，也不乏许多的大公司的APP。Kotlin的热度也是一路高歌，可以看出这门新兴的语言有多受大家的追捧。

01

Kotlin入门(9)函数的基本用法

上一篇文章介绍了Kotlin新增的空安全机制，控制语句部分可算是讲完了，接下来将连续描述Kotlin如何定义和调用函数，本篇文章先介绍函数的基本用法。前面几篇文章介绍控制语句之时，在setOnClickListener里面写了大段的代码，这不但导致onCreate方法变得很臃肿，而且代码的可读性也变差了。对于这种情况，通常的解决办法是把某段代码挪到一个独立的函数中，然后在原位置调用该函数，这样做的好处很多，不仅增强了代码的可读性，还能多次重复调用函数。那么Kotlin对函数的使用跟Java相比，有哪些区别呢？先从最常见的onCreate方法入手，Java编写的onCreate函数代码如下：

02

Kotlin 泛型之类型擦除

Kotlin 基于 Java 6，因此 Kotlin 天生支持泛型。但是 Kotlin 的泛型有自己的特点。

03

认识下 Kotlin 反射背后的男人：@Metadata

Kotlin 允许我们对各种 Kotlin 的语法特性进行访问，不过，这里应该有一个问题没有搞清楚：既然 Java 反射对于 Kotlin 的很多特性都无法访问和识别，换句话说，Java 虚拟机也是无法知道他们的，那么 Kotlin 的反射是如何做到这一点的呢？

03

JavaScript进阶-模板字符串与增强的对象字面量

随着ES6的推出，JavaScript语言在字符串处理和对象定义方面获得了显著的提升。模板字符串（Template Literals）和增强的对象字面量（Enhanced Object Literals）就是其中两项重要改进，它们不仅让代码更加简洁、易读，还大大增强了表达能力。本文将深入浅出地介绍这两个特性，探讨它们的使用技巧、常见问题、易错点以及如何避免这些错误，并通过实例代码加深理解。

01

【Kotlin】Kotlin 基础语法指南

在 Kotlin 中，变量使用 var 声明，而常量则使用 val 声明。val 表示的变量在初始化后不能再修改，而 var 则可以在之后重新赋值。

01

Unit 为啥还能当函数参数？面向实用的 Kotlin Unit 详解

很多从 Java 转到 Kotlin 的人都会有一个疑惑：为什么 Kotlin 没有沿用 Java 的 void 关键字，而要引入这个叫 Unit 的新东西？

02

微服务架构之Spring Boot（七十）

您应该确保为您的启动器提供适当的命名空间。即使您使用不同的Maven groupId ，也不要使用 spring-boot 启动模块名称。我们可能会为您

01

你应该知道的kotlin实用技巧

众所周知，kotlin是google力推的用以取代java的android开发语言

01

聊聊Kotlin中的lambda

将lambda定义的方法变成一个function类，其invoke方法体内容也就是lambda的方法体。

02

SQL函数 MINUTE

MINUTE 返回一个整数，指定给定时间或日期时间值的分钟数。为 $HOROLOG 或 $ZTIMESTAMP 值、ODBC 格式日期字符串或时间戳计算分钟。

04

fulltext mysql_mysql – FULLTEXT和FULLTEXT KEY / INDEX有什么区别？

| {FULLTEXT|SPATIAL} [INDEX|KEY] [index_name] (index_col_name,…)

03

Kotlin难点

所有函数类型都有一个圆括号括起来的参数类型列表以及一个返回类型：(A, B) -> C 表示接受类型分别为 A 与 B 两个参数并返回一个 C 类型值的函数类型。参数类型列表可以为空，如 () -> A，Unit 返回类型不可省略。

04

【码上开学】Kotlin 的高阶函数、匿名函数和 Lambda 表达式

大家好，我是扔物线朱凯。Kotlin 很方便，但有时候也让人头疼，而且越方便的地方越让人头疼，比如 Lambda 表达式。很多人因为 Lambda 而被 Kotlin 吸引，但很多人也因为 Lambda 而被 Kotlin 吓跑。其实大多数已经用了很久 Kotlin 的人，对 Lambda 也只会简单使用而已，甚至相当一部分人不靠开发工具的自动补全功能，根本就完全不会写 Lambda。今天我就来跟大家唠一唠 Lambda。不过，要讲 Lambda，我们得先从 Kotlin 的高阶函数——Higher-Order Function 说起。

02

那个男人再发力，原来我以前学的 Lambda 都是假的

大家好，我是扔物线朱凯。Kotlin 很方便，但有时候也让人头疼，而且越方便的地方越让人头疼，比如 Lambda 表达式。很多人因为 Lambda 而被 Kotlin 吸引，但很多人也因为 Lambda 而被 Kotlin 吓跑。其实大多数已经用了很久 Kotlin 的人，对 Lambda 也只会简单使用而已，甚至相当一部分人不靠开发工具的自动补全功能，根本就完全不会写 Lambda。今天我就来跟大家唠一唠 Lambda。不过，要讲 Lambda，我们得先从 Kotlin 的高阶函数——Higher-Order Function 说起。

02

使用新 Android Gradle 插件加速您的应用构建

自 2020 年底，Android Gradle 插件 (AGP) 已经开始使用新的版本号规则，其版本号将与 Gradle 主要版本号保持一致，因此 AGP 4.2 之后的版本为 7.0 (目前最新的版本为 7.2)。在更新 Android Studio 时，您可能会收到一并将 Gradle 更新为最新可用版本的提示。为了获得最佳性能，建议您使用 Gradle 和 Android Gradle 插件这两者的最新版本。Android Gradle 插件的 7.0 版本更新带来了许多实用的特性，本文将着重为您介绍其中的 Gradle 性能改进、配置缓存和插件扩展等方面的内容。

03

Kotlin 基础 | 拒绝语法噪音

程序员最头痛的事莫过于看不懂别人的代码。缘由是各式各样的，但归结于一点就是复杂度太高。Kotlin 在降低代码复杂度上下了大功夫，运用一系列新的语法特性降低语法噪音，以求更简单直白地表达语义。

03

Python 中的省略号

会不会认为它是一段伪代码？因为在 Python 中，一般会使用关键词 pass 来填充尚未实现的对象。

03

Kotlin 之美

Kotlin 作为后起之秀，站在巨人们的肩膀上是她得天独厚的优势，而这个巨人也包括—《Effective Java》(EJ)，得益于这个巨人，Kotlin 到处散发着高效的味道，这篇文章让我们一起来领略下 Kotlin 的高效之道。

02

Swift vs. Kotlin 漫谈之函数定义

Kotlin 君和 Swift 君在一个团队一起开发已经很久了，由于平台的差异性，他们经常会进行一些技术上的交流（PK），「Kotlin vs. Swift」课程就是他们在互相切磋是的语录。技术漫谈 Swift： Hi，又见面了。 Kotlin：恩，上次没分出胜负，这次再来。 Swift：好，今天讲讲函数，你们是怎么定义函数的呀？ Kotlin：我们是这样定义的 fun <functionName>(<parameters>)[: <Type>] { <block> } 你们呢？ S

05

From Java To Kotlin：空安全、扩展、函数、Lambda很详细，这次终于懂了

Kotlin 出自于捷克一家软件研发公司 JetBrains ，这家公司开发出很多优秀的 IDE，如 IntelliJ IDEA、DataGrip 等都是它的杰作，包括 Google 官方的 Android IDE -- Android Studio ，也是 IntelliJ IDEA 的插件版。

08

介绍Kotlin第二部分（翻译篇）

前言在Kotlin介绍：第一部分，我们介绍了基本语法，现在我们可以去看看实际上如何使用Kotlin。在这篇文章中，我们将介绍collections和lambdas表达式，一些方便的扩展函数（apply，let，run和with），null safety(空安全)，那下面咱就开始吧。 1、Collections and Lambdas 那么Kotlin collections是什么呢？如果您熟悉Java8，您将会对这些collection方法（java流）和语法十分了解。然而，Kotlin提供了大部分你可能

04

Kotlin学习之路（4）函数的运用

Kotlin声明方式先跟Java的声明方式对比一下，从onCreate方法入手看看他们的不同

01

Kotlin系列一：基础知识快速入门

Android 1.5系统中Google 引入了NDK功能，支持使用C和C++语言来进行一些本地化开发。

01

04-程序流程控制（中卷）

byte,short,int,char[n2]

04

你应该知道的kotlin实用技巧

众所周知，kotlin是google力推的用以取代java的android开发语言 kotlin使用起来比较方便，同时有许多语法糖本文主要讲解了一些比较实用的kotlin技巧

00

【Kotlin】Kotlin 高阶函数 ( 高阶函数当做参数 | 高阶函数定义 | 高阶函数调用 )

Kotlin 高阶函数 : Kotlin 的高阶函数 , 就是方法的参数或返回值是函数类型的函数 ;

01

扫码

添加站长进交流群

领取专属 10元无门槛券

手把手带您无忧上云

扫码加入开发者社群

相关资讯

热门标签

活动推荐

运营活动

活动名称

广告关闭