我收集了一些极端案例和脑筋急转弯，总是想听到更多。这个页面只涵盖了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上尝试过……)
只是为了澄清，这只是我正在寻找的事情的一个例子-我并不是特别寻找对这个奇怪现象的讨论/解释。(这和普通的弦乐实习不一样;特别地，当调用构造函数时，字符串实习通常不会发生。)我真的是在要求类似的奇怪行为。
还有其他的宝藏吗?
当前回答
我不久前问了一个问题:
条件运算符不能隐式强制转换?
考虑到:
Bool aBoolValue;
其中aBoolValue被赋值为True或False;
以下文件将无法编译:
Byte aByteValue = aBoolValue ? 1 : 0;
但这将:
Int anIntValue = aBoolValue ? 1 : 0;
提供的答案也很好。
其他回答
有趣的是，当我第一次看到它时，我认为这是c#编译器正在检查的东西，但即使你直接发出IL来消除任何干扰的机会，它仍然会发生，这意味着它真的是newobj操作代码正在进行检查。
var method = new DynamicMethod("Test", null, null);
var il = method.GetILGenerator();
il.Emit(OpCodes.Ldc_I4_0);
il.Emit(OpCodes.Newarr, typeof(char));
il.Emit(OpCodes.Newobj, typeof(string).GetConstructor(new[] { typeof(char[]) }));
il.Emit(OpCodes.Ldc_I4_0);
il.Emit(OpCodes.Newarr, typeof(char));
il.Emit(OpCodes.Newobj, typeof(string).GetConstructor(new[] { typeof(char[]) }));
il.Emit(OpCodes.Call, typeof(object).GetMethod("ReferenceEquals"));
il.Emit(OpCodes.Box, typeof(bool));
il.Emit(OpCodes.Call, typeof(Console).GetMethod("WriteLine", new[] { typeof(object) }));
il.Emit(OpCodes.Ret);
method.Invoke(null, null);
如果检查string，它也等于true。这意味着这个操作代码必须有特殊的行为来实习空字符串。
如果作为Rec(0)调用(不在调试器下)，该函数将做什么?
static void Rec(int i)
{
Console.WriteLine(i);
if (i < int.MaxValue)
{
Rec(i + 1);
}
}
答:
在32位JIT上，它应该导致StackOverflowException 在64位JIT上，它应该将所有数字打印为int。MaxValue
这是因为64位JIT编译器应用尾部调用优化，而32位JIT则没有。
不幸的是，我手头没有一台64位机器来验证这一点，但该方法确实满足尾部调用优化的所有条件。如果有人有的话，我很想看看这是不是真的。
下面将打印False而不是抛出溢出异常:
Console.WriteLine("{0}", yep(int.MaxValue ));
private bool yep( int val )
{
return ( 0 < val * 2);
}
如果您有一个泛型类，它的方法可以根据类型参数而变得模糊，该怎么办?我最近在写一本双向词典时遇到了这种情况。我想要编写对称的Get()方法，它将返回传递的任何参数的相反值。就像这样:
class TwoWayRelationship<T1, T2>
{
public T2 Get(T1 key) { /* ... */ }
public T1 Get(T2 key) { /* ... */ }
}
如果你创建一个实例，其中T1和T2是不同类型的，那么一切都很好:
var r1 = new TwoWayRelationship<int, string>();
r1.Get(1);
r1.Get("a");
但如果T1和T2是相同的(可能如果一个是另一个的子类)，这是一个编译器错误:
var r2 = new TwoWayRelationship<int, int>();
r2.Get(1); // "The call is ambiguous..."
有趣的是，第二种情况下的所有其他方法仍然可用;只有调用现在模棱两可的方法才会导致编译器错误。有趣的案例，只是有点不太可能和晦涩。
在我们使用的API中，返回域对象的方法可能返回一个特殊的“空对象”。在此实现中，比较运算符和Equals()方法将被重写，如果与null进行比较则返回true。
所以这个API的用户可能会有这样的代码:
return test != null ? test : GetDefault();
或者更啰嗦一点，像这样:
if (test == null)
return GetDefault();
return test;
其中GetDefault()是一个方法，返回一些我们想要使用的默认值，而不是null。当我使用ReSharper并按照它的建议重写这其中的任何一个时，我感到惊讶:
return test ?? GetDefault();
如果测试对象是从API返回的空对象，而不是一个正确的空对象，那么代码的行为现在已经改变，因为空合并操作符实际上检查null，而不是运行operator=或Equals()。
