【问题标题】:How to write a good curiously recurring template pattern (CRTP) in C#如何在 C# 中编写一个好的奇怪重复模板模式 (CRTP)
【发布时间】:2012-06-11 23:38:54
【问题描述】:

不久前,我想创建自己的数据映射器,它比一般的 ORM 简单得多。在这样做的过程中,我发现需要访问我的基类中继承类的类型信息。我的第一个想法是反射,但它太慢了(如果你使用反射,请查看Fasterflect,因为它“几乎”消除了反射的性能问题)。

所以我转向了一个解决方案,后来我发现它有自己的名字:Curiously Recurring Template Pattern。这主要解决了我的问题,但是学习如何正确实现这种模式有点挑战。我必须解决的两个主要问题是:

1) 如何让我的消费代码与我的通用对象一起工作,而无需知道创建对象的通用参数?

2) 如何在 C# 中继承静态字段?

具有挑战性的部分实际上是找出问题。一旦我意识到我需要做什么,解决这些问题就很容易了。如果您发现自己需要 CRTP,您可能会发现自己需要回答这些问题……它们似乎齐头并进。

【问题讨论】:

    标签: c# crtp


    【解决方案1】:

    在不知道泛型参数类型的情况下使用泛型

    当使用 CRTP 时,最好有一个非泛型基类(如果可能,抽象,但这不是太重要),你的“基”泛型类继承自。然后,您可以在非泛型基类上创建抽象(或虚拟)函数,并允许使用代码来处理您的对象,而无需知道泛型参数。例如:

    abstract class NonGenBase
    {
        public abstract void Foo();
    }
    
    class GenBase<T>: NonGenBase
    {
        public override void Foo()
        {
            // Do something
        }
    }
    

    现在使用不知道 T 应该是什么的代码仍然可以通过将对象视为基类的实例来调用对象上的 Foo() 过程。

    如何解决静态字段继承问题

    使用 CRTP 解决问题时,在继承类中提供对静态字段的访问通常是有益的。问题是 C# 不允许继承类访问这些静态字段,除非通过类型名称......在这种情况下,这通常似乎违背了目的。您可能无法想出一个清晰的示例来说明我在说什么,并且解释一个超出了此答案的范围,但是解决方案很简单,因此只需将其藏在您的知识库中,当您发现需要它时你会很高兴它在那里:)

    class GenBase<T>: NonGenBase
    {
        static object _someResource;
    
        protected object SomeResource { get { return _someResource; } }
    }
    

    这“模拟”了静态字段的继承。但是请记住,泛型类上的静态字段并不适用于所有泛型实现。每个通用实现都有自己的静态字段实例。如果您想要一个可用于所有实现的单个静态字段,那么您只需将其添加到您的非泛型基类中。

    【讨论】:

      【解决方案2】:

      如何在 C# 中继承静态字段?

      我知道距离您提出这个问题已经很长时间了,但是请注意.NET 6 Preview, you can put static abstract members on an interface 中的内容。 (IIRC,此功能不会出现在 .NET 6 的版本中,它将处于预览状态,直到 .NET 7)。

      所以,你可以这样做:

      public interface IBoundedCollection
      {
          public static abstract int MaximumItemCount { get; }
      }
      
      public abstract class BaseCollection
      {
          public abstract int Count { get; }
          public abstract int GetMaximumItemCount();
      
          public abstract BaseCollection CreateUntypedCopy();
      }
      
      public abstract class BoundedCollection<TDerived> : BaseCollection
          where TDerived : BoundedCollection<TDerived>, IBoundedCollection
      {
          public override int GetMaximumItemCount() => TDerived.MaximumItemCount;
      
      
          public abstract TDerived CreateTypedCopy();
      
          public override BaseCollection CreateUntypedCopy() 
              => CreateTypedCopy();
      }
      
      public class LimitTenCollection : BoundedCollection<LimitTenCollection>, IBoundedCollection
      {
          public static int MaximumItemCount => 10;
      
          public override int Count { get; }
      
          public override LimitTenCollection CreateTypedCopy() => new LimitTenCollection();
      }
      

      注意以下几点:

      • 您可以使用BaseCollection 而不使用类型参数。例如,您可以使用CountGetMaximumItemCount()CreateUntypedCopy()
      • BoundedCollection&lt;TDerived&gt; 可以提供 MaximumItemCount 的实现,因为 TDerived 被限制为 IBoundedCollection

      【讨论】:

      • 你说得对,对不起。将展示在没有 IDE 的情况下编写代码时会发生什么。我的示例现在可以编译了。
      • 别担心,只是想了解一下 CRTP,并确保我没有误会。谢谢!我会删除之前的评论:)
      猜你喜欢
      • 1970-01-01
      • 2013-02-15
      • 2022-01-01
      • 2019-11-18
      相关资源
      最近更新 更多