Warum kann Inferenz Typ nicht von Constraints

Question

Typ eingeben Ich habe eine Schnittstelle gemacht, so dass ich versuchen kann, einige generische Code wiederholen.

public interface IIdentifiable<T> 
{ 
    T Id { get; set; } 
} 

Dann habe ich eine Klasse, die mit einem Unternehmen arbeitet, mit der Einschränkung von IIdentifiable<T>

public class MyClass<TEntity, TId> 
    where TEntity : IIdentifiable<TId> {} 

Aber jetzt, wenn ich MyClass verwenden Ich habe in TId sogar passieren, obwohl es nur einen gültigen Typ ist für TId.

public class MyEntity : IIdentifiable<Guid> {} 

var foo = new MyClass<MyEntity>(); // Error 
var bar = new MyClass<MyEntity, Guid>(); 

In C++ Ich kann dies tun:

template<typename T> 
struct IIdentifiable 
{ 
    using id_type = T; 

    T id; 
}; 

template<typename TEntity, typename TId = typename TEntity::id_type> 
struct MyClass {}; 

MyClass<MyEntity> foo; 

Gibt es eine C# -Äquivalent?

Answer 1

es nur einen gültigen Typ für TId

Falsch! :)

Counterexample:

public class MyEntity : IIdentifiable<Guid> 
{ 
    public Guid Id { get; set; } 
} 

public class MyOtherEntity : MyEntity, IIdentifiable<int> 
{ 
    int IIdentifiable<int>.Id { get; set; } 
} 

var foo = new MyClass<MyOtherEntity>(); // So, which IIdentifiable should be used? 

Außerdem C# Generika funktionieren nicht wie C++ Vorlagen, sind sie zur Laufzeit verdinglicht und haben unterschiedliche Einschränkungen.