Как я могу избежать нарушения LSP в этом примере? С#

Вы можете изменить Message на общий, а буква T будет указывать тип возвращаемого содержимого. См. пример ниже.

Редактировать Вы можете использовать «IMessage» и «Message: IMessage» в качестве основы. Затем вы сможете создать список IMessage следующим образом:

var messages = new List<IMessage>
{
    new ClassicMessage(),
    new MessageWithCustomContent()
};
foreach (var message in messages)
{
    message.GetContent();
}

Ниже показано, как можно реализовать IMessage.

public interface IMessage
{
    int GetID();
    bool GetLocalized();
    string GetMetadata();
    object GetContent();
}

public abstract class Message<T> : IMessage
{
    protected int m_id;
    protected bool m_localized;
    protected string m_metaData;

    public int GetID() { return m_id; }
    public bool GetLocalized() { return m_localized; }
    public string GetMetadata() { return m_metaData; }
    object IMessage.GetContent()
    {
        return GetContent();
    }
    public abstract T GetContent();
}

public class ClassicMessage : Message<string>
{
    private string m_title;
    private string m_content;

    public void SetTitle(string title) { m_title = title; }
    public void SetContent(string content) { m_content = content; }
    public string GetTitle() { return m_title; }
    public override string GetContent()
    {
        return m_content;
    }
}

public class MessageWithCustomContent : Message<List<CustomContent>>
{
    private List<CustomContent> m_content;

    public MessageWithCustomContent()
    {
        m_content = new List<CustomContent>();
    }

    public CustomContent GetCustomContent(int id)
    {
        return null;
    }

    public override List<CustomContent> GetContent()
    {
        return m_content;
    }
}

public class CustomContent
{
    private int m_id;
    public int ID { get; set; }
    private string m_body;

    public string Body
    {
        get { return m_body; }
        set { m_body = value; }
    }
}

Ниже я объясню, как вы ломаете LSP, но до того, как я это сделаю, вы на самом деле не выполняете никакого наследования. Да, вы объявляете, что ваши классы наследуются, но вы на самом деле ничего не наследуете. Поэтому, прежде чем изучать LSP, возможно, вам нужно сначала разобраться с наследованием.

Как узнать, нарушаю ли я LSP?

Чтобы не сказать, что ваш Message класс был таким, обратите внимание на виртуальные и абстрактные методы:

public abstract class Message 
{
    protected int m_id;
    protected bool m_localized;
    protected string m_metaData;

    public virtual int GetID() { return m_id; }
    public virtual bool GetLocalized() { return m_localized; }
    public abstract string GetMetadata();
}

Создайте такой список:

var messages = new List<Message>();

Затем добавьте конкретные типы в этот список всех наследуемых типов. Затем сделайте следующее:

foreach(var thisMessage in messages)
{
    var id = thisMessage.GetID();
    var loc = GetLocalized();
    var meta = GetMetadata();
}

Если вы не сгенерировали исключение из-за того, что один из классов-наследников решил, что ему не нужен ни один из этих методов, значит, вы не нарушили LSP. Идея в том, что если что-то наследует Message, то оно должно унаследовать все. В противном случае мы не можем безопасно и уверенно заменить унаследованным на родительский.

Причина, по которой этот принцип важен, заключается в том, что может существовать код, который использует Message, как показано в foreach выше, где он обрабатывает все типы полиморфно, и разработчик решает наследовать его следующим образом:

public abstract class BadMessage 
{    
    public override int GetID() 
    { 
        throw new InvalidOperationException
           ("This method is not needed for BadMessage and should not be called"); 
    }
    public override bool GetLocalized() { ... }
    public override string GetMetadata() { ... }
}

Вы видите, что это сломает существующий код. И хуже всего то, что компилятор даже не сможет его отловить, пока он не проявится как уродливая ошибка в продакшене.

Ну, вам не хватает методов интерфейса в базовом классе. Абстрактные функции, которые реализуются в производных классах. Если вы получите сообщение, не зная, какого оно типа, как бы вы запросили его содержимое? Вы можете добавить в свою базу специфичные для производных методы, но вам придется реализовать исключение not_implemented в виртуальной реализации в базовом классе, чтобы компенсировать все производные, не реализующие его, и добавить обработку исключений. Но тогда вы должны спросить себя: «Действительно ли этот класс производный? Чего я хочу достичь».