[O] Simai Lax模式测试，CLI可以指定StrictLevel

Author: Starrah

Program.cs

@@ -62,6 +62,20 @@ private static Command BuildRootCommand()
             HelpName = "path"
         };
 
+        var strictOption = new Option<bool>("--strict")
+        {
+            Description = "Simai转MA2时，解析使用严格模式。不可与 --lax 同时使用。",
+            Arity = ArgumentArity.ZeroOrOne,
+            DefaultValueFactory = _ => false
+        };
+
+        var laxOption = new Option<bool>("--lax")
+        {
+            Description = "Simai转MA2时，解析使用宽松模式。不可与 --strict 同时使用。",
+            Arity = ArgumentArity.ZeroOrOne,
+            DefaultValueFactory = _ => false
+        };
+
         var inputArgument = new Argument<string>("path")
         {
             Description = "可以输入以下几种情况：\n" +
@@ -74,6 +88,8 @@ private static Command BuildRootCommand()
 
         root.Options.Add(levelsOption);
         root.Options.Add(outputOption);
+        root.Options.Add(strictOption);
+        root.Options.Add(laxOption);
         root.Arguments.Add(inputArgument);
 
         root.SetAction(parseResult =>
@@ -82,6 +98,13 @@ private static Command BuildRootCommand()
                 ?? throw new InvalidOperationException("缺少参数 path。");
             var levelsRaw = parseResult.GetValue(levelsOption);
             _outputSpec = OutputSpec.Parse(parseResult.GetValue(outputOption));
+
+            var cliStrict = parseResult.GetValue(strictOption);
+            var cliLax = parseResult.GetValue(laxOption);
+            if (cliStrict && cliLax) throw new ArgumentException("不能同时指定 --strict 与 --lax。");
+            else if (cliStrict) _simaiStrictLevel = SimaiParser.StrictLevelEnum.Strict;
+            else if (cliLax) _simaiStrictLevel = SimaiParser.StrictLevelEnum.Lax;
+
             RunConvert(inputPath, levelsRaw);
         });
 
@@ -90,6 +113,7 @@ private static Command BuildRootCommand()
 
     /// <summary>由 CLI 在每次 <c>SetAction</c> 入口赋值；转换逻辑只读此字段。</summary>
     private static OutputSpec _outputSpec;
+    private static SimaiParser.StrictLevelEnum _simaiStrictLevel = SimaiParser.StrictLevelEnum.Normal;
 
     private enum OutputSinkKind { Default, Stdout, Directory, File }
 
@@ -256,6 +280,8 @@ private static void ConvertMa2PathsToMaidata(string outputDir, string title, IRe
     {
         if (ma2FullPaths.Count == 0)
             throw new ArgumentException("未提供任何 .ma2 文件。");
+        if (_simaiStrictLevel != SimaiParser.StrictLevelEnum.Normal)
+            throw new ArgumentException("--strict / --lax 仅适用于 Simai（.txt / maidata）转 MA2，不能用于 MA2 转 Simai。");
 
         var paths = ma2FullPaths.Select(Path.GetFullPath).Distinct(StringComparer.OrdinalIgnoreCase).ToArray();
         var levelFilter = string.IsNullOrWhiteSpace(levelsRaw) ? null : ParseLevelList(levelsRaw);
@@ -354,7 +380,7 @@ private static void ConvertMaidata(Maidata maidata, IReadOnlyList<int> selected,
             var chartInfo = maidata.Levels[id];
             var bigTouch = id is 2 or 3;
             var isUtage = IsUtageFromLevelString(chartInfo.Level);
-            var ma2 = SimaiToMa2(chartInfo.Inote, maidata.ClockCount, bigTouch, isUtage);
+            var ma2 = SimaiToMa2(chartInfo.Inote, maidata.ClockCount, bigTouch, isUtage, _simaiStrictLevel);
             if (_outputSpec.Kind == OutputSinkKind.Stdout) Console.Out.Write(ma2);
             else File.WriteAllText(outPath, ma2, new UTF8Encoding(encoderShouldEmitUTF8Identifier: false));
         }
@@ -367,7 +393,7 @@ private static void ConvertPlainSimai(string text, string inputDir, string input
         var outPath = _outputSpec.Kind == OutputSinkKind.File ? _outputSpec.FsPath! : Path.Combine(baseDir, $"lv_{outputLevel}.ma2");
         var destNote = _outputSpec.Kind == OutputSinkKind.Stdout ? "（标准输出）" : outPath;
         Console.Error.WriteLine($"Simai → MA2: {inputPath}(lv{outputLevel}) → {destNote}");
-        var ma2 = SimaiToMa2(text);
+        var ma2 = SimaiToMa2(text, strictLevel: _simaiStrictLevel);
         if (_outputSpec.Kind == OutputSinkKind.Stdout) Console.Out.Write(ma2);
         else File.WriteAllText(outPath, ma2, new UTF8Encoding(encoderShouldEmitUTF8Identifier: false));
     }
@@ -395,9 +421,10 @@ private static void ValidateOutputFileExtension(string filePath, string required
             throw new ArgumentException($"输出文件扩展名须为「{requiredExt}」，当前为「{(string.IsNullOrEmpty(ext) ? "(无)" : ext)}」。");
     }
 
-    private static string SimaiToMa2(string inote, int clockCount=4, bool bigTouch=false, bool isUtage=false)
+    private static string SimaiToMa2(string inote, int clockCount = 4, bool bigTouch = false, bool isUtage = false,
+        SimaiParser.StrictLevelEnum strictLevel = SimaiParser.StrictLevelEnum.Normal)
     {
-        var (chart, parseAlerts) = new SimaiParser(bigTouch, clockCount).Parse(inote);
+        var (chart, parseAlerts) = new SimaiParser(bigTouch, clockCount, strictLevel).Parse(inote);
         PrintAlerts(parseAlerts);
         var (ma2, genAlerts) = new MA2Generator(isUtage).Generate(chart);
         PrintAlerts(genAlerts);

README.md

@@ -25,14 +25,18 @@ MuConvert 是一个支持**Simai与MA2互转**的转谱器。
 #### 基本用法
 
 ```shell
-MuConvert.exe <path> [-l|--levels N[,N...]] [-o|--output <输出路径或->]
+MuConvert.exe <path> [-l|--levels N[,N...]] [-o|--output <输出路径或->] [--strict|--lax]
 ```
 
 - **`path`**：输入路径（必填），可以是 `.txt` / `.ma2` / 目录（见下文）
 - **`-l, --levels`**：仅转换指定难度（以 `maidata.txt` 的 `&inote_编号` 为准），多个难度用英文逗号分隔；省略则转换全部难度
 - **`-o, --output`**：指定输出位置（可选）；不传入此参数时，文件将保存到“输入文件所在的目录”。
   - 会智能识别你传入的是目录还是文件，做智能的处理，将转谱结果输入到目录下或保存为文件。
   - 此外，还可以传入 `-` ，表示输出到stdout。
+- **`--strict` / `--lax`**：控制 Simai 解析器 `SimaiParser` 的严格程度（`StrictLevel`），**仅在 Simai → MA2**时有效。`--strict` 对应严格模式，`--lax` 对应宽松模式；二者**不可同时**指定；均省略时为普通模式（`Normal`）。
+  - `--strict`（严格模式）：几乎不会自动修复任何错误，遇到解析错误/非标准语法直接报错退出。
+  - 默认模式：会尽力尝试修复一些局部性的错误，并给出警告。但遇到无法修复的错误时则会报错退出。
+  - `--lax`（宽松模式）：同上会尽力修复错误，而对于无法修复的错误，会把错误所在的音符**直接吞掉**（并给出警告），以换取解析可以继续向下进行。一般来说除非遇到很严重的问题，不会报错退出。
 
 #### `path` 支持的输入形式与输出规则
 通过命令行传入的参数，既可以是文件，也可以是目录。
@@ -113,6 +117,7 @@ return maidataText; // maidataText即为转谱结果
   - SimaiParser带有以下选项：
     - bool `bigTouch` (默认为false): 是否将谱面中的Touch和TouchHold生成为大尺寸。
     - int `clockCount` (默认为4): 控制在谱面开头的“哒哒哒哒”的那几声，有几下。
+    - StrictLevelEnum `strictLevel` (默认为 `Normal`): 解析 Simai 时的严格程度（`Strict` / `Normal` / `Lax`），影响语法容错与报错策略。各个严格程度策略的具体含义，请参见上方[CLI文档](#基本用法)中的相关描述。
   - MA2Generator带有以下选项：
     - bool `isUtage` (默认为false): 仅影响生成的MA2的文件头区域的`FES_MODE`的值是1还是0，一般来说是不重要的。
 

i18n/Locale.Designer.cs

@@ -133,7 +133,7 @@
   <data name="UnsuppoertedMA2MET_DEF" xml:space="preserve">
     <value>Charts whose MET_DEF is not "4 4" are not supported yet!</value>
   </data>
-  <data name="NoNotesInMA2" xml:space="preserve">
+  <data name="NoNotesInChart" xml:space="preserve">
     <value>The chart has no notes!</value>
   </data>
   <data name="MA2NoteSentenceTooManyParam" xml:space="preserve">

i18n/Locale.resx

@@ -133,7 +133,7 @@
   <data name="UnsuppoertedMA2MET_DEF" xml:space="preserve">
     <value>暂不支持MET_DEF不为"4 4"的谱面！</value>
   </data>
-  <data name="NoNotesInMA2" xml:space="preserve">
+  <data name="NoNotesInChart" xml:space="preserve">
     <value>谱面中没有音符！</value>
   </data>
   <data name="MA2NoteSentenceTooManyParam" xml:space="preserve">

i18n/Locale.zh-hans.resx

@@ -133,7 +133,7 @@
   <data name="UnsuppoertedMA2MET_DEF" xml:space="preserve">
     <value>暫不支援 MET_DEF 不為 "4 4" 的譜面！</value>
   </data>
-  <data name="NoNotesInMA2" xml:space="preserve">
+  <data name="NoNotesInChart" xml:space="preserve">
     <value>譜面中沒有音符！</value>
   </data>
   <data name="MA2NoteSentenceTooManyParam" xml:space="preserve">

i18n/Locale.zh-hant.resx

@@ -193,14 +193,14 @@ private void WarnParamsCount(int lineNo, ReadOnlySpan<char> line, Rational? time
             }
         }
 
-        if (!bpmRead)
+        if (chart.Notes.Count == 0)
         {
-            alerts.Add(new Alert(Error, Locale.NoBPMInMA2));
+            alerts.Add(new Alert(Error, Locale.NoNotesInChart));
             throw new ConversionException(alerts);
         }
-        if (chart.Notes.Count == 0)
+        if (!bpmRead)
         {
-            alerts.Add(new Alert(Error, Locale.NoNotesInMA2));
+            alerts.Add(new Alert(Error, Locale.NoBPMInMA2));
             throw new ConversionException(alerts);
         }
 

parser/MA2Parser.cs

@@ -133,6 +133,11 @@ private CommonTokenStream TokenProcess(CommonTokenStream src)
             parser.RemoveErrorListeners();
             parser.AddErrorListener(new ErrorListener(this));
             root = parser.chart();
+            if (root.children.Count == 1)
+            { // 只有一个EOF
+                alerts.Add(new Alert(Error, Locale.NoNotesInChart)); 
+                throw new ConversionException(alerts);
+            }
         }
         catch (ParseCanceledException e)
         { // ErrorListener里会把alerts加好的，因此这里直接抛异常就可以了。

parser/simai/SimaiParser.cs

@@ -27,6 +27,17 @@ private string SimaiToMa2(string inote, bool DontTryFix = false)
         return ma2;
     }
 
+    /// <summary>非规范 simai → 完整 MA2（<see cref="SimaiParser.StrictLevelEnum.Lax"/>）。</summary>
+    private string SimaiToMa2Lax(string inote)
+    {
+        var parser = new SimaiParser(strictLevel: SimaiParser.StrictLevelEnum.Lax);
+        var (chart, alerts) = parser.Parse(inote);
+        var (ma2, alerts2) = new MA2Generator().Generate(chart);
+        _output.WriteLine(string.Join('\n', alerts));
+        _output.WriteLine(string.Join('\n', alerts2));
+        return ma2;
+    }
+
     public static IEnumerable<object[]> TryFix_Cases()
     {
         // SimaiError1: 数字与小节拍号 {n} 之间漏写逗号（时间轴被粘在一起）