草庐IT

c# - 这个开关/模式匹配的想法有什么好处吗？

coder 2023-07-07 原文

我最近一直在研究 F#，虽然我不太可能很快跨过这道篱笆，但它肯定突出了 C#(或库支持)可以让生活更轻松的一些领域。

特别是，我正在考虑 F# 的模式匹配功能，它允许非常丰富的语法 - 比当前的开关/条件 C# 等价物更具表现力。我不会尝试给出一个直接的例子(我的 F# 不适合它)，但简而言之，它允许:

  • 按类型匹配(对可区分的联合进行全覆盖检查)[注意这也推断绑定(bind)变量的类型，提供成员访问等]
  • 谓词匹配
  • 上述的组合(可能还有一些我不知道的其他场景)

虽然 C# 最终借用 [咳咳] 一些这种丰富的东西会很可爱，但在此期间我一直在研究可以在运行时完成什么 - 例如，将一些对象组合在一起相当容易允许:

var getRentPrice = new Switch<Vehicle, int>()
        .Case<Motorcycle>(bike => 100 + bike.Cylinders * 10) // "bike" here is typed as Motorcycle
        .Case<Bicycle>(30) // returns a constant
        .Case<Car>(car => car.EngineType == EngineType.Diesel, car => 220 + car.Doors * 20)
        .Case<Car>(car => car.EngineType == EngineType.Gasoline, car => 200 + car.Doors * 20)
        .ElseThrow(); // or could use a Default(...) terminator

其中 getRentPrice 是一个 Func。

[注意——也许这里的 Switch/Case 是错误的术语……但它展示了这个想法]

对我来说，这比使用重复 if/else 或复合三元条件(对于非平凡表达式变得非常困惑 - 大量括号)的等价物要清楚得多。它还避免了很多转换，并允许简单扩展(直接或通过扩展方法)到更具体的匹配，例如与 VB Select 相当的 InRange(...) 匹配。 ..案例“x 到 y”用法。

我只是想衡量人们是否认为上述结构有很多好处(在没有语言支持的情况下)？

另外请注意，我一直在玩上面的 3 个变体:

  • 用于评估的 Func 版本 - 与复合三元条件语句相当
  • 一个 Action 版本——相当于 if/else if/else if/else if/else
  • Expression<>> 版本 - 作为第一个，但可由任意 LINQ 提供程序使用

此外，使用基于表达式的版本可以重写表达式树，本质上是将所有分支内联到一个复合条件表达式中，而不是使用重复调用。我最近没有检查过，但在一些早期的 Entity Framework 构建中，我似乎记得这是必要的，因为它不太喜欢 InvocationExpression。它还允许更有效地使用 LINQ-to-Objects，因为它避免了重复的委托(delegate)调用 - 测试显示与等效的 C# 相比，与上面的匹配(使用表达式形式)以相同的速度执行 [实际上稍微快一点]复合条件语句。为了完整起见，基于 Func<...> 的版本花费的时间是 C# 条件语句的 4 倍，但速度仍然非常快，在大多数用例中不太可能成为主要瓶颈。

我欢迎任何关于上述内容的想法/意见/批评/等(或关于更丰富的 C# 语言支持的可能性......希望如此 ;-p)。

最佳答案

在尝试用 C# 做这些“功能性”的事情之后(甚至尝试写一本书)，我得出的结论是，除了少数异常(exception)，这些事情并没有多大帮助。

主要原因是 F# 等语言从真正支持这些功能中获得了很大的力量。不是“你能做到”，而是“这很简单，很清楚，这是预期的”。

例如，在模式匹配中，编译器会告诉您是否存在不完全匹配，或者何时永远不会匹配到另一个匹配项。这对于开放式类型不太有用，但在匹配可区分的联合或元组时，它非常漂亮。在 F# 中，您希望人们进行模式匹配，这立即变得有意义。

“问题”在于，一旦你开始使用一些函数式概念，就很自然地想要继续下去。但是，在 C# 中利用元组、函数、部分方法应用程序和柯里化(Currying)、模式匹配、嵌套函数、泛型、monad 支持等很快就会变得非常丑陋。它很有趣，一些非常聪明的人用 C# 做了一些非常酷的事情，但实际上使用它感觉很沉重。

我最终在 C# 中经常(跨项目)使用的内容:

  • 序列函数，通过 IEnumerable 的扩展方法。 ForEach 或 Process(“应用”？-- 对枚举的序列项执行操作)之类的东西很适合，因为 C# 语法支持它。
  • 抽象出常见的语句模式。复杂的 try/catch/finally block 或其他涉及的(通常非常通用的)代码块。扩展 LINQ-to-SQL 也适用于此。
  • 元组，在某种程度上。

** 但请注意:缺乏自动泛化和类型推断确实阻碍了这些功能的使用。 **

正如其他人所提到的，所有这一切都说明了，在一个小团队中，为了特定目的，是的，如果您坚持使用 C#，他们也许可以提供帮助。但根据我的经验，他们通常觉得麻烦多于他们的值(value) - YMMV。

其他一些链接:

关于c# - 这个开关/模式匹配的想法有什么好处吗？，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/156467/

c#这个的liswitch-statement

有关c# - 这个开关/模式匹配的想法有什么好处吗？的更多相关文章

  1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法？ - 2

    类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

  2. ruby-on-rails - Rails - 子类化模型的设计模式是什么？ - 2

    我有一个模型:classItem项目有一个属性“商店”基于存储的值，我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式？如果方法中没有大的if-else语句，这是如何干净利落地完成的？ 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么？，我们在StackOverflow上找到一个类似的问题： https://stackoverflow.co

  3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们？ - 2

    我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

  4. ruby - 解析 RDFa、微数据等的最佳方式是什么，使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

    我主要使用Ruby来执行此操作，但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式，例如使用这个yaml文件，它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

  5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996？但是 4.2%2==0.2 - 2

    为什么4.1%2返回0.0999999999999996？但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意，这不是与Ruby相关的问题，而是与所有编程语言相关的问题，因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

  6. ruby - 如何在续集中重新加载表模式？ - 2

    鉴于我有以下迁移:Sequel.migrationdoupdoalter_table:usersdoadd_column:is_admin,:default=>falseend#SequelrunsaDESCRIBEtablestatement,whenthemodelisloaded.#Atthispoint,itdoesnotknowthatusershaveais_adminflag.#Soitfails.@user=User.find(:email=>"admin@fancy-startup.example")@user.is_admin=true@user.save!ende

  7. ruby 正则表达式 - 如何替换字符串中匹配项的第 n 个实例 - 2

    在我的应用程序中，我需要能够找到所有数字子字符串，然后扫描每个子字符串，找到第一个匹配范围(例如5到15之间)的子字符串，并将该实例替换为另一个字符串“X”。我的测试字符串s="1foo100bar10gee1"我的初始模式是1个或多个数字的任何字符串，例如，re=Regexp.new(/\d+/)matches=s.scan(re)给出["1","100","10","1"]如果我想用“X”替换第N个匹配项，并且只替换第N个匹配项，我该怎么做？例如，如果我想替换第三个匹配项“10”(匹配项[2])，我不能只说s[matches[2]]="X"因为它做了两次替换“1fooX0barXg

  8. ruby - 匹配未转义的平衡定界符对 - 2

    如何匹配未被反斜杠转义的平衡定界符对(其本身未被反斜杠转义)(无需考虑嵌套)？例如对于反引号，我试过了，但是转义的反引号没有像转义那样工作。regex=/(?!$1:"how\\"#expected"how\\`are"上面的正则表达式不考虑由反斜杠转义并位于反引号前面的反斜杠，但我愿意考虑。StackOverflow如何做到这一点？这样做的目的并不复杂。我有文档文本，其中包括内联代码的反引号，就像StackOverflow一样，我想在HTML文件中显示它，内联代码用一些spanMaterial装饰。不会有嵌套，但转义反引号或转义反斜杠可能出现在任何地方。

  9. ruby - ruby 中的 TOPLEVEL_BINDING 是什么？ - 2

    它不等于主线程的binding，这个toplevel作用域是什么？此作用域与主线程中的binding有何不同？>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是，TOPLEVEL_BINDING始终引用Binding的预定义全局实例，而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层，它们都包含相同的绑定(bind)，但它们不是同一个对象，您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

  10. ruby - Infinity 和 NaN 的类型是什么？ - 2

    我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN？它们是对象、关键字还是其他东西？ 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

随机推荐