Skip to content
New issue

Have a question about this project? Sign up for a free GitHub account to open an issue and contact its maintainers and the community.

Sign up for GitHub

By clicking “Sign up for GitHub”, you agree to our terms of service and privacy statement. We’ll occasionally send you account related emails.

Already on GitHub? Sign in to your account

Jump to bottom

WIP: sketch out a reference API #417

Draft
wants to merge 1 commit into
base: main
Choose a base branch
from
Draft

WIP: sketch out a reference API #417

wants to merge 1 commit into from

Commits on Oct 28, 2024

  1. Initial version of a new ref count API 

    The focus is on a Ref to an object not an object with a RefCounter.
Each Ref must be released exactly once. This is easier to dynamically
check in debug builds, compared to the existing API which simply
increments and decrements reference counts.

This commit just adds the new API, leaving the existing API as well.
    @dcoutts
    dcoutts committed Oct 28, 2024
    Configuration menu
    Copy the full SHA
    0f240ba View commit details
    Browse the repository at this point in the history