如何在编译时基于Transaction对象状态限制可调用方法？

你想要实现的是类型安全的状态机，通过编译时检查阻止不符合当前状态的方法调用，这种思路属于类型驱动设计的范畴，Indexed Monad是更抽象的函数式概念，这里用状态专属类的方式更直接落地。

当前实现的问题 #

你现有的代码通过枚举标记状态，在方法内做运行时检查，虽然能拦截错误调用，但开发者编写代码时无法提前感知，很容易写出触发运行时异常的逻辑。

编译时安全的实现方案：用不同类表示不同状态 #

核心思路是为每个状态创建专属类，只暴露该状态下允许调用的方法，状态流转时返回对应新状态的实例，从类型层面限制方法调用。

基础实现 #

// 抽象基类，封装交易的共享数据和内部逻辑
public abstract class TransactionBase
{
    // 共享的交易数据，子类可以访问
    protected string TransactionData { get; set; } = "交易数据示例";
}

// 未发布状态的交易：仅允许调用Publish方法
public class UnpublishedTransaction : TransactionBase
{
    public PublishedTransaction Publish()
    {
        Console.WriteLine("已发布交易");
        // 返回已发布状态的实例，继承共享数据
        return new PublishedTransaction { TransactionData = this.TransactionData };
    }
}

// 已发布状态的交易：仅允许调用GetData方法
public class PublishedTransaction : TransactionBase
{
    public void GetData()
    {
        Console.WriteLine($"获取交易数据：{TransactionData}");
    }
}

使用时，编译时就会自动限制方法调用：

var unpublishedTx = new UnpublishedTransaction();
// unpublishedTx.GetData(); // 编译报错：UnpublishedTransaction没有GetData方法
var publishedTx = unpublishedTx.Publish();
publishedTx.GetData(); // 正常执行
// publishedTx.Publish(); // 编译报错：PublishedTransaction没有Publish方法

解决旧实例重复调用的问题 #

如果担心有人拿着已发布的UnpublishedTransaction旧实例重复调用Publish，可以在类内部加状态标记做运行时防护：

public class UnpublishedTransaction : TransactionBase
{
    private bool _hasPublished = false;

    public PublishedTransaction Publish()
    {
        if (_hasPublished)
            throw new InvalidOperationException("不能重复发布已发布的交易！");
        
        Console.WriteLine("已发布交易");
        _hasPublished = true;
        return new PublishedTransaction { TransactionData = this.TransactionData };
    }
}

这种防护是针对误用场景的补充，正常使用时开发者会用Publish返回的新实例，不会碰到这个问题。

简化写法：链式调用 #

如果觉得声明多个变量繁琐，可以用链式调用的方式：

new UnpublishedTransaction()
    .Publish()
    .GetData();

这样不需要单独保存每个状态的实例，代码更简洁。

方案对比 #

• 运行时检查：实现简单，但依赖开发者自觉和文档，容易出现遗漏，BUG只能在运行时发现。
• 编译时类型安全：需要定义多个状态类，但能在编码阶段就拦截错误调用，强制遵循状态流转逻辑，长期维护性和安全性更高。

内容的提问来源于stack exchange，提问作者Caleb Keller