feat(typecheck): fix object disposed error

Author: yuri-tsai-smartcat

YDotNet/Document/Types/Branches/Branch.cs

@@ -104,6 +104,27 @@ protected internal nint GetHandle(Transaction transaction)
         return branchHandle;
     }
 
+    /// <summary>
+    ///     Checks whether this Branch still corresponds to the native resource at the given handle
+    ///     by comparing the stored <see cref="BranchId" /> with the one currently at the handle address.
+    ///     Returns <c>false</c> when the native allocator has reused the address for a different branch
+    ///     after CRDT garbage collection freed the original.
+    /// </summary>
+    /// <param name="handle">The native handle to validate against.</param>
+    /// <returns><c>true</c> if this Branch still represents the resource at <paramref name="handle"/>.</returns>
+    internal override bool MatchesHandle(nint handle)
+    {
+        if (BranchId is not { } id)
+        {
+            return false;
+        }
+
+        var currentId = BranchChannel.Id(handle);
+
+        return id.ClientIdOrLength == currentId.ClientIdOrLength
+            && id.BranchIdVariant.NamePointer == currentId.BranchIdVariant.NamePointer;
+    }
+
     /// <inheritdoc />
     protected override void DisposeCore(bool disposing)
     {

YDotNet/Infrastructure/TypeCache.cs

@@ -16,12 +16,12 @@ public T GetOrAdd<T>(nint handle, Func<nint, T> factory)
 
         if (cache.TryGetValue(handle, out var weakRef) && weakRef.TryGetTarget(out var item))
         {
-            if (item is T typed)
+            if (item is T typed && item.MatchesHandle(handle))
             {
                 return typed;
             }
 
-            // The native handle has been reused for a different type (e.g. after CRDT garbage collection
+            // The native handle has been reused for a different resource (e.g. after CRDT garbage collection
             // freed the old Branch and the allocator reused the address). The cached entry is stale, so
             // fall through to replace it with a new instance of the correct type.
         }

YDotNet/Infrastructure/UnmanagedResource.cs

@@ -12,4 +12,16 @@ protected internal UnmanagedResource(nint handle, bool isDisposed = false)
     }
 
     internal nint Handle { get; }
+
+    /// <summary>
+    ///     Checks whether this managed object still corresponds to the native resource at the given handle.
+    ///     Returns <c>false</c> when the native allocator has reused the address for a different resource
+    ///     (e.g. after CRDT garbage collection freed the original).
+    /// </summary>
+    /// <param name="handle">The native handle to validate against.</param>
+    /// <returns><c>true</c> if this object still represents the resource at <paramref name="handle"/>.</returns>
+    internal virtual bool MatchesHandle(nint handle)
+    {
+        return true;
+    }
 }