一般的なタイプからの推測質問

Question

これはもっと一般的な暴言だと思うけど、なぜ私のIDのタイプを推測するC＃を得ることができないのですか？

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

と、次のようにIDとしてGUIDを持つ定義さEntityObject：として定義された抽象EntityObjectクラスから継承

public Foo : EntityObject<Guid> 

は次のとおりです。getメソッドの

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

使い方を考え

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

がさらに明確になるように編集されています。

Answer 1

2つの宣言を与えただけで、使用方法はわかりません。 IdTは別の型パラメータですか？ IdTがあると仮定すると、今

を - （ただし、規則に反して別の型パラメータのEntityTを、使用しているという事実は、...多分IdTも同様であることを示唆している、それはTIdだったら、それはそれは示唆しています）あなたのケースでは実際に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> 
} 

をそれがTId、TEntityはない制約だからです。ここでも、このようなことは型推論を簡単にします。

今、あなたは潜在的に書くことができます：

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); 

Jonの彼のポストアップトップと、この答えはので、私は黙っだろうと戻って私の穴にクロール釘付け。

Answer 3

IDTが具象型である

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

要求等宣言。 Idtをパラメータ化する場合は、

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

を使用する必要がありますが、それはおそらくあなたが望むものではありません。

Answer 4

これは、汎用エンティティを持つ汎用キータイプをすべて諦めてしまった理由です。私はエンティティにジェネリックキータイプを持たせる方法を理解することができませんでした。今私は整数キー（これは私がどこにいても）を解決しましたが、それは間違っています。