大家好，我是程序员鱼皮。在 2024 年 6 月 21 日的华为开发者大会上，华为不仅官宣了下一代鸿蒙操作系统 HarmonyOS NEXT，而且还正式推出了自研的编程语言
仓颉
，可谓是赚足了面子，遥遥领先！
值得一提的是，HarmonyOS NEXT 是华为从内到外 全栈自研 的纯血鸿蒙。自研有什么意义呢？大会上有很多高大上的互联网黑话，什么采用端云垂直整合的系统架构、全场景、原生智能、原生安全等等。对于普通用户来说，咱不用理解这些，只需要关注这个操作系统可以使整机性能提升 30％、连接速度提升 3 倍、连接数量提升 4 倍、功耗降低 20％ 就够了，而且这是一个源自中国、自主可控的操作系统，会更安全。
华为推出仓颉编程语言
下面咱重点来聊聊华为自研的编程语言
仓颉
。官方的定义是：仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。融入鸿蒙生态，为开发者提供良好的编程体验。
好吧，又是一大堆 「黑话」，咱也不用关注。但有一点很关键，这个语言 「融入了鸿蒙生态」，换句话说，它就是为了鸿蒙应用的开发而推出的。
有意思的是，其实华为 22 年的时候就已经推出过一门自研的鸿蒙应用开发语言 ArkTS，只不过该语言是在微软开源的 TypeScript 的基础上改进的。
而这次，仓颉编程语言没有基于任何现有的编程语言演进，换句话说，是完全自研！
完全自研编程语言毫无疑问是一件成本非常大的事情，连语法都要自己定义。华为从 2019 年就启动了仓颉项目，经过了整整 5 年的研发和沉淀，才正式对外官宣。不得不称赞一番华为的前瞻性和野心，从很早之前就已经布局了全链路的自研，誓要打造纯血鸿蒙。
如今，HarmonyOS 开发者的数量已经达到了 254 万！在这个时候推出完全自研的编程语言，也是恰到好处。不然连开发者都没有，自研编程语言有什么用？
下面我们一起来看看仓颉编程语言有哪些特别之处？好不好学？真的遥遥领先么？
仓颉编程语言
进入仓颉的官网，我们就能了解到这门编程语言的特性、获取文字教程和视频教程。
仓颉编程语言的特性
首先是官网给出的几个核心特性：
1）原生智能化：我理解就是开发效率更高、更灵活
2）天生全场景：我理解程序运行时可以占用更小的空间，手表之类的小设备也能轻松运行
3）高性能：
4）强安全：
从仓颉的白皮书中，还可以了解到其他特性，其中几个比较吸引我的地方是：
多范式编程：同时支持函数式、命令式和面向对象等多范式编程，有点 Scala 和 Rust 的意思
类型和内存安全：仓颉是静态强类型语言，通过编译时类型检查尽早识别程序错误；而且支持运行时检查，有点 Java 的样子
高效并发：提供了用户态轻量化线程（原生协程），有点 Go 语言的影子
兼容语言生态：能和 C 等主流语言互操作，有点 Java / C++ 操作 C 的意思
助力 UI 开发：能够搭建声明式 UI 开发框架，让我想到了 Kotlin。毕竟本来就是为了 APP 应用开发设计的语言。
仓颉编程语言入门教程
下面带大家看看仓颉的语法，一起 「云入门」 下这门语言。
1）标识符
2）程序结构
仓颉文件的扩展名为
.cj
，这些程序和文件也被称为源代码和源文件，在程序开发的最后阶段，这些源代码将被编译为特定格式的二进制文件。
在仓颉程序的顶层作用域中，可以定义一系列的变量、函数和自定义类型（如 struct、 class、enum 和 interface 等），其中的变量和函数分别被称为
全局变量
和
全局函数
。如果要将仓颉程序编译为可执行文件，您需要在顶层作用域中定义一个 main 函数作为
程序入口
，它可以有
Array<String>
数组类型的参数，也可以没有参数，它的返回值类型可以是整数类型或 Unit 类型（无类型）。
如下图，就是一个简单的仓颉代码文件：
确实足够简洁，但是我得缓缓，因为这个程序里面的要素过多了。。。
let 是 JS、Rust 等语言定义变量的方式
func 是 Go、Swift 等语言定义函数的方式
struct 是 Go、C 语言定义结构体的方式
class 是 C++ 和 Java 定义类的方式
enum 是 Java 和 TS 定义枚举的方式
main 和 println 就不说了，大多数语言都是这么声明主函数和函数的
经典的 Hello World 程序，是这么写的：
// helloworld.cj
main() {
let text: String
text = "Hello World!"
println(text)
}
你觉得仓颉更像哪种编程语言呢？
3）表达式和流程控制
这里没啥好说的，跟大多数语言都差不多，支持 if ... else ...，支持 for 循环、while 循环、do-while 循环、for-in 循环等等，比较灵活。
4）函数
下面是仓颉的函数定义：
5）结构体
使用 struct 来定义结构体，学过面向对象语言的同学应该秒会：
6）枚举
枚举值支持携带参数（有参构造器），而且支持定义多个同名构造器（参数个数必须不同）：
7）模式匹配
理解为 switch 语法，是一种简化版的 if ... else ...：
但仓颉的模式匹配比 Java 高级很多，模式又可以分为 refutable 模式和 irrefutable 模式。在类型匹配的前提下，当一个模式有可能和待匹配值不匹配时，称此模式为 refutable 模式；反之，当一个模式总是可以和待匹配值匹配时，称此模式为 irrefutable 模式。
举两个例子：
上图的第二个例子有点类似 Java 中的 default。
8）类和接口
跟大多数面向对象编程语言的语法一致，类中有属性、函数、构造函数，支持继承等。比如定义一个类：
定义一个接口：
9）泛型
仓颉支持泛型，泛型指的是参数化类型，是一个在声明时未知并且需要在使用时指定的类型。最为常见的例子就是
Array<T>
、
Set<T>
等容器类型。以数组类型为例，当使用数组类型 Array 时，会需要其中存放的是不同的类型，我们不可能定义所有类型的数组，通过在类型声明中声明类型形参，在应用数组时再指定其中的类型，这样就可以减少在代码上的重复。
泛型示例如下，学 Java 的小伙伴肯定不陌生：
10）集合
仓颉内置了几种基础的集合（Collection）类型，包含 Array、ArrayList、HashSet、HashMap，跟 Java 很像。
11）异常处理
经典的 try ... catch ... finally，如下图：
仓颉提供了 Option 类型（有点像 Java 8 的 Optional），可以表示有值（Some）和无值（None）两种情况。通常无值在某些情况下也可以理解为一种错误，所以 Option 类型也可以用作错误处理。
如图，我们可以自己封装一个快速抛出无值异常的函数：
12）并发编程
在仓颉中，实现并发编程非常简单。只需使用 spawn 关键字创建一个仓颉线程即可。可以给 spawn 传递一个无形参的 lambda 表达式，该 lambda 表达式即为在新线程中执行的代码。
比如下面的示例代码中，主线程和新线程均会尝试打印一些文本：
大概就分享到这里，还有很多常用特性比如 I / O 操作、网络编程、宏等等，大家可以去仓颉的官网学习。
不得不说，仓颉真的好像 Swift、Go 语言和 TypeScript！学过这些语言的同学应该能很快上手仓颉。这也是合理的，毕竟学习一门全新编程语言的成本很高，仓颉的语法设计参考一些主流的语言，开发者才会更乐于接受吧。
最后
很多朋友也问我 「要不要入行鸿蒙？」 其实我很难给一个明确的答案，毕竟我也没有充分的调研数据，也不敢随意劝大家入行。「新」 意味着机遇，同样也意味着风险。在你有条件承担风险时，选择拥抱 「新」 没有任何问题，但在没有风险承担能力时，我的建议还是先学好一门主流的编程语言、开发框架、打好计算机基础，然后你再去学新出的编程语言就非常容易了。
我还是很看好华为的，也期待国内的操作系统和计算机生态可以更强大（就是华为设备的价格能再打下来点就好了，毕竟我一直用华为哈哈）。
👇🏻 点击下方阅读原文，获取鱼皮往期编程干货。
往期推荐
