Почему параметры метода по умолчанию должны быть константами времени компиляции в C#

Question

EDIT 1: Я знаю, что есть альтернативы, такие как телескопирование, это был чисто образовательный вопрос.

Я знаю, что это правда, но почему это должно быть? Похоже, что-то вроде этого:

public class Foo{ 

    private int bar; 

    public void SetBar(int baz = ThatOtherClass.GetBaz(3)){ 
     this.bar = baz; 
    } 

} 

Компилятор может изменить способ что-то вроде этого:

public void SetBar(int baz){ 

//if baz wasn't passed: 
baz = ThatOtherClass.GetBaz(3); 

this.bar = baz; 

} 

Почему бы эту работу, или это, и это просто дизайнерское решение ?

Answer 1

Поскольку спецификация говорит так:

с фиксированным параметром с аргументом по умолчанию-известен в качестве необязательного параметра , в то время как с фиксированным параметром без по умолчанию-аргумента является необходимым параметром. Обязательный параметр может не отображаться после необязательного параметра в списке формальных параметров. Параметр ref или out не может иметь аргумент по умолчанию. Выражение в по умолчанию-аргумента должен быть одним из следующих:

• постоянной экспрессии

• выражение в виде новых S(), где S является типом значения

• выражение формы по умолчанию (S), где S - тип значения

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

Когда аргументы опущены из члена функции с соответствующими необязательных параметрами, аргументы по умолчанию для функции члена декларации неявно передаются. Поскольку они всегда постоянны, их оценка не повлияет на порядок оценки оставшихся аргументов .