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

Учитывая этот фрагмент кода, который можно легко вставить в 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. (То же самое для обоих объектов)

Тип: Животное
Умный? True

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

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

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

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

ОТВЕТЫ

Ответ 1

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

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

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