Абстрактное свойство в базовом классе, чтобы заставить программиста определить его

Я кодирую с шаблоном состояния для встроенного устройства. У меня есть базовый / абстрактный класс, называемый State, и затем каждый дискретный (конкретный) класс состояний реализует абстрактный State State.

В государственном классе у меня есть несколько абстрактных методов. Если я не реализую абстрактные методы в дискретном (конкретном) классе, Visual Studio выдаст ошибку примерно так:

... Ошибка 1 'myConcreteState' не реализует унаследованный абстрактный член 'myAbstractState'

Теперь: я пытаюсь создать свойство String для каждого состояния с именем StateName. Всякий раз, когда я создаю новый конкретный класс, мне нужно определить StateName. Я хочу, чтобы VS выдавал ошибку, если я ее не использую. Есть ли простой способ сделать это?

Я пробовал это в абстрактном / базовом классе:

public abstract string StateName { get; set; }

Но мне не нужно реализовывать методы Get и Set в каждом государстве.

Пересмотренный вопрос: в идеальной ситуации каждый класс состояний должен иметь определения 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» и были бы неизменными.

Ваши требования противоречат:

Я пытаюсь создать свойство String для каждого состояния с именем StateName.

против

Но мне не нужно реализовывать все это в каждом штате.

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

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

Возможное решение с использованием кода в том виде, в каком оно есть, - сделать метод Stateне абстрактным и вернуть пустую строку.