diff --git a/src/pattern-match/match-iflet.md b/src/pattern-match/match-iflet.md
index 82426db..737f8ce 100644
--- a/src/pattern-match/match-iflet.md
+++ b/src/pattern-match/match-iflet.md
@@ -32,8 +32,8 @@ fn main() {
 
     // fill the blank with an match expression:
     //
-    // boolean = true, binary = 1
-    // boolean = false, binary = 0
+    // boolean = true => binary = 1
+    // boolean = false =>  binary = 0
     let binary = __;
 
     assert_eq!(binary, 1);
@@ -116,4 +116,80 @@ fn main() {
 }
 ```
 
-### if let
\ No newline at end of file
+### if let
+For some cases, when matching enums, `match` is too heavy, we can use `if let` instead.
+
+🌟 
+```rust,editable
+
+fn main() {
+    let o = Some(7);
+
+    // remove the whole `match` block, using `if let` instead 
+    match o {
+        Some(i) => {
+            println!("This is a really long string and `{:?}`", i);
+        }
+        _ => {}
+    };
+}
+```
+
+🌟🌟
+```rust,editable
+
+// fill in the blank
+enum Foo {
+    Bar(u8)
+}
+
+fn main() {
+    let a = Foo::Bar(1);
+
+    __ {
+        println!("foobar holds the value: {}", i);
+    }
+}
+```
+
+🌟🌟
+```rust,editable
+
+enum Foo {
+    Bar,
+    Baz,
+    Qux(u32)
+}
+
+fn main() {
+    let a = Foo::Qux(10);
+
+    // remove the codes below, using `match` instead 
+    if let Foo::Bar = a {
+        println!("matches foo::bar")
+    } else if let Foo::Baz = a {
+        println!("matches foo::baz")
+    } else {
+        println!("matches others")
+    }
+}
+```
+
+### Shadowing
+🌟🌟
+```rust,editable
+
+// fix the errors in-place
+fn main() {
+    let age = Some(30);
+    if let Some(age) = age { // create a new variable with the same name as previous `age`
+       assert_eq!(age, Some(30));
+    } // the new variable `age` goes out of scope here
+    
+    match age {
+        // match can also introduce a new shadowed variable
+        Some(age) =>  println!("age is a new variable, it's value is {}",age),
+        _ => ()
+    }
+ }
+ ```
diff --git a/zh-CN/src/pattern-match/match-iflet.md b/zh-CN/src/pattern-match/match-iflet.md
index 18eed0e..33d0a29 100644
--- a/zh-CN/src/pattern-match/match-iflet.md
+++ b/zh-CN/src/pattern-match/match-iflet.md
@@ -1 +1,195 @@
-# match, if let
+# match, matches! 和 if let
+
+### match
+🌟🌟
+```rust,editable
+
+// 填空
+enum Direction {
+    East,
+    West,
+    North,
+    South,
+}
+
+fn main() {
+    let dire = Direction::South;
+    match dire {
+        Direction::East => println!("East"),
+        __  => { // 在这里匹配 South 或 North
+            println!("South or North");
+        },
+        _ => println!(__),
+    };
+}
+```
+
+🌟🌟 `match` 是一个表达式，因此可以用在赋值语句中
+```rust,editable
+
+fn main() {
+    let boolean = true;
+
+    // 使用 match 表达式填空，并满足以下条件
+    //
+    // boolean = true => binary = 1
+    // boolean = false => binary = 0
+    let binary = __;
+
+    assert_eq!(binary, 1);
+}
+```
+
+🌟🌟 使用 match 匹配出枚举成员持有的值
+```rust,editable
+
+// 填空
+enum Message {
+    Quit,
+    Move { x: i32, y: i32 },
+    Write(String),
+    ChangeColor(i32, i32, i32),
+}
+
+fn main() {
+    let msgs = [
+        Message::Quit,
+        Message::Move{x:1, y:3},
+        Message::ChangeColor(255,255,0)
+    ];
+
+    for msg in msgs {
+        show_message(msg)
+    }
+} 
+
+fn show_message(msg: Message) {
+    match msg {
+        __ => { // 这里匹配 Message::Move
+            assert_eq!(a, 1);
+            assert_eq!(b, 3);
+        },
+        Message::ChangeColor(_, g, b) => {
+            assert_eq!(g, __);
+            assert_eq!(b, __);
+        }
+        __ => println!("no data in these variants")
+    }
+}
+```
+
+### matches!
+[`matches!`](https://doc.rust-lang.org/stable/core/macro.matches.html) 看起来像 `match`, 但是它可以做一些特别的事情
+
+🌟🌟
+```rust,editable
+
+fn main() {
+    let alphabets = ['a', 'E', 'Z', '0', 'x', '9' , 'Y'];
+
+    // 使用 `matches` 填空
+    for ab in alphabets {
+        assert!(__)
+    }
+} 
+```
+
+🌟🌟
+```rust,editable
+
+enum MyEnum {
+    Foo,
+    Bar
+}
+
+fn main() {
+    let mut count = 0;
+
+    let v = vec![MyEnum::Foo,MyEnum::Bar,MyEnum::Foo];
+    for e in v {
+        if e == MyEnum::Foo { // 修复错误，只能修改本行代码
+            count += 1;
+        }
+    }
+
+    assert_eq!(count, 2);
+}
+```
+
+### if let
+在有些时候, 使用 `match` 匹配枚举有些太重了，此时 `if let` 就非常适合.
+
+🌟 
+```rust,editable
+
+fn main() {
+    let o = Some(7);
+
+    // 移除整个 `match` 语句块，使用 `if let` 替代
+    match o {
+        Some(i) => {
+            println!("This is a really long string and `{:?}`", i);
+        }
+        _ => {}
+    };
+}
+```
+
+🌟🌟
+```rust,editable
+
+// 填空
+enum Foo {
+    Bar(u8)
+}
+
+fn main() {
+    let a = Foo::Bar(1);
+
+    __ {
+        println!("foobar 持有的值是: {}", i);
+    }
+}
+```
+
+🌟🌟
+```rust,editable
+
+enum Foo {
+    Bar,
+    Baz,
+    Qux(u32)
+}
+
+fn main() {
+    let a = Foo::Qux(10);
+
+    // 移除以下代码，使用 `match` 代替
+    if let Foo::Bar = a {
+        println!("matches foo::bar")
+    } else if let Foo::Baz = a {
+        println!("matches foo::baz")
+    } else {
+        println!("matches others")
+    }
+}
+```
+
+### 变量遮蔽( Shadowing )
+🌟🌟
+```rust,editable
+
+// 就地修复错误
+fn main() {
+    let age = Some(30);
+    if let Some(age) = age { // 创建一个新的变量，该变量与之前的 `age` 变量同名
+       assert_eq!(age, Some(30));
+    } // 新的 `age` 变量在这里超出作用域
+    
+    match age {
+        // `match` 也能实现变量遮蔽
+        Some(age) =>  println!("age 是一个新的变量，它的值是 {}",age),
+        _ => ()
+    }
+ }
+ ```