Почему компилятор 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 не совпадает. Тем не менее он создает и генерирует исключение во время выполнения. Вопрос в том, почему компилятор допускает это? Или что это за философия?

Причиной этого может быть Compiler does not know which OneMethod would be called, because a is dynamic. Но почему он не видит, что есть только один OneMethod. Во время выполнения обязательно будет исключение.

Answer 1

Любое выражение, имеющее операнд типа dynamic, будет иметь тип самой динамики.

Таким образом, ваше выражение OneMethod(a) возвращает объект, который набранный динамически

поэтому первая часть кода эквивалентна

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

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

private static T OneMethod<T>(T number) 

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