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"的方法(见下文)

但是你不需要"_ - >(block_3)"的情况,因为这永远不能匹配(F#知道所有可能的情况并会警告你).

我认为如果你在C#中为这个"其他"情况抛出异常会更好.