F＃区分联合与C＃类层次结构

Question

我有以下代码：

public abstract class A ...
public class B : A ...
public class C : A ...

void my_fct(A x) {
  if (x is B) { block_1 }
  else if (x is C) { block_2 }
  else { block_3 }
}

我想知道它是否是来自F＃的好翻译

type a = B | C
let my_fct x =
  match x with
  | B -> ( block_1 )
  | C -> ( block_2 )
  | _ -> ( block_3 )

...

Answer 1

F＃区分联合对应于OO类层次结构非常接近，因此这可能是最佳选择。最显着的区别是，您无法在不修改类型声明的情况下将新案例添加到区分联合。另一方面，您可以轻松添加与该类型一起使用的新函数（这大致对应于在C＃中添加新的虚拟方法）。

因此，如果您不希望添加新的继承类（case），那么这是最佳选择。否则，您可以使用F＃对象类型（或其他选项，具体取决于方案）。

关于您的代码还有一点 - 由于您无法添加新案例，F＃编译器知道您需要的唯一案例是B和C。因此，block_3永远不会被执行，这意味着你可以只写：

let my_fct x = 
  match x with 
  | B -> ( block_1 ) 
  | C -> ( block_2 ) 

Answer 2

是的，无论如何，这或多或少与F＃相同。 在这种情况下（没有添加任何值） - F＃似乎将其转换为“a”和一些标签（枚举）的类。 “a”的类只有B和C的一些静态属性，有些方法可以检查“a”类型的对象是“B”还是“C”（见下文）

但你不需要“_ - ＆gt;（block_3）”的情况，因为这永远不会匹配（F＃知道所有可能的情况并会警告你）。

我认为如果你在C＃中为这个“其他”情况抛出异常会更好。