Question

I’m curious to know why the implementation of my interface in the abstract base class does not satisfy the the requirements in sub-classes. Here’s an example:

public interface IBase { }
public interface IConcrete : IBase { }

public interface IBaseManager<out T>
    where T : IBase
{
    T Create();
    IEnumerable<T> SelectAll();
}

public interface IConcreteManager : IBaseManager<IConcrete> { }

public abstract class Base : IBase { }

public class Concrete1 : Base, IConcrete { }

public abstract class BaseManager<T> : IBaseManager<T> where T : class, IBase
{
    #region IBaseManager<T> Members

    public T Create()
    {
        throw new NotImplementedException();
    }

    public IEnumerable<T> SelectAll()
    {
        throw new NotImplementedException();
    }

    #endregion
}

public class ConcreteManager : BaseManager<Concrete>, IConcereteManager
{
             //error occurs here
} 

This is the error that is being generated:

‘ConsoleApplication4.ConcreteManager’ does not implement interface member ‘ConsoleApplication4.IBaseManager<ConsoleApplication4.IConcrete>.Create()’.

‘ConsoleApplication4.BaseManager<ConsoleApplication4.Concrete>.Create()’ cannot implement ‘ConsoleApplication4.IBaseManager<ConsoleApplication4.IConcrete>.Create()’ because it does not have the matching return type of ‘ConsoleApplication4.IConcrete’.

If I add these methods to the ConcreteManager class, everything is fine and the compiler is happy.

public new IConcrete Create()
{
    return base.Create();
}

public new IEnumerable<IConcrete> SelectAll()
{
    return base.SelectAll();
}

If simply returning what the methods from the base class return is sufficient, why do the methods have to be added? Why can’t the compiler call the methods in the base class?

Answer 1

It looks like you’re assuming return type covariance, since ConcreteManager (as an IConcreteManager) expects both Create() and SelectAll() methods with a return type of IConcrete and IEnumerable<IConcrete> respectively, which the base class does not provide.

You are getting those errors because C# does not support return type covariance.