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
