C# 调用被new隐藏的非virtual基类成员（TIBCO Spotfire场景）

问题根因定位 #

你之前遇到的栈溢出本质是两个.NET运行时机制叠加导致的：

1. 基类DocumentNode的Transactions属性内部实现是(ITransactions)this，CLR对接口的分派是基于实例的实际类型匹配的：如果派生类自己实现了ITransactions接口的所有方法，强转得到的接口代理会自动优先匹配派生类的实现，而非基类的原生实现。
2. 最初的方案让DocumentNodeExt本身实现ITransactions接口，导致调用base.Transactions时，基类内部强转的ITransactions又会分派回DocumentNodeExt的自定义方法，形成「调用基类Transactions → 接口分派到派生类方法 → 再调用基类Transactions」的无限递归。

最小改动解决方案 #

核心思路是不让DocumentNodeExt本身实现ITransactions接口，避免被基类的内部强转截胡，同时通过new隐藏基类的Transactions属性，返回独立的自定义事务包装类，实现原有调用链路零修改：

实现步骤 #

• 新增独立的ITransactions实现类，专门负责捕获嵌套事务异常，持有基类原生事务的引用
• 在DocumentNodeExt中通过new关键字隐藏基类的Transactions属性，直接返回自定义包装类实例
• 从构造阶段就缓存好基类原生的ITransactions引用，全程不依赖实例自身的接口实现，从根源切断递归链路

参考实现代码 #

public class DocumentNodeExt : DocumentNode
{
    // 缓存自定义事务包装实例
    private readonly ITransactions _customTxWrapper;

    public DocumentNodeExt() : base()
    {
        // 初始化时获取基类原生ITransactions引用（此时派生类未实现ITransactions，强转不会被截胡）
        var nativeTx = base.Transactions;
        _customTxWrapper = new CustomTransactionWrapper(nativeTx);
    }

    public DocumentNodeExt(SerializationInfo info, StreamingContext context)
        : base(info, context)
    {
        var nativeTx = base.Transactions;
        _customTxWrapper = new CustomTransactionWrapper(nativeTx);
    }

    // 用new关键字隐藏基类的Transactions属性，让原有代码的this.Transactions调用自动走自定义逻辑
    public new ITransactions Transactions => _customTxWrapper;

    // 独立的自定义事务包装类：不继承DocumentNode，也不对DocumentNodeExt实例做接口强转
    private class CustomTransactionWrapper : ITransactions
    {
        private readonly ITransactions _nativeTx;

        public CustomTransactionWrapper(ITransactions nativeTx)
        {
            _nativeTx = nativeTx;
        }

        public AggregatedTransactionHandle BeginAggregatedTransaction()
        {
            // 直接透传基类原生实现
            return _nativeTx.BeginAggregatedTransaction();
        }

        public void ExecuteInvisibleTransaction(Executor executor)
        {
            try
            {
                _nativeTx.ExecuteInvisibleTransaction(executor);
            }
            catch (InvalidOperationException)
            {
                // 嵌套事务触发校验异常时，直接执行委托，不开启新事务
                executor();
            }
        }

        public void ExecuteStickyTransaction(Guid guid, Executor executor)
        {
            // 粘性事务按原有逻辑透传
            _nativeTx.ExecuteStickyTransaction(guid, executor);
        }

        public void ExecuteTransaction(Executor executor)
        {
            try
            {
                _nativeTx.ExecuteTransaction(executor);
            }
            catch (InvalidOperationException)
            {
                // 核心兜底逻辑：捕获嵌套事务异常时，直接执行委托
                executor();
            }
        }
    }
}

方案特性 #

• 零业务代码改动：所有原有继承自DocumentNode的类，只要将基类改为继承DocumentNodeExt，原来的this.Transactions.ExecuteTransaction(...)代码不需要任何修改，自动走带异常捕获的逻辑，符合最小改动要求。
• 完全消除递归风险：因为DocumentNodeExt本身从来没有实现过ITransactions接口，基类内部做(ITransactions)this强转时，CLR只会匹配基类自己的原生实现，不会再分派到派生类的自定义方法，从根源解决栈溢出问题。
• 逻辑隔离清晰：自定义的异常捕获逻辑完全在独立的包装类里实现，不干扰Spotfire内部的原生事务实现，仅在出现嵌套事务校验异常时做兜底执行，不会破坏原有事务的正常行为。

注意：后续新增的继承类如果需要同样的异常捕获能力，直接让这些类继承DocumentNodeExt即可，不需要重复编写事务包装逻辑。

内容的提问来源于stack exchange，提问作者ILIA BROUDNO