在 C# 中表示参数化枚举的最佳方式？

Question

在 C# 3.0 中是否有任何好的解决方案来表示参数化枚举？ 我正在寻找类似 OCaml 或 Haxe 有。 我现在只能想到带有简单枚举字段的类层次结构以便于切换，也许有更好的想法？

请参阅以下回复之一中的 Ocaml 示例，Haxe 代码如下：

enum Tree {
   Node(left: Tree, right: Tree);
   Leaf(val: Int);
}

Answer 1

仅使用类来实现此目的有什么问题吗？ 它很难看，但这就是 Java 人所做的，直到他们有了语言集成的 Enum 支持！

Answer 2

C#（据我所知，通常是 .NET 框架）不像 Java 那样支持参数化枚举。 话虽如此，您可能想查看属性。 Java 枚举所具有的一些功能在某种程度上可以通过属性来实现。

Answer 3

使用具有静态属性的类来表示枚举值。 您可以选择使用私有构造函数来强制对该类的所有引用都通过静态属性。

看一下System.Drawing.Color 类。 它使用这种方法。

Answer 4

由于不熟悉 OCaml 或 Haxe，也没有足够聪明来理解其他解释，我去查找了 Haxe 枚举文档 - 底部的“枚举类型参数”位似乎是相关部分。

我的理解如下：

“正常”枚举基本上是一个仅限于您在枚举定义中定义的内容的值。 C# 示例：

enum Color{ Red, Green, Yellow, Blue };
Color c = Color.Red;

c 可以是 Red、Green、Yellow 或 Blue ， 但没有别的。

在 Haxe 中，您可以向枚举添加复杂类型，来自其页面的设计示例：

enum Cell<T>{ 
  empty; 
  cons( item : T, next : Cell<T> )
}

Cell<int> c = <I don't know>;

似乎的意思是 c 仅限于文字值 空（就像我们老式的 C# 枚举），或者它也可以是复杂类型 cons(item, next)，其中 item 是一个 T 和 next 是 Cell。

从未使用过它，看起来它可能会生成一些匿名类型（就像 C# 编译器在执行 new { Name='Joe'} 时所做的那样。
每当您“访问”枚举值时，您都必须声明 item 和 next ，并且看起来它们绑定到临时局部变量。

Haxe 示例 - 您可以看到“next”被用作临时局部变量，以从匿名 cons 结构中提取数据：

switch( c ) {
  case empty : 0;
  case cons(item,next): 1 + cell_length(next);
}

说实话，当我“单击”它似乎正在执行的操作时，这让我大吃一惊。 它看起来非常强大，我明白为什么您会在 C# 中寻找类似的功能。

C# 枚举与最初复制它们的 C/++ 枚举几乎相同。 这基本上是 #define Red 1 的一种很好的表达方式，因此当您传递 Color 对象时，编译器可以使用整数而不是字符串进行比较和存储。

我在 C# 中尝试这样做的方法是使用泛型和接口。 像这样的事情：

public interface ICell<T> {
   T Item{ get; set; }
   ICell<T>{ get; set; }
}

class Cons<T> : ICell<T> {
  public T Item{ get; set; } /* C#3 auto-backed property */
  public Cell<T> Next{ get; set; }
}

class EmptyCell<T> : ICell<T>{
  public T Item{ get{ return default(T); set{ /* do nothing */ }; }
  public ICell<T> Next{ get{ return null }; set{ /* do nothing */; }
}

然后你可以有一个 List> ，其中包含项目和下一个单元格，并且你可以在末尾插入 EmptyCell （或者只是将 Next 引用显式设置为 null）。
优点是，由于 EmptyCell 不包含任何成员变量，因此不需要任何存储空间（如 Haxe 中的 empty），而 缺点 单元格会。
编译器还可能内联/优化 EmptyCell 中的方法，因为它们不执行任何操作，因此与仅将 Cons 的成员数据设置为 null 相比，速度可能会有所提高。

我真的不知道。 我欢迎任何其他可能的解决方案，因为我并不为我的解决方案感到特别自豪:-)