プログラマに強制的に定義させる基本クラスの抽象プロパティ

組み込みデバイスの状態パターンでコーディングしています。Stateと呼ばれる基本/抽象クラスがあり、各離散（コンクリート）状態クラスが抽象状態クラスを実装します。

Stateクラスには、いくつかの抽象メソッドがあります。ディスクリート（コンクリート）クラスに抽象メソッドを実装しない場合、Visual Studioは次のようなエラーを出します。

...エラー1 'myConcreteState'は継承された抽象メンバー 'myAbstractState'を実装していません

さて、StateNameというStateごとにStringプロパティを作成しようとしています。新しい具象クラスを作成するときはいつでも、StateNameを定義する必要があります。使用しない場合はVSでエラーをスローする必要があります。これを行う簡単な方法はありますか？

私は抽象/基本クラスでこれを試しました：

public abstract string StateName { get; set; }

ただし、各状態にGetメソッドとSetメソッドを実装する必要はありません。

改訂された質問：理想的な状況では、各Stateクラスは、StateNameを定義して抽象基本クラスから継承する必要があります。

StateName = "MyState1"; //or whatever the state's name is

そのステートメントがない場合、Visual Studioは上記のエラーを生成します。これは可能ですか？可能な場合、どのようにですか？

これを行う「正しい」方法は、パラメーターとして状態名を必要とする基本クラスに保護されたコンストラクターを持つことだと思います。

public abstract class State
{
    private readonly string _name;

    protected State(string name)
    {
        if(String.IsNullOrEmpty(name))
            throw new ArgumentException("Must not be empty", "name");

        _name = name;
    }

    public string Name { get { return _name; } }
}

具体的な状態は、適切な名前で基本クラスコンストラクターを暗黙的に呼び出すパブリックコンストラクターを提供します。

public abstract class SomeState : State
{
    public SomeState() : base("The name of this state")
    {
        // ...
    }
}

基本クラスは他のコンストラクター（保護でもパブリックでもない）を公開しないため、継承する各クラスはこの単一のコンストラクターを通過する必要があり、したがって名前を定義する必要があります。

具象状態をインスタンス化するときに、コンストラクタが処理するため、名前を指定する必要がないことに注意してください。

var someState = new SomeState(); // No need to define the name here
var name = someState.Name; // returns "The name of this state"

C＃6（私は信じています-C＃：新しく改良されたC＃6.0）では、ゲッターのみのプロパティを作成できます。したがって、基本クラスを次のように宣言できます-

public abstract class State
{
    public abstract string name { get; }

    // Your other functions....
}

そして、あなたのサブクラスであなたはStateそのように実装することができます-

public class SomeState : State
{
    public override string name { get { return "State_1"; } }
}

またはラムダ演算子を使用してもっとすっきり-

public class SomeState : State
{
    public override string name => "State_1";
}

どちらも常に「State_1」を返し、不変です。

あなたの要件は矛盾しています：

StateNameというState ごとに Stringプロパティを作成しようとしています。

対

しかし、私は必要としないでそのすべてを実装するために、それぞれの状態。

少数のサブクラスでのみメンバーの存在を強制できる言語機能はありません。結局のところ、スーパークラスを使用するポイントは、すべてのサブクラスがスーパークラスのすべてのメンバーを（おそらくそれ以上）持つという事実に依存することです。として機能するStateが名前を持たないクラスを作成する場合、定義により、それらはのサブクラスであってはなりません（/できません）State。

要件を変更するか、単純な継承以外のものを使用する必要があります。

そのままのコードで可能な解決策は、メソッドをState非抽象にして空の文字列を返すことです。