C＃のサブクラスに依存する動的な戻り値の型？

Question

抽象ゲッターGetValueで基本クラスCommandを宣言したいと思います。次に、これをたとえばTalkCommandとSpendCommandにサブクラス化します。

どちらのクラスは、しかし、私は（何を話を？）GetValueためstringタイプを返すようにTalkCommandにしたいと私はSpendCommandがintタイプを返したい、GetValueを実装する必要があります。 （いくらですか？）

Commandベースクラスでこれを書く方法はわかりません。この設計はC＃で可能ですか？

Answer 1

In addition to Manfred's answer,今後のヒントをご紹介したいと思います。

ジェネリック医薬品はあなたにGetValue戻り値の型を定義するための貴重なツールを提供しているが、次のアップキャストを実行することができwouln't：代わりに、抽象クラスとして、あなたのコマンドを定義する

abstract class Command<T> 
{ 
    public abstract T GetValue(); 
} 

class TalkCommand : Command<string> 
{ 
    public override string GetValue() 
    { 
     return "Test"; 
    } 
} 

// TalkCommand isn't Command<object> 
Command<object> cmd = new TalkCommand(); 

、私は定義を開始でしょうcovarianceとのインタフェースとして、それ：

public interface ICommand<out T> 
{ 
    T GetValue(); 
} 

全体抽象クラスはICommand<out T>を実現することができます。

abstract class Command<T> : ICommand<T> 
{ 
    public abstract T GetValue(); 
} 

は、今あなたがICommand<object>にICommand<string>の実装をアップキャストすることができます：あなたは二つの世界のベストを引き出すため

ICommand<string> cmd = new TalkCommand(); 
ICommand<object> cmd2 = cmd; 

をこれは、良いです：

• あなたのコマンドは、強力な戻り値の型を持っています。
• コマンドは一般的にICommand<object>の実装として扱うことができ、これはGetValueと呼び出し、objectを返します。提供する汎用引数がわからないか、まったく必要ない場合があります。

Answer 2

基本クラスCommandが汎用である場合、またはobjectで作業しても構いません。あなたは常に知られているインスタンスタイプで作業する場合、データが入力すると、あなたがキャストせずに必要なことができるので

一般的な例

は、これが最善のアプローチとなります。

abstract class Command<T> 
{ 
    public abstract T GetValue(); 
} 

class TalkCommand : Command<string> 
{ 
    public override string GetValue() 
    { 
     return "Test"; 
    } 
} 

class SpendCommand : Command<int> 
{ 
    public override int GetValue() 
    { 
     return 1234; 
    } 
} 

オブジェクトの例

これは、WPFはIListまたはIEnumerableようDependencyPropertiesと非ジェネリックコレクションで何をするかはかなり、非常に普遍的なアプローチです。

abstract class Command 
{ 
    public abstract object GetValue(); 
} 

class TalkCommand : Command 
{ 
    public override object GetValue() 
    { 
     return "Test"; 
    } 
} 

class SpendCommand : Command 
{ 
    public override object GetValue() 
    { 
     return 1234; 
    } 
} 

ハイブリッド例

あなたは両方を使用することができるようにしたい場合は、非ジェネリック基本クラスを必要とし、そこから別の抽象ジェネリッククラスを継承します。

abstract class Command 
{ 
    public abstract object GetValue(); 
} 

abstract class Command<T> : Command 
{ 
    public T GetTypedValue() 
    { 
     return (T)GetValue(); 
    } 
} 

class TalkCommand : Command<string> 
{ 
    public override object GetValue() 
    { 
     return "Test"; 
    } 
} 

class SpendCommand : Command<int> 
{ 
    public override object GetValue() 
    { 
     return 1234; 
    } 
} 

Answer 3

戻り値の型がサブクラスによって異なる必要がある場合は、このメソッドを基底クラスに持たない方がよいでしょう。

基本型の背後にあるアイデアは、すべてのサブクラスを統一的に処理できるようにすることです。 1つは書くことができるはずです

Command cmd = ... // One of subclasses 
<some-type> val = cmd.GetValue(); 

<some-type>を実際のタイプに置き換えてください。しかし、あなたのケースでは、とstringにはobject以外の共通の基底型はありません。したがって、異なる戻り型を持つことは無意味になります。

あなたはこのように、一般的なようGetValueを実装できます。

abstract class Command { 
    abstract T GetValue<T>(); 
    ... 
} 

それは、基本クラスでGetValueを持つことの目的を倒すことになる、GetValueの型パラメータとして所望のタイプを渡すために、発信者を必要とします。

可能な修正：発信者が型を知っているから離れて滞在することができます訪問者です一つのアプローチ - このようなCommand「プッシュ」の呼び出し元に値、することができますインターフェイス作る：今

IValueGetter { 
    void SetInt(int v); 
    void SetString(string v); 
} 

abstract class Command { 
    abstract void GetValue(IValueGetter g); 
} 
class TalkCommand { 
    override void GetValue(IValueGetter g) { 
     g.SetString("hello"); 
    } 
} 
class BuyCommand { 
    override void GetValue(IValueGetter g) { 
     g.SetInt(123); 
    } 
} 

を呼び出し元はの種類を知らずにCommandと対話できます。 intを生成するコマンドはSetIntをコールし、stringを生成するコマンドはSetStringをコールします。