왜 C# 컴파일러는 반환 값 유형과 변수 유형이 일치하지 않습니까?

Question

다음 코드를 고려하십시오

static void Main() 
{ 
    dynamic a = 1; 
    int b = OneMethod(a); 
} 

private static string OneMethod(int number) 
{ 
    return ""; 
} 

이 type of b 및 return type of OneMethod이 일치하지 않는주의하시기 바랍니다. 그럼에도 불구하고 런타임시 예외를 생성하고 throw합니다. 제 질문은 컴파일러가 왜 이것을 허용합니까? 아니면 이것의 철학은 무엇입니까?

이유는 Compiler does not know which OneMethod would be called, because a is dynamic. 일 수 있습니다. 그러나 왜 단지 OneMethod인지 알 수 없습니다. 런타임에는 예외가 반드시있을 것입니다.

Answer 1

동적 유형의 피연산자가있는 표현식에는 동적 유형이 있습니다.

따라서 당신의 표현은 OneMethod(a)이 합리적인 이유 때문에 코드의 첫 번째 부분은 귀하의 케이스가 있는지 여부에 따라도에서 주장의

static void Main() 
{ 
    dynamic a = 1; 
    dynamic temp = OneMethod(a); 
    int b = temp; 
} 

방법 중 하나에 해당

동적으로 입력 된 것 개체를 반환 또는 당신은 아래의 메서드를 추가 할 때 컴파일러가 특정 줄에 대한 동작을 변경해야한다고 생각하지 않습니다.

private static T OneMethod<T>(T number) 

이제 컴파일러는 런타임까지 반환 된 유형을 알 수 없습니다. 어떤 메소드가 호출되는지조차 알지 못합니다. 제네릭 또는 제네릭이 아닌 첫 번째 경우에 할당을 컴파일 오류로 표시 한 다음 전혀 다른 방법을 추가하여 런타임 오류로 이동하면 놀라지 않을까요?