草庐IT

c# - 是什么让 Visual Studio 调试器停止评估 ToString 覆盖?

coder 2023-07-06 原文

环境:Visual Studio 2015 RTM。 (我没有尝试过旧版本。)

最近,我一直在调试我的一些 Noda Time代码,我注意到当我有一个类型为 NodaTime.Instant 的局部变量时(野田时间的中央 struct 类型之一),“Locals”和“Watch”窗口似乎不会调用它的 ToString()覆盖。如果我打电话ToString()在监视窗口中明确显示,我看到了适当的表示,但除此之外我只看到:

variableName       {NodaTime.Instant}

这不是很有用。

如果我更改覆盖以返回一个常量字符串,该字符串将显示在调试器中,因此它显然能够发现它在那里——它只是不想在“正常”状态下使用它。

我决定在一个小演示应用程序中在本地重现这个,这就是我想出的。 (请注意,在这篇文章的早期版本中,DemoStruct 是一个类,而 DemoClass 根本不存在 - 我的错,但它解释了一些现在看起来很奇怪的评论......)
using System;
using System.Diagnostics;
using System.Threading;

public struct DemoStruct
{
    public string Name { get; }

    public DemoStruct(string name)
    {
        Name = name;
    }

    public override string ToString()
    {
        Thread.Sleep(1000); // Vary this to see different results
        return $"Struct: {Name}";
    }
}

public class DemoClass
{
    public string Name { get; }

    public DemoClass(string name)
    {
        Name = name;
    }

    public override string ToString()
    {
        Thread.Sleep(1000); // Vary this to see different results
        return $"Class: {Name}";
    }
}

public class Program
{
    static void Main()
    {
        var demoClass = new DemoClass("Foo");
        var demoStruct = new DemoStruct("Bar");
        Debugger.Break();
    }
}

在调试器中,我现在看到:
demoClass    {DemoClass}
demoStruct   {Struct: Bar}

但是,如果我减少 Thread.Sleep调用从 1 秒到 900 毫秒,仍然有短暂的停顿,但随后我看到了 Class: Foo作为值(value)。 Thread.Sleep 持续多久似乎无关紧要电话在 DemoStruct.ToString() ,它总是正确显示 - 并且调试器在 sleep 完成之前显示该值。 (就好像 Thread.Sleep 被禁用了。)

现在 Instant.ToString()在 Noda Time 中做了相当多的工作,但它肯定不会花费一整秒——所以大概有更多的条件导致调试器放弃评估 ToString()称呼。当然,无论如何它都是一个结构体。

我尝试递归查看是否是堆栈限制,但似乎并非如此。

那么,我如何才能弄清楚是什么阻止了 VS 全面评估 Instant.ToString() ?如下所述,DebuggerDisplayAttribute似乎有帮助,但不知道为什么,我永远不会对何时需要和何时不需要完全有信心。

更新

如果我使用 DebuggerDisplayAttribute , 事情会改变的:
// For the sample code in the question...
[DebuggerDisplay("{ToString()}")]
public class DemoClass

给我:
demoClass      Evaluation timed out

而当我在野田时间应用它时:
[DebuggerDisplay("{ToString()}")]
public struct Instant

一个简单的测试应用程序向我展示了正确的结果:
instant    "1970-01-01T00:00:00Z"

所以想必野田时间的问题是DebuggerDisplayAttribute的一些条件确实强制通过 - 即使它不强制通过超时。 (这符合我的预期,即 Instant.ToString 足够快以避免超时。)

这可能是一个足够好的解决方案 - 但我仍然想知道发生了什么,以及我是否可以简单地更改代码以避免必须将属性放在 Noda Time 中的所有各种值类型上。

越来越好奇

任何让调试器感到困惑的东西只是有时会让它感到困惑。让我们创建一个包含 Instant 的类并将其用于自己的 ToString()方法:
using NodaTime;
using System.Diagnostics;

public class InstantWrapper
{
    private readonly Instant instant;

    public InstantWrapper(Instant instant)
    {
        this.instant = instant;
    }

    public override string ToString() => instant.ToString();
}

public class Program
{
    static void Main()
    {
        var instant = NodaConstants.UnixEpoch;
        var wrapper = new InstantWrapper(instant);

        Debugger.Break();
    }
}

现在我最终看到:
instant    {NodaTime.Instant}
wrapper    {1970-01-01T00:00:00Z}

但是,在 Eren 在评论中的建议下,如果我更改 InstantWrapper要成为一个结构,我得到:
instant    {NodaTime.Instant}
wrapper    {InstantWrapper}

所以它可以评估Instant.ToString() - 只要它被另一个 ToString 调用方法......这是在一个类中。根据显示的变量的类型,类/结构部分似乎很重要,而不是代码需要什么
执行以获得结果。

作为另一个例子,如果我们使用:
object boxed = NodaConstants.UnixEpoch;

...然后它工作正常,显示正确的值。给我上色了。

最佳答案

更新:
此错误已在 Visual Studio 2015 Update 2 中修复。如果您在使用 Update 2 或更高版本对结构值评估 ToString 时仍然遇到问题,请告诉我。
原答案:
您遇到了 Visual Studio 2015 的已知错误/设计限制,并在结构类型上调用 ToString。这在处理 System.DateTimeSpan 时也可以观察到. System.DateTimeSpan.ToString()在 Visual Studio 2013 的评估窗口中有效,但在 2015 中并不总是有效。
如果你对底层细节感兴趣,这里是发生了什么:
评价ToString ,调试器执行所谓的“函数评估”。简单来说,调试器挂起进程中除当前线程之外的所有线程,将当前线程的上下文更改为ToString函数,设置一个隐藏的保护断点,然后允许进程继续。当保护断点被击中时,调试器将进程恢复到以前的状态,并使用函数的返回值来填充窗口。
为了支持 lambda 表达式,我们必须在 Visual Studio 2015 中完全重写 CLR 表达式评估器。 在较高级别上,实现是:

  • Roslyn 为表达式/局部变量生成 MSIL 代码,以获取要在各种检查窗口中显示的值。
  • 调试器解释 IL 以获得结果。
  • 如果有任何“调用”指令,调试器将执行
    如上所述的功能评估。
  • 调试器/roslyn 获取此结果并将其格式化为
    向用户显示的树状 View 。

  • 由于 IL 的执行,调试器总是处理“真实”和“虚假”值的复杂组合。实际值实际上存在于被调试的进程中。假值只存在于调试器进程中。为了实现正确的结构语义,在将结构值推送到 IL 堆栈时,调试器始终需要制作该值的副本。复制的值不再是“真实”值,现在只存在于调试器进程中。这意味着如果我们稍后需要执行 ToString 的函数评估,我们不能,因为该值在过程中不存在。为了尝试获取我们需要模拟 ToString 的执行的值方法。虽然我们可以模仿一些东西,但有很多限制。例如,我们无法模拟 native 代码,也无法执行对“真实”委托(delegate)值的调用或对反射值的调用。
    考虑到所有这些,以下是导致您看到的各种行为的原因:
  • 调试器不评估 NodaTime.Instant.ToString -> 这是
    因为是struct类型,ToString的实现不能
    由调试器模拟,如上所述。
  • Thread.SleepToString 调用时似乎需要零时间在一个
    struct -> 这是因为模拟器正在执行 ToString .
    Thread.Sleep 是 native 方法,但模拟器知道
    它,只是忽略调用。我们这样做是为了尝试获得一个值
    来展示给用户。在这种情况下,延迟将无济于事。
  • DisplayAttibute("ToString()")作品。 -> 这令人困惑。唯一的ToString的隐式调用的区别和DebuggerDisplay是隐式 ToString 的任何超时
    评估将禁用所有隐式 ToString对此的评价
    键入直到下一个调试 session 。你可能正在观察
    行为。

  • 就设计问题/错误而言,这是我们计划在 Visual Studio 的 future 版本中解决的问题。
    希望这能解决问题。如果您有更多问题,请告诉我。 :-)

    关于c# - 是什么让 Visual Studio 调试器停止评估 ToString 覆盖?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/31562791/

    有关c# - 是什么让 Visual Studio 调试器停止评估 ToString 覆盖?的更多相关文章

    1. ruby - 为什么我可以在 Ruby 中使用 Object#send 访问私有(private)/ protected 方法? - 2

      类classAprivatedeffooputs:fooendpublicdefbarputs:barendprivatedefzimputs:zimendprotecteddefdibputs:dibendendA的实例a=A.new测试a.foorescueputs:faila.barrescueputs:faila.zimrescueputs:faila.dibrescueputs:faila.gazrescueputs:fail测试输出failbarfailfailfail.发送测试[:foo,:bar,:zim,:dib,:gaz].each{|m|a.send(m)resc

    2. ruby-on-rails - Rails - 子类化模型的设计模式是什么? - 2

      我有一个模型:classItem项目有一个属性“商店”基于存储的值,我希望Item对象对特定方法具有不同的行为。Rails中是否有针对此的通用设计模式?如果方法中没有大的if-else语句,这是如何干净利落地完成的? 最佳答案 通常通过Single-TableInheritance. 关于ruby-on-rails-Rails-子类化模型的设计模式是什么?,我们在StackOverflow上找到一个类似的问题: https://stackoverflow.co

    3. ruby - 什么是填充的 Base64 编码字符串以及如何在 ruby​​ 中生成它们? - 2

      我正在使用的第三方API的文档状态:"[O]urAPIonlyacceptspaddedBase64encodedstrings."什么是“填充的Base64编码字符串”以及如何在Ruby中生成它们。下面的代码是我第一次尝试创建转换为Base64的JSON格式数据。xa=Base64.encode64(a.to_json) 最佳答案 他们说的padding其实就是Base64本身的一部分。它是末尾的“=”和“==”。Base64将3个字节的数据包编码为4个编码字符。所以如果你的输入数据有长度n和n%3=1=>"=="末尾用于填充n%

    4. ruby - 解析 RDFa、微数据等的最佳方式是什么,使用统一的模式/词汇(例如 schema.org)存储和显示信息 - 2

      我主要使用Ruby来执行此操作,但到目前为止我的攻击计划如下:使用gemsrdf、rdf-rdfa和rdf-microdata或mida来解析给定任何URI的数据。我认为最好映射到像schema.org这样的统一模式,例如使用这个yaml文件,它试图描述数据词汇表和opengraph到schema.org之间的转换:#SchemaXtoschema.orgconversion#data-vocabularyDV:name:namestreet-address:streetAddressregion:addressRegionlocality:addressLocalityphoto:i

    5. ruby - 为什么 4.1%2 使用 Ruby 返回 0.0999999999999996?但是 4.2%2==0.2 - 2

      为什么4.1%2返回0.0999999999999996?但是4.2%2==0.2。 最佳答案 参见此处:WhatEveryProgrammerShouldKnowAboutFloating-PointArithmetic实数是无限的。计算机使用的位数有限(今天是32位、64位)。因此计算机进行的浮点运算不能代表所有的实数。0.1是这些数字之一。请注意,这不是与Ruby相关的问题,而是与所有编程语言相关的问题,因为它来自计算机表示实数的方式。 关于ruby-为什么4.1%2使用Ruby返

    6. ruby-on-rails - 在混合/模块中覆盖模型的属性访问器 - 2

      我有一个包含模块的模型。我想在模块中覆盖模型的访问器方法。例如:classBlah这显然行不通。有什么想法可以实现吗? 最佳答案 您的代码看起来是正确的。我们正在毫无困难地使用这个确切的模式。如果我没记错的话,Rails使用#method_missing作为属性setter,因此您的模块将优先,阻止ActiveRecord的setter。如果您正在使用ActiveSupport::Concern(参见thisblogpost),那么您的实例方法需要进入一个特殊的模块:classBlah

    7. ruby - ruby 中的 TOPLEVEL_BINDING 是什么? - 2

      它不等于主线程的binding,这个toplevel作用域是什么?此作用域与主线程中的binding有何不同?>ruby-e'putsTOPLEVEL_BINDING===binding'false 最佳答案 事实是,TOPLEVEL_BINDING始终引用Binding的预定义全局实例,而Kernel#binding创建的新实例>Binding每次封装当前执行上下文。在顶层,它们都包含相同的绑定(bind),但它们不是同一个对象,您无法使用==或===测试它们的绑定(bind)相等性。putsTOPLEVEL_BINDINGput

    8. ruby - Infinity 和 NaN 的类型是什么? - 2

      我可以得到Infinity和NaNn=9.0/0#=>Infinityn.class#=>Floatm=0/0.0#=>NaNm.class#=>Float但是当我想直接访问Infinity或NaN时:Infinity#=>uninitializedconstantInfinity(NameError)NaN#=>uninitializedconstantNaN(NameError)什么是Infinity和NaN?它们是对象、关键字还是其他东西? 最佳答案 您看到打印为Infinity和NaN的只是Float类的两个特殊实例的字符串

    9. ruby-on-rails - 如果 Object::try 被发送到一个 nil 对象,为什么它会起作用? - 2

      如果您尝试在Ruby中的nil对象上调用方法,则会出现NoMethodError异常并显示消息:"undefinedmethod‘...’fornil:NilClass"然而,有一个tryRails中的方法,如果它被发送到一个nil对象,它只返回nil:require'rubygems'require'active_support/all'nil.try(:nonexisting_method)#noNoMethodErrorexceptionanymore那么try如何在内部工作以防止该异常? 最佳答案 像Ruby中的所有其他对象

    10. ruby - 为什么 SecureRandom.uuid 创建一个唯一的字符串? - 2

      关闭。这个问题需要detailsorclarity.它目前不接受答案。想改进这个问题吗?通过editingthispost添加细节并澄清问题.关闭8年前。Improvethisquestion为什么SecureRandom.uuid创建一个唯一的字符串?SecureRandom.uuid#=>"35cb4e30-54e1-49f9-b5ce-4134799eb2c0"SecureRandom.uuid方法创建的字符串从不重复?

    随机推荐