# Changelog
## 0.5.1 (2026-07-31)
### 原生 `where{...}` 后缀
DSL 原生支持 `where{...}` 后缀形式，为生成的 impl 块添加 where 子句：
```rust
#[batch_impl(<T: Clone> Sortable<T> Vec<T> where{ T: Ord } { ... })]
trait Sortable<T>{ }
```
- `where{...}` 跟在目标类型之后（spec 末尾）
- 多个 `where{...}` 会合并
### 裸 `where 谓词 {代码块}` 新语法
`where` 后可裸写谓词，谓词后必须跟 `{...}` 代码块；三个接口
（`#[batch_impl]` / `#[batch_impl_only]` / `batch_trait!`）统一支持：
```rust
#[batch_impl(<A> <B> PairAB<A, B> (A, B) where A: Clone, B: Clone { ... })]
trait PairAB<A, B>{ }
```
- 新增 `where_process.rs` 预处理模块：在指令预处理之后、DSL 解析之前
扫描深度 0 的裸 `where`，收集谓词直至首个 `{...}` 代码块，改写为旧式
`where{谓词}` 后缀；解析层零改动
- 边界判定排除 `ident!{...}` 宏调用体（如 `where F: Fn(u32) -> m!{} { ... }`），
尖括号内代码块（如 `<N = {5}>`）不计入
- 谓词区内的逗号不被 spec 切分；多个 `where` 段可依次书写
（`where A where B`），等价旧式多 `where{...}`
- 裸 `where` 后缺少代码块报 `batch-impl: \`where\` 谓词后缺少代码块 {...}`
- 测试：`tests/dsl.rs` 新增 25-27，`tests/ui/where_missing_body.rs` 锁定缺 body 诊断
## 0.5.0 (2026-07-28)
### `#[batch_impl_only]` 外部 trait 路径前缀
`#[batch_impl_only]` 支持 `#path::to::Trait:` 路径前缀，用于为外部模块中定义的 trait 生成 impl：
```rust
#[batch_impl_only(#ext::mod::TraitName: usize, isize)]
trait TraitName { }
```
- `#` + `Ident` + (`::` `Ident`)+ + `:` 形式起始时，路径作为外部 trait 路径
- 路径末尾标识符必须与本地 dummy trait 名一致（否则报 `compile_error!`）
- 新增 `try_parse_path_prefix` 状态机函数（`lib.rs`），要求至少一个 `::`
- `#[batch_impl]` 不支持此前缀（它输出本地 trait 定义，路径前缀无意义）
### `Spacing::Joint` 精确检查
多符号标点（`::`、`->`、`..`）的识别增加 `Spacing::Joint` 检查，防止相邻但不粘连的标点被误判为双字符运算符：
| `scan_with`（`parse.rs`） | `->` 箭头 | 检查 `-` 的 `Spacing::Joint` |
| `find_colon_at_depth0`（`parse.rs`） | `::` vs `:` | 重写为检查左右相邻 `:` 的 `Spacing::Joint` |
| `parse_range`（`parse.rs`） | `..` / `..=` | 检查 `first_dot` / `second_dot` 的 `Spacing::Joint` |
| `batch_trait!`（`lib.rs`） | `::` 路径分隔符 | 检查 `p.spacing() == Spacing::Joint` |
### Range 处理集中化
`Apply for Ty` 外层 match 新增 `Ty::Range` 分支（`apply.rs`），统一处理右侧 Range 展开。移除 `TyTuple::apply` 和 `TyGroup::apply` 中的重复 `Range` 分支。
`T^(1..3)` → `[T<1>, T<2>]`，`T<A>^(1..3)` → `[T<A,1>, T<A,2>]` 等 const generic range 展开自动生效。
### 模块级文档
所有源文件（`apply.rs`、`codegen.rs`、`diagnostic.rs`、`parse.rs`、`preprocess.rs`）新增 `//!` 模块级文档注释，描述模块职责与版本历史。
### 模块拆分
从 `parse.rs`、`apply.rs`、`types.rs`、`preprocess.rs` 中拆分出独立模块，降低单文件认知负担：
| `scan.rs` | `parse.rs` | Cursor 游标 + scan_with / ScanMode / is_punct |
| `parse_atom.rs` | `parse.rs` | 原子层解析（parse_attribute / parse_function / parse_group / parse_prefix / parse_range） |
| `generic.rs` | `parse.rs` | `<...>` 泛型解析（parse_generic / parse_angle_bracket_contents / matching_angle） |
| `types_render.rs` | `types.rs` | `ToTokens for Ty` + params_to_tokens 系列 |
| `apply_tuple.rs` | `apply.rs` | TyTuple / TyGroup / TyFn / TyCodeBlock / TyAttr / TyTypeParam 等的 Apply impl + tuple_pow / map_range |
| `batch_trait_entry.rs`| `lib.rs` | BFS 展开并列列表 → 逐叶子 generate_impl 的共享驱动 |
| `path_prefix.rs` | `lib.rs` | `#Path::to::Trait:` 路径前缀状态机解析 |
| `preprocess_helpers.rs` | `preprocess.rs` | build_from_item / get_trait_item / collect_call_args / parse_names_from_tokens |
拆分前后公共 API 与 DSL 语法不变。
### 测试
- `tests/dsl.rs`：新增测试 21（`where{...}` 后缀）、22（`where{...}` 后置）、23（`<A><B>T` 合并 + `where`）
## 0.4.2 (2026-07-27)
### `#name{body}` 支持 const / type 项
`#name{body}` 指令现在可以为 trait 中的 const 常量和 type 关联类型赋默认值，
不再局限于 fn 方法。`build_from_item` 根据 item 类型自动选择输出格式：
- `#CONST_NAME{value}` → `const CONST_NAME: Type = value;`
- `#TypeName{type_def}` → `type TypeName = type_def;`
- `#method_name{body}` → `fn method_name(签名) { body }`（不变）
### `#fill` 扩展与 `#all` 标记
- `#fill(args){body}` 不再限制为 Fn 项，可用于 fn + const + type
- `#all` 含义变更为所有 item（fn + const + type）
- 新增 `#all_methods`（仅 Fn）、`#all_constants`（仅 const）、`#all_types`（仅 type）
- `#delegate` 仍仅支持 Fn（委托本质是方法调用），传入非 Fn 项报 `compile_error!`
- `#fill` 传入非 Fn 项不再报错
### 错误处理
- `expand_delegate` 中的 `todo!("error")` 替换为 `compile_error!`，包含 trait 名和 item 名
### 文档
- 更新 preprocess.rs 注释：`#name{body}` 不再标注为"单方法简写"
- 更新 `get_trait_item` 错误信息：`"没有找到方法"` → `"没有找到 item"`
- 更新 README 指令系统章节：补充 const / type 示例和 `#all` 标记说明
- 新增 8 项 const / type / `#all` 指令测试（tests 37-44）
### 测试与示例重组
examples/ 原本堆放了 4 个文件 4700+ 行的 `assert_eq!` 测试，与"examples"语义不符。本版重组为三层：
- 删除 `examples/{tests.rs, ds_tests.rs, my_tests.rs, debug_tests.rs}` 共 ~4800 行
- 新增 `examples/quickstart.rs` —— 单文件可运行 demo（~250 行），14 段覆盖基础→复杂，`cargo run --example quickstart` 直接观察输出
- 新增 `tests/regression.rs` —— 16 个 `#[test]`，从原 `examples/tests.rs` 抽取高价值 corner case：嵌套 `>>`、路径类型、const 泛型、生命周期、dyn + Send、10 组 `batch_impl` vs `batch_trait!` 一致性
- `tests/dsl.rs` 保持不变（20 个 `#[test]`）
- README「测试」段重写为四列表格 + 三组运行指令
### 工程化重构
零功能变化的代码工程化与测试体系铺底。
- **命名**：`apply::trait Type` 重命名为 `trait Apply`，统一"运算符语义"与
trait 名稱的语义。`parse.rs` 的 `use crate::apply::Type` 同步为 `Apply`。
仅是 trait 名变更，对外行为不变。
- **格式锁定**：新增 `rustfmt.toml`（`edition=2024`、`max_width=75`、
`fn_call_width=60`、`match_block_trailing_comma=true`、
`use_field_init_shorthand=true`），要求 PR 通过 `cargo +nightly fmt --check`。
仓库内一次性 `cargo +nightly fmt` 全量格式化。
- **诊断统一**：新增 `src/diagnostic.rs` 暴露唯一 `compile_error_str(msg)`
构造器；删除 `lib.rs::generate_compile_error` 与 `preprocess.rs::compile_error`
两份同名实现，防止诊断构造点漂移。未来若要引入带 `Span` 的诊断结构，
只需改 `diagnostic.rs` 一处。
- **扫描器合并**：`parse.rs` 引入 `enum ScanMode { Lossy, Strict }` 与
单一 `scan_with(tokens, stop, mode)`；`scan_stop`（宽松，
用于停止符扫描）与 `matching_angle`（严格，
用于尖括号配对）退化为两个对外语义别名，
消除原先两份近似但行为不同的 `<>` 深度循环。
- **WithType 顺序修正**：`codegen.rs::extract_impl_parts` 的 `WithType`
分支从 append 改为 prepend——
`<A>[<B>T1, <C>T2]` 现输出 `impl<A, B>` 与 `impl<A, C>`，
与"外层先写"的书写顺序一致。修复了同名泛型被反转的隐性问题。
- **错误加固**：`preprocess.rs::expand_tokens` 中两处
`cursor.peek().unwrap()` 替换为 `let Some(tt) = cursor.peek() else { break; };`，
彻底消除预处理层 panic 点；`apply.rs::tuple_pow` 单元素分支
`.unwrap()` 改为带消息的 `expect`，保留不可达性追踪。
- **入口收敛**：`lib.rs` 内联 `extract_trait_path` /
`extract_last_ident` 到 `batch_trait!` 宏内部，
导出函数集中于 `diagnostic.rs`；`lib.rs` 由 303 行降到 ~276 行。
- **测试体系**：新增 `tests/dsl.rs` —— 20 个 `#[test]` 用例覆盖
基础、泛型、共享/独立 body 合并、`^` 列表、元组生成、范围元组、
关联类型、unsafe、fn 类型、属性、复杂透传、5 个 `#` 指令、
`batch_trait!` 多段、`-` 操作符、嵌套泛型合并。
新增 `tests/ui.rs` + 8 个 `compile_fail` UI fixture +
1 个 pass fixture，通过 `trybuild` 锁定 DSL 错误诊断的中文措辞。
重新生成快照：`TRYBUILD=overwrite cargo test --test ui`。
- **依赖**：新增 `[dev-dependencies] trybuild = "1.0.118"`。
- **文档**：README「内部架构」图加入 `diagnostic.rs` 与 `Apply trait` 名称。
## 0.4.1 (2026-07-25)
修复了自定义宏未携带trait_def问题
## 0.4.0 (2026-07-25)
### 指令系统
新增 `#` 指令系统，`#[batch_impl]` 在 DSL 解析前预处理指令，从 trait 定义自动读取方法签名。
| 单方法 | `#method{body}` | `{fn method(签名) { body }}` |
| 填充 | `#fill(args){body}` | `{fn m1(sig){body} fn m2(sig){body} ...}` |
| 委托 | `#delegate(args){target}` | `{fn m1(sig){(target).m1(args)} ...}` |
- `#fill(#all){body}` 表示 trait 的所有方法
- 指令与 DSL 运算符、`{body}` 连续附着、泛型、unsafe 等特性自由组合
- 仅 `#[batch_impl]` / `#[batch_impl_only]` 支持（`batch_trait!` 无 trait 定义，无法读取签名）
- 指令预处理错误输出 `compile_error!`（不 panic）
### 指令扩展性
内置指令（`#fill`、`#delegate`）由 batch-impl 内部处理。对于不认识的 `#name`，预处理器自动转换为 `#[name[...]]` 属性，用户的自定义属性宏可以接收并处理。这意味着 batch-impl 的指令系统是开放的——任何符合 `#name(...){...}` 语法的指令都会被预处理器捕获，不认识的名字委托给 Rust 的属性宏系统。
### `#[batch_impl_only]`
新增 `#[batch_impl_only]` 属性宏：与 `#[batch_impl]` 语法完全相同，但丢弃 trait 定义，只输出 `impl` 块。用于 trait 已在别处定义、只需批量生成 impl 的场景。
### `{body}` 连续附着
`T{body1}{body2}` 现在正确递归附着，等效于 `{body2}` 套在 `{body1}` 外面。
### 内部
- 新增 `preprocess.rs`：指令预处理模块，仅递归展开 `[...]`（Bracket）Group
- preprocess 的 `expand_tokens` / `expand_directive` 返回 `Result`，错误时输出 `compile_error!` 而非 panic
- 全库零 `panic!` / `unreachable!`：AST 层新增 `Ty::Error` 变体经 `ToTokens` 输出 `compile_error!`，预处理层 `parse_method_names_from_tokens` / `get_trait_method_sig` 返回 `Result`，错误沿调用链传播
- 新增 `examples/my_tests.rs`：36 项指令测试
---
## 0.3.0 (2026-07-24)
### 用更合理的框架重写了 batch-impl
v0.3.0 是从零开始的完全重写。公开 API 和 DSL 语法与 v0.2.x 保持一致，
内部实现与旧版本无任何代码上的联系。
### 架构
```
lib.rs 宏入口 + 共享驱动（#[batch_impl] / #[batch_impl_only] / batch_trait!）
├── preprocess.rs 指令预处理：#name 指令展开（内置 + 自定义属性委托）
├── parse.rs DSL 解析器：Cursor 游标 + 优先级攀爬
├── types.rs AST 节点（Ty 枚举 + 20 个变体）+ Op 优先级定义
├── apply.rs 运算符语义：apply() 折叠规则 + 元组展开
└── codegen.rs 代码生成：Ty 递归拆解 → impl 块组装
```
**解析模型**：基于 `Cursor<'a>` 借用切片游标的优先级攀爬。四级运算符层级
`Semi(;)` < `Comma(,)` < `Dash(-)` < `Caret(^)`，每级定义一组停止字符，
`scan_stop` 统一处理 `<>` 深度跟踪与 `->` 箭头守卫。
操作数边界由词法级扫描确定（只看 `<>` 深度，不理解 Rust 类型文法），
任意 Rust 类型（`dyn Fn()`、`for<'a>` 等）透传为 Primitive 节点。
**AST 设计**：`Ty` 枚举含 20 个变体，分三类：
- 叶子（Primitive / Num / Range）：不可再展开的原子
- 包装（WithType / WithTrait / WithCode / WithAttr / Unsafe / Modified）：携带元数据，codegen 阶段拆解
- 容器（Array / Tuple / Group / Slice / FixedArray）：可展开为多个叶子的集合
**运算符语义**：`Type` trait 的 `apply(self, o: Ty) -> Ty` 方法定义二元运算。
`^` 右结合、`-` 左结合通过解析器的 `Caret` / `Dash` 分支实现；`[]` 并列列表
自动分发（`[A,B]^C = [A^C, B^C]`）；元组生成（`()^N`、笛卡尔积、范围语法）
在 `TyTuple::apply` 中实现。
### 功能
- `#[batch_impl]` 属性宏 + `batch_trait!` 函数式宏，接受相同的 DSL 语法
- `^`（右结合）/ `-`（左结合）运算符：泛型应用、类型组合
- `[A, B, C]` 并列列表 + `{ body }` 独立/共享实现体合并
- `<T: Clone, Item=V>` 泛型参数与关联类型绑定
- `()^N` 元组生成 + `(<Bound>)^N` 带约束元组 + `(T1,T2)^N` 笛卡尔积 + 范围语法
- `&` / `&mut` / `*const` / `*mut` / `fn` / `self` / `unsafe` / `#[attr]` 前缀修饰符
- `fn(A,B)->C` 函数类型
- `HashMap<K>^V` 预填泛型追加
- `unsafe^T` 单条 unsafe + `unsafe trait` 自动 unsafe
- `compile_error!` 错误输出（不 panic、不 ICE）
- 全量函数文档注释
### 修复（相对于 v0.2.x）
- `batch_trait!` 中 `fn(i32) -> bool` 等含 `->` 的 spec 不再误断段落边界
- `()^0` 正确生成空元组 `()`
### 测试
- 两套测试（tests 95+ 项 / ds_tests 56+ 项）全部通过
- clippy 零警告（lib）
---
## 0.2.2 (2026-07-20)
### Bug Fixes
- **fn^i32 自动生成括号**：`fn^i32` 现在正确生成 `fn(i32)` 而非 `fn i32`
- **统一 `->` 处理**：所有工具函数（`has_top_level_char`、`parse_balanced`、`find_top_level_colon`、`split_at_punct`）统一排除 `->` 中的 `>`
### 代码审查修复
#### P0 修复
- **split_raw 检测多余 `>`**：当 `>` 在 `<` 之前出现时报错（排除 `->` 的情况）
- **parse_balanced 详细错误**：返回 "未闭合的 `<`（还有 N 层）" 而非简单的 "未闭合的 `<`"
- **expand_caret 路径注释**：prefixes 为空时添加详细注释说明语义
#### P1 修复
- **expand_nested_bracket 注释**：添加 `unwrap_count - 1` 语义的详细说明
- **generate_tuples 返回 Result**：笛卡尔积超限时返回 `ParseResult::Err` 而非 `compile_error!` target
- **batch_trait! 空路径检查**：添加对空 trait 路径的显式检查和友好错误提示
## 0.2.1 (2026-07-20)
### Bug Fixes
#### 优先级修复：`^` 右侧 `-` 被内部消化 (BUG-1)
- **问题**：`HashMap^K-V` 被解析为 `HashMap^(K-V)` = `HashMap<K<V>>`，违反 `^` > `-` 优先级规则
- **修复**：`expand_caret` 中将右侧在第一个顶层 `-` 处分割，确保 `^` 优先级高于 `-`
- **结果**：`HashMap^K-V` = `(HashMap^K)-V` = `HashMap<K>-V` = `HashMap<K, V>`
- **注意**：`Box^Vec-u32` 是错误写法，应写为 `Box^Vec^u32`
#### `parse_target_items` 丢弃 `<>` 之后内容 (BUG-2)
- **问题**：`HashMap^<u32>-String` 中 `-String` 被静默丢弃
- **根因**：`parse_balanced` 返回的 `pos`（`>` 之后位置）被丢弃
- **修复**：当 `<>` 之后还有内容时，返回整个序列为 `Single`
#### `expand_single` 中 Attribute/Unsafe 前缀未过滤 (BUG-3)
- **问题**：`unsafe^#[attr]^T` 编译错误 "属性 ^ 的内部错误"
- **根因**：`expand_single` 未过滤 `Attribute`/`Unsafe` 前缀，直接传给 `apply_caret`
- **修复**：在调用 `apply_caret` 前过滤 `Attribute`/`Unsafe` 前缀
#### fn 类型优先级修复
- **问题**：`fn^(u32,i32)-usize` 生成 `fn(u32,i32,usize)` 而非 `fn(u32,i32)->usize`
- **修复**：`fn` 前缀应用后，`-` 应作为返回类型而非参数追加
- **结果**：`fn^(u32,i32)-usize` = `fn(u32,i32)->usize`
#### 嵌套 caret + fn 前缀修复
- **问题**：`fn^(u32,i32)^i64-usize` 中 `Fn` 前缀丢失
- **修复**：嵌套 caret 递归展开时，保留 `Fn` 前缀应用
### Code Quality
- 添加 `ImplSpec::new()` 构造器，消除重复的 `attributes: vec![]` 和 `is_unsafe: false` 初始化
- 拆分 `expand_caret` 中 bracket 展开逻辑为 `expand_bracket_with_comma` 和 `expand_nested_bracket`
- 拆分 `dash_append` 中 fn 处理逻辑为 `dash_append_fn_keyword` 和 `dash_append_fn_type`
- 添加 `#![allow(linker_messages)]` 抑制 Windows MSVC 链接器警告
## 0.2.0 (2026-07-19)
### 新功能
#### 关联类型简洁写法
- `TraitName<AssocType=value>` 语法：在 trait 泛型参数中指定关联类型绑定
- `<T> Iter<Item=T> Vec<T>` → 生成 `impl<T> Iter for Vec<T> { type Item = T; ... }`
- 支持多关联类型绑定：`Pair<First=T, Second=U>`
- 支持复杂类型绑定：`TupleAssoc<Output=(T, T)>`
- 关联类型可与 `^`、`-`、unsafe 任意组合
#### 独立/共享 body 合并
- `[A{bodyA}, B{bodyB}]{shared}` 语法：列表项可有独立 body，与共享 body 合并
- 共享 body 提供公共实现，独立 body 提供类型特定实现
- 合并策略：拼接（shared + independent）
- 支持多层嵌套：`[[A{...}, B{...}]{shared1}, C{...}]{shared2}`
#### 元组生成规则修改
- `()^N` → 生成带 N 个泛型参数的元组 `(A,B,...)`
- `(T)^N` → 生成长度为 N 的元组 `(T,T,...,T)`
- `(T1,T2)^N` → 生成长度为 N 的所有笛卡尔积组合
- 支持范围语法：`()^M..N` 和 `()^M..=N`
#### *const/*mut 指针支持
- `*const^T` → `*const T`
- `*mut^T` → `*mut T`
- 支持链式应用：`*const^Box^T` → `*const Box<T>`
#### 引用类修饰符特殊行为
- `&^A^B` → `&A<B>`（`&` 先绑定到 `A`，然后 `^B` 应用到结果）
- `&mut^A^B` → `&mut A<B>`
- `*const^A^B` → `*const A<B>`
- `*mut^A^B` → `*mut A<B>`
#### fn 关键字支持
- `fn^(A,B)` → `fn(A,B)`：fn 类型创建
- `fn(A,B)^T` → `fn(A,B)->T`：fn 类型追加返回类型
- `fn-(A,B)^N` → 生成 N 长度组合的 fn 类型
#### #[...] 属性支持
- `#[attr]^T` → 在 impl 块前添加属性
- `#[a]^[#[b]^B, #[c]^C]` → 生成带嵌套属性的 impl 块
#### 实现细节
- `ImplSpec` 新增 `assoc_bindings` 和 `attributes` 字段
- `PrefixItem` 新增 `ConstPtr`、`MutPtr`、`Fn`、`Attribute` 变体
- `parse_segment` 解析 `TraitName<Item=T>` 时分离关联类型绑定
- `expand_caret` 和 `expand_dash` 正确传递 `assoc_bindings`
- `generate_impl` 输出属性和关联类型绑定到 impl 块
#### 测试
- macro-test：113 个测试用例
- ds-test：15 个边界测试
- 新增测试：关联类型、`*const`、`*mut`、引用链式应用、fn 关键字、范围语法、属性支持
- 一致性测试：batch_impl 与 batch_trait 一致性验证
- 嵌套测试：多层嵌套 body 合并验证
- 并行测试：多功能并行使用验证
## 0.1.1 (2026-07-19)
### 新功能
#### 预填泛型追加
- `A<B>^C` → `A<B, C>`：容器带预填泛型时，`^` 追加参数而非生成 `A<B><C>`
- `HashMap<K>^V` → `HashMap<K, V>`：示例
- `[Box, Cow<'_>]^T` → `Box<T>, Cow<'_, T>`：列表支持
- `-` 运算符自动受益：`HashMap-u32-String` → `HashMap<u32, String>`
#### 实现细节
- 修改 `PrefixItem::Container` 结构体，增加 `prefill` 字段
- `parse_single_prefix` 支持识别 `Ident<...>` 模式
- `apply_caret` 支持预填泛型追加
- 新增 `append_to_generic_container` 函数处理 `-` 运算符
#### 文档更新
- README 添加优先级说明：`^` > `-` > `,`
- 函数注释补充预填泛型追加功能说明
- 移除 Planned 部分
#### 测试
- 新增 2 个测试用例验证预填泛型追加功能
## 0.1.0 (2026-07-19)
### 初始发布
#### 核心功能
- `#[batch_impl(...)]` 属性宏：为 trait 批量生成 impl 块
- `batch_trait!(...)` 函数式宏：对已声明的 trait 批量生成 impl
#### 运算符
- `^` 右结合运算符：泛型应用 `A^B` → `A<B>`
- `-` 左结合运算符：同 `^`，`A-B` → `A<B>`
#### 元组生成
- `()^N` 生成不同长度的元组实现
- `(<Bound>)^N` 生成带泛型约束的元组
- `(T1,T2)^N` 笛卡尔积生成
- `()^M..N` 和 `()^M..=N` 范围生成
#### 泛型支持
- impl 泛型：`<T>`, `<T: Clone>`, `<const N: usize>`
- trait 泛型：`TraitName<T>`
- 生命周期：`<'a, T: 'a>`
- 泛型继承：子项可省略泛型，自动继承父级
#### unsafe 支持
- `unsafe^T` 单条声明标记为 unsafe impl
- `unsafe trait` 全部 impl 自动 unsafe
- `batch_trait!(unsafe Trait: ...)` 部分 unsafe
#### 安全性
- 递归深度限制（128 层）
- 使用 `byte_range()` 生成稳定的位置后缀
- 笛卡尔积组合数上限（1024）
#### 错误处理
- 中文错误提示
- 保留原始 Span 信息
- `compile_error!` 而非 panic
#### 测试
- macro-test：99 个测试用例
- ds-test：15 个边界测试
- 覆盖：基础类型、泛型、元组、`^` 运算符、`-` 运算符、unsafe、特殊类型、关联类型、独立/共享 body