Back when I was primarily a C++ developer, I loved C++ templates. The power of writing very reusable generic classes brought the art of programming to a brand new level. Unfortunately, when .NET 1.0 came about, they didn’t have a template equivalent.
With .NET 2.0 however, we finally got generics, which once again let us spread our wings and program more generically in the world of .NET However, C# generics behave in some ways very differently from their C++ template cousins. There is a handy clause, however, that helps you navigate these waters to make your generics more powerful. The Problem – C# Assumes Lowest Common Denominator In C++, you can create a template and do nearly anything syntactically possible on the template parameter, and C++ will not check if the method/fields/operations invoked are valid until you declare a realization of the type. Let me illustrate
with a C++ example: 1: // compiles fine, C++ makes no assumptions as to T
2: template <typename T>
3: class ReverseComparer
4: {
5: public:
6: int Compare(const T& lhs, const T& rhs)
7: {
8: return rhs.CompareTo(lhs);
9: }
10: };
Notice that we are invoking a method CompareTo() off of template type T. Because we don’t know at this point what type T is, C++ makes no assumptions and there are no errors.
C++ tends to take the path of not checking the template type usage until the method is actually invoked
with a specific type, which differs from the behavior of C#:
1: // this will NOT compile! C# assumes lowest common denominator.
2: public class ReverseComparer<T>
3: {
4: public int Compare(T lhs, T rhs)
5: {
6: return lhs.CompareTo(rhs);
7: }
8: }
So why does C# give us a compiler error even when we don’t yet know what type T is? This is because C# took a different path in how they made generics. Unless you specify otherwise, for the purposes of the code inside the generic method, T is basically treated like an object (notice I didn’t say T is an object).
That means that any operations, fields, methods, properties, etc that you attempt to use of type T must be available at the lowest common denominator type: object.
Now, while object has the broadest applicability, it also has the fewest specific. So how do we allow our generic type placeholder to do things more than just what object can do?
Solution: Constraint the Type
With Where Clause
So how do we get around this in C#? The answer is to constrain the generic type placeholder
with the where clause. Basically, the where clause allows you to specify additional constraints on what the actual type used to fill the generic type placeholder must support.
You might think that narrowing the scope of a generic means a weaker generic. In reality, though it limits the number of types that can be used
with the generic, it also gives the generic more power to deal
with those types. In effect these constraints says that if the type meets the given constraint, you can perform the activities that pertain to that constraint
with the generic placeholders.
Constraining Generic Type to Interface or Superclass
One of the handiest where clause constraints is the ability to specify the type generic type must implement a certain interface or be inherited from a certain base class.
For example, you can’t call CompareTo() in our first C# generic without constraints, but if we constrain T to IComparable<T>, we can:
1: public class ReverseComparer<T>
2: where T : IComparable<T>
3: {
4: public int Compare(T lhs, T rhs)
5: {
6: return lhs.CompareTo(rhs);
7: }
8: }
Now that we’ve constrained T to an implementation of IComparable<T>, this means that our variables of generic type T may now call any members specified in IComparable<T> as well. This means that the call to CompareTo() is now legal.
If you constrain your type, also, you will get compiler warnings if you attempt to use a type that doesn’t meet the constraint. This is much better than the syntax error you would get within C++ template code itself when you used a type not supported by a C++ template.
Constraining Generic Type to Only Reference Types
Sometimes, you want to assign an instance of a generic type to null, but you can’t do this without constraints, because you have no guarantee that the type used to realize the generic is not a value type, where null is meaningless.
Well, we can fix this by specifying the class constraint in the where clause. By declaring that a generic type must be a class, we are saying that it is a reference type, and this allows us to assign null to instances of that type:
1: public static class ObjectExtensions
2: {
3: public static TOut Maybe<TIn, TOut>(this TIn value, Func<TIn, TOut> accessor)
4: where TOut : class
5: where TIn : class
6: {
7: return (value != null) ? accessor(value) : null;
8: }
9: }
In the example above, we want to be able to access a property off of a reference, and if that reference is null, pass the null on down the line. To do this, both the input type and the output type must be reference types (yes, nullable value types could also be considered applicable at a logical level, but there’s not a direct constraint for those).
Constraining Generic Type to only Value Types
Similarly to constraining a generic type to be a reference type, you can also constrain a generic type to be a value type. To do this you use the struct constraint which specifies that the generic type must be a value type (primitive, struct, enum, etc).
Consider the following method, that will convert anything that is IConvertible (int, double, string, etc) to the value type you specify, or null if the instance is null.
1: public static T? ConvertToNullable<T>(IConvertible value)
2: where T : struct
3: {
4: T? result = null;
5:
6: if (value != null)
7: {
8: result = (T)Convert.ChangeType(value, typeof(T));
9: }
10:
11: return result;
12: }
Because T was constrained to be a value type, we can use T? (System.Nullable<T>) where we could not do this if T was a reference type.
Constraining Generic Type to Require Default Constructor
You can also constrain a type to require existence of a default constructor. Because by default C# doesn’t know what constructors a generic type placeholder does or does not have available, it can’t typically allow you to call one. That said, if you give it the new() constraint, it will mean that the type used to realize the generic type must have a default (no argument) constructor.
Let’s assume you have a generic adapter class that, given some mappings, will adapt an item from type TFrom to type TTo. Because it must create a new instance of type TTo in the process, we need to specify that TTo has a default constructor:
1: // Given a set of Action<TFrom,TTo> mappings will map TFrom to TTo
2: public class Adapter<TFrom, TTo> : IEnumerable<Action<TFrom, TTo>>
3: where TTo : class, new()
4: {
5: // The list of translations from TFrom to TTo
6: public List<Action<TFrom, TTo>> Translations { get; private set; }
7:
8: // Construct
with empty translation and reverse translation sets.
9: public Adapter()
10: {
11: // did this instead of auto-properties to allow simple use of initializers
12: Translations = new List<Action<TFrom, TTo>>();
13: }
14:
15: // Add a translator to the collection, useful for initializer list
16: public void Add(Action<TFrom, TTo> translation)
17: {
18: Translations.Add(translation);
19: }
20:
21: // Add a translator that first checks a predicate to determine if the translation
22: // should be performed, then translates if the predicate returns true
23: public void Add(Predicate<TFrom> conditional, Action<TFrom, TTo> translation)
24: {
25: Translations.Add((from, to) =>
26: {
27: if (conditional(from))
28: {
29: translation(from, to);
30: }
31: });
32: }
33:
34: // Translates an object forward from TFrom object to TTo object.
35: public TTo Adapt(TFrom sourceObject)
36: {
37: var resultObject = new TTo();
38:
39: // Process each translation
40: Translations.ForEach(t => t(sourceObject, resultObject));
41:
42: return resultObject;
43: }
44:
45: // Returns an enumerator that iterates through the collection.
46: public IEnumerator<Action<TFrom, TTo>> GetEnumerator()
47: {
48: return Translations.GetEnumerator();
49: }
50:
51: // Returns an enumerator that iterates through a collection.
52: IEnumerator IEnumerable.GetEnumerator()
53: {
54: return GetEnumerator();
55: }
56: }
Notice, however, you can’t specify any other constructor, you can only specify that the type has a default (no argument) constructor.
Summary
The where clause is an excellent tool that gives your .NET generics even more power to perform tasks higher than just the base "object level" behavior.
There are a few things you cannot specify
with constraints (currently) though:
Cannot specify the generic type must be an enum.
Cannot specify the generic type must have a certain property or method without specifying a base class or interface – that is, you can’t say that the generic must have a Start() method.
Cannot specify that the generic type allows arithmetic operations.
Cannot specify that the generic type requires a specific non-default constructor.
In addition, you cannot overload a template definition
with different, opposing constraints. For example you can’t define a Adapter<T> where T : struct and Adapter<T> where T : class.
Hopefully, in the future we will get some of these things to make the where clause even more useful, but until then what we have is extremely valuable in making our generics more user friendly and more powerful!
Technorati Tags: C#,.NET,Little Wonders,BlackRabbitCoder,where,generics
