实体

using System;
using System.Collections.Generic;
using System.Linq;

//client code
//no database and no screen anywhere below
var order = new Order(1001);
order.Add("pen", 30, 2);
order.Add("lamp", 190, 1);
Console.WriteLine($"order {order.Id}");
Console.WriteLine($"lines {order.Lines.Count}");
Console.WriteLine($"total {order.Total}");
Console.WriteLine($"discount {order.Discount}");
Console.WriteLine($"payable {order.Payable}");
order.Pay();
Console.WriteLine($"paid {order.Paid}");

//every rule below is refused by the entity itself
try
{
    order.Add("pen", 30, 1);
}
catch (InvalidOperationException error)
{
    Console.WriteLine($"refused: {error.Message}");
}

try
{
    new Order(1002).Pay();
}
catch (InvalidOperationException error)
{
    Console.WriteLine($"refused: {error.Message}");
}

try
{
    new OrderLine("chair", 30, 0);
}
catch (ArgumentException error)
{
    Console.WriteLine($"refused: {error.Message}");
}
//printed: order 1001
//         lines 2
//         total 250
//         discount 25
//         payable 225
//         paid True
//         refused: already paid
//         refused: empty order
//         refused: bad count

//entity: a record still guards its own rule, because a
//positional property may be re-declared with a check
record OrderLine(string Sku, int Price, int Count)
{
    public int Count { get; } = Count > 0
        ? Count
        : throw new ArgumentException("bad count");

    public int Cost => Price * Count;
}

//entity
sealed class Order
{
    private readonly List<OrderLine> lines = [];

    public Order(int id) => Id = id;

    public int Id { get; }

    public IReadOnlyList<OrderLine> Lines => lines;

    public bool Paid { get; private set; }

    //business rule: a paid order never changes
    public void Add(string sku, int price, int count)
    {
        if (Paid)
        {
            throw new InvalidOperationException(
                "already paid");
        }
        lines.Add(new OrderLine(sku, price, count));
    }

    public int Total => lines.Sum(line => line.Cost);

    //business rule: 10% off from 200
    public int Discount => Total >= 200 ? Total / 10 : 0;

    public int Payable => Total - Discount;

    //business rule: an empty order is never paid
    public void Pay()
    {
        if (lines.Count == 0)
        {
            throw new InvalidOperationException(
                "empty order");
        }
        Paid = true;
    }
}