Как определить, какой интерфейс возвращается методом

Question

Учитывая этот фрагмент кода, который можно легко вставить в Linqpad (или слегка изменить в консольном решении Visual Studio):

void Main()
{
    var cat = this.GetCat();
    var dog = this.GetDog();
    cat.Think();
    cat.ThinkHarder();
    //dog.Think(); // Does not compile.
    //dog.ThinkHarder(); // Does not compile.

    //if ([dog is returned as ISmartAnimal]) // What to put here?
        ((ISmartAnimal)dog).Think(); // Compiles, runs, but shouldn't.

    reportTypeProperties(cat);
    reportTypeProperties(dog);
}

interface IAnimal
{
    string Name { get; set; }
}

interface ISmartAnimal : IAnimal
{
    void Think();
}

class Animal : IAnimal, ISmartAnimal
{
    public string Name { get; set; }
    public void Think() { }
}

ISmartAnimal GetCat()
{
    return new Animal();
}

IAnimal GetDog()
{
    return new Animal();
}

static void reportTypeProperties(object obj)
{
    var type = obj.GetType();
    Console.WriteLine("Type: {0}", type.Name);
    Console.WriteLine("Is smart? {0}", obj is ISmartAnimal);
}

static class ext
{
    public static void ThinkHarder(this ISmartAnimal animal)
    { }
}

Вывод reportTypeProperties показывает, что dog, хотя и возвращается какIAnimal, "is" ISmartAnimal.(То же самое для обоих объектов)

Тип: Животное
Умный ли?Верно

Это потому, что GetType() возвращает конкретный тип объекта, а не его текущий интерфейс.

Мой вопрос. Есть ли способ сказать, что dog возвращается как IAnimal? (см. Псевдокод).Компилятор знает (так же, как и QuickView).Предположим, у меня был какой-то животный объект, и я хотел во время выполнения проверить, могу ли я сделать его Think().

Справочная информация:
Это может показаться учебным упражнением.И может показаться странным, что класс (Animal) реализует интерфейс (ISmartAnimal), который вы не хотите показывать всегда.Но я спрашиваю, потому что я столкнулся с чем-то похожим в Entity Framework.Если вы хотите, вы можете прочитать об этом здесь , но это переключается на функции, специфичные для EF.Если вы не хотите вникать в это, достаточно сказать, что Animal необходимо реализовать оба интерфейса.

---

Отказ от ответственности:
"Любое сходство с реальными животными является чисто случайным :)«

Answer 1

Звучит так, как будто вы заинтересованы в типе времени компиляции dog переменной . Вы можете отсортировать , чтобы получить это, сделав ReportTypeProperties универсальным и позволив компилятору выводить тип на основе типа переменной:

static void ReportTypeProperties<T>(T obj)
{
    Console.WriteLine("Compile-time type: {0}", typeof(T).Name);
    Console.WriteLine("Actual type: {0}", obj.GetType().Name);
    Console.WriteLine("Is smart? {0}", obj is ISmartAnimal);
}

Обратите внимание, что на это можно играть различными способами, например,

object dog = GetDog();
ReportTypeProperties(dog); // Would show as object

или

IAnimal dog = GetDog();
ReportTypeProperties<object>(dog); // Would show as object

Не совсем понятно, какая здесь большая картина - мне кажется маловероятным, что движение в этом направлении приведет к хорошему дизайну.