C#. Можно ли создать метод, в котором возвращаемый тип будет определятся в самом методе?

Question

[getfield]

Можно ли создать метод, в котором возвращаемый тип будет определятся в самом методе или строгая типизация дотнета не позволит сделать такое?
Возвращаемый тип будет зависеть от того, что придёт в ответе от АПИ (несколько вариантов типов, которые будут явно указаны в самом методе).

Comments

[Foggy Finder]

можете привести пример использования такого метода ?

[getfield]

Foggy Finder,

[Test]
        public void GetAllItems_ItemsFromApiAndDatabase_ShouldBeEquivalent()
        {
            var itemsFromApi = ApiService.GetAllAccounts();
            var itemsFromDatabase = DbSteps.GetAllAccounts().ToList();

            using (new AssertionScope())
            {
                RestResponseAssertions.StatusCodeShouldBe(itemsFromApi.Result, HttpStatusCode.OK);
                RestResponseAssertions.ItemsShouldBeEquivalent(itemsFromApi.Result.Data.Items, itemsFromDatabase);
            }
        }
        
        [Test]
        public void GetAllItems_BadRequest()
        {
            var itemsFromApi = ApiService.GetAllAccounts();

            using (new AssertionScope())
            {
                RestResponseAssertions.StatusCodeShouldBe(itemsFromApi.Result, HttpStatusCode.BadRequest);
                RestResponseAssertions.ErrorModelShouldContainCode(itemsFromApi.Result.Data, "400");
            }
        }

[Foggy Finder]

getfield, если всего два состояния то лучше всего создать (или использовать библиотеку) тип Result/Either как посоветовал Василий Банников

Answer 1

[profesor08]

https://docs.microsoft.com/en-us/dotnet/csharp/pro...
https://docs.microsoft.com/en-us/dotnet/csharp/fun...

class User {
	public string id;
	public string name;
}

public class Program
{
	public static T Request<T>(string url) where T : new() {
		return new T();
	}
	
	public static void Main()
	{
		var user = Request<User>("https://127.0.0.1");
	}
}

Answer 2

[Василий Банников]

Возвращаемый тип будет зависеть от того, что придёт в ответе от АПИ (несколько вариантов типов, которые будут явно указаны в самом методе).

Просто сделай класс, в котором будет какой-нибудь флаг, который сообщает о типе контента и N свойств для каждого типа.
Если у тебя только два типа - результат и ошибка, то используй Either
https://habr.com/ru/post/267231/

Answer 3

[freeExec]

Возвращаешь самый базовый тип object, но это говнокод. АПИ обычно возвращает заранее известную структуру данных.

Answer 4

[Griboks]

Нет, С# не поддерживает объединение типов. Можете обобщить, использовать шаблон или контейнер, наследовать, использовать интерфейс. Но самым правильным решением будет переписать api метод так, чтобы он возвращал заранее известный тип (в этом и есть смысл api).

Comments

[Hemul GM]

В любом апи есть базовый метод, который как раз возвращает разные типы.

Дальше он может множить методы для каждого path в апи и указывать для возврата нужную структуру

[Griboks]

Hemul GM, нет. Если уж такой метод есть в каком-нибудь api, то он возвращает один обобщенный тип, а также инкапсулирован или вынесен в low-level api, который не рекомендуется использовать для типичных операций.

Например, файл может возвращать как байты, так и текст, и поток, и много чего еще. Но обратите внимание, что нет универсального метода чтения файла. Разве только открытие байтового потока можно рассматривать как low-level.

[Hemul GM]

Griboks, а вы видимо никогда не делали апи для RESTfull сервера. Где любой ответ - JSON.
И теперь вот вам пример. Мы вызываем конкретный метод апи и точно знаем, какой должен быть ответ при статусе 200. Мы делаем дженерик метод в который передаем нужный тип для десериализации.
В итоге, получаем дженерик метод, который при обращении к апи отдает нам готовые объекты данных.

После чего, мы можем создавать на основании этого метода методы конкретных операций. Где просто вызываем этот общий метод, указывая нужный path апи и тип для десериализации объекта из json.

[Griboks]

Hemul GM, вы перепутали тип и формат данных.

[Hemul GM]

Griboks, ну да... это я перепутал, а не вы

[Griboks]

Hemul GM, в вашем примере rest json api всегда возвращает строковой тип, т. е. обобщение, а не несколько разных типов.

[Griboks]

Hemul GM, получается, что вы оборачиваете rest json api в свое c# api, которое опять же возвращает конкретные однозначные типы. А тут речь идет о чем-то вроде:

def ger_user(id:int) -> Union[str, List[str], bytes] :...

[Hemul GM]

Griboks, в моем примере возвращается разный тип - объекты разных классов

[Griboks]

Hemul GM, неплохое такое api получается. Особенно автогенерируемую документацию почитать интересно)

public static class MyAPI {
    public static T DoAnything<T>(params object[] arguments) {...} 
}

[Hemul GM]

Griboks,

function GetObject<T: class>(const Method: string; Params: TParams; out Object: T): Boolean;
....
function GetUsers(Params: TParams; out Items: TUsers): Boolean;
begin
  Result := GetObject<TUsers>('users', Params, Items);
end;

function GetUser(Params: TParams; out Item: TUser): Boolean;
begin
  Result := GetObject<TUser>('user', Params, Item);
end;

function GetInfo(Params: TParams; out Item: TInfo): Boolean;
begin
  Result := GetObject<TInfo>('info', Params, Item);
end;

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

var Item: TWeather;
if API.GetObject<TWeather>('v3/weather', Params, Item) then ...

[Griboks]

Hemul GM, ну и в итоге у вас есть low-level метод, который не используется в типичных операциях.

[Hemul GM]

Griboks, и как это противоречит топику?

[Griboks]

Hemul GM, во-первых, это не часть api, а его низкоуровневая реализация.

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

Ну а самое главное, вопрос был задан про другое!

возвращаемый тип будет определятся в самом методе

Generic - когда тип определяется заранее статически по использованию, причем программисту нужно явное его указать заранее. Иными словами, generic позволяет определять тип не в методе, а в его вызове. Но тип от этого не становится случайным, он по-прежнему жестко задан до компиляции.

[Hemul GM]

Griboks, топик прочтите ещё раз

[Griboks]

Hemul GM,

несколько вариантов типов, которые будут явно указаны в самом методе

Answer 5

[Hemul GM]

Тебе нужны дженерики "<T>"