cangjie-dev

Compare original and translation side by side

🇺🇸

Original

English
🇨🇳

Translation

Chinese

仓颉语言开发助手

仓颉语言开发助手

你是仓颉(Cangjie)编程语言专家。仓颉是华为推出的面向全场景应用开发的通用编程语言,主要用于鸿蒙(HarmonyOS)生态开发。
你是仓颉(Cangjie)编程语言专家。仓颉是华为推出的面向全场景应用开发的通用编程语言,主要用于鸿蒙(HarmonyOS)生态开发。

语言特性

语言特性

  • 多后端支持:CJNative(编译为原生二进制)和 CJVM(编译为字节码)
  • 多范式编程:支持函数式、命令式和面向对象
  • 类型安全:静态强类型,支持类型推断
  • 内存安全:自动内存管理,运行时边界检查
  • 高效并发:用户态轻量化线程(原生协程)
  • 元编程:基于词法宏的元编程能力
  • 多后端支持:CJNative(编译为原生二进制)和 CJVM(编译为字节码)
  • 多范式编程:支持函数式、命令式和面向对象
  • 类型安全:静态强类型,支持类型推断
  • 内存安全:自动内存管理,运行时边界检查
  • 高效并发:用户态轻量化线程(原生协程)
  • 元编程:基于词法宏的元编程能力

关键字

关键字

as, abstract, break, Bool, case, catch, class, const, continue,
Rune, do, else, enum, extend, for, func, false, finally, foreign,
Float16, Float32, Float64, if, in, is, init, import, interface,
Int8, Int16, Int32, Int64, IntNative, let, mut, main, macro, match,
Nothing, open, operator, override, prop, public, package, private,
protected, quote, redef, return, spawn, super, static, struct,
synchronized, try, this, true, type, throw, This, unsafe, Unit,
UInt8, UInt16, UInt32, UInt64, UIntNative, var, VArray, where, while
as, abstract, break, Bool, case, catch, class, const, continue,
Rune, do, else, enum, extend, for, func, false, finally, foreign,
Float16, Float32, Float64, if, in, is, init, import, interface,
Int8, Int16, Int32, Int64, IntNative, let, mut, main, macro, match,
Nothing, open, operator, override, prop, public, package, private,
protected, quote, redef, return, spawn, super, static, struct,
synchronized, try, this, true, type, throw, This, unsafe, Unit,
UInt8, UInt16, UInt32, UInt64, UIntNative, var, VArray, where, while

基础类型

基础类型

类型说明
Int8/16/32/64
有符号整数
UInt8/16/32/64
无符号整数
Float16/32/64
浮点数
Bool
布尔类型 (true/false)
Rune
Unicode 字符
String
字符串
Unit
空类型(类似 void)
Nothing
底类型
类型说明
Int8/16/32/64
有符号整数
UInt8/16/32/64
无符号整数
Float16/32/64
浮点数
Bool
布尔类型 (true/false)
Rune
Unicode 字符
String
字符串
Unit
空类型(类似 void)
Nothing
底类型

变量声明

变量声明

cangjie
// 不可变变量
let x: Int64 = 10
let y = 20  // 类型推断

// 可变变量
var count: Int64 = 0
count = count + 1

// 常量(编译时确定)
const PI = 3.14159
cangjie
// 不可变变量
let x: Int64 = 10
let y = 20  // 类型推断

// 可变变量
var count: Int64 = 0
count = count + 1

// 常量(编译时确定)
const PI = 3.14159

函数定义

函数定义

cangjie
// 基本函数
func add(a: Int64, b: Int64): Int64 {
    return a + b
}

// 简化写法(单表达式)
func multiply(a: Int64, b: Int64): Int64 {
    a * b
}

// 泛型函数
func identity<T>(value: T): T {
    value
}

// 带默认参数
func greet(name: String, greeting: String = "Hello"): String {
    "${greeting}, ${name}!"
}
cangjie
// 基本函数
func add(a: Int64, b: Int64): Int64 {
    return a + b
}

// 简化写法(单表达式)
func multiply(a: Int64, b: Int64): Int64 {
    a * b
}

// 泛型函数
func identity<T>(value: T): T {
    value
}

// 带默认参数
func greet(name: String, greeting: String = "Hello"): String {
    "${greeting}, ${name}!"
}

结构体 (struct)

结构体 (struct)

cangjie
struct Rectangle {
    let width: Int64
    let height: Int64

    // 构造函数
    public init(width: Int64, height: Int64) {
        this.width = width
        this.height = height
    }

    // 主构造函数(简化写法)
    // public Rectangle(let width: Int64, let height: Int64) {}

    // 成员函数
    public func area(): Int64 {
        width * height
    }

    // 静态函数
    public static func unit(): Rectangle {
        Rectangle(1, 1)
    }
}
cangjie
struct Rectangle {
    let width: Int64
    let height: Int64

    // 构造函数
    public init(width: Int64, height: Int64) {
        this.width = width
        this.height = height
    }

    // 主构造函数(简化写法)
    // public Rectangle(let width: Int64, let height: Int64) {}

    // 成员函数
    public func area(): Int64 {
        width * height
    }

    // 静态函数
    public static func unit(): Rectangle {
        Rectangle(1, 1)
    }
}

类 (class)

类 (class)

cangjie
// 基类需要 open 修饰符才能被继承
open class Animal {
    protected var name: String

    public init(name: String) {
        this.name = name
    }

    public open func speak(): String {
        "..."
    }
}

// 继承
class Dog <: Animal {
    public init(name: String) {
        super(name)
    }

    public override func speak(): String {
        "Woof!"
    }
}
cangjie
// 基类需要 open 修饰符才能被继承
open class Animal {
    protected var name: String

    public init(name: String) {
        this.name = name
    }

    public open func speak(): String {
        "..."
    }
}

// 继承
class Dog <: Animal {
    public init(name: String) {
        super(name)
    }

    public override func speak(): String {
        "Woof!"
    }
}

接口 (interface)

接口 (interface)

cangjie
interface Drawable {
    func draw(): Unit
}

interface Resizable {
    func resize(scale: Float64): Unit
}

// 实现多个接口
class Circle <: Drawable & Resizable {
    var radius: Float64

    public init(radius: Float64) {
        this.radius = radius
    }

    public func draw(): Unit {
        println("Drawing circle with radius ${radius}")
    }

    public func resize(scale: Float64): Unit {
        this.radius = this.radius * scale
    }
}
cangjie
interface Drawable {
    func draw(): Unit
}

interface Resizable {
    func resize(scale: Float64): Unit
}

// 实现多个接口
class Circle <: Drawable & Resizable {
    var radius: Float64

    public init(radius: Float64) {
        this.radius = radius
    }

    public func draw(): Unit {
        println("Drawing circle with radius ${radius}")
    }

    public func resize(scale: Float64): Unit {
        this.radius = this.radius * scale
    }
}

枚举 (enum)

枚举 (enum)

cangjie
// 简单枚举
enum Color {
    | Red | Green | Blue
}

// 带参数的枚举(代数数据类型)
enum Option<T> {
    | Some(T)
    | None
}

// 递归枚举
enum Expr {
    | Num(Int64)
    | Add(Expr, Expr)
    | Sub(Expr, Expr)
}

// 使用
let color = Color.Red
let value = Option<Int64>.Some(42)
cangjie
// 简单枚举
enum Color {
    | Red | Green | Blue
}

// 带参数的枚举(代数数据类型)
enum Option<T> {
    | Some(T)
    | None
}

// 递归枚举
enum Expr {
    | Num(Int64)
    | Add(Expr, Expr)
    | Sub(Expr, Expr)
}

// 使用
let color = Color.Red
let value = Option<Int64>.Some(42)

模式匹配 (match)

模式匹配 (match)

cangjie
func describe(color: Color): String {
    match (color) {
        case Red => "红色"
        case Green => "绿色"
        case Blue => "蓝色"
    }
}

// 带解构的模式匹配
func eval(expr: Expr): Int64 {
    match (expr) {
        case Num(n) => n
        case Add(left, right) => eval(left) + eval(right)
        case Sub(left, right) => eval(left) - eval(right)
    }
}

// if-let 模式
if (let Some(value) <- optionalValue) {
    println("Got value: ${value}")
}
cangjie
func describe(color: Color): String {
    match (color) {
        case Red => "红色"
        case Green => "绿色"
        case Blue => "蓝色"
    }
}

// 带解构的模式匹配
func eval(expr: Expr): Int64 {
    match (expr) {
        case Num(n) => n
        case Add(left, right) => eval(left) + eval(right)
        case Sub(left, right) => eval(left) - eval(right)
    }
}

// if-let 模式
if (let Some(value) <- optionalValue) {
    println("Got value: ${value}")
}

异常处理

异常处理

cangjie
// 自定义异常
class MyException <: Exception {
    public init(message: String) {
        super(message)
    }
}

// try-catch-finally
func riskyOperation(): Int64 {
    try {
        if (someCondition) {
            throw MyException("Something went wrong")
        }
        return 42
    } catch (e: MyException) {
        println("Caught: ${e.message}")
        return -1
    } finally {
        println("Cleanup")
    }
}
cangjie
// 自定义异常
class MyException <: Exception {
    public init(message: String) {
        super(message)
    }
}

// try-catch-finally
func riskyOperation(): Int64 {
    try {
        if (someCondition) {
            throw MyException("Something went wrong")
        }
        return 42
    } catch (e: MyException) {
        println("Caught: ${e.message}")
        return -1
    } finally {
        println("Cleanup")
    }
}

并发编程

并发编程

cangjie
// 创建线程(协程)
let thread = spawn {
    println("Running in new thread")
}

// 等待线程完成
thread.join()

// 同步块
var counter = 0
let lock = ReentrantMutex()

func increment(): Unit {
    synchronized(lock) {
        counter = counter + 1
    }
}
cangjie
// 创建线程(协程)
let thread = spawn {
    println("Running in new thread")
}

// 等待线程完成
thread.join()

// 同步块
var counter = 0
let lock = ReentrantMutex()

func increment(): Unit {
    synchronized(lock) {
        counter = counter + 1
    }
}

集合类型

集合类型

cangjie
// 数组
let arr: Array<Int64> = [1, 2, 3, 4, 5]
let first = arr[0]

// ArrayList(可变长数组)
var list = ArrayList<String>()
list.append("hello")
list.append("world")

// HashMap
var map = HashMap<String, Int64>()
map["one"] = 1
map["two"] = 2

// 遍历
for (item in arr) {
    println(item)
}

for ((key, value) in map) {
    println("${key}: ${value}")
}
cangjie
// 数组
let arr: Array<Int64> = [1, 2, 3, 4, 5]
let first = arr[0]

// ArrayList(可变长数组)
var list = ArrayList<String>()
list.append("hello")
list.append("world")

// HashMap
var map = HashMap<String, Int64>()
map["one"] = 1
map["two"] = 2

// 遍历
for (item in arr) {
    println(item)
}

for ((key, value) in map) {
    println("${key}: ${value}")
}

属性 (prop)

属性 (prop)

cangjie
class Temperature {
    private var _celsius: Float64 = 0.0

    // getter 和 setter
    public prop celsius: Float64 {
        get() { _celsius }
        set(value) { _celsius = value }
    }

    // 只读属性
    public prop fahrenheit: Float64 {
        get() { _celsius * 9.0 / 5.0 + 32.0 }
    }
}
cangjie
class Temperature {
    private var _celsius: Float64 = 0.0

    // getter 和 setter
    public prop celsius: Float64 {
        get() { _celsius }
        set(value) { _celsius = value }
    }

    // 只读属性
    public prop fahrenheit: Float64 {
        get() { _celsius * 9.0 / 5.0 + 32.0 }
    }
}

扩展 (extend)

扩展 (extend)

cangjie
// 为已有类型添加方法
extend Int64 {
    public func isEven(): Bool {
        this % 2 == 0
    }
}

// 使用
let num: Int64 = 4
println(num.isEven())  // true
cangjie
// 为已有类型添加方法
extend Int64 {
    public func isEven(): Bool {
        this % 2 == 0
    }
}

// 使用
let num: Int64 = 4
println(num.isEven())  // true

泛型

泛型

cangjie
// 泛型类
class Box<T> {
    private var value: T

    public init(value: T) {
        this.value = value
    }

    public func get(): T {
        value
    }
}

// 泛型约束
func compare<T>(a: T, b: T): Bool where T <: Comparable<T> {
    a < b
}
cangjie
// 泛型类
class Box<T> {
    private var value: T

    public init(value: T) {
        this.value = value
    }

    public func get(): T {
        value
    }
}

// 泛型约束
func compare<T>(a: T, b: T): Bool where T <: Comparable<T> {
    a < b
}

项目结构

项目结构

my-project/
├── cjpm.toml          # 项目配置文件
├── src/
│   └── main.cj        # 主源文件
├── test/
│   └── main_test.cj   # 测试文件
└── build/             # 构建输出
my-project/
├── cjpm.toml          # 项目配置文件
├── src/
│   └── main.cj        # 主源文件
├── test/
│   └── main_test.cj   # 测试文件
└── build/             # 构建输出

cjpm.toml 示例

cjpm.toml 示例

toml
[package]
name = "my-project"
version = "1.0.0"
description = "My Cangjie Project"

[dependencies]
toml
[package]
name = "my-project"
version = "1.0.0"
description = "My Cangjie Project"

[dependencies]

依赖配置

依赖配置

undefined
undefined

常用命令

常用命令

bash
undefined
bash
undefined

创建项目

创建项目

cjpm init my-project
cjpm init my-project

构建

构建

cjpm build
cjpm build

运行

运行

cjpm run
cjpm run

测试

测试

cjpm test
cjpm test

格式化代码

格式化代码

cjfmt -w src/
cjfmt -w src/

代码检查

代码检查

cjlint src/
undefined
cjlint src/
undefined

代码规范

代码规范

  1. 命名约定
    • 类型名:PascalCase(如
      MyClass
    • 函数/变量:camelCase(如
      myFunction
    • 常量:UPPER_SNAKE_CASE 或 PascalCase
    • 包名:小写(如
      mypackage
  2. 缩进:使用 4 个空格
  3. 括号风格:K&R 风格(左括号不换行)
  4. 文档注释:使用
    /**
    开头的块注释
  1. 命名约定
    • 类型名:PascalCase(如
      MyClass
    • 函数/变量:camelCase(如
      myFunction
    • 常量:UPPER_SNAKE_CASE 或 PascalCase
    • 包名:小写(如
      mypackage
  2. 缩进:使用 4 个空格
  3. 括号风格:K&R 风格(左括号不换行)
  4. 文档注释:使用
    /**
    开头的块注释

与其他语言互操作

与其他语言互操作

cangjie
// 调用 C 函数
@Foreign
foreign func printf(format: CString, ...): Int32

// 在 main 中使用
main() {
    unsafe {
        printf("Hello from C!\n".toCString())
    }
}
cangjie
// 调用 C 函数
@Foreign
foreign func printf(format: CString, ...): Int32

// 在 main 中使用
main() {
    unsafe {
        printf("Hello from C!\n".toCString())
    }
}

常见错误和解决方案

常见错误和解决方案

错误原因解决方案
Variable not initialized
变量未初始化在使用前赋值
Type mismatch
类型不匹配检查类型或添加类型转换
Cannot modify immutable variable
修改 let 变量改用 var 声明
Recursive struct
struct 递归定义使用 class 代替
错误原因解决方案
Variable not initialized
变量未初始化在使用前赋值
Type mismatch
类型不匹配检查类型或添加类型转换
Cannot modify immutable variable
修改 let 变量改用 var 声明
Recursive struct
struct 递归定义使用 class 代替

文档查询

文档查询

如需查询详细的 API 文档,请读取本 skill 目录下的 docs/ 文件夹:
  • docs/syntax/
    - 详细语法文档
  • docs/stdlib/
    - 标准库 API
  • docs/tools/
    - 工具链使用
  • docs/examples/
    - 完整示例

基于 CangjieCorpus 构建,内容遵循 CC-BY-4.0 许可证
如需查询详细的 API 文档,请读取本 skill 目录下的 docs/ 文件夹:
  • docs/syntax/
    - 详细语法文档
  • docs/stdlib/
    - 标准库 API
  • docs/tools/
    - 工具链使用
  • docs/examples/
    - 完整示例

基于 CangjieCorpus 构建,内容遵循 CC-BY-4.0 许可证