A generic method is a method that is declared with type parameters, as follows:
The following code example shows one way to call the method, using int for the type argument:
You can also omit the type argument and the compiler will infer it. The following call to Swap is equivalent to the previous call:
The same rules for type inference apply to static methods as well as instance methods. The compiler is able to infer the type parameters based on the method arguments you pass in; it cannot infer the type parameters solely from a constraint or return value. Therefore type inference does not work with methods that have no parameters. Type inference takes place at compile time before the compiler attempts to resolve any overloaded method signatures. The compiler applies type inference logic to all generic methods that share the same name. In the overload resolution step, the compiler includes only those generic methods on which type inference succeeded.
Within a generic class, non-generic methods can access the class-level type parameters, as follows:
If you define a generic method that takes the same type parameters as the containing class the compiler will generate warning CS0693 because within the method scope, the argument supplied for the inner T will hide the argument supplied for the outer T. If you require the flexibility of calling a generic class method with type arguments other than the ones provided when the class was instantiated, consider providing another identifier for the method's type parameter, as shown in GenericList2<T> in the following example.
Use constraints to enable more specialized operations on type parameters in methods. This version of Swap<T>, now called SwapIfGreater<T>, can only be used with type arguments that implement IComparable<T>.
Generic methods can be overloaded on a number of type parameters. For example, the following methods can all exist in the same class:
For more information, see the following sections in the C# Language Specification:
20.6.4 Inference of Type Arguments.
public List<IFolder> ExtractFolderInformation<T>() where T : IFolder, new()
{
T folder = new T(); // This is the missing example where a T object is new'ed.
List<IFolder> retList = new List<IFolder>();
retLists.Add( folder);
return retList;
}
- 10/26/2009
- OmegaMan
