Question

I’m trying to create an interface inheritance system that uses the same property but always of a further derived type. So the base property should be somehow overridden or hidden by the deriving interface.

Take, for instance, two interfaces, Man and Woman, that derive into Husband and Wife, also interfaces. Man and Husband interfaces both have a “sweetheart” property, while Woman and Wife have a “darling” property. Now, the Man’s “sweetheart” property is of type Woman, while the Husband’s same “sweetheart” property should be a Wife (derived from Woman). And the same with the Woman and Wife’s “darling” property.

public interface Man // base interface for Husband
{
    Woman sweetheart { get; set; }
}

public interface Woman // base interface for Wife
{
    Man darling { get; set; }
}

public interface Husband : Man // extending Man interface
{
    new Wife sweetheart { get; set; } // narrowing "sweetheart" property's type
}

public interface Wife : Woman // extending Woman interface
{
    new Husband darling { get; set; } // narrowing "darling" property's type
}

public class RandomHusband : Husband // implementing the Husband interface
{
    private RandomWife wife;
    public Wife sweetheart { get { return wife; } set { wife = value; } }
}

public class RandomWife : Wife // implementing the Wife interface
{
    private RandomHusband husband;
    public Husband darling { get { return husband; } set { husband = value; } }
}

This code is wrong, it doesn’t work. I’m beeing notified that I didn’t implement the basic Man.sweetheart and Woman.darling properties, and that the implemented Husband.sweetheart and Wife.darling will not do, because the types don’t match. Is there any way of narrowing a property’s type to a derived one? How do you attain it in C#?

Answer 1

you will still need to satisy the Man and Woman interfaces as well as the Husband and Wife…

public class RandomWife : Wife // implementing the Wife interface

    {
        private RandomHusband husband;
        public Husband darling { get { return husband; } set { husband = value; } }
        public Man  Wife.darling { get { return husband; } set { /* can't set anything */ } }

    }