In a framework that I have written for my dev team, I have a class that has a method like so:
This method (virtual in my library, in fact) has two functions: When the target ref is null, then a new object should be created, but when it's not, then the contents of the object on which it's being called should be cloned into the passed object. The parent of the new object is required because in the framework our objects have keys that can come from multiple sources - including an expression on the parent.
Anyway, whilst this method is particularly useful, it's a little unfriendly to use from your code when you don't have a direct ObjectBase reference to pass, but instead a reference to an object derived from it:
That red line indicates where the compiler blows - when the parameter type is 'ref T', you can't pass a reference to 'TDerived : T', because although the two types are compatible, the method expects a 'ref T', not anything else, and at that level 'ref T' and 'ref TDerived' are two incompatible types.
Not a problem, we can of course get around this:
I don't need to say it, but I will anyway: URGH!
So, I thought, 'I know, I'll create a helpful generic method InObjectBase instead'. Here it is:
Now I know the old adage about 'assume' making an ass out of you and me - but feeling very clever, I rolled out the code and started it up. I get a StackOverflowException almost immediately - and I'm concerned - because the code which uses the new generic version hasn't even been called!
So I go and investigate that method, and see that it is, in fact the second line - intellisense shows that it is now a recursive method. Even worse, every other call to 'Clone' (used perhaps about 1,000 times in many different projects at this point!) will now point to the generic version instead of the non-generic - meaning that I've just broken everybody's code.
The compiler matches methods initially by name, and then by signature (minus return type). It also factors in 'convertibility' from method call parameters to the types of the parameters in those methods that might be called, in case exact matches cannot be found. When the compiler performs a search for the target method of a method call, as well, it has to choose a sort order for the candidate methods when that method call is to an overloaded method. If you take a look at the work that the System.Reflection.Binder class has to do you'll get a good idea of this.
It would appear that generic method overloads are always placed at the 'top' of the sort order, meaning that they will always be used, even if there is a specific non-generic overload that matches the input parameters exactly.
Interestingly - this behaviour also seems to be the case even when the use of constraints on a generic type parameter effectively remove the generic method from being a possible candidate method for a call. My framework has an extra class on top of 'ObjectBase' which in fact any custom types would inherit from, so I modified the constraint on my generic to specify that type instead, and move the generic method declaration to that type (to avoid it appearing in misleading situations):
This is where I start to wonder if there is a bug in the compiler, we get a compilation error on the line indicated in the comments with the following error:
The type 'ObjectBase' cannot be used as type parameter 'T' in the generic type or method 'ObjectCustomBase.Clone<T>(ref T, ObjectBase)'. There is no implicit reference conversion from 'ObjectBase' to 'ObjectCustomBase'.
Even though we now have an unambiguous call to the base 'Clone' method in ObjectBase - because its signature matches exactly the parameter types being passed in, and yet the compiler is totally ignoring it in favour of the generic, whose type constraint means that it should not be entertained at all. If anyone has any ideas how to sidestep this I'd be interested to here about them.
What's annoying is, whereas you can force a call to a generic method overload (say, for the purposes of intellisense or whatever) by explicitly specifying the angle brackets - but you cannot explicitly call a non-generic overload. Nor can I think of a suitable way that the language spec can be modified to include such a feature. Basically here we have a feature of the language that prevents us from doing something that would otherwise be trivial.
There are two.
1) Silly, but allows us to maintain our intended design - reflect-invoke the non-generic overload of the 'Clone' method instead of directly calling it. We can cache the MethodInfo for it to avoid having to repeat those slow operations (see my previous posts on C# Meta-programming), however, it's a lot of work when we could instead just...
2) Change the generic method name!