0.16.0

Author: 2A5F

CHANGELOG.md

@@ -1,4 +1,8 @@
-## 0.15.0
+## 0.16.0
+- Add
+  - Default parameter support for record mode
+
+## 0.15.0
 - Breaking Changes
   - Record mode no longer generates record structures, only view structures
   - View structs now generate ref structs on runtimes that support ref structs

Coplt.Union.Analyzers/Generators/Templates/TemplateStructUnion.cs

@@ -29,7 +29,8 @@ public record struct RecordItem(
     string Type,
     string Name,
     UnionCaseTypeKind Kind,
-    bool IsGeneric
+    bool IsGeneric,
+    string? DefaultValue
 );
 
 public record struct UnionCase(
@@ -1059,6 +1060,10 @@ private void GenMake(string impl_name, string tags_name)
                     if (first) first = false;
                     else sb.Append(", ");
                     sb.Append($"{item.Type} {item.Name}");
+                    if (item.DefaultValue != null)
+                    {
+                        sb.Append($" = {item.DefaultValue}");
+                    }
                 }
             }
             else if (@case.Type != "void")

Coplt.Union.Analyzers/Generators/UnionGenerator.cs

@@ -77,13 +77,28 @@ public void Initialize(IncrementalGeneratorInitializationContext context)
                 }
                 var cases = ImmutableArray.CreateBuilder<UnionCase>();
                 var AnyGeneric = false;
+                var variant_names = new HashSet<string>();
                 foreach (var (template, _) in Templates)
                 {
                     foreach (var (member, i) in template.Members.Select((a, b) => (a, b)))
                     {
                         if (member is MethodDeclarationSyntax mds)
                         {
                             var case_name = mds.Identifier.ToString();
+                            if (!variant_names.Add(case_name))
+                            {
+                                var desc = Utils.MakeError(Id,
+                                    Strings.Get("Generator.Union.Error.RecordOverloaded"));
+                                if (member is BaseTypeDeclarationSyntax bts)
+                                {
+                                    diagnostics.Add(Diagnostic.Create(desc, bts.Identifier.GetLocation()));
+                                }
+                                else
+                                {
+                                    diagnostics.Add(Diagnostic.Create(desc, member.GetLocation()));
+                                }
+                                continue;
+                            }
                             var member_symbol = (IMethodSymbol)semantic_model.GetDeclaredSymbol(mds)!;
                             var ret_type_symbol = member_symbol.ReturnType;
                             var is_void = ret_type_symbol.SpecialType == SpecialType.System_Void;
@@ -246,7 +261,23 @@ public void Initialize(IncrementalGeneratorInitializationContext context)
                                             }
                                         }
                                     }
-                                    items.Add(new RecordItem(type_name, arg_name, kind, is_generic));
+                                    var is_enum = type_symbol is { TypeKind: TypeKind.Enum };
+                                    var defv = parameter.HasExplicitDefaultValue
+                                        ? is_enum
+                                            ? $"({type_name}){parameter.ExplicitDefaultValue}"
+                                            : parameter.ExplicitDefaultValue switch
+                                            {
+                                                null => "default",
+                                                bool v => v ? "true" : "false",
+                                                string v => $"\"{v.Replace("\"", "\\\"")}\"",
+                                                (byte or sbyte or short or ushort or int or uint or long or ulong or double) and var v
+                                                    => $"{v}",
+                                                float v => $"{v}f",
+                                                decimal v => $"{v}m",
+                                                var v => $"({type_name}){v}",
+                                            }
+                                        : null;
+                                    items.Add(new RecordItem(type_name, arg_name, kind, is_generic, defv));
                                 }
                                 var meta = new RecordMeta(union_attr.ViewName);
                                 if (variant_attr != null)

Coplt.Union.Analyzers/Resources/Strings.resx

@@ -42,4 +42,7 @@
     <data name="Generator.Union.Error.ByRef" xml:space="preserve">
         <value>Union does not support ByRef</value>
     </data>
+    <data name="Generator.Union.Error.RecordOverloaded" xml:space="preserve">
+        <value>Variants do not allow overloading</value>
+    </data>
 </root>

Coplt.Union.Analyzers/Resources/Strings.zh-Hans.resx

@@ -43,4 +43,7 @@
     <data name="Generator.Union.Error.ByRef" xml:space="preserve">
         <value>联合不支持 ByRef</value>
     </data>
+    <data name="Generator.Union.Error.RecordOverloaded" xml:space="preserve">
+        <value>变体不允许重载</value>
+    </data>
 </root>

Coplt.Union.Source/Coplt.Union.Source.csproj

@@ -5,7 +5,7 @@
     <PropertyGroup>
         <TargetFrameworks>netstandard2.0;netstandard2.1;net6.0;net7.0;net8.0;net9.0</TargetFrameworks>
         <PackageId>Coplt.Union</PackageId>
-        <Version>0.15.0</Version>
+        <Version>0.16.0</Version>
         <IsPackable>true</IsPackable>
         <GeneratePackageOnBuild>True</GeneratePackageOnBuild>
         <NoWarn>CS9113</NoWarn>

Tests/Unions.cs

@@ -1,4 +1,5 @@
-using Coplt.Union;
+using System.Runtime.InteropServices;
+using Coplt.Union;
 
 namespace Tests;
 
@@ -119,3 +120,18 @@ private interface Template
         void Foo((float, string) a, (float, string) b, (int, string) c);
     }
 }
+
+public struct Union12Foo { }
+
+[Union]
+public partial class Union12
+{
+    [UnionTemplate]
+    private interface Template
+    {
+        void Foo(int a = 1, bool b = true, string c = "foo", int? d = null, object? e = null);
+        void Foo2(byte a = 1, uint b = 1, Union12Foo c = default, nuint d = 1);
+        void Foo3(float a = 1.0f, double b = 1.0, decimal c = 1.0m, ulong d = 1);
+        void Foo4(LayoutKind a = LayoutKind.Auto, LayoutKind b = LayoutKind.Sequential);
+    }
+}