Coplt.ValueSemantics

Value semantic extension

• Value type inheritance

  • [ValueInherit]
    • [ValueBase] Specify base type field

  Example

  namespace TheNamespace; public enum FooEnum { A, B } public record struct Foo<T>() { public int Field1 = 0; public static int Field2 = 0; public readonly int Field3 = 0; public readonly ref readonly int Prop1 => throw new NotImplementedException(); public int this[int a] { get => throw new NotImplementedException(); set => throw new NotImplementedException(); } public readonly object? Some(FooEnum a = FooEnum.A) => throw new NotImplementedException(); public void Some<A, B>(ref int a) => throw new NotImplementedException(); } [ValueInherit] public partial record struct Bar<T>() { [ValueBase] private Foo<T> _base = new(); }

  Generate output:

  TheNamespace.Bar[T].ValueInherit.g.cs

  // <auto-generated/> #nullable enable using System; using System.Collections.Generic; using System.Diagnostics.CodeAnalysis; using System.Runtime.CompilerServices; namespace TheNamespace { public partial record struct Bar<T> { #region Field Forwards /// <inheritdoc cref="TheNamespace.Foo{T}.Field1"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] public ref int Field1 { [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] get => ref _base.Field1; } /// <inheritdoc cref="TheNamespace.Foo{T}.Field2"/> [global::Coplt.ValueSemantics.Metas.Forward] public static ref int Field2 { [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] get => ref TheNamespace.Foo<T>.Field2; } /// <inheritdoc cref="TheNamespace.Foo{T}.Field3"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] public readonly ref readonly int Field3 { [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] get => ref _base.Field3; } #endregion // Field Forwards #region Property Forwards /// <inheritdoc cref="TheNamespace.Foo{T}.Prop1"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] public readonly ref readonly int Prop1 { [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] get => ref _base.Prop1; } /// <inheritdoc cref="TheNamespace.Foo{T}[int]"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] public int this[int a] { [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] get => _base[a]; [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] set => _base[a] = value; } #endregion // Property Forwards #region Method Forwards /// <inheritdoc cref="TheNamespace.Foo{T}.Some(TheNamespace.FooEnum)"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] public readonly object? Some(TheNamespace.FooEnum a = (TheNamespace.FooEnum)0) => _base.Some(a); /// <inheritdoc cref="TheNamespace.Foo{T}.Some{A, B}(ref int)"/> [global::Coplt.ValueSemantics.Metas.Forward] [global::System.Diagnostics.CodeAnalysis.UnscopedRef] [global::System.Runtime.CompilerServices.MethodImpl(global::System.Runtime.CompilerServices.MethodImplOptions.AggressiveInlining)] public void Some<A, B>(ref int a) => _base.Some<A, B>(ref a); #endregion // Method Forwards } } // namespace TheNamespace