具有泛型参数的转换接口由类实现，而没有泛型参数

Question

I have two interfaces,

public interface IDocument<SegType> where SegType : ISegment

and

public interface ISegment

Basically, I want to enforce that each class that implements IDocument is composed of one type of ISegment , and that people using these classes never need to know about which type of ISegment their class uses internally.

I then created a class that implements IDocument<SegType> where SegType : ISegment :

public class MyDocument : IDocument<MySegment>

and the corresponding MySegment :

public class FffSegment : ISegment

All of this compiles and works just as I expect it to when I specify MyDocument as the type. Why can I not implicitly cast an instance of MyDocument to be of type IDocument<Isegment> ? When I try the line:

IDocument<ISegment> doc = new MyDocument();

I get the error

Cannot implicitly convert type 'MyDocument' to 'IDocument<ISegment>'. An explicit conversion exists (are you missing a cast?)

But when I cast it, it just comes back null. If I change it to:

IDocument<MySegment> doc = new MyDocument();

it works, as it does when I change the class definition to

public class MyDocument : IDocument<ISegment>

Why can I not force a specific type that implements ISegment for that implementation of IDocument? I want to re-use this code for different types of IDocument and ISegment and maybe some day some implementations of IDocument will allow for multiple types of ISegment but MyDocument should be restricted against this kind of behavior. How can I enforce these requirements but still write code that is generic enough to be re-used in the future?

Answer 1

You need to get into the nastiness of co-and-contra variance:

public interface IDocument<out SegType> where SegType : ISegment
{}

I think that should make your example compile now...

Here's some reading material:

• http://blogs.msdn.com/b/csharpfaq/archive/2010/02/16/covariance-and-contravariance-faq.aspx
• http://msdn.microsoft.com/en-us/library/dd799517.aspx
• http://en.wikipedia.org/wiki/Covariance_and_contravariance_(computer_science)

Answer 2

Because IDocument<MySegment> cannot cast directly to an IDocument<ISegment> . If it could, you could do this:

IDocument<ISegment> doc1 = new IDocument<MySegment>;
doc1.Add(new MyOtherSegment());   // invalid

(Assuming IDocument<T> has an Add(T newSegment) method)

Take a long look at your design and decide if generics are really necessary or if just using ISegment within IDocument is sufficient.