[C#] sealed の設計戦略 — クラスを「継承させない」という積極的な判断

public sealed class ConnectionString
{
    public string Value { get; }

    public ConnectionString(string value)
    {
        // バリデーションして安全な値だけを保持する
        ArgumentException.ThrowIfNullOrWhiteSpace(value);
        Value = value;
    }
}

// コンパイルエラー: 'SpecialConnectionString': cannot derive from sealed type 'ConnectionString'
// public class SpecialConnectionString : ConnectionString { }

public class Shape
{
    public virtual double Area() => 0;
}

public class Circle : Shape
{
    private readonly double _radius;

    public Circle(double radius) => _radius = radius;

    // ここでオーバーライドチェーンを止める
    public sealed override double Area() => Math.PI * _radius * _radius;
}

public class SpecialCircle : Circle
{
    // コンパイルエラー: 'SpecialCircle.Area()': cannot override inherited member
    //                   'Circle.Area()' because it is sealed
    // public override double Area() => 0;
}

public struct Point
{
    public double X { get; init; }
    public double Y { get; init; }
}

// コンパイルエラー: struct は継承できない
// public struct Point3D : Point { }

public class PositiveAmount
{
    public decimal Value { get; }

    public PositiveAmount(decimal value)
    {
        if (value <= 0)
            throw new ArgumentOutOfRangeException(nameof(value), "Amount must be positive.");
        Value = value;
    }
}

public class HackedAmount : PositiveAmount
{
    // new で基底クラスのプロパティを隠す
    public new decimal Value { get; set; }

    public HackedAmount() : base(1) // バリデーションを通すためにダミー値を渡す
    {
        Value = -100; // 不変条件を破壊！
    }
}

// ライブラリ v1.0
public class Logger
{
    public void Log(string message) { /* ... */ }
}

// ユーザーコード
public class CustomLogger : Logger
{
    // v1.0 にはなかった Format() を独自に追加
    public string Format(string message) => $"[Custom] {message}";
}

// ライブラリ v2.0 — Format() を追加！
public class Logger
{
    public void Log(string message) { /* ... */ }
    public virtual string Format(string message) => $"[Default] {message}"; // 衝突！
}

// CA1852 が推奨する書き方
internal sealed class CacheManager
{
    // ...
}

// インターフェースで抽象化し、テスト時にモック可能にする
public interface IEmailSender
{
    Task SendAsync(string to, string subject, string body);
}

// 実装クラスは sealed — 継承ではなくインターフェースで差し替える
public sealed class SmtpEmailSender : IEmailSender
{
    public async Task SendAsync(string to, string subject, string body)
    {
        // SMTP で実際に送信する
    }
}

public class Rectangle
{
    public virtual int Width { get; set; }
    public virtual int Height { get; set; }
    public int Area => Width * Height;
}

public class Square : Rectangle
{
    public override int Width
    {
        get => base.Width;
        set { base.Width = value; base.Height = value; }
    }

    public override int Height
    {
        get => base.Height;
        set { base.Width = value; base.Height = value; }
    }
}

// sealed でないと...
public class PasswordValidator
{
    public virtual bool IsValid(string password)
    {
        return password.Length >= 12 && HasSpecialChar(password);
    }

    private static bool HasSpecialChar(string s) => /* ... */;
}

// 攻撃者が作る派生クラス
public class WeakValidator : PasswordValidator
{
    public override bool IsValid(string password) => true; // 常に OK！
}

[*.cs]
dotnet_diagnostic.CA1852.severity = warning

public record Person(string Name, int Age);
public record Student(string Name, int Age, string StudentId) : Person(Name, Age);

// 継承を想定しない record は sealed に
public sealed record EmailAddress(string Value);