mau 0.1.7

A Rust procedural macro library for memoization with MauQueue optimization
Documentation
1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24
25
26
27
28
29
30
31
32
33
34
35
36
37
38
39
40
41
42
43
44
45
46
47
48
49
50
51
52
53
54
55
56
57
58
59
60
61
62
63
64
65
66
67
68
69
70
71
72
73
74
75
76
77
78
79
80
81
82
83
84
85
86
87
88
89
90
91
92
93
94
95
96
97
98
99
100
101
102
103
104
105
106
107
108
109
110
111
112
113
114
115
116
117
118
119
120
121
122
123
124
125
126
127
128
129
130
131
132
133
134
135
136
137
138
139
140
141
142
143
144
145
146
147
148
149
150
151
152
153
154
155
156
157
158
159
160
161
162
163
164
165
166
167
168
169
170
171
172
173
174
175
176
177
178
179
180
181
182
183
184
185
186
187
188
189
190
191
192
193
194
195
196
197
198
199
200
201
202
203
204
205
206
207
208
209
210
211
212
213
214
215
216
217
218
219
220
221
222
223
224
225
226
227
228
229
230
231
232
233
234
235
236
237
238
239
240
241
242
243
244
245
246
247
248
249
250
251
252
253
254
255
256
257
258
259
260
261
262
263
264
265
266
267
268
269
270
271
272
273
274
275
276
277
278
279
280
281
282
283
284
285
286
287
288
289
290
291
292
293
294
295
296
297
298
299
300
301
302
303
304
305
306
307
308
309
310
311
312
313
314
315
316
317
318
319
320
321
322
323
324
325
326
327
328
329
330
331
332
333
334
335
336
337
338
339
340
341
342
343
344
345
346
347
348
349
350
351
352
353
354
355
356
357
358
359
360
361
362
363
364
365
366
367
368
369
370
371
372
373
374
375
376
377
378
379
380
381
382
383
384
385
386
387
388
389
390
391
392
393
394
395
396
397
398
399
400
401
402
403
404
405
406
407
408
409
410
411
412
413
414
415
416
417
418
419
420
421
422
423
424
425
426
427
428
429
430
431
432
433
434
435
436
437
438
439
440
441
442
443
444
445
446
447
448
449
450
451
452
453
454
455
456
457
458
459
460
461
462
463
464
465
466
467
468
469
470
471
472
473
474
475
476
477
478
479
480
481
482
483
484
485
486
487
488
489
490
491
492
493
494
495
496
497
498
499
500
501
502
503
504
505
506
507
508
509
510
511
512
513
514
515
516
517
518
519
520
521
522
523
524
525
526
527
528
529
530
531
532
533
534
535
536
537
538
539
540
541
542
543
544
545
546
547
548
549
550
551
552
553
554
555
556
557
558
559
560
561
562
563
564
565
566
567
568
569
570
571
572
573
574
575
576
577
578
579
580
581
582
583
584
585
586
587
588
589
590
591
592
593
594
595
596
597
598
599
600
601
602
603
604
605
606
607
608
609
610
611
612
613
614
615
616
617
618
619
620
621
622
623
624
625
626
627
628
629
630
631
632
633
634
635
636
637
638
639
640
641
642
643
644
645
646
647
648
649
650
651
652
653
654
655
656
657
658
659
660
661
662
663
664
665
666
667
668
669
670
671
672
673
674
675
676
677
678
679
680
681
682
683
684
685
686
687
688
689
690
691
692
693
694
695
696
697
698
699
700
701
702
703
704
705
706
707
708
709
710
711
712
713
714
715
716
717
718
719
720
721
722
723
724
725
726
727
728
729
730
731
732
733
734
735
736
737
738
739
740
741
742
743
744
745
746
747
748
749
750
751
752
753
754
755
756
757
758
759
760
761
762
763
764
765
766
767
768
769
770
771
772
773
774
775
776
777
778
779
780
781
782
783
784
785
786
787
788
789
790
791
792
793
794
795
796
797
798
799
800
801
802
803
804
805
806
807
808
809
810
811
812
813
814
815
816
817
818
819
820
821
822
823
824
825
826
827
828
829
830
831
832
833
834
835
836
837
838
839
840
841
842
843
844
845
846
847
848
849
850
851
852
853
854
855
856
857
858
859
860
861
862
863
864
865
866
867
868
869
870
871
872
873
874
875
876
877
878
879
880
881
882
883
884
885
886
887
888
889
890
891
892
893
894
895
896
897
898
899
900
901
902
903
904
905
906
907
908
909
910
911
912
913
914
915
916
917
918
919
920
921
922
923
924
925
926
927
928
929
930
931
932
933
934
935
936
937
938
939
940
941
942
943
944
945
# Mau

一个强大的 Rust 过程宏库,提供记忆化(memoization)功能和高效的范围操作宏。

## 功能特性

- **自动记忆化**: `#[memo]` 属性宏,为单个函数添加缓存
-**批量记忆化**: `memo_block!` 函数宏,智能缓存管理,避免内存泄漏
-**智能缓存键**: 三种键模式(`ptr``ref``val`),平衡性能和功能
-**线程模式**: 单线程(`single`)和多线程(`multi`)支持
-**范围宏**: `min!``max!``sum!``and!``or!``reduce!` 等高效宏
-**空迭代器处理**: `min!``max!` 对空迭代器返回边界值

## 安装

```toml
[dependencies]
mau = "0.1.7"
```

## 快速开始

### 1. 基础记忆化

```rust
use mau::memo;

#[memo]
fn fibonacci(n: u64) -> u64 {
    match n {
        0 | 1 => n,
        _ => fibonacci(n - 1) + fibonacci(n - 2),
    }
}

fn main() {
    println!("fibonacci(40) = {}", fibonacci(40)); // 极快!
}
```

**性能提升**:
- 不使用 memo:~1 秒
- 使用 memo:~0.01 毫秒
- **性能提升:100,000 倍!**

### 2. 互相递归(批量记忆化)

```rust
use mau::memo_block;

memo_block! {
    // 可以为每个函数单独配置
    #[memo(key=ptr)]  // 使用 ptr 模式
    fn is_even(n: usize) -> bool {
        if n == 0 { true } else { is_odd(n - 1) }
    }

    #[memo(key=r#ref)]  // 使用 ref 模式
    fn is_odd(n: usize) -> bool {
        if n == 0 { false } else { is_even(n - 1) }
    }
    
    // 不加属性,使用默认配置
    fn helper(n: usize) -> usize {
        n * 2
    }
}

fn main() {
    println!("is_even(100) = {}", is_even(100)); // true
}
```

### 3. 范围宏

```rust
use mau::{min, max, sum};

fn main() {
    let data = vec![3, 1, 4, 1, 5, 9, 2, 6];
    
    println!("最小值: {}", min!(data));  // 1
    println!("最大值: {}", max!(data));  // 9
    println!("总和: {}", sum!(data));    // 31
    
    // 空迭代器返回边界值
    let empty: Vec<i32> = vec![];
    println!("空数组的最小值: {}", min!(empty));  // i32::MAX
}
```

## 核心功能详解

### `#[memo]` - 长期缓存

为单个函数添加记忆化,**缓存会永久保留**直到程序结束。

#### 参数配置

**线程模式(`thread`)**:
- `single`(默认):单线程,性能最佳
- `multi`:多线程安全,全局共享

**键模式(`key`)**:
- `ptr`:只比较地址,最快
- `ref`(默认):先比地址再比内容,平衡性能和功能
- `val`:深度比较,功能最完整

#### 使用语法

```rust
// 使用默认配置
#[memo]
fn calc(n: i32) -> i32 { n * n }

// 命名参数(推荐)
#[memo(thread=single, key=ref)]
#[memo(thread=multi, key=ptr)]
#[memo(key=val)]

// 注意:ref 是关键字,需要写成 r#ref
#[memo(key=r#ref)]
```

#### 键模式详解

##### ptr 模式 - 最快,只比地址

```rust
#[memo(key=ptr)]
fn process(data: &[i32]) -> i32 {
    data.iter().sum()
}

// 示例:
let arr = vec![1, 2, 3];
process(&arr);  // 第1次:计算
process(&arr);  // 第2次:命中 ✓(相同地址)

let arr2 = vec![1, 2, 3];  // 内容相同,地址不同
process(&arr2);  // 第3次:重新计算(地址不同)
```

**何时使用**:相同引用会反复调用(如递归中传递同一个数组)

##### ref 模式 - 默认,先比地址再比内容

```rust
#[memo(key=r#ref)]  // 或 #[memo]
fn process(data: &[i32]) -> i32 {
    data.iter().sum()
}

// 示例:
let arr = vec![1, 2, 3];
process(&arr);  // 第1次:计算
process(&arr);  // 第2次:命中 ✓(相同地址,极快)

let arr2 = vec![1, 2, 3];  // 内容相同,地址不同
process(&arr2);  // 第3次:命中 ✓(地址不同,比较内容)

let arr3 = vec![4, 5, 6];  // 内容不同
process(&arr3);  // 第4次:重新计算(内容不同)
```

**工作原理**:
1. **相同地址** → 立即返回(最快)
2. **不同地址** → 比较内容,相同就命中

**何时使用**:大部分情况的最佳选择

##### val 模式 - 功能最完整,深度比较

```rust
#[memo(key=val)]
fn process(matrix: &[Vec<i32>]) -> i32 {
    matrix.iter().map(|row| row.iter().sum::<i32>()).sum()
}
```

**何时使用**:复杂嵌套类型,需要深度比较

##### 三种模式对比

| 模式 | 比较方式 | 相同地址 | 不同地址+相同内容 | 性能 | 适用场景 |
|------|---------|----------|------------------|------|---------|
| `ptr` | 地址+长度 | ⚡极快 | ❌不命中 | 最快 | 相同引用反复调用 |
| `ref` | 地址→内容 | ⚡快 | ✅命中 || 一般情况(推荐) |
| `val` | 深度比较 || ✅命中 || 复杂嵌套类型 |

### `memo_block!` - 智能缓存管理

`memo_block!` 解决了 `#[memo]` 的两个核心问题:

#### 问题 1:缓存永不清空导致内存泄漏

```rust
// 使用 #[memo]
#[memo]
fn compute(n: i32) -> i32 {
    // 复杂计算
    n * n * n
}

fn main() {
    // 调用 10000 次,每次不同的参数
    for i in 0..10000 {
        compute(i);  // 缓存不断增长!
    }
    // 问题:10000 个缓存条目永久占用内存 ❌
}
```

#### 问题 2:手动清空会破坏递归中的缓存

假设我们尝试在 `#[memo]` 上手动清空缓存:

```rust
// ❌ 错误的做法
#[memo]
fn fib(n: usize) -> usize {
    let result = fib_inner(n);
    clear_cache();  // 每次调用后清空
    result
}

// 问题:
fib(10)
  └─ fib(9)
       └─ fib(8) -> 清空缓存!
  └─ fib(8) -> 缓存已空,重新计算 ❌
```

**后果**:递归调用中,内层调用清空缓存后,外层调用无法使用缓存,失去了记忆化的意义。

#### 解决方案:`memo_block!` 的智能清理

`memo_block!` 实现了**智能的自动清理机制**:

```rust
memo_block! {
    fn fib(n: usize) -> usize {
        if n <= 1 { n } else { fib(n-1) + fib(n-2) }
    }
}

// 工作原理:
fib(10)  // 最外层调用
  ├─ fib(9)  // 内层调用,缓存保留 ✓
  │   ├─ fib(8)  // 缓存保留 ✓
  │   │   └─ ...
  │   └─ fib(7)  // 缓存命中 ✓
  └─ fib(8)  // 缓存命中 ✓
  // 最外层调用结束 -> 自动清空缓存 ✓

// 特点:
// - 递归过程中:缓存正常工作
// - 调用结束后:自动清空,释放内存
// - 调用次数:11 次(vs 不使用缓存的 177 次)
```

#### 何时使用 `memo_block!`

✅ **应该使用 `memo_block!`**:
- 单次调用中有大量递归(如动态规划)
- 参数范围很大,不需要跨调用缓存
- 需要控制内存使用
- 多个函数互相递归

❌ **不应该使用 `memo_block!`**:
- 需要长期保留缓存(跨多次调用)
- 参数经常重复,缓存命中率高

#### 为每个函数单独配置

`memo_block!` 中的每个函数都可以有自己的配置:

```rust
use mau::memo_block;

memo_block! {
    // 配置 1:使用 ptr 模式(最快)
    #[memo(key=ptr)]
    fn fast_calc(data: &[i32]) -> i32 {
        data.iter().sum()
    }
    
    // 配置 2:使用 ref 模式(默认,平衡)
    #[memo(key=r#ref)]
    fn balanced_calc(data: &[i32]) -> i32 {
        data.iter().product()
    }
    
    // 配置 3:多线程 + val 模式
    #[memo(thread=multi, key=val)]
    fn thread_safe_calc(data: &[Vec<i32>]) -> i32 {
        data.iter().map(|v| v.iter().sum::<i32>()).sum()
    }
    
    // 配置 4:不加属性,使用默认配置(thread=single, key=ref)
    fn default_calc(n: usize) -> usize {
        n * n
    }
}

// 语法规则:
// - 使用 #[memo(...)] 标记
// - 多个参数用逗号分隔:#[memo(thread=multi, key=ptr)]
// - ref 是关键字,需要写成 r#ref
// - 不加属性则使用默认配置
```

#### 基本使用示例

```rust
use mau::memo_block;

memo_block! {
    fn a(n: usize) -> usize {
        if n == 0 { 1 } else { a(n-1) + b(n-1) }
    }
    
    fn b(n: usize) -> usize {
        if n == 0 { 2 } else { b(n-1) + a(n-1) }
    }
}

fn main() {
    // 每次调用都自动清理
    a(10);  // 使用缓存优化 + 自动清理
    a(10);  // 重新计算 + 自动清理
    
    // 手动清理(可选)
    clear_a();
    clear_b();
}
```

#### `#[memo]` vs `memo_block!` 对比

| 特性 | `#[memo]` | `memo_block!` |
|------|-----------|---------------|
| **语法** | `#[memo] fn f() {}` | `memo_block! { fn f() {} }` |
| **缓存策略** | 永久保留 | 调用后自动清空 |
| **内存占用** | 持续增长 | 调用后释放 |
| **适用场景** | 参数经常重复,需要长期缓存 | 单次调用优化,控制内存 |
| **互相递归** | 需要分别标记每个函数 | 自动处理所有函数 |
| **性能** | 第2次调用极快(缓存命中) | 每次调用都重新计算 |
| **内存管理** | 手动管理(或不管理) | 自动清理 |

#### 实际场景对比

**场景 1:Web 服务器(需要长期缓存)**

```rust
// ✅ 使用 #[memo]
#[memo]
fn get_user_info(user_id: i32) -> UserInfo {
    // 数据库查询
    database.query(user_id)
}

// 原因:
// - 相同 user_id 会被多次查询
// - 缓存可以避免重复的数据库访问
// - 内存占用可控(用户数量有限)
```

**场景 2:动态规划算法(单次计算优化)**

```rust
// ✅ 使用 memo_block!
memo_block! {
    fn longest_path(graph: &[Vec<i32>], start: usize) -> i32 {
        // 复杂的递归计算
        ...
    }
}

fn solve_problem(graph: &[Vec<i32>]) {
    let result = longest_path(graph, 0);
    // 调用结束,缓存自动清空
    println!("结果: {}", result);
}

// 原因:
// - 每个问题实例只计算一次
// - 不需要跨调用保留缓存
// - 避免内存泄漏(图可能很大)
```

**场景 3:互相递归(memo_block! 的优势)**

```rust
// ❌ 使用 #[memo] 的问题
#[memo]
fn a(n: usize) -> usize {
    if n == 0 { 1 } else { a(n-1) + b(n-1) }
}

#[memo]
fn b(n: usize) -> usize {
    if n == 0 { 2 } else { b(n-1) + a(n-1) }
}

// 问题:需要分别标记,且缓存永不清空

// ✅ 使用 memo_block! 
memo_block! {
    fn a(n: usize) -> usize {
        if n == 0 { 1 } else { a(n-1) + b(n-1) }
    }
    
    fn b(n: usize) -> usize {
        if n == 0 { 2 } else { b(n-1) + a(n-1) }
    }
}

// 优势:
// - 一次性定义所有函数
// - 自动处理互相调用
// - 智能清理,避免内存泄漏
```

### 范围宏

高效的范围聚合操作。

#### 基本用法

```rust
use mau::{min, max, sum, and, or};

fn main() {
    let data = vec![3, 1, 4, 1, 5, 9, 2, 6];
    
    // 整个数组
    println!("最小值: {}", min!(data));  // 1
    println!("最大值: {}", max!(data));  // 9
    println!("总和: {}", sum!(data));    // 31
    
    // 部分范围
    println!("索引 2~5 的最小值: {}", min!(|i| data[i], 2..5));  // 1
    
    // 表达式
    println!("平方的最小值: {}", min!(|i| data[i] * data[i], 0..data.len()));  // 1
    
    // 布尔运算
    let all_positive = and!(|i| data[i] > 0, 0..data.len());
    println!("是否全部为正: {}", all_positive);  // true
}
```

#### 空迭代器处理

```rust
let empty: Vec<i32> = vec![];

// min! 返回类型的 MAX 值
println!("{}", min!(empty));  // i32::MAX = 2147483647

// max! 返回类型的 MIN 值
println!("{}", max!(empty));  // i32::MIN = -2147483648

// 不支持的类型会 panic
let empty_str: Vec<&str> = vec![];
// min!(empty_str);  // panic: "type does not have a MAX value"
```

**支持的类型**:
- ✅ 整数:`i8`~`i128``u8`~`u128``isize``usize`
- ✅ 浮点:`f32``f64`
- ✅ 字符:`char`
- ❌ 字符串等:运行时 panic

## 详细示例

### 动态规划:背包问题

```rust
use mau::memo_block;

memo_block! {
    #[memo(key=r#ref)]
    fn knapsack(weights: &[i32], values: &[i32], capacity: i32, n: usize) -> i32 {
        if n == 0 || capacity == 0 {
            return 0;
        }
        
        if weights[n - 1] > capacity {
            knapsack(weights, values, capacity, n - 1)
        } else {
            let include = values[n - 1] + 
                knapsack(weights, values, capacity - weights[n - 1], n - 1);
            let exclude = knapsack(weights, values, capacity, n - 1);
            include.max(exclude)
        }
    }
}

fn main() {
    let weights = vec![10, 20, 30];
    let values = vec![60, 100, 120];
    let capacity = 50;
    
    let result = knapsack(&weights, &values, capacity, weights.len());
    println!("最大价值: {}", result);  // 220
    // 调用结束,缓存自动清空,释放内存
}
```

### 多参数记忆化

```rust
use mau::memo;

#[memo(key=r#ref)]
fn edit_distance(s1: &String, s2: &String, m: usize, n: usize) -> usize {
    if m == 0 { return n; }
    if n == 0 { return m; }
    
    if s1.chars().nth(m - 1) == s2.chars().nth(n - 1) {
        edit_distance(s1, s2, m - 1, n - 1)
    } else {
        1 + [
            edit_distance(s1, s2, m - 1, n),
            edit_distance(s1, s2, m, n - 1),
            edit_distance(s1, s2, m - 1, n - 1),
        ].iter().min().unwrap()
    }
}

fn main() {
    let s1 = "kitten".to_string();
    let s2 = "sitting".to_string();
    let dist = edit_distance(&s1, &s2, s1.len(), s2.len());
    println!("编辑距离: {}", dist);  // 3
}
```

### 范围宏高级用法

#### 自定义归约

```rust
use mau::reduce;

fn main() {
    let data = vec![1, 2, 3, 4, 5];
    
    // 找最大值
    let max = reduce!(|i| data[i], 0..data.len(), |a, b| a.max(b));
    
    // 字符串连接
    let words = vec!["Hello", " ", "World"];
    let text = reduce!(
        |i| words[i].to_string(),
        0..words.len(),
        |a, b| a + &b
    );
    println!("{}", text);  // "Hello World"
}
```

#### 短路优化

```rust
use mau::{and, or};

fn expensive_check(x: i32) -> bool {
    println!("检查 {}", x);
    x > 0
}

fn main() {
    let data = vec![1, 2, -3, 4, 5];
    
    // and! 遇到第一个 false 就停止
    let all_positive = and!(|i| expensive_check(data[i]), 0..data.len());
    // 输出:
    // 检查 1
    // 检查 2  
    // 检查 -3  <- 停止,不再检查后续元素
    
    println!("全部为正: {}", all_positive);  // false
}
```

## 性能数据

### 记忆化性能提升

| 算法 | 规模 | 不使用 memo | 使用 memo | 提升倍数 |
|------|------|-------------|-----------|---------|
| Fibonacci | n=30 | 10 ms | 0.01 ms | 1,000x |
| Fibonacci | n=40 | 1000 ms | 0.01 ms | 100,000x |
| Fibonacci | n=50 | >60秒 | 0.01 ms | >6,000,000x |
| LCS | 长度50 | 10秒 | 0.1秒 | 100x |
| 背包问题 | 50项 | 5秒 | 0.05秒 | 100x |

### 键模式性能对比

测试:10,000 次调用,缓存已预热

| 模式 | 时间 | 相对性能 |
|------|------|---------|
| `ptr` | 1.2 ms | 100% |
| `ref` | 1.5 ms | 80% |
| `val` | 3.4 ms | 35% |

## 使用建议

### 何时使用记忆化

✅ **应该使用**:
- 递归函数有重复子问题
- 动态规划算法
- 计算代价高但参数经常重复
- 纯函数(无副作用)

❌ **不应该使用**:
- 函数有副作用(I/O、打印等)
- 参数几乎不重复
- 计算非常简单

### 键模式选择策略

```rust
// 场景1:递归中传递同一个引用
#[memo(key=ptr)]
fn recursive(data: &[i32], index: usize) -> i32 {
    if index >= data.len() { return 0; }
    data[index] + recursive(data, index + 1)  // 同一个 data
}

// 场景2:不同调用但参数可能相同(推荐,默认)
#[memo(key=r#ref)]
fn process(data: &[i32]) -> i32 {
    data.iter().sum()
}

// 场景3:复杂嵌套类型
#[memo(key=val)]
fn matrix_calc(matrix: &[Vec<Vec<i32>>]) -> i32 {
    // 深度比较
    0
}
```

### `#[memo]` vs `memo_block!` 选择

**使用 `#[memo]` 的场景**:

```rust
// 配置计算:参数有限,会重复调用
#[memo]
fn parse_config(key: String) -> Config {
    // 解析配置
}

// 数据转换:同样的输入会多次出现
#[memo]
fn transform_data(input: Vec<i32>) -> Vec<String> {
    // 转换数据
}
```

**使用 `memo_block!` 的场景**:

```rust
// 动态规划:参数范围大,单次优化
memo_block! {
    fn solve_dp(state: Vec<i32>, step: usize) -> i32 {
        // DP 计算
    }
}

// 递归算法:需要内存控制
memo_block! {
    fn dfs(graph: &[Vec<i32>], node: usize, visited: Vec<bool>) -> i32 {
        // 深度优先搜索
    }
}
```

## 注意事项

### 1. 避免副作用

```rust
// ❌ 错误:有副作用
#[memo]
fn bad_example(n: i32) -> i32 {
    println!("计算 {}", n);  // 缓存命中时不会打印!
    n * 2
}

// ✅ 正确:纯函数
#[memo]
fn good_example(n: i32) -> i32 {
    n * 2
}
```

### 2. 参数设计

```rust
// ❌ 错误:无关参数导致缓存失效
#[memo]
fn bad_design(n: i32, timestamp: u64) -> i32 {
    n * 2  // timestamp 不影响结果,但会导致缓存失效
}

// ✅ 正确:只包含必要参数
#[memo]
fn good_design(n: i32) -> i32 {
    n * 2
}
```

### 3. 内存监控

```rust
// ⚠️ 如果参数范围很大,使用 memo_block!
memo_block! {
    fn compute(n: i32) -> i32 {
        n * n * n
    }
}

// 而不是 #[memo](会一直占用内存)
```

### 4. f64 类型处理

```rust
// ❌ f64 不实现 Hash 和 Eq
// #[memo]
// fn calc(x: f64) -> f64 { x * x }  // 编译错误

// ✅ 使用引用(自动转换为 u64)
#[memo(key=r#ref)]
fn calc(x: &f64) -> f64 { x * x }

// ✅ 或使用 val 模式
#[memo(key=val)]
fn calc_array(data: &[f64]) -> f64 {
    data.iter().sum()
}
```

## 完整示例:组合使用

```rust
use mau::{memo, memo_block, min, max, sum};

// 长期缓存:配置解析
#[memo]
fn parse_config(path: String) -> Config {
    // 读取配置文件(缓存结果)
}

// 临时缓存:动态规划
memo_block! {
    #[memo(key=r#ref)]
    fn longest_increasing_subsequence(arr: &[i32], i: usize) -> usize {
        if i == 0 { return 1; }
        
        let mut max_len = 1;
        for j in 0..i {
            if arr[j] < arr[i] {
                max_len = max_len.max(1 + longest_increasing_subsequence(arr, j));
            }
        }
        max_len
    }
}

fn main() {
    // 长期缓存
    let config = parse_config("config.toml".to_string());
    
    // 临时缓存
    let data = vec![10, 9, 2, 5, 3, 7, 101, 18];
    let result = (0..data.len())
        .map(|i| longest_increasing_subsequence(&data, i))
        .max()
        .unwrap();
    println!("最长递增子序列长度: {}", result);
    
    // 范围宏
    let min_val = min!(data);
    let max_val = max!(data);
    let sum_val = sum!(data);
    println!("最小: {}, 最大: {}, 总和: {}", min_val, max_val, sum_val);
}
```

## 参数速查表

### `#[memo]` 参数

```rust
#[memo]                              // 默认:thread=single, key=ref
#[memo(thread=single, key=r#ref)]   // 命名参数
#[memo(thread=multi, key=ptr)]      // 多线程 + 地址键
#[memo(key=val)]                    // 只指定 key
```

### `memo_block!` 参数

```rust
memo_block! {
    #[memo(key=ptr)]               // 每个函数独立配置
    fn a() { ... }
    
    #[memo(thread=multi, key=val)] // 多个属性用逗号
    fn b() { ... }
    
    fn c() { ... }                 // 使用默认配置
}
```

### 范围宏语法

```rust
min!(1, 2, 3)                      // 多参数
min!(array)                        // 整个数组
min!(|i| array[i], 0..10)         // 范围表达式
min!(|i| array[i] * 2, 0..=9)     // 包含范围

reduce!(|i| data[i], 0..n, |a, b| a.max(b))  // 自定义归约
```

## 常见问题

### Q1: 为什么需要 `memo_block!`

**A**: 解决两个核心问题:
1. **内存泄漏**`#[memo]` 缓存永不清空
2. **清理时机**:简单清空会破坏递归中的缓存

`memo_block!` 通过深度跟踪机制,在最外层调用结束后清空缓存,保证递归过程中缓存正常工作。

### Q2: ref 模式比 ptr 慢多少?

**A**: 在缓存已预热的情况下,`ref` 模式约为 `ptr` 模式的 80% 性能。但 `ref` 模式功能更强(内容相同就命中),是大多数情况的最佳选择。

### Q3: 空迭代器为什么返回边界值?

**A**: 符合数学定义:
- `min(空集) = +∞` → 返回 `MAX`
- `max(空集) = -∞` → 返回 `MIN`

这样可以避免 panic,提供更好的默认行为。

### Q4: 如何处理 f64 类型?

**A**: 使用引用参数,宏会自动转换:

```rust
#[memo(key=r#ref)]
fn calc(x: &f64) -> f64 {
    x * x
}

#[memo(key=r#ref)]
fn sum_floats(data: &[f64]) -> f64 {
    data.iter().sum()
}
```

### Q5: memo_block! 每次都重新计算吗?

**A**: 
- **单次调用内**:缓存正常工作,避免重复计算 ✓
- **调用结束后**:自动清空,释放内存 ✓
- **下次调用**:重新计算,但仍然使用缓存优化 ✓

例如:
```rust
fib(10);  // 计算 11 次(vs 不使用 177 次)✓
fib(10);  // 再次计算 11 次(vs 不使用 177 次)✓
```

## 性能对比示例

### Fibonacci 性能测试

```rust
use mau::memo;
use std::time::Instant;

#[memo]
fn fib_memo(n: usize) -> usize {
    if n <= 1 { n } else { fib_memo(n-1) + fib_memo(n-2) }
}

fn fib_no_memo(n: usize) -> usize {
    if n <= 1 { n } else { fib_no_memo(n-1) + fib_no_memo(n-2) }
}

fn main() {
    // 测试 n=40
    let start = Instant::now();
    let result = fib_no_memo(40);
    let time_no_memo = start.elapsed();
    
    let start = Instant::now();
    let result_memo = fib_memo(40);
    let time_memo = start.elapsed();
    
    println!("不使用 memo: {:?}", time_no_memo);  // ~1 秒
    println!("使用 memo: {:?}", time_memo);       // ~0.01 毫秒
    println!("性能提升: {}x", time_no_memo.as_micros() / time_memo.as_micros());
}
```

## 最佳实践总结

1. **默认使用 `ref` 模式**:最佳的性能/功能平衡
2. **单次计算用 `memo_block!`**:自动清理,避免内存泄漏
3. **长期缓存用 `#[memo]`**:跨调用保留,提升性能
4. **递归传递相同引用用 `ptr`**:最快
5. **复杂类型用 `val`**:功能最完整
6. **避免副作用**:只在纯函数上使用
7. **监控内存**:参数范围大时使用 `memo_block!`

## 更新日志

### v0.1.7
- `ref` 模式:先比地址,再比内容(最佳平衡)
- ✅ 参数重命名:`thread_mode``thread``index_mode``key`
- ✅ 键模式重命名:`light``ptr``normal``ref``heavy``val`
- ✅ 线程模式重命名:`local``single`
-`ptr` 模式改进:使用 (地址, 长度) 作为键
-`min!`/`max!` 空迭代器返回边界值
-`memo_block!` 支持每个函数独立配置
- ✅ 支持命名参数语法:`key=value`
- ✅ RefKey 自定义类型:统一处理所有 `&T`

## 许可证

MIT 或 Apache-2.0 双许可证。