Почему C# не допускает тип type как параметр по умолчанию?

Question

class MyClass 
{ 
    public void MyMethod(Type targetType = typeof(MyClass)) 
    { 
    } 
} 

Разве typeof(MyClass) постоянная времени компиляции?

Answer 1

Из MSDN - Named and Optional Parameters:

A default value must be one of the following types of expressions:

• a constant expression;

• an expression of the form new ValType(), where ValType is a value type, such as an enum or a struct;

• an expression of the form default(ValType), where ValType is a value type.

---

typeof не обязательно возвращать время компиляции константу, как она может возвращать разные результаты в зависимости от контекста.

Answer 2

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

class MyClass<T> 
{ 
    public void MyMethod(Type targetType = typeof(MyClass<T>)) 
    { 
    } 
} 

Answer 3

Я не эксперт IL, но кажется, что он вызывает метод в L_0005:

return typeof(int); 

подмигнули то же самое из:

.maxstack 1 
.locals init (
    [0] class [mscorlib]System.Type typeofvar) 
L_0000: ldtoken int32 
L_0005: call class [mscorlib]System.Type [mscorlib]System.Type::GetTypeFromHandle(valuetype [mscorlib]System.RuntimeTypeHandle) 
L_000a: stloc.0 
L_000b: ldloc.0 
L_000c: ret 

Вы можете видеть, что isn'ta постоянного типа написания кода:

const Type constType = typeof(int); 

Это возвращает ошибку:

Constant initialize must be compile-time constant 

Answer 4

Isn't typeof(MyClass) a compile-time constant?

Это частности выражение статически разрешимы, да, но typeof() оценивается во время выполнения (из-за дженериков), поэтому правило должно быть, что typeof() вызов не является константой времени компиляции.

мне интересно, что ли в C# 1.0, когда не было такого аргумента быть ...