fix: 修复分析器异常与代码修复位置定位

Author: mudtools

Mud.HttpUtils.CodeFixes/HttpClientInvalidUrlTemplateCodeFixProvider.cs

@@ -1,12 +1,13 @@
 // -----------------------------------------------------------------------
-//  作者：Mud Studio  版权所有 (c) Mud Studio 2026
+//  作者：Mud Studio  版权所有 (c) Mud Studio 2026   
 //  Mud.HttpUtils 项目的版权、商标、专利和其他相关权利均受相应法律法规的保护。使用本项目应遵守相关法律法规和许可证的要求。
 //  本项目主要遵循 MIT 许可证进行分发和使用。许可证位于源代码树根目录中的 LICENSE-MIT 文件。
 //  不得利用本项目从事危害国家安全、扰乱社会秩序、侵犯他人合法权益等法律法规禁止的活动！任何基于本项目开发而产生的一切法律纠纷和责任，我们不承担任何责任！
 // -----------------------------------------------------------------------
 
 using System.Collections.Immutable;
 using System.Composition;
+using System.Text;
 using Microsoft.CodeAnalysis;
 using Microsoft.CodeAnalysis.CodeActions;
 using Microsoft.CodeAnalysis.CodeFixes;
@@ -16,17 +17,21 @@
 namespace Mud.HttpUtils.CodeFixes;
 
 /// <summary>
-/// 为 HTTPCLIENT005 诊断提供自动修复：将 URL 模板中的反斜杠 (\) 替换为正斜杠 (/)。
+/// 为 HTTPCLIENT005 诊断提供自动修复：修复 URL 模板中的格式问题。
 /// <para>
-/// HTTPCLIENT005 报告 URL 模板格式无效。常见原因是用户在 URL 中误用反斜杠（如 \api\users）。
-/// 此 CodeFix 自动将反斜杠替换为正斜杠（如 /api/users）。
+/// HTTPCLIENT005 报告 URL 模板格式无效。常见原因包括：
+/// <list type="bullet">
+///   <item>反斜杠误用（如 \api\users）→ 替换为正斜杠；</item>
+///   <item>花括号未配对（如 /api/{id 或 /api/id}）→ 补齐或删除错配的花括号。</item>
+/// </list>
 /// </para>
 /// </summary>
 [ExportCodeFixProvider(LanguageNames.CSharp, Name = nameof(HttpClientInvalidUrlTemplateCodeFixProvider))]
 [Shared]
 public class HttpClientInvalidUrlTemplateCodeFixProvider : CodeFixProvider
 {
-    private const string FixTitle = "将 URL 反斜杠替换为正斜杠";
+    private const string FixBackslashTitle = "将 URL 反斜杠替换为正斜杠";
+    private const string FixBracesTitle = "修复 URL 模板中的花括号配对";
 
     /// <inheritdoc />
     public sealed override ImmutableArray<string> FixableDiagnosticIds
@@ -51,7 +56,7 @@ public sealed override async Task RegisterCodeFixesAsync(CodeFixContext context)
         var attribute = token.Parent?.FirstAncestorOrSelf<AttributeSyntax>();
         if (attribute == null) return;
 
-        // 查找包含反斜杠的字符串字面量参数
+        // 查找 URL 字符串字面量参数
         if (attribute.ArgumentList == null || attribute.ArgumentList.Arguments.Count == 0)
             return;
 
@@ -60,15 +65,119 @@ public sealed override async Task RegisterCodeFixesAsync(CodeFixContext context)
             return;
 
         var urlValue = literal.Token.ValueText;
-        if (string.IsNullOrEmpty(urlValue) || !urlValue.Contains('\\'))
+        if (string.IsNullOrEmpty(urlValue))
             return;
 
-        context.RegisterCodeFix(
-            CodeAction.Create(
-                title: FixTitle,
-                createChangedDocument: c => FixBackslashAsync(context.Document, attribute, firstArg, urlValue, c),
-                equivalenceKey: $"{nameof(HttpClientInvalidUrlTemplateCodeFixProvider)}_FixBackslash"),
-            diagnostic);
+        // [Phase1 修复 1.3] 移除「实参含反斜杠才注册」的错误门控。
+        // 只要诊断是 HTTPCLIENT005 即注册，提供与 CSharpCodeValidator 校验维度一致的修复动作。
+
+        // 修复动作 1：反斜杠替换为正斜杠（仅当 URL 含反斜杠时提供）
+        if (urlValue.Contains('\\'))
+        {
+            context.RegisterCodeFix(
+                CodeAction.Create(
+                    title: FixBackslashTitle,
+                    createChangedDocument: c => FixBackslashAsync(context.Document, attribute, firstArg, urlValue, c),
+                    equivalenceKey: $"{nameof(HttpClientInvalidUrlTemplateCodeFixProvider)}_FixBackslash"),
+                diagnostic);
+        }
+
+        // 修复动作 2：花括号配对修复（仅当花括号不匹配时提供）
+        if (HasBraceMismatch(urlValue))
+        {
+            context.RegisterCodeFix(
+                CodeAction.Create(
+                    title: FixBracesTitle,
+                    createChangedDocument: c => FixBracesAsync(context.Document, attribute, firstArg, urlValue, c),
+                    equivalenceKey: $"{nameof(HttpClientInvalidUrlTemplateCodeFixProvider)}_FixBraces"),
+                diagnostic);
+        }
+    }
+
+    /// <summary>
+    /// 检查 URL 模板中花括号是否不匹配。
+    /// </summary>
+    private static bool HasBraceMismatch(string urlValue)
+    {
+        int openBraceCount = 0;
+        int closeBraceCount = 0;
+
+        for (int i = 0; i < urlValue.Length; i++)
+        {
+            char c = urlValue[i];
+            if (c == '{')
+            {
+                openBraceCount++;
+                int endBrace = urlValue.IndexOf('}', i + 1);
+                if (endBrace == -1)
+                    return true; // 未闭合的 {
+            }
+            else if (c == '}')
+            {
+                closeBraceCount++;
+                if (closeBraceCount > openBraceCount)
+                    return true; // 多余的 }
+            }
+        }
+
+        return openBraceCount != closeBraceCount;
+    }
+
+    /// <summary>
+    /// 修复花括号配对：移除多余的右花括号，补齐未闭合的左花括号。
+    /// </summary>
+    private static string FixBraceMismatch(string urlValue)
+    {
+        // 策略：逐字符扫描，跟踪花括号配对状态
+        var result = new StringBuilder(urlValue.Length);
+        int openBraceCount = 0;
+        var unmatchedOpenPositions = new List<int>();
+
+        for (int i = 0; i < urlValue.Length; i++)
+        {
+            char c = urlValue[i];
+            if (c == '{')
+            {
+                // 检查是否有对应的 }
+                int endBrace = urlValue.IndexOf('}', i + 1);
+                if (endBrace == -1)
+                {
+                    // 未闭合的 { — 删除该花括号（将其后的内容保留）
+                    // 跳过这个 {，不写入 result
+                    continue;
+                }
+                openBraceCount++;
+                unmatchedOpenPositions.Add(result.Length);
+                result.Append(c);
+            }
+            else if (c == '}')
+            {
+                if (openBraceCount > 0)
+                {
+                    openBraceCount--;
+                    unmatchedOpenPositions.RemoveAt(unmatchedOpenPositions.Count - 1);
+                    result.Append(c);
+                }
+                else
+                {
+                    // 多余的 } — 删除
+                    // 跳过这个 }，不写入 result
+                    continue;
+                }
+            }
+            else
+            {
+                result.Append(c);
+            }
+        }
+
+        // 补齐未闭合的 {
+        foreach (var pos in unmatchedOpenPositions.OrderByDescending(x => x))
+        {
+            result.Insert(pos + 1, '}');
+        }
+
+        return result.ToString();
     }
 
     private static Task<Document> FixBackslashAsync(
@@ -94,4 +203,26 @@ private static Task<Document> FixBackslashAsync(
 
         return Task.FromResult(document.WithSyntaxRoot(newRoot));
     }
+
+    private static Task<Document> FixBracesAsync(
+        Document document,
+        AttributeSyntax attribute,
+        AttributeArgumentSyntax arg,
+        string originalUrl,
+        CancellationToken cancellationToken)
+    {
+        var root = document.GetSyntaxRootAsync(cancellationToken).Result;
+        if (root == null) return Task.FromResult(document);
+
+        var fixedUrl = FixBraceMismatch(originalUrl);
+
+        var newLiteral = SyntaxFactory.LiteralExpression(
+            SyntaxKind.StringLiteralExpression,
+            SyntaxFactory.Literal(fixedUrl));
+
+        var newArg = arg.WithExpression(newLiteral);
+        var newRoot = root.ReplaceNode(arg, newArg);
+
+        return Task.FromResult(document.WithSyntaxRoot(newRoot));
+    }
 }

Mud.HttpUtils.CodeFixes/README.md

@@ -17,7 +17,7 @@
 | `AotJsonContextCodeFixProvider` | `AOT004` / `AOT005` / `AOT006` | DTO / 查询参数类型未被 `JsonSerializerContext` 覆盖（Native AOT 下会漏元数据） | 将缺失类型追加 `[JsonSerializable(typeof(T))]` 到用户可编辑的 `JsonSerializerContext`；若仅存在脚手架生成文件，则新建 `partial` 扩展类 |
 | `AotXmlCodeFixProvider` | `AOT007` | Native AOT 上下文下使用 XML 序列化 | 将 `[SerializationMethod(SerializationMethod.Xml)]` 改为 `Json`，确保 AOT 兼容 |
 | `HttpClientMutuallyExclusiveCodeFixProvider` | `HTTPCLIENT007` | `[HttpClientApi]` 同时指定 `HttpClient` 与 `TokenManage`（两者互斥） | 提供两个选项：移除 `HttpClient`（保留 `TokenManage`）或移除 `TokenManage`（保留 `HttpClient`） |
-| `HttpClientInvalidUrlTemplateCodeFixProvider` | `HTTPCLIENT005` | URL 模板格式无效（常见为误用反斜杠，如 `\api\users`） | 将 URL 中的反斜杠（`\`）自动替换为正斜杠（`/`） |
+| `HttpClientInvalidUrlTemplateCodeFixProvider` | `HTTPCLIENT005` | URL 模板格式无效（反斜杠误用或花括号未配对） | 将 URL 中的反斜杠（`\`）自动替换为正斜杠（`/`）；修复花括号配对（补齐/删除错配的 `{` `}`） |
 
 ## 使用方式
 
@@ -26,7 +26,7 @@
 - `AOT004`/`AOT005`/`AOT006`：选择"将类型添加到 JsonSerializerContext（AOT 兼容）"，自动补齐 JSON 源生成上下文。
 - `AOT007`：选择"将 XML 序列化改为 JSON（AOT 兼容）"。
 - `HTTPCLIENT007`：选择移除 `HttpClient` 或 `TokenManage` 二选一。
-- `HTTPCLIENT005`：选择"将 URL 反斜杠替换为正斜杠"。
+- `HTTPCLIENT005`：选择"将 URL 反斜杠替换为正斜杠"或"修复 URL 模板中的花括号配对"。
 
 > 修复器与诊断源完全解耦：只要诊断 ID 匹配，即使诊断来自其他扩展也会尝试修复。所有修复器均支持 `Fix All`（批量修复）操作。
 

Mud.HttpUtils.Generator/Analyzers/AotDtoCoverageAnalyzer.cs

@@ -5,6 +5,7 @@
 //  不得利用本项目从事危害国家安全、扰乱社会秩序、侵犯他人合法权益等法律法规禁止的活动！任何基于本项目开发而产生的一切法律纠纷和责任，我们不承担任何责任。
 // -----------------------------------------------------------------------
 
+using System;
 using System.Collections.Generic;
 using System.Collections.Immutable;
 using System.Linq;
@@ -80,6 +81,20 @@ private static ImmutableDictionary<string, string> TypeProps(INamedTypeSymbol ty
     /// <param name="cancellationToken">取消令牌。</param>
     /// <returns>诊断集合（无问题或未配置 Context 时为空）。</returns>
     public static ImmutableArray<Diagnostic> Analyze(Compilation compilation, CancellationToken cancellationToken)
+    {
+        // [Phase2 修复 2.2] 异常护栏：分析器宁少报不可抛，避免 AD0001 整轮禁用。
+        try
+        {
+            return AnalyzeCore(compilation, cancellationToken);
+        }
+        catch (Exception ex)
+        {
+            GeneratorDebugLogger.LogError(nameof(Analyze), ex);
+            return ImmutableArray<Diagnostic>.Empty;
+        }
+    }
+
+    private static ImmutableArray<Diagnostic> AnalyzeCore(Compilation compilation, CancellationToken cancellationToken)
     {
         var diagnostics = ImmutableArray.CreateBuilder<Diagnostic>();
 
@@ -150,6 +165,20 @@ public static ImmutableArray<Diagnostic> Analyze(Compilation compilation, Cancel
     /// 实体项目应各自运行脚手架生成 internal Context 覆盖自身类型。</para>
     /// </remarks>
     public static ImmutableArray<Diagnostic> AnalyzeHttpJsonSerializableCoverage(Compilation compilation, CancellationToken cancellationToken)
+    {
+        // [Phase2 修复 2.2] 异常护栏：分析器宁少报不可抛，避免 AD0001 整轮禁用。
+        try
+        {
+            return AnalyzeHttpJsonSerializableCoverageCore(compilation, cancellationToken);
+        }
+        catch (Exception ex)
+        {
+            GeneratorDebugLogger.LogError(nameof(AnalyzeHttpJsonSerializableCoverage), ex);
+            return ImmutableArray<Diagnostic>.Empty;
+        }
+    }
+
+    private static ImmutableArray<Diagnostic> AnalyzeHttpJsonSerializableCoverageCore(Compilation compilation, CancellationToken cancellationToken)
     {
         var diagnostics = ImmutableArray.CreateBuilder<Diagnostic>();
 
@@ -356,8 +385,10 @@ private static void CheckMethodDtoCoverage(
             if (bodyAttr != null && param.GetAttributes()
                 .Any(a => SymbolEqualityComparer.Default.Equals(a.AttributeClass, bodyAttr)))
             {
-                // FormUrlEncoded Body 不走 JSON 序列化，无需 JsonSerializerContext 覆盖，跳过 AOT004 检查。
-                if (GetMethodSerializationMethod(method) == "FormUrlEncoded")
+                // FormUrlEncoded / Xml Body 不走 JSON 序列化，无需 JsonSerializerContext 覆盖，跳过 AOT004 检查。
+                // [Phase2 修复 2.5] 增加 Xml 豁免，防止 XML 方法被 AOT004 误报。
+                var ser = GetMethodSerializationMethod(method);
+                if (ser is "FormUrlEncoded" or "Xml")
                     continue;
 
                 if (!IsCovered(paramType, coveredTypes) && !QuerySerializationClassifier.IsSimple(paramType))
@@ -445,10 +476,15 @@ private static void CheckMethodDtoCoverage(
 
             // 2) 非 JSON 契约的 Task<T> 返回（生成器不走反序列化）→ 跳过：
             //    HttpResponseMessage（SendRawAsync 直达）、Stream/byte[]（下载分支）、简单类型。
+            //    [Phase2 修复 2.5] XML 序列化的响应不走 JSON 反序列化，也跳过，防止 AOT004 误报。
             if (IsHttpResponseMessage(responseType) || IsStream(responseType) ||
                 IsByteArray(responseType) || QuerySerializationClassifier.IsSimple(responseType))
                 return;
 
+            // XML 序列化方法豁免：响应端用 XML 反序列化，不需要 JsonSerializerContext 覆盖。
+            if (GetMethodSerializationMethod(method) is "Xml")
+                return;
+
             // 3) 其余才做覆盖判定
             if (!IsCovered(responseType, coveredTypes) && !QuerySerializationClassifier.IsSimple(responseType))
             {

Mud.HttpUtils.Generator/Analyzers/HttpJsonSerializableCoverageAnalyzer.cs

@@ -5,6 +5,7 @@
 //  不得利用本项目从事危害国家安全、扰乱社会秩序、侵犯他人合法权益等法律法规禁止的活动！任何基于本项目开发而产生的一切法律纠纷和责任，我们不承担任何责任！
 // -----------------------------------------------------------------------
 
+using System;
 using System.Collections.Immutable;
 using Microsoft.CodeAnalysis;
 using Microsoft.CodeAnalysis.Diagnostics;
@@ -34,10 +35,18 @@ public override void Initialize(AnalysisContext context)
         context.ConfigureGeneratedCodeAnalysis(GeneratedCodeAnalysisFlags.None);
         context.RegisterCompilationAction(static ctx =>
         {
-            foreach (var diagnostic in AotDtoCoverageAnalyzer
-                         .AnalyzeHttpJsonSerializableCoverage(ctx.Compilation, ctx.CancellationToken))
+            // [Phase2 修复 2.2] 异常护栏：分析器宁少报不可抛，避免 AD0001 整轮禁用。
+            try
             {
-                ctx.ReportDiagnostic(diagnostic);
+                foreach (var diagnostic in AotDtoCoverageAnalyzer
+                             .AnalyzeHttpJsonSerializableCoverage(ctx.Compilation, ctx.CancellationToken))
+                {
+                    ctx.ReportDiagnostic(diagnostic);
+                }
+            }
+            catch (Exception ex)
+            {
+                GeneratorDebugLogger.LogError(nameof(HttpJsonSerializableCoverageAnalyzer), ex);
             }
         });
     }