Ошибка компиляции с типами примитивов с реализациями общих методов интерфейса

Question

Я хочу написать интерфейс, который позволяет свободу в реализации. В принципе, я не знаю, какие типы возвращаемых типов не являются параметрами. Я просто хочу, чтобы производные классы реализовали этот контракт с одинаковыми именами методов и номерами параметров.

Так что я могу сделать так:

public interface IImageRecognitionEngine<TFoo0, TFoo1, TFoo2, TFoo3> 
{ 
    TFoo0 Learn(TFoo1 param); 
    TFoo2 Recognize(TFoo3 param); 
} 

public class FooImageRecognitionEngine : IImageRecognitionEngine<byte[], string, List<double>, string> 
{ 
    public byte[] Learn(string param) 
    { 
     throw new NotImplementedException(); 
    } 

    public List<double> Recognize(string param) 
    { 
     throw new NotImplementedException(); 
    } 
} 

Но я бы гораздо больше предпочитают общие методы, а не весь интерфейс. Но я не понимаю, почему я могу это сделать:

public interface IImageRecognitionEngine2 
{ 
    TFoo0 Learn<TFoo0, TFoo1>(TFoo1 param); 
    TFoo2 Recognize<TFoo2, TFoo3>(TFoo3 param); 
} 

public class FooExampleClass 
{ 

} 

public class FooExampleClass2 
{ 

} 

public class Foo1ImageRecognitionEngine2 : IImageRecognitionEngine2 
{ 
    public FooExampleClass Learn<FooExampleClass, FooExampleClass2>(FooExampleClass2 param) 
    { 
     throw new NotImplementedException(); 
    } 

    public FooExampleClass Recognize<FooExampleClass, FooExampleClass2>(FooExampleClass2 param) 
    { 
     throw new NotImplementedException(); 
    } 
} 

Но с примитивными типами компилятор дает мне ошибки:

public class Foo2ImageRecognitionEngine2 : IImageRecognitionEngine2 
{ 
    public byte[] Learn<byte[], string>(string param) 
    { 
     throw new NotImplementedException(); 
    } 

    public List<double> Recognize<List<double>, string>(string param) 
    { 
     throw new NotImplementedException(); 
    } 
} 

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

public class Foo2ImageRecognitionEngine2 : IImageRecognitionEngine2 
{ 
    public TFoo0 Learn<TFoo0, TFoo1>(TFoo1 param) 
    { 
     throw new NotImplementedException(); 
    } 

    public TFoo2 Recognize<TFoo2, TFoo3>(TFoo3 param) 
    { 
     throw new NotImplementedException(); 
    } 
} 

И, будучи в состоянии сделать это:

var fooEngine = new Foo2ImageRecognitionEngine2(); 
fooEngine.Learn<string, int>(52); 

И это не работает также:

public interface IImageRecognitionEngine3 
{ 
    object Learn(object param); 
    object Recognize(object param); 
} 

public class Foo1ImageRecognitionEngine3 : IImageRecognitionEngine3 
{ 
    public byte[] Learn(string param) 
    { 
     throw new NotImplementedException(); 
    } 

    public List<double> Recognize(string param) 
    { 
     throw new NotImplementedException(); 
    } 
} 

Спасибо

Answer 1

public FooExampleClass Learn<FooExampleClass, FooExampleClass2>(FooExampleClass2 param) 
{ 
    throw new NotImplementedException(); 
} 

не делает то, что вы думаете - FooExampleClass и FooExampleClass2 - это не типы, а параметры типа, которые могут быть созданы для любого класса. Это означает, что клиент может сделать:

var e = new Foo1ImageRecognitionEngine2(); 
e.Learn<string, object>(new object()); 

Ваш код работает только потому, что он ничего не делает.

Общие методы, подобные этому, должны работать для любых параметров, которые выбирает клиент, поэтому нет способа ограничить работу параметров для определенных параметров. Если вы хотите это сделать, вам нужно перенести их в определение интерфейса, которое у вас есть в первом примере.