Я ожидал, что этот код будет компилировать, но это не так. В обоих .NET Framework 4.8 и .net 8 сборка не удается с ошибкой аргумент 1: не может преобразовать из 'foo ' в 'ifoo ' .
Код: Выделить всё
interface IBar { }
interface IFoo where TBar : IBar { }
class Foo : IFoo where TBar : IBar
{
void TakeFoo(IFoo foo) { }
void TakeThis() => TakeFoo(this); // doesn't compile
}
Учитывая то, что и out положения, конечно, Foo должен быть ifoo , верно? Или это запрещено, потому что разрешение на это каким -то образом вызовет небезопасную ситуацию, когда TakeFoo может вызвать метод на foo , которая возвращает tbar и получить значение, которое не является ibar ?
Подробнее здесь:
https://stackoverflow.com/questions/797 ... -interface