Tại sao C# không cho phép typeof làm thông số mặc định?

Question

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

Không phải là typeof(MyClass) hằng số biên dịch?

Answer 1

Từ 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 không nhất thiết phải trở về một thời gian biên dịch thường xuyên vì nó có thể đưa ra kết quả khác nhau tùy thuộc vào ngữ cảnh.

Answer 2

bởi vì nó không nhất thiết phải là một biểu thức liên tục. ví dụ của bạn có một typeof trên một lớp đơn giản nhưng nếu lớp đó là chung chung thì sao? rõ ràng đây không phải là hằng bởi cho đến nay:

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

Answer 3

Tôi không phải là một chuyên gia IL, nhưng dường như nó gọi một phương pháp tại L_0005:

return typeof(int); 

Nó rất giống nhau của:

.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 

Bạn có thể thấy rằng nó không phải là một hằng số kiểu viết mã:

const Type constType = typeof(int); 

Đó trả về một lỗi:

Constant initialize must be compile-time constant 

Answer 4

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

Đó đặc biệt biểu thức là tĩnh phân giải, vâng, nhưng typeof() được đánh giá ở thời gian thực hiện (vì generics), do đó quy tắc phải là một Cuộc gọi typeof() không phải là thời gian biên dịch.

Tôi tự hỏi liệu nó là trong C# 1.0, khi không có lập luận như vậy được thực hiện ...