Files
Misaki.HighPerformance/Misaki.HighPerformance.LowLevel/Ptr.cs
Misaki 27dfa67784
Some checks failed
Publish NuGet Packages / publish (pull_request) Has been cancelled
Add Roslyn analyzer and code fix for unique ownership
Introduce a Roslyn analyzer to enforce unique ownership semantics for structs marked with the `[NonCopyable]` attribute. Added a corresponding code fix to resolve violations by suggesting the use of `Share()` or other ownership transfer methods.

Key changes:
- Added `StructCopyCodeAnalyzer` to detect invalid struct copies.
- Implemented `StructCopyCodeFixProvider` to provide code fixes.
- Created `Misaki.HighPerformance.Analyzer` and `CodeFixes` projects.
- Added unit tests for the analyzer and code fixes.
- Introduced `UniquePtr<T>` and `SharedPtr<T>` for pointer ownership.
- Added a Visual Studio extension project and packaging support.
- Updated `UnsafeUtility` to use `nint`/`nuint` for indices.
2025-11-22 18:20:03 +09:00

177 lines
4.3 KiB
C#

using System.Runtime.CompilerServices;
namespace Misaki.HighPerformance.LowLevel;
/// <summary>
/// Represents a strongly-typed, read-only pointer to an unmanaged value of type <typeparamref name="T"/>.
/// </summary>
/// <remarks>
/// When a pointer is wrapped in this struct, it indicates that the code does not intend to manage the lifetime of the data being pointed to.
/// </remarks>
/// <typeparam name="T">The unmanaged type to which the pointer refers.</typeparam>
public readonly unsafe struct SharedPtr<T> : IEquatable<SharedPtr<T>>
where T : unmanaged
{
private readonly T* _value;
public SharedPtr(T* value)
{
_value = value;
}
public T* Get()
{
return _value;
}
public bool Equals(SharedPtr<T> other)
{
return _value == other._value;
}
public override bool Equals(object? obj)
{
return obj is SharedPtr<T> ptr && Equals(ptr);
}
public override int GetHashCode()
{
return ((nint)_value).GetHashCode();
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public static implicit operator T*(SharedPtr<T> ptr)
{
return ptr._value;
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public static implicit operator SharedPtr<T>(T* value)
{
return new SharedPtr<T>(value);
}
public static bool operator ==(SharedPtr<T> left, SharedPtr<T> right)
{
return left.Equals(right);
}
public static bool operator !=(SharedPtr<T> left, SharedPtr<T> right)
{
return !(left == right);
}
}
/// <summary>
/// Provides exclusive ownership and management of an unmanaged pointer to a value of type <typeparamref name="T"/>.
/// Ensures that the pointer is not shared and can be safely transferred or detached.
/// </summary>
/// <remarks>
/// UniquePtr<T> is designed to encapsulate a raw pointer, enforcing unique ownership semantics similar to C++'s std::unique_ptr.
/// </remarks>
/// <typeparam name="T">The unmanaged type of the value to which the pointer refers.</typeparam>
[NonCopyable]
public unsafe struct UniquePtr<T> : IEquatable<UniquePtr<T>>
where T : unmanaged
{
private T* _value;
public UniquePtr(T* value)
{
_value = value;
}
public readonly T* Get()
{
return _value;
}
public readonly SharedPtr<T> Share()
{
return new SharedPtr<T>(_value);
}
public T* Detach()
{
var temp = _value;
_value = null;
return temp;
}
public readonly bool Equals(UniquePtr<T> other)
{
return _value == other._value;
}
public override readonly bool Equals(object? obj)
{
return obj is SharedPtr<T> ptr && Equals(ptr);
}
public override readonly int GetHashCode()
{
return ((nint)_value).GetHashCode();
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public static implicit operator T*(UniquePtr<T> ptr)
{
return ptr._value;
}
[MethodImpl(MethodImplOptions.AggressiveInlining)]
public static implicit operator UniquePtr<T>(T* value)
{
return new UniquePtr<T>(value);
}
public static bool operator ==(UniquePtr<T> left, UniquePtr<T> right)
{
return left.Equals(right);
}
public static bool operator !=(UniquePtr<T> left, UniquePtr<T> right)
{
return !(left == right);
}
}
public ref struct Ref<T>
{
private ref T _value;
public Ref(ref T value)
{
_value = ref value;
}
public ref T Get()
{
return ref _value;
}
[Obsolete("Equals() on Ref will always throw an exception. Use the equality operator instead.")]
#pragma warning disable CS0809 // Obsolete member overrides non-obsolete member
public override bool Equals(object? obj)
{
throw new NotSupportedException();
}
[Obsolete("GetHashCode() on Ref will always throw an exception.")]
public override int GetHashCode()
#pragma warning restore CS0809 // Obsolete member overrides non-obsolete member
{
throw new NotSupportedException();
}
public static bool operator ==(Ref<T> left, Ref<T> right)
{
return Unsafe.AreSame(ref left._value, ref right._value);
}
public static bool operator !=(Ref<T> left, Ref<T> right)
{
return !(left == right);
}
}