Как возвратить динамические типы возврата в методах? C#

Вы можете создать общий метод:

public T GetAppointment<T>(int id) where T : tblAppointment 
{
    var singleAppointment = dc.tblAppointments.SingleOrDefault(a => a.appID == id);
    return (T)singleAppointment;
}

Но тогда вам нужно будет знать фактический тип объекта перед его вызовом ...

Ну, если вы используете C # 4, вы можете использовать динамическую типизацию ... но если вы хотите придерживаться статической типизации, я думаю, лучшее, что вы можете сделать предоставляет ожидаемый тип в качестве аргумента универсального типа и получает метод для выполнения преобразования для вас:

public T GetAppointment<T>(int id) where T : tblAppointment
{
    var singleAppointment = (from a in dc.tblAppointments
                                                    where a.appID == id
                                                    select a).SingleOrDefault();
    return (T) singleAppointment;

}

Вызовите это с помощью:

SpecificAppointment app = GetAppointment<SpecificAppointment>(10);

или используйте неявную типизацию:

var app = GetAppointment<SpecificAppointment>(10);

Это вызовет исключение во время выполнения, если приведение не выполняется.

Предполагается, что вызывающий абонент знает тип встречи (хотя они могут указать tblAppointment , если не знают). Не зная соответствующий тип встречи во время компиляции, трудно понять, как статическая типизация может оказать вам больше пользы, правда ...

Когда вы вызываете .GetType () , вы получаете тип среды выполнения объекта. Компилятор C # не знает, какой тип среды выполнения будет у вашего объекта. Он знает только, что ваш объект будет иметь тип, производный от tblAppointment , потому что вы сказали это в объявлении вашего метода, поэтому статический тип возвращаемого значения - tblAppointment . Поэтому tblAppointment - это все, к чему вы можете получить доступ, если вы не используете приведение, чтобы сообщить компилятору: «Я знаю, что во время выполнения эта ссылка будет ссылаться на объект этого типа, вставьте проверку времени выполнения и дайте мне ссылка на этот статический тип ».

Статическая типизация - это все о различии между типами, известными во время компиляции и во время выполнения. Если вы пришли с языка с динамической типизацией, такого как Smalltalk или Javascript, вам придется внести немало изменений в свои привычки программирования и мыслительные процессы. Например, если вам нужно сделать что-то с объектом, который зависит от его типа среды выполнения, решение часто состоит в использовании виртуальных функций - они отправляются на тип среды выполнения объекта.

Обновление: в вашем конкретном случае используйте виртуальные функции, это именно то, для чего они были созданы:

class tblAppointment
{
    protected abstract void ProcessAppointment () ;
}

sealed class tblBirthAppointment
{
    protected override void ProcessAppointment ()
    {
        // `this` is guaranteed to be tblBirthAppointment
        // do whatever you need
    }
}

...

Затем используйте

// will dispatch on runtime type
appointmentsRepo.GetAppointment (id).ProcessAppointment () ;

Вы можете создать другой метод для инкапсуляции приведения:

public tblSingleBirthAppointment GetBirthAppointment(int id)
{
    var singleAppointment = GetAppointment(id);

    if (singleAppointment != null)
    {
        return (tblSingleBirthAppointment)singleAppointment;
    }

    return null;
}

Этот метод сломается, если вы попытаетесь использовать его с идентификатором, который на самом деле не был назначением рождения, поэтому вы можете рассмотреть возможность проверки .

var viewSingleBirthAppointment = appointmentRepos.GetBirthAppointment(appointmentId);

Если вы возвращаете ссылку на дочерний тип, который является родительским типом, ссылка будет относиться к этому типу, и компилятор не позволит вам получить доступ ни к одному из членов дочернего типа, пока вы не приведете к этому типу. Это полиморфизм в действии :)

Хорошая новость в том, что вы не создаете новый объект, когда приводите ссылочный тип - вы просто меняете тип ссылки, которая указывает на уже имеющийся у вас объект, тем самым предоставляя вам доступ своим членам.