“调试.断言”语句在 Mono 中不起作用

Question

我这里有这个程序：

namespace TodoPlus {
    using System.Diagnostics;

    public class LameProg {

        public LameProg() {}

        public static void Main(string[] args) {
            int a = 2;
            int b = 3;
            Debug.Assert(a == b, "Bleh");
            System.Console.WriteLine("Haha, it didn't work");
        }
    }
}

不知何故，Debug.Assert 不起作用。

我正在使用 Mono 2.10.5，这就是我用来编译和执行的：

dmcs LameProg.cs

mono ./LameProg.exe

How can I make this work?我希望它能与 C 中的断言宏具有相同的效果，也就是说它应该让程序彻底崩溃。是否可以使用 Debug.Assert 来完成此操作，或者是否有其他函数可以实现此目的？

Answer 1

1. Debug.Assert 注释为[ConditionalAttribute("DEBUG")]。这意味着除非定义了 DEBUG 预处理器符号，否则所有调用都会被编译器删除。试试这个：

   $ dmcs -d:DEBUG LameProg.cs
   

2. 当断言被命中时，Mono 不会像 Microsoft 的 .NET 实现那样显示对话框。您需要设置一个 TraceListener，例如

   $ export MONO_TRACE_LISTENER=Console.Error
   $ 单声道 LameProg.exe
   

---

Debug.Assert 调用是通常在调试版本中使用并从发布版本中删除。如果您想确保某个条件成立，并且此检查应该存在于发布版本中，请使用 if 语句并抛出 异常：

public static void Main(string[] args)
{
    int a = 2;
    int b = 3;
    if (a != b)
    {
        throw new Exception("Bleh");
    }
    System.Console.WriteLine("Haha it didn't work");
}

Answer 2

还有另一个技巧：您可以通过 TraceListener 添加“立即退出”行为，因为 Debug.Assert 失败会触发跟踪侦听器中对 Fail() 的调用。

您仍然需要 -define:DEBUG （和 TRACE？）。我个人期望 Assert() 调用（在 DEBUG 版本中）停止我的程序，转储调试信息并退出。所以，我是这样做的：

在我的代码中，我安装了一个自定义跟踪侦听器来转储堆栈并添加对 Exit() 的调用。还有中提琴！您有对 Assert.Fail() 的行业标准响应。例如，您还可以在此处打印时间戳等。

public class DumpStackTraceListener : TraceListener
{
  public override void Write( string message )
  {
     Console.Write( message );
  }

  public override void WriteLine(string message)
  {
     Console.WriteLine( message );
  }

  public override void Fail(string message)
  {
     Fail( message, String.Empty );
  }

  public override void Fail(string message1, string message2)
  {
     if (null == message2)
        message2 = String.Empty;

     Console.WriteLine( "{0}: {1}", message1, message2 );
     Console.WriteLine( "Stack Trace:" );

     StackTrace trace = new StackTrace( true );
     foreach (StackFrame frame in trace.GetFrames())
     {
        MethodBase frameClass = frame.GetMethod();
        Console.WriteLine( "  {2}.{3} {0}:{1}", 
                           frame.GetFileName(),
                           frame.GetFileLineNumber(),
                           frameClass.DeclaringType,
                           frameClass.Name );
     }

#if DEBUG
     Console.WriteLine( "Exiting because Fail" );
     Environment.Exit( 1 );
#endif
  }
}

结合调用：

#if DEBUG
   Debug.Listeners.Add( new DumpStackTraceListener() );
#endif

您就可以开始了。

Answer 3

我相信您需要两件事：编译器的 DEBUG 属性和运行时的“跟踪侦听器”。我让它工作起来

% export MONO_TRACE_LISTENER=Console.Error
% mcs -define:DEBUG -debug Prog.cs
% mono Prog.exe

仍然不会像我预期的那样在断言失败时立即退出，但至少它会打印一些东西。