菜单
仓颉语言反射与注解。当需要了解仓颉语言的整数溢出注解(@OverflowThrowing/@OverflowWrapping/@OverflowSaturating)、自定义注解(@Annotation)、反射(TypeInfo)等特性时，应使用此 Skill。
用 Codex 或 Claude 帮你安装 复制这段 Prompt，粘贴到 Codex、Claude 或其他助手里，让它检查 Skill 页面并帮你完成安装。
基于 SOC 职业分类
| name | cangjie-reflect-and-annotation |
| description | 仓颉语言反射与注解。当需要了解仓颉语言的整数溢出注解(@OverflowThrowing/@OverflowWrapping/@OverflowSaturating)、自定义注解(@Annotation)、反射(TypeInfo)等特性时，应使用此 Skill。 |
三种内置注解控制函数的溢出策略：
@OverflowThrowing（默认）：溢出时抛出 ArithmeticException。尽可能在编译时检测@OverflowWrapping：截断高位（模运算）@OverflowSaturating：饱和到类型最小/最大值可溢出的运算符：+、-、*、/、**、++、--、<<、+=、-=、*=、/=、**=、<<=
@EnsurePreparedToMock 为静态/顶层声明准备 mock--test/--mock=on 编译时允许@Annotation 标记 class 创建abstract/open/sealed，须提供至少一个 const init@MyAnnotation[args] 应用于类型、成员、构造函数、参数、属性TypeInfo.of(obj).findAnnotation<T>() 获取@Annotation[target: [AnnotationKind...]] 限制有效目标Type、Parameter、Init、MemberProperty、MemberFunction、MemberVariableconst 表达式[]TypeInfo.of(instance: Any) — 从实例TypeInfo.of(obj: Object) → ClassTypeInfo — 从对象TypeInfo.of<T>() — 从类型参数TypeInfo.get(qualifiedName) — 从限定名（如 "std.socket.TcpSocket"）"Int64"）public 成员对反射可见getInstanceVariable(name) / getStaticVariable(name) → getValue() / setValue()getInstanceProperty(name) → getValue(obj) / setValue(obj, val)isMutable() 检查是否可变getStaticFunction(name, paramTypeInfos...) → funcInfo.apply(typeInfo, [args])通用算法与数据结构实现参考——排序、搜索、动态规划、图算法、字符串处理的多语言惯用写法和模板代码（Python/C++/Java/Go/Cangjie）
仓颉语言算法与数据结构实现参考——排序、搜索、动态规划、图算法、字符串处理、集合操作的惯用写法和模板代码
仓颉编程语言基本概念和规则，当需要了解关键字、标识符、程序结构、变量定义(let/var/const)、值类型与引用类型、作用域规则、表达式(if/while/for-in/break/continue)、函数等基本概念时，应使用此 Skill
仓颉语言基本数据类型。当需要了解仓颉语言的整数、浮点、布尔、字符(Rune)、字符串(String)、Unit、Nothing、元组(Tuple)、数组(Array/VArray)、区间(Range)类型以及基本运算符的语法和规则时，应使用此 Skill。
仓颉程序与C程序互操作指导，包括foreign声明、CFunc、inout参数、unsafe块、调用约定、类型映射(基础类型/结构体/CPointer/VArray/CString)、C回调仓颉、内存管理等特性时，应使用此 Skill
仓颉语言类。当需要了解仓颉语言的类定义、抽象类、构造函数(init/主构造函数)、终结器(~init)、继承(单继承/sealed)、重写(override)、重定义(redef)、成员变量、成员函数、属性(prop)、访问修饰符、This类型、对象创建等特性时，应使用此 Skill。