Почему C# дразнят со структурной типизацией, когда он абсолютно знает, что у нее ее нет?

Question

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

public interface ICanAdd 
{ 
    int Add(int x, int y); 
} 

// Note that MyAdder does NOT implement ICanAdd, 
// but it does define an Add method like the one in ICanAdd: 
public class MyAdder 
{ 
    public int Add(int x, int y) 
    { 
     return x + y; 
    } 
} 

public class Program 
{ 
    void Main() 
    { 
     var myAdder = new MyAdder(); 
     var iCanAdd = (ICanAdd)myAdder; //compiles, but for what sake? 
     int sum = iCanAdd.Add(2, 2); //na, not game for it, cast had already failed 
    } 
} 

Компилятор (правильно?) Скажет мне, что в приведенной выше ситуации существует явное литье. Я был взволнован, чувствуя структурную типизацию там, но времени на запуск не удается. Итак, когда C# всегда помогает? Любые сценарии такого кастинга будут работать? Как бы то ни было, я уверен, что компилятор заранее знает, myAdder не ICanAdd, ну технически.

Answer 1

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

public class DerivedAdder : MyAdder, ICanAdd 
{ 
    int ICanAdd.Add(int x, int y) 
    { 
    return base.Add(x, y); 
    } 
} 

... 

MyAdder myAdder = new DerivedAdder(); 
var iCanAdd = (ICanAdd)myAdder; // Valid in this case 
int sum = iCanAdd.Add(2, 2); // sum = 4 

Если вы проверяете раздел 6.2.4 в C# Specification, вы увидите, что если вы отмечаете свой MyAdder класс как sealed, компилятор на самом деле жалуются, потому что тогда это будет точно не знаю, что никакое преобразование невозможно, так как никакой производный тип не может существовать. Но до тех пор, пока он не сможет устранить все последние сомнения, он позволит явное преобразование.

Answer 2

Класс отливки для интерфейса допускается C# language specification. Но, например, если ICanAdd был классом - компиляция завершилась неудачно