Вывод из родового типа Вопрос

Question

Я полагаю, что это скорее публичная речь, но почему я не могу получить C# для вывода моего идентификатора?

public EntityT Get<EntityT>(IdT id) where EntityT : EntityObject<IdT> 

и определенный EntityObject с Guid как Id следующим образом:

public Foo : EntityObject<Guid> 

Наследование от абстрактного класса EntityObject определяется следующим образом:

public abstract class EntityObject<IdT> 
{ 
    public IdT id { get; set; } 
} 

Использование метода Доберутся должны быть следующими:

IRepository repository = new Repository(); 
var hydratedFoo = repository.Get<Foo>(someGuidId); 

отредактирован для уточнения подробностей.

Answer 1

Трудно сказать, учитывая, что вы указали только два объявления, а не то, как вы их используете. Является ли IdT другим параметром типа где-нибудь? (Если бы это было TId, что хотел бы предложить это - но тот факт, что вы используете EntityT для другого параметра типа, в отличие от конвенций, свидетельствует о том, что может быть IdT как хорошо ...)

Теперь, предполагая, что IdT является на самом деле Guid в вашем случае, как должен компилятор работать, что вы имеете в виду Foo? Могут быть другие типы, происходящие от EntityObject<Guid>.

Короче говоря, вы не дали нам достаточно информации, чтобы что-то сказать наверняка, но похоже, что вы в основном делаете необоснованные требования к компилятору.

EDIT: Хорошо, вот моя догадка, что у вас есть, используя обычные правила именования:

public interface IRepository 
{ 
    TEntity Get<TEntity, TId>(TId id) where TEntity : EntityObject<TId> 
} 

public abstract class EntityObject<TId> 
{ 
    public IdT id { get; set; } 
} 

public class Foo : EntityObject<Guid> {} 

Вы хотите сделать:

IRepository repository = GetRepositoryFromSomewhere(); 
Foo foo = repository.Get<Foo>(someGuid); 

В то время как в настоящее время вы должны сделать:

Foo foo = repository.Get<Foo, Guid>(someGuid); 

Да, компилятор делает это очень немного сложнее для вас, чем необходимо. Целые 6 дополнительных символов, для упрощения понимания языка и определения типа вывода.

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

class Repository<TEntity> 
{ 
    TEntity Get<TId>(TId id) where TEntity : EntityObject<TId> 
} 

потому что это сдерживающий TEntity, не TId. Опять же, подобные вещи делают вывод типа проще.

Теперь вы мог потенциально написать:

Foo foo = repository.Get(someGuid).For<Foo>(); 

с соответствующим Get способом и дополнительным интерфейсом. Я думаю, я лично предпочел бы просто использовать Get<Foo, Guid>.

Answer 2

Если подпись метода выглядит следующим образом:

public TEntity Get<TEntity, TId>(TId id) where TEntity : EntityObject<TId> 

компилятор будет иметь что-то, чтобы работать с ...

Затем вызывается получить что-то вроде:

EDIT (я был неверно): Продукт p = Get (id);

Product p = Get<Product, Guid>(id); 

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

Answer 3

Декларация как

public EntityT Get<EntityT>(IdT id) where EntityT : EntityObject<IdT> 

требует, чтобы IDT является конкретным типом. Если вы хотите параметризовать IDT, а также, вы должны были бы использовать

public EntityT Get<EntityT, IdT>(IdT id) where EntityT : EntityObject<IdT> 

Но это, вероятно, не то, что вы хотите.

Answer 4

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