Ինչպե՞ս է կոմպիլյատորը որոշում, թե ինչ արդյունք վերադարձնել:

Կոմպիլատորը որոշում է ֆունկցիայի կամ մեթոդի վերադարձվող արժեքի տիպը նրա ստորագրության հիման վրա, որը ներառում է բացահայտորեն նշված տիպը մեթոդի անունից առաջ:

Օրինակ՝

// Այս մեթոդը բացահայտ նշում է, որ վերադարձնելու է ամբողջ թիվ (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;
}