标签:question 泛型方法 并且 gen pat 帮助 dispatch block logs
C# 泛型不是 C++ 的模板类,并不支持特化和偏特化,但是使用一些技巧可以在一定程度上达到相同的目的。
原文是 po 在 stackoverflow 上的一个回答:A: Generic indexer overload specialization
使用一个非泛型 helper 类和一个内嵌的泛型类可以实现对泛型方法的特化。
1 internal static class IndexerImpl //non-generic static helper class 2 { 3 private static T IndexerDefaultImpl<T>(int i) => default(T); //default implementation 4 5 private static T IndexerImpl2<T>(int i) => default(T); //another implementation for short/int/long 6 7 private static string IndexerForString(int i) => (i * i).ToString(); //specialization for T=string 8 private static DateTime IndexerForDateTime(int i) => new DateTime(i * i * i); //specialization for T=DateTime 9 10 static IndexerImpl() //install the specializations 11 { 12 Specializer<string>.Fun = IndexerForString; 13 Specializer<DateTime>.Fun = IndexerForDateTime; 14 15 Specializer<short>.Fun = IndexerImpl2<short>; 16 Specializer<int>.Fun = IndexerImpl2<int>; 17 Specializer<long>.Fun = IndexerImpl2<long>; 18 } 19 20 internal static class Specializer<T> //specialization dispatcher 21 { 22 internal static Func<int, T> Fun; 23 internal static T Call(int i) 24 => null != Fun 25 ? Fun(i) 26 : IndexerDefaultImpl<T>(i); 27 } 28 } 29 30 public class YourClass<T> 31 { 32 public T this[int i] => IndexerImpl.Specializer<T>.Call(i); 33 }
如果需要传入实例对返回结果进行计算,可以增加一个参数:
偏特化也是差不多的做法,只不过帮助类变成了以不需要特化的类型构成的泛型类:
1 internal static class GetValueImpl<R, S> 2 { 3 private static T DefImpl<T>(R r, S s) => default(T); 4 private static int IntRet(R r, S s) => int.MaxValue; 5 6 internal static class Specializer<T> 7 { 8 internal static Func<R, S, T> Fun; 9 internal static T Call(R r, S s) => null != Fun ? Fun(r, s) : DefImpl<T>(r, s); 10 } 11 12 static GetValueImpl() 13 { 14 Specializer<int>.Fun = IntRet; 15 } 16 } 17 18 public class TestClass 19 { 20 public T GetValue<R, S, T>(R r, S s) => GetValueImpl<R, S>.Specializer<T>.Call(r, s); 21 }
以上代码片段中,被偏特化的是 GetValue 方法中的 T 类型参数,当 T=int 的时候,实际被调用的方法就是 GetValueImpl.IntRet 方法,其他情况是 GetValueImpl.DefImpl 方法。
泛型类的特化没有什么好的方法,只能采用继承特化类型泛型类的方式间接实现,并且将要特化处理的成员采用虚方法或者用 new 隐藏基类方法。
偏特化泛型类也可以采用差不多的方式实现。
具体做法可以参考 stackoverflow 上的这个答案:A: C# specialize generic class
标签:question 泛型方法 并且 gen pat 帮助 dispatch block logs
原文地址:http://www.cnblogs.com/qaqz111/p/7053690.html