როგორ განსაზღვრავს კომპილატორი, რა შედეგს უნდა დააბრუნოს?

კომპილატორი განსაზღვრავს ფუნქციის ან მეთოდის დაბრუნების ტიპს მისი ხელმოწერის საფუძველზე, რომელიც შეიცავს აშკარად მითითებულ ტიპს მეთოდის სახელის წინ.

მაგალითად:

// ეს მეთოდი აშკარად მიუთითებს, რომ ის დაბრუნებს მთელ რიცხვს (int)
public int GetInteger()
{
    return 42;
}

// ეს მეთოდი აშკარად მიუთითებს, რომ ის არ აბრუნებს მნიშვნელობას (void)
public void PrintMessage(string message)
{
    Console.WriteLine(message);
}

თუ გამოიყენება არაურჩეველი ტიპი (მაგალითად, var-ის გამოყენებით), კომპილატორი გამოითვლის დაბრუნების ტიპს return ბრძანების მიერ დაბრუნებული მნიშვნელობის საფუძველზე.

// კომპილატორი განსაზღვრავს, რომ ეს მეთოდი აბრუნებს string-ს, საფუძვლად იღებს დაბრუნებულ მნიშვნელობის ტიპს
public string GetString()
{
    var text = "Hello";
    return text; // text-ის ტიპი არის string, შესაბამისად, მეთოდი აბრუნებს string-ს
}

თუ მეთოდში რამდენიმე return ბრძანებაა, ყველა უნდა აბრუნებდეს მნიშვნელობებს, რომლებიც თავსებადია მეთოდის გამოცხადებულ დაბრუნების ტიპთან.

ასინქრონული მეთოდების (async) შემთხვევაში, დაბრუნების ტიპი ჩვეულებრივ არის Task ან Task<T>. კომპილატორი ავტომატურად ქმნის შესაბამის კოდს ასინქრონული ოპერაციის მართვისთვის.

// ასინქრონული მეთოდი, რომელიც აბრუნებს `Task`-ს (მნიშვნელობის გარეშე)
public async Task DoSomethingAsync()
{
    await Task.Delay(1000);
}

// ასინქრონული მეთოდი, რომელიც აბრუნებს `Task<int>` (მთლიანი რიცხვი)
public async Task<int> GetResultAsync()
{
    await Task.Delay(1000);
    return 123;
}