c# - 我可以动态使用模板吗？

Question

我有一个类:

class abc <T> {
  private T foo; 
  public string a {
    set {
       foo = T.parse(value);
    }

    get{
       return foo.toString();
    }

  }
}

但是 T.parse 命令给我一个错误。谁有办法做我想做的事？

我将其用作其他一些派生类的基类。

编辑:

我结束了我们的工作:

Delegate parse = Delegate.CreateDelegate(typeof(Func<String, T>), typeof(T).GetMethod("Parse", new[] { typeof(string) }));

我在构造函数中做了一次

然后我在我的属性(property)中执行以下操作:

        lock (lockVariable)
        {
            m_result = (T)parse.DynamicInvoke(value);
            dirty = true;
        } 

Answer 1

C# 泛型 不是 C++ 模板。模板让您可以进行奇特的“搜索和替换”，您可以在其中替换为 T 实现静态解析方法的类型的名称。C# 泛型不是这样的文本搜索和替换机制。相反，它们描述类型的参数化多态性。使用模板，所需要的只是您替换参数的特定参数都是好的。对于通用所有可能的替换，无论您是否真的这样做，都必须是好的。

更新:

评论者问:

What would be the C# way of doing things when an equivalent to Haskell's Read type class is needed?

现在我们来探讨原始问题背后的深层问题。

为不熟悉 Haskell 的读者澄清:从 C# 2.0 开始，C# 支持“泛型”类型，这是一种比常规类型“更高级”的类型。你可以说 List<int> 并为你创建一个遵循 List<T> 模式的新类型，但它是一个特定的整数列表。

Haskell 在其类型系统中支持一种甚至更高 的类型。对于泛型类型，您可以说“每个 MyCollection<T> 都有一个方法 GetValue，它接受一个 int 并返回一个 T，对于您想要命名的任何 T”。使用泛型类型，您可以对 T 施加约束并说“此外，T 保证实现 IComparable<T> ...”使用 Haskell 类型类，您可以更进一步，说道德上等同于“...而且，T 保证实现有一个 static 方法 Parse，它接受一个字符串并返回一个 T”。

“Read”类型类特别是声明道德等同于“遵守 Read 类型类模式的类 C 是一个具有接受字符串并返回 C 的方法 Parse 的类”的类型类。

C# 不支持那种更高类型。如果是这样，那么我们就可以在语言本身中对模式进行类型检查，例如 monad，今天只能通过将它们烘焙到编译器中来进行类型检查(例如，以查询理解的形式。)(参见 Why there is no something like IMonad<T> in upcoming .NET 4.0更多想法。)

由于无法在类型系统中表示该想法，您几乎无法使用泛型来解决此问题。类型系统根本不支持那种级别的通用性。

人们有时会做一些可怕的事情，比如:

static T Read<T>(string s)
{
    if (typeof(T) == typeof(int)) return (T)(object)int.Parse(s);
    if ...

但在我看来这有点辱骂；它确实不是通用。