可以看这篇：https://kaisery.github.io/trpl-zh-cn/ch06-02-match.html

match里面的Some(x)是从枚举变量中提取值，将Some中的值绑定到x上，不是进行判断，类似let Some(x) = tmp;

Some(x),只是在tmp为some类型时用x取到tmp里面的值，不能用于判断x是否等于某个外部值，想实现可以用下面的写法，在some语句后跟着判断。

--
👇
swardsman: match内部的Some()是一个求值语句，但是为什么t.0不能在Some()里面求出值呢？

--
👇
c5soft: 还可以这样写:

fn test_tuple_in_match3((t,_):TestTuple, v: i32) -> bool {
    match make_some(v) {
        Some(v) =>  t == v,
        None => false, //返回false
    }
}

不要把rust的match当成c语言的switch来看待，二者没有对等关系，rust的match强大太多

还可以这样写：

fn test_tuple_in_match(t: TestTuple, v: i32) -> bool {
    let tmp = make_some(v); 
    match tmp {
        Some(v) if v==t.0 => true,
        _ => false, 
    }
}

与C语言的switch/case找齐了

可以这样理解

--
👇
cyh0: match Option时，Some(x)里的x,相当于函数里的形式参数吧

match Option时，Some(x)里的x,相当于函数里的形式参数吧

在match内部的Some(x)是在匹配的时候对x赋值，放t.0就是要把tmp的结果放到t.0中去了，发生了语法错误。再看看下面的代码，可以帮助理解match是如何赋值的：

fn test_tuple_in_match5(t: TestTuple, v: i32) -> bool {
    let tmp = make_some(v); 
    match (tmp,t) {
        (Some(v),(t,_)) => t == v,
        _ => false, 
    }
}

这次发生两次赋值:

let Some(v)=tmp; 
let(t,_)=t;

match内部的Some()是一个求值语句，但是为什么t.0不能在Some()里面求出值呢？

--
👇
c5soft: 还可以这样写:

fn test_tuple_in_match3((t,_):TestTuple, v: i32) -> bool {
    match make_some(v) {
        Some(v) =>  t == v,
        None => false, //返回false
    }
}

不要把rust的match当成c语言的switch来看待，二者没有对等关系，rust的match强大太多

match一个Option表达式，只能有Some与None两种结果，不可能再有第三种结果

看一下这段代码，就能理解match是如何工作的了， match内部Some(a)是一个求值语句，不是c语言的case语句：

fn test_tuple_in_match4(t : TestTuple, v: i32) -> bool {
    let tmp = make_some(v); // 返回Some(v)
    let a = t.0;
    println!("before match a={}",a);
    match tmp {
        Some(a) => {
            println!("Som(a) a={}",a);
            a==t.0
        }
        None => false, 
    }
}

fn main() {
  println!("{}", test_tuple_in_match4((2, 2), 1));
  println!("{}", test_tuple_in_match4((1, 2), 1));
}

还可以这样写:

fn test_tuple_in_match3((t,_):TestTuple, v: i32) -> bool {
    match make_some(v) {
        Some(v) =>  t == v,
        None => false, //返回false
    }
}

不要把rust的match当成c语言的switch来看待，二者没有对等关系，rust的match强大太多

重点不是tmp什么类型，重点是为什么Some(node.0)里面的node.0这种形式为什么不行？

--
👇
c5soft: ``` tmp的类型是Option, 不是Option<(i32,i32)>，改成这样就能编译：

fn test_tuple_in_match(t: TestTuple, v: i32) -> bool { let tmp = make_some(v); // 返回Some(v) match tmp { Some(v) => t.0 == v, None => false, //返回false } }

是的，这样写是可以的，但毕竟不能直接用tuple.0这种形式。我有时间了去提一下。

--
👇
Cupnfish: ```rust fn test_tuple_in_match(t : TestTuple, v: i32) -> bool { let tmp = make_some(v); // 返回Some(v) let a = t.0; match tmp { Some(a) => true, //相等返回true None => false, //返回false _ => false //不相等返回false } }

是的，这样写是可以的，但毕竟不能直接用tuple.0这种形式。我有时间了去提一下。

--
👇
Cupnfish: ```rust fn test_tuple_in_match(t : TestTuple, v: i32) -> bool { let tmp = make_some(v); // 返回Some(v) let a = t.0; match tmp { Some(a) => true, //相等返回true None => false, //返回false _ => false //不相等返回false } }

还可以这样写：

fn test_tuple_in_match2(t: TestTuple, v: i32) -> bool {
    make_some(v).map(|x|x==t.0).unwrap_or(false)
}

tmp的类型是Option<i32>, 不是Option<(i32,i32)>，改成这样就能编译：

fn test_tuple_in_match(t: TestTuple, v: i32) -> bool {
    let tmp = make_some(v); // 返回Some(v)
    match tmp {
        Some(v) =>  t.0 == v,
        None => false, //返回false
    }
}

这里应该是出bug了，毕竟和预期的不同，可以的话去github下rustlang的issue提一下

fn test_tuple_in_match(t : TestTuple, v: i32) -> bool {
    let tmp = make_some(v); // 返回Some(v)
    let a = t.0;
    match tmp {
        Some(a) => true,  //相等返回true
        None => false, //返回false
        _ => false //不相等返回false
    }
}