C# 有没有 Rust 和 Lisp 那样, if/match 能直接求值,像三目运算符一样的功能? - V2EX
V2EX = way to explore
V2EX 是一个关于分享和探索的地方
现在注册
已注册用户请  登录
LaTero
V2EX    C#

C# 有没有 Rust 和 Lisp 那样, if/match 能直接求值,像三目运算符一样的功能?

  •  
  •   LaTero 2023-07-02 19:25:53 +08:00 2145 次点击
    这是一个创建于 830 天前的主题,其中的信息可能已经有所发展或是发生改变。

    最近 Unity DOTS 进入 LTS 了,想试一试,平时 C#用得少,全凭 IDE 硬写,初始化常量遇到了这样的问题,如 Rust 中:

    let a = if <slow operation A> { 1 } else if <slow operation B> { 2 } else { 3 }; 

    (注:Rust 不带mut默认是常量)

    没有这个功能的话,a 就得声明成 mutable ,然后在条件分支里面改,或者用一长串?:?:。 用 C++的时候是用一个临时的 lambda ,在条件里 return 。

    const int i = [&]() { if (<slow operation A>) return 1; else if (<slow operation A>) return 2; else return 3; }(); 

    看 V 站经常有人说 C#功能大杂烩,有没有好一点的办法?

    5 条回复    2023-07-02 19:57:48 +08:00
    liuliuliuliu
        1
    liuliuliuliu  
    PRO
       2023-07-02 19:35:21 +08:00
    没有 if 赋值这样,但是你可以模式匹配,觉得如何?

    var tempInFahrenheit = 10;
    var tempText = tempInFahrenheit switch
    {
    (> 32) and (< 212) => "liquid",
    < 32 => "solid",
    > 212 => "gas",
    32 => "solid/liquid transition",
    212 => "liquid / gas transition",
    };
    geelaw
        2
    geelaw  
       2023-07-02 19:35:42 +08:00 via iPhone
    需要 if 而不是 ?: 的本质原因应该是计算 true/false 分支必须用多条语句完成,而不是条件的快慢。

    C# 里也可以用匿名委托、lambda 表达式像 C++ 那样实现复杂初始化 readonly 局部变量,但性能堪忧。
    LaTero
        4
    LaTero  
    OP
       2023-07-02 19:48:43 +08:00
    @nikenidage1
    @geelaw
    谢谢,用 pattern matching 大部分时候是可以的,但是假如两个函数 f(), g()都很慢,用 if else 可以短路,pattern matching 的话似乎必须要都求值然后放进 tuple 里才能 match. 不过好像也可以用 case guard,
    ```
    0 switch
    {
    0 when f() => 1,
    0 when g() => 2,
    _ => 3,
    };
    ```
    虽然有点丑。
    LaTero
        5
    LaTero  
    OP
       2023-07-02 19:57:48 +08:00 via Android
    @nikenidage1 想了一下,可以反向匹配,用 true 去匹配 f()和 g(),不知道有没有短路求值的效果。
    关于     帮助文档     自助推广系统     博客     API     FAQ     Solana     861 人在线   最高记录 6679       Select Language
    创意工作者们的社区
    World is powered by solitude
    VERSION: 3.9.8.5 25ms UTC 21:43 PVG 05:43 LAX 14:43 JFK 17:43
    Do have faith in what you're doing.
    ubao snddm index pchome yahoo rakuten mypaper meadowduck bidyahoo youbao zxmzxm asda bnvcg cvbfg dfscv mmhjk xxddc yybgb zznbn ccubao uaitu acv GXCV ET GDG YH FG BCVB FJFH CBRE CBC GDG ET54 WRWR RWER WREW WRWER RWER SDG EW SF DSFSF fbbs ubao fhd dfg ewr dg df ewwr ewwr et ruyut utut dfg fgd gdfgt etg dfgt dfgd ert4 gd fgg wr 235 wer3 we vsdf sdf gdf ert xcv sdf rwer hfd dfg cvb rwf afb dfh jgh bmn lgh rty gfds cxv xcv xcs vdas fdf fgd cv sdf tert sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf sdf shasha9178 shasha9178 shasha9178 shasha9178 shasha9178 liflif2 liflif2 liflif2 liflif2 liflif2 liblib3 liblib3 liblib3 liblib3 liblib3 zhazha444 zhazha444 zhazha444 zhazha444 zhazha444 dende5 dende denden denden2 denden21 fenfen9 fenf619 fen619 fenfe9 fe619 sdf sdf sdf sdf sdf zhazh90 zhazh0 zhaa50 zha90 zh590 zho zhoz zhozh zhozho zhozho2 lislis lls95 lili95 lils5 liss9 sdf0ty987 sdft876 sdft9876 sdf09876 sd0t9876 sdf0ty98 sdf0976 sdf0ty986 sdf0ty96 sdf0t76 sdf0876 df0ty98 sf0t876 sd0ty76 sdy76 sdf76 sdf0t76 sdf0ty9 sdf0ty98 sdf0ty987 sdf0ty98 sdf6676 sdf876 sd876 sd876 sdf6 sdf6 sdf9876 sdf0t sdf06 sdf0ty9776 sdf0ty9776 sdf0ty76 sdf8876 sdf0t sd6 sdf06 s688876 sd688 sdf86