华为竟然发布了自己的编程语言 “仓颉”，遥遥领先？！_华为开发者大会仓颉

大家好，我是程序员鱼皮。在 2024 年 6 月 21 日的华为开发者大会上，华为不仅官宣了下一代鸿蒙操作系统 HarmonyOS NEXT，而且还正式推出了自研的编程语言 仓颉 ，可谓是赚足了面子，遥遥领先！

值得一提的是，HarmonyOS NEXT 是华为从内到外 全栈自研 的纯血鸿蒙。自研有什么意义呢？大会上有很多高大上的互联网黑话，什么采用端云垂直整合的系统架构、全场景、原生智能、原生安全等等。对于普通用户来说，咱不用理解这些，只需要关注这个操作系统可以使整机性能提升 30％、连接速度提升 3 倍、连接数量提升 4 倍、功耗降低 20％ 就够了，而且这是一个源自中国、自主可控的操作系统，会更安全。

华为推出仓颉编程语言

下面咱重点来聊聊华为自研的编程语言 仓颉 。官方的定义是：仓颉编程语言是一款面向全场景智能的新一代编程语言，主打原生智能化、天生全场景、高性能、强安全。融入鸿蒙生态，为开发者提供良好的编程体验。

好吧，又是一大堆 “黑话”，咱也不用关注。但有一点很关键，这个语言 “融入了鸿蒙生态”，换句话说，它就是为了鸿蒙应用的开发而推出的。

有意思的是，其实华为 22 年的时候就已经推出过一门自研的鸿蒙应用开发语言 ArkTS，只不过该语言是在微软开源的 TypeScript 的基础上改进的。

而这次，仓颉编程语言没有基于任何现有的编程语言演进，换句话说，是完全自研！

完全自研编程语言毫无疑问是一件成本非常大的事情，连语法都要自己定义。华为从 2019 年就启动了仓颉项目，经过了整整 5 年的研发和沉淀，才正式对外官宣。不得不称赞一番华为的前瞻性和野心，从很早之前就已经布局了全链路的自研，誓要打造纯血鸿蒙。

如今，HarmonyOS 开发者的数量已经达到了 254 万！在这个时候推出完全自研的编程语言，也是恰到好处。不然连开发者都没有，自研编程语言有什么用？

下面我们一起来看看仓颉编程语言有哪些特别之处？好不好学？真的遥遥领先么？

仓颉编程语言

进入仓颉的官网，我们就能了解到这门编程语言的特性、获取文字教程和视频教程。

仓颉编程语言的特性

首先是官网给出的几个核心特性：

1）原生智能化：我理解就是开发效率更高、更灵活

2）天生全场景：我理解程序运行时可以占用更小的空间，手表之类的小设备也能轻松运行

3）高性能：

4）强安全：

从仓颉的白皮书中，还可以了解到其他特性，其中几个比较吸引我的地方是：

1. 多范式编程：同时支持函数式、命令式和面向对象等多范式编程，有点 Scala 和 Rust 的意思
2. 类型和内存安全：仓颉是静态强类型语言，通过编译时类型检查尽早识别程序错误；而且支持运行时检查，有点 Java 的样子
3. 高效并发：提供了用户态轻量化线程（原生协程），有点 Go 语言的影子
4. 兼容语言生态：能和 C 等主流语言互操作，有点 Java / C++ 操作 C 的意思
5. 助力 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)
}
1
2
3
4
5
6

你觉得仓颉更像哪种编程语言呢？

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！学过这些语言的同学应该能很快上手仓颉。这也是合理的，毕竟学习一门全新编程语言的成本很高，仓颉的语法设计参考一些主流的语言，开发者才会更乐于接受吧。

最后

很多朋友也问我 “要不要入行鸿蒙？” 其实我很难给一个明确的答案，毕竟我也没有充分的调研数据，也不敢随意劝大家入行。“新” 意味着机遇，同样也意味着风险。在你有条件承担风险时，选择拥抱 “新” 没有任何问题，但在没有风险承担能力时，我的建议还是先学好一门主流的编程语言、开发框架、打好计算机基础，然后你再去学新出的编程语言就非常容易了。

我还是很看好华为的，也期待国内的操作系统和计算机生态可以更强大（就是华为设备的价格能再打下来点就好了，毕竟我一直用华为哈哈）。

更多