我收集了一些极端案例和脑筋急转弯，总是想听到更多。这个页面只涵盖了c#语言的一些细节，但我也发现了。net核心的东西也很有趣。例如，这里有一个没有在页面上，但我觉得不可思议:
string x = new string(new char[0]);
string y = new string(new char[0]);
Console.WriteLine(object.ReferenceEquals(x, y));
我希望输出False -毕竟，“new”(具有引用类型)总是创建一个新对象，不是吗?c#和CLI的规范都表明应该这样做。嗯，在这个特殊情况下不是这样。它输出True，并且在我测试过的框架的每个版本上都是这样。(不可否认，我还没有在Mono上尝试过……)
只是为了澄清，这只是我正在寻找的事情的一个例子-我并不是特别寻找对这个奇怪现象的讨论/解释。(这和普通的弦乐实习不一样;特别地，当调用构造函数时，字符串实习通常不会发生。)我真的是在要求类似的奇怪行为。
还有其他的宝藏吗?
当前回答
你有没有想过c#编译器会生成无效的CIL?运行这个，你会得到一个typeloadeexception:
interface I<T> {
T M(T p);
}
abstract class A<T> : I<T> {
public abstract T M(T p);
}
abstract class B<T> : A<T>, I<int> {
public override T M(T p) { return p; }
public int M(int p) { return p * 2; }
}
class C : B<int> { }
class Program {
static void Main(string[] args) {
Console.WriteLine(new C().M(42));
}
}
但我不知道它在c# 4.0编译器中表现如何。
编辑:这是从我的系统输出:
C:\Temp>type Program.cs
using System;
using System.Collections.Generic;
using System.Linq;
using System.Text;
namespace ConsoleApplication1 {
interface I<T> {
T M(T p);
}
abstract class A<T> : I<T> {
public abstract T M(T p);
}
abstract class B<T> : A<T>, I<int> {
public override T M(T p) { return p; }
public int M(int p) { return p * 2; }
}
class C : B<int> { }
class Program {
static void Main(string[] args) {
Console.WriteLine(new C().M(11));
}
}
}
C:\Temp>csc Program.cs
Microsoft (R) Visual C# 2008 Compiler version 3.5.30729.1
for Microsoft (R) .NET Framework version 3.5
Copyright (C) Microsoft Corporation. All rights reserved.
C:\Temp>Program
Unhandled Exception: System.TypeLoadException: Could not load type 'ConsoleAppli
cation1.C' from assembly 'Program, Version=0.0.0.0, Culture=neutral, PublicKeyTo
ken=null'.
at ConsoleApplication1.Program.Main(String[] args)
C:\Temp>peverify Program.exe
Microsoft (R) .NET Framework PE Verifier. Version 3.5.30729.1
Copyright (c) Microsoft Corporation. All rights reserved.
[token 0x02000005] Type load failed.
[IL]: Error: [C:\Temp\Program.exe : ConsoleApplication1.Program::Main][offset 0x
00000001] Unable to resolve token.
2 Error(s) Verifying Program.exe
C:\Temp>ver
Microsoft Windows XP [Version 5.1.2600]
其他回答
我想我之前向您展示过这个，但我喜欢这里的乐趣——这需要一些调试才能跟踪!(原来的代码显然更加复杂和微妙……)
static void Foo<T>() where T : new()
{
T t = new T();
Console.WriteLine(t.ToString()); // works fine
Console.WriteLine(t.GetHashCode()); // works fine
Console.WriteLine(t.Equals(t)); // works fine
// so it looks like an object and smells like an object...
// but this throws a NullReferenceException...
Console.WriteLine(t.GetType());
}
那么T是什么?
答:任何可空<T> -如int?。所有的方法都被重写，除了GetType()不能;因此它被强制转换为object(因此为null)来调用object. gettype()…哪个调用null;-p
更新:情节变得越来越复杂……Ayende Rahien在他的博客上提出了类似的挑战，但使用了where T: class, new():
private static void Main() {
CanThisHappen<MyFunnyType>();
}
public static void CanThisHappen<T>() where T : class, new() {
var instance = new T(); // new() on a ref-type; should be non-null, then
Debug.Assert(instance != null, "How did we break the CLR?");
}
但它是可以被打败的!使用与远程处理一样的间接方式;警告-以下是纯粹的邪恶:
class MyFunnyProxyAttribute : ProxyAttribute {
public override MarshalByRefObject CreateInstance(Type serverType) {
return null;
}
}
[MyFunnyProxy]
class MyFunnyType : ContextBoundObject { }
在此之后，new()调用被重定向到代理(MyFunnyProxyAttribute)，该代理返回null。现在去洗眼睛!
我认为这个问题的答案是因为。net使用字符串实习，这可能会导致相同的字符串指向相同的对象(因为字符串是可变的，这不是一个问题)
(我说的不是string类上重写的相等运算符)
VB。NET、可空值和三元操作符:
Dim i As Integer? = If(True, Nothing, 5)
这花了我一些时间来调试，因为我希望I包含Nothing。
i到底包含了什么?0.
这是令人惊讶的，但实际上是“正确的”行为:在VB中没有。NET与CLR中的null并不完全相同:对于值类型T，没有值可以表示null或默认值(T)，这取决于上下文。在上面的例子中，If将Integer推断为Nothing和5的常见类型，因此，在这种情况下，Nothing意味着0。
我发现了第二个非常奇怪的极端情况，远远超过了我的第一个。
字符串。Equals Method (String, String, StringComparison)实际上并不是没有副作用的。
我当时在写一段代码，在某个函数的顶部有一行这样的代码:
stringvariable1.Equals(stringvariable2, StringComparison.InvariantCultureIgnoreCase);
删除这一行将导致程序中其他地方的堆栈溢出。
这段代码实际上是在为BeforeAssemblyLoad事件安装一个处理程序，并尝试执行该处理程序
if (assemblyfilename.EndsWith("someparticular.dll", StringComparison.InvariantCultureIgnoreCase))
{
assemblyfilename = "someparticular_modified.dll";
}
到现在我都不用告诉你了。在字符串比较中使用从未使用过的区域性会导致程序集负载。InvariantCulture也不例外。
这是我最近才发现的一个……
interface IFoo
{
string Message {get;}
}
...
IFoo obj = new IFoo("abc");
Console.WriteLine(obj.Message);
乍一看，上述做法很疯狂，但实际上是合法的。不，真的(虽然我错过了一个关键部分，但它不是任何像“添加一个称为IFoo的类”或“添加一个使用别名将IFoo指向一个类”这样的俗套)。
看看你是否能找出原因:谁说你不能实例化一个接口?
