草庐IT

c# - 可能是 Visual Studio 2015 中的 C# 编译器错误

coder 2023-07-10 原文

我认为这是一个编译器错误。

以下控制台应用程序在使用 VS 2015 编译时可以完美地编译和执行:

namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            var x = MyStruct.Empty;
        }

        public struct MyStruct
        {
            public static readonly MyStruct Empty = new MyStruct();
        }
    }
}

但现在变得奇怪了:这段代码编译通过了，但它抛出了 TypeLoadException执行时。
namespace ConsoleApplication1
{
    class Program
    {
        static void Main(string[] args)
        {
            var x = MyStruct.Empty;
        }

        public struct MyStruct
        {
            public static readonly MyStruct? Empty = null;
        }
    }
}

您是否遇到同样的问题？如果是这样，我将向 Microsoft 提交问题。

代码看起来毫无意义，但我用它来提高可读性并消除歧义。

我有不同重载的方法，比如
void DoSomething(MyStruct? arg1, string arg2)void DoSomething(string arg1, string arg2)
以这种方式调用方法...
myInstance.DoSomething(null, "Hello world!")
...不编译。

打电话
myInstance.DoSomething(default(MyStruct?), "Hello world!")
或者
myInstance.DoSomething((MyStruct?)null, "Hello world!")
有效，但看起来很丑。我更喜欢这样:
myInstance.DoSomething(MyStruct.Empty, "Hello world!")
如果我把 Empty变量到另一个类，一切正常:
public static class MyUtility
{
    public static readonly MyStruct? Empty = null;
}

奇怪的行为，不是吗？

更新 2016-03-29

我在这里开了票:http://github.com/dotnet/roslyn/issues/10126

更新 2016-04-06

这里已经开了一张新票:https://github.com/dotnet/coreclr/issues/4049

最佳答案

这不是 2015 年的错误，而是可能是 C# 语言错误。下面的讨论涉及为什么实例成员不能引入循环，以及为什么 Nullable<T>将导致此错误，但不应应用于静态成员。

我会将其作为语言错误提交，而不是编译器错误。

在 VS2013 中编译此代码会出现以下编译错误:

Struct member 'ConsoleApplication1.Program.MyStruct.Empty' of type 'System.Nullable' causes a cycle in the struct layout



快速搜索出现 this answer其中指出:

It's not legal to have a struct that contains itself as a member.



不幸的是System.Nullable<T>用于值类型的可为空的实例的类型也是值类型，因此必须具有固定大小。很容易想到 MyStruct?作为引用类型，但实际上不是。 MyStruct?尺寸是基于MyStruct的大小...这显然在编译器中引入了一个循环。

举个例子:
public struct Struct1
{
    public int a;
    public int b;
    public int c;
}

public struct Struct2
{
    public Struct1? s;
}

使用 System.Runtime.InteropServices.Marshal.SizeOf()你会发现 Struct2是 16 字节长，表示 Struct1?不是引用而是比 Struct1 长 4 个字节(标准填充大小)的结构体.

这里没有发生什么

作为对 Julius Depulla 的回答和评论的回应，以下是您访问 static Nullable<T> 时实际发生的情况。 field 。从这个代码:
public struct foo
{
    public static int? Empty = null;
}

public void Main()
{
    Console.WriteLine(foo.Empty == null);
}

这是从 LINQPad 生成的 IL:
IL_0000:  ldsflda     UserQuery+foo.Empty
IL_0005:  call        System.Nullable<System.Int32>.get_HasValue
IL_000A:  ldc.i4.0    
IL_000B:  ceq         
IL_000D:  call        System.Console.WriteLine
IL_0012:  ret

第一条指令获取静态字段的地址foo.Empty并将其压入堆栈。该地址保证非空，如 Nullable<Int32>是结构而不是引用类型。

下一个 Nullable<Int32>隐藏成员函数 get_HasValue被调用以检索 HasValue适当的值(value)。这不会导致空引用，因为如前所述，值类型字段的地址必须是非空的，无论地址中包含的值如何。

剩下的只是将结果与 0 进行比较并将结果发送到控制台。

在此过程中，任何时候都不能“在类型上调用 null”，无论这意味着什么。值类型没有空地址，因此对值类型的方法调用不能直接导致空对象引用错误。这就是我们不称它们为引用类型的原因。

关于c# - 可能是 Visual Studio 2015 中的 C# 编译器错误，我们在Stack Overflow上找到一个类似的问题： https://stackoverflow.com/questions/36222117/

c#codebrMyStructvisual-studio-2015roslyncompiler-bugcoreclr

有关c# - 可能是 Visual Studio 2015 中的 C# 编译器错误的更多相关文章

  1. ruby - 如何从 ruby​​ 中的字符串运行任意对象方法？ - 2

    总的来说，我对ruby​​还比较陌生，我正在为我正在创建的对象编写一些rspec测试用例。许多测试用例都非常基础，我只是想确保正确填充和返回值。我想知道是否有办法使用循环结构来执行此操作。不必为我要测试的每个方法都设置一个assertEquals。例如:describeitem,"TestingtheItem"doit"willhaveanullvaluetostart"doitem=Item.new#HereIcoulddotheitem.name.shouldbe_nil#thenIcoulddoitem.category.shouldbe_nilendend但我想要一些方法来使用

  2. ruby - 其他文件中的 Rake 任务 - 2

    我试图在一个项目中使用rake，如果我把所有东西都放到Rakefile中，它会很大并且很难读取/找到东西，所以我试着将每个命名空间放在lib/rake中它自己的文件中，我添加了这个到我的rake文件的顶部:Dir['#{File.dirname(__FILE__)}/lib/rake/*.rake'].map{|f|requiref}它加载文件没问题，但没有任务。我现在只有一个.rake文件作为测试，名为“servers.rake”，它看起来像这样:namespace:serverdotask:testdoputs"test"endend所以当我运行rakeserver:testid时

  3. ruby-on-rails - Ruby net/ldap 模块中的内存泄漏 - 2

    作为我的Rails应用程序的一部分，我编写了一个小导入程序，它从我们的LDAP系统中吸取数据并将其塞入一个用户表中。不幸的是，与LDAP相关的代码在遍历我们的32K用户时泄漏了大量内存，我一直无法弄清楚如何解决这个问题。这个问题似乎在某种程度上与LDAP库有关，因为当我删除对LDAP内容的调用时，内存使用情况会很好地稳定下来。此外，不断增加的对象是Net::BER::BerIdentifiedString和Net::BER::BerIdentifiedArray，它们都是LDAP库的一部分。当我运行导入时，内存使用量最终达到超过1GB的峰值。如果问题存在，我需要找到一些方法来更正我的代

  4. ruby-on-rails - Rails 3 中的多个路由文件 - 2

    Rails2.3可以选择随时使用RouteSet#add_configuration_file添加更多路由。是否可以在Rails3项目中做同样的事情？ 最佳答案 在config/application.rb中:config.paths.config.routes在Rails3.2(也可能是Rails3.1)中，使用:config.paths["config/routes"] 关于ruby-on-rails-Rails3中的多个路由文件，我们在StackOverflow上找到一个类似的问题

  5. ruby - 如何以所有可能的方式将字符串拆分为长度最多为 3 的连续子字符串？ - 2

    我试图获取一个长度在1到10之间的字符串，并输出将字符串分解为大小为1、2或3的连续子字符串的所有可能方式。例如:输入:123456将整数分割成单个字符，然后继续查找组合。该代码将返回以下所有数组。[1,2,3,4,5,6][12,3,4,5,6][1,23,4,5,6][1,2,34,5,6][1,2,3,45,6][1,2,3,4,56][12,34,5,6][12,3,45,6][12,3,4,56][1,23,45,6][1,2,34,56][1,23,4,56][12,34,56][123,4,5,6][1,234,5,6][1,2,345,6][1,2,3,456][123

  6. ruby-on-rails - Rails - 一个 View 中的多个模型 - 2

    我需要从一个View访问多个模型。以前，我的links_controller仅用于提供以不同方式排序的链接资源。现在我想包括一个部分(我假设)显示按分数排序的顶级用户(@users=User.all.sort_by(&:score))我知道我可以将此代码插入每个链接操作并从View访问它，但这似乎不是“ruby方式”，我将需要在不久的将来访问更多模型。这可能会变得很脏，是否有针对这种情况的任何技术？注意事项:我认为我的应用程序正朝着单一格式和动态页面内容的方向发展，本质上是一个典型的网络应用程序。我知道before_filter但考虑到我希望应用程序进入的方向，这似乎很麻烦。最终从任何

  7. ruby-on-rails - Rails 3.2.1 中 ActionMailer 中的未定义方法 'default_content_type=' - 2

    我在我的项目中添加了一个系统来重置用户密码并通过电子邮件将密码发送给他，以防他忘记密码。昨天它运行良好(当我实现它时)。当我今天尝试启动服务器时，出现以下错误。=>BootingWEBrick=>Rails3.2.1applicationstartingindevelopmentonhttp://0.0.0.0:3000=>Callwith-dtodetach=>Ctrl-CtoshutdownserverExiting/Users/vinayshenoy/.rvm/gems/ruby-1.9.3-p0/gems/actionmailer-3.2.1/lib/action_mailer

  8. ruby-on-rails - Rails 应用程序中的 Rails : How are you using application_controller. rb 是新手吗？ - 2

    刚入门rails，开始慢慢理解。有人可以解释或给我一些关于在application_controller中编码的好处或时间和原因的想法吗？有哪些用例。您如何为Rails应用程序使用应用程序Controller？我不想在那里放太多代码，因为据我了解，每个请求都会调用此Controller。这是真的？ 最佳答案 ApplicationController实际上是您应用程序中的每个其他Controller都将从中继承的类(尽管这不是强制性的)。我同意不要用太多代码弄乱它并保持干净整洁的态度，尽管在某些情况下ApplicationContr

  9. ruby-on-rails - form_for 中不在模型中的自定义字段 - 2

    我想向我的Controller传递一个参数，它是一个简单的复选框，但我不知道如何在模型的form_for中引入它，这是我的观点:{:id=>'go_finance'}do|f|%>Transferirde:para:Entrada:"input",:placeholder=>"Quantofoiganho?"%>Saída:"output",:placeholder=>"Quantofoigasto?"%>Nota:我想做一个额外的复选框，但我该怎么做，模型中没有一个对象，而是一个要检查的对象，以便在Controller中创建一个ifelse，如果没有检查，请帮助我，非常感谢,谢谢

  10. ruby - rspec 需要 .rspec 文件中的 spec_helper - 2

    我注意到像bundler这样的项目在每个specfile中执行requirespec_helper我还注意到rspec使用选项--require，它允许您在引导rspec时要求一个文件。您还可以将其添加到.rspec文件中，因此只要您运行不带参数的rspec就会添加它。使用上述方法有什么缺点可以解释为什么像bundler这样的项目选择在每个规范文件中都需要spec_helper吗？ 最佳答案 我不在Bundler上工作，所以我不能直接谈论他们的做法。并非所有项目都checkin.rspec文件。原因是这个文件，通常按照当前的惯例，只

随机推荐