¿Por qué C# no permite un typeof como parámetro predeterminado?

Question

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

¿No es typeof(MyClass) una constante de tiempo de compilación?

Answer 1

De 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 no devuelve necesariamente una constante de tiempo de compilación, ya que puede devolver resultados diferentes dependiendo del contexto.

Answer 2

porque no es necesariamente una expresión constante. su ejemplo presenta un typeof en una clase simple, pero ¿qué ocurre si la clase es genérica? Obviamente, esto no es constante, de lejos:

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

Answer 3

No soy un experto IL, pero parece que se llama a un método en L_0005:

return typeof(int); 

Está el mismo de:

.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 

se puede ver que no es una constante de tipo de escritura de código:

const Type constType = typeof(int); 

que devuelve un error:

Constant initialize must be compile-time constant 

Answer 4

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

Eso particular, expresión es estáticamente resoluble, sí, pero typeof() se evalúa en tiempo de ejecución (a causa de los genéricos), por lo que la regladebe ser que una typeof() llamada no es una constante en tiempo de compilación.

Me pregunto si era en C# 1.0, cuando no había tal argumento para hacerse ...