В чём разница: возвращение метода?

Question

[Tsiren Naimanov]

Есть ли разница?

public object GetSomething()
{
           var key = ToDoSomething();
           return key;
}

и

public object GetSomething()
{
           return ToDoSomething();
}

ну вот примерно в таких случаях, какова разница???
UPD1!!!
Какая разница?

public Tuple<object,object> GetSomething()
{
           return new Tuple<object,object>( SomeDo(), SOmeDoing);
}

public object GetSomething(ref object k)
{
           k = SomeDo();
           return SomeDoing();
}

public object GetSomething(out int k)
{
           k = SomeDo();
           return SomeDoing();
}

Answer 1

[Rou1997]

По первому вопросу: компилятор все приведет к первому виду, на уровне MSIL в обоих случаях будет регистр (переменная), так что при выполнении разницы никакой, а вот при написании первый код более совершенен (расширяем), между var и return можно еще что-нибудь сделать с key.
По UPD: совсем разные куски кода, много различий, не понимаю, в чем вопрос.

Comments

[Tsiren Naimanov]

UDP, обновил, то есть, мне надо передать два объекта, как лучше это сделать?

[Rou1997]

Tsiren Naimanov: Зависит от задачи, вне контекста абсолютно ничего нельзя сказать, ну разве что, обычно удобнее, чтобы все возвращалось через return.

[AxisPod]

А вы проверяли, чтобы делать такие заявления? Вообще-то компилятор C# работает не как у C++ к примеру и вообще не вырезает куски кода, если уж объявили переменную, значит в MSIL она будет гарантированно.

[Rou1997]

AxisPod: Вы сами ничего не проверили, и невнимательно прочитали! Не ко второму типу, а к первому, то есть "переменная" (регистр) будет в обоих случаях.

[AxisPod]

Rou1997: Вы можете сами собрать первые 2 функции и проверить, я же вам не запрещаю. Сложно на визуалке, возьмите https://dotnetfiddle.net/ он вам покажет.

[Rou1997]

AxisPod: Да отстаньте уже, читать не умеете, не мучайте тостер.

[AxisPod]

Rou1997: "на уровне MSIL в обоих случаях будет регистр (переменная)", как мне это еще трактовать? Я вам и предложил посмотреть что же будет на самом деле, что естественно вам не позволяет эго. Я тогда вам подскажу, в 1м случае будет аж 2 переменных, а во втором 1.

[Tsiren Naimanov]

Rou1997: посмотри мой ответ ниже

Answer 2

[Андрей Буров]

Думаю что никакой. Скорее всего компилятор оптимизирует все и приведет все ко второму варианту.

Answer 3

[Толстый Лорри]

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

Answer 4

[AxisPod]

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

Если не путаю, ref и out это подсказки компилятору, по сути компилятор начинает генерировать код работающий с ссылками и не более. В плане генерируемого кода разницы не будет, но будет отличаться поведение самого компилятора на предмет нахождения ошибок.

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

Comments

[Сергей Кузьмин]

1. Будьте добры, пожалуйста, предоставьте пруфы, насчет вашего высказывания "Компилятор C# код не оптимизирует".
2. Объясните, пожалуйста, в чем разница при сборке в режиме debug и release?
3. https://msdn.microsoft.com/ru-ru/library/k1ack8f1.aspx
4. professorweb.ru/my/csharp/optimization/level7/7_6.php - может быть не самый проверенный источник, но всё таки.

[AxisPod]

Сергей Кузьмин: Ну отлично, подумаешь, что говорили про C# компилятор, не важно, вы бы еще дали ссылку на оптимизации компиляторов C++, было бы очень в тему. Не путайте C# и JIT компиляторы, это слегка разные инструменты.

[AxisPod]

Сергей Кузьмин: И 3й пунктик ваще бомба, вы хотя бы смотрели в каком разделе эта страница?

[Tsiren Naimanov]

AxisPod: посмотри мой ответ ниже

[Tsiren Naimanov]

Сергей Кузьмин: посмотри мой ответ ниже

[AxisPod]

Tsiren Naimanov: Здесь заговорился, согласен. Следует читать "не вырезает код", вместо "не оптимизирует".

[Сергей Кузьмин]

AxisPod: каюсь. Пропустил. Всего лишь хотел добраться до истины.

Answer 5

[Tsiren Naimanov]

Я пытался тестировать код
вот что получилось

/*ILCODE
        .method private hidebysig static string  GetString() cil managed
        {
            // Размер кода:       11 (0xb)
            .maxstack  1
            .locals init ([0] string V_0)
            IL_0000:  nop
            IL_0001:  ldstr      "MyString"
            IL_0006:  stloc.0
            IL_0007:  br.s       IL_0009
            IL_0009:  ldloc.0
            IL_000a:  ret
        } // end of method Program::GetString*/
        /* OILCODE
        .method private hidebysig static string  GetString() cil managed
        {
          // Размер кода:       6 (0x6)
          .maxstack  8
          IL_0000:  ldstr      "MyString"
          IL_0005:  ret
        } // end of method Program::GetString
        */
        private static string GetString()
        {
            return "MyString";
        }
        /*ILCODE
        .method private hidebysig static string  GetStringVar() cil managed
        {
          // Размер кода:       13 (0xd)
          .maxstack  1
          .locals init ([0] string str,
                   [1] string V_1)
          IL_0000:  nop
          IL_0001:  ldstr      "MyString"
          IL_0006:  stloc.0
          IL_0007:  ldloc.0
          IL_0008:  stloc.1
          IL_0009:  br.s       IL_000b
          IL_000b:  ldloc.1
          IL_000c:  ret
        } // end of method Program::GetStringVar 
        */
        /*OILCODE
        .method private hidebysig static string  GetStringVar() cil managed
        {
          // Размер кода:       8 (0x8)
          .maxstack  1
          .locals init ([0] string str)
          IL_0000:  ldstr      "MyString"
          IL_0005:  stloc.0
          IL_0006:  ldloc.0
          IL_0007:  ret
        } // end of method Program::GetStringVar
        */
        private static string GetStringVar()
        {
            var str = "MyString";
            return str;
        }
        /*ILCODE
        .method private hidebysig static object  GetObject() cil managed
        {
            // Размер кода:       11 (0xb)
            .maxstack  1
            .locals init ([0] object V_0)
            IL_0000:  nop
            IL_0001:  newobj     instance void [mscorlib]System.Object::.ctor()
            IL_0006:  stloc.0
            IL_0007:  br.s       IL_0009
            IL_0009:  ldloc.0
            IL_000a:  ret
        } // end of method Program::GetObject
        */
        /*OILCODE
        .method private hidebysig static object  GetObject() cil managed
        {
          // Размер кода:       6 (0x6)
          .maxstack  8
          IL_0000:  newobj     instance void [mscorlib]System.Object::.ctor()
          IL_0005:  ret
        } // end of method Program::GetObject
        */
        private static object GetObject()
        {
            return new object();
        }
        /*ILCODE
        .method private hidebysig static object  GetObjectVar() cil managed
        {
            // Размер кода:       13 (0xd)
            .maxstack  1
            .locals init ([0] object b,
                    [1] object V_1)
            IL_0000:  nop
            IL_0001:  newobj     instance void [mscorlib]System.Object::.ctor()
            IL_0006:  stloc.0
            IL_0007:  ldloc.0
            IL_0008:  stloc.1
            IL_0009:  br.s       IL_000b
            IL_000b:  ldloc.1
            IL_000c:  ret
        } // end of method Program::GetObjectVar
        */
        /*OILCODE
        .method private hidebysig static object  GetObjectVar() cil managed
        {
          // Размер кода:       8 (0x8)
          .maxstack  1
          .locals init ([0] object b)
          IL_0000:  newobj     instance void [mscorlib]System.Object::.ctor()
          IL_0005:  stloc.0
          IL_0006:  ldloc.0
          IL_0007:  ret
        } // end of method Program::GetObjectVar
        */
        private static object GetObjectVar()
        {
            var b = new object();
            return b;
        }

ILCODE - это IL Code из ILDASM
OILCODE - это IL Code из ILDASM с галочкой "Оптимизировать код"

Comments

[AxisPod]

Показательный код. Оптимизация кода есть, но объекты не вырезаны.