Ответ 1
Да, это правда. Изменить 2: Вот хорошее объяснение того, как и почему.
http://www.simple-talk.com/community/blogs/simonc/archive/2010/11/17/95700.aspx
Для проверки я скомпилировал следующий метод:
public static T Create<T>() where T: new() {
return new T();
}
И это сгенерированный IL при компиляции с компилятором С# в .NET 3.5 SP1:
.method public hidebysig static !!T Create<.ctor T>() cil managed
{
.maxstack 2
.locals init (
[0] !!T local,
[1] !!T local2)
L_0000: ldloca.s local
L_0002: initobj !!T
L_0008: ldloc.0
L_0009: box !!T
L_000e: brfalse.s L_001a
L_0010: ldloca.s local2
L_0012: initobj !!T
L_0018: ldloc.1
L_0019: ret
L_001a: call !!0 [mscorlib]System.Activator::CreateInstance<!!T>()
L_001f: ret
}
Изменить: Компилятор С# 4 создает несколько иной, но похожий код:
.method public hidebysig static !!T Create<.ctor T>() cil managed
{
.maxstack 2
.locals init (
[0] !!T CS$1$0000,
[1] !!T CS$0$0001)
L_0000: nop
L_0001: ldloca.s CS$0$0001
L_0003: initobj !!T
L_0009: ldloc.1
L_000a: box !!T
L_000f: brfalse.s L_001c
L_0011: ldloca.s CS$0$0001
L_0013: initobj !!T
L_0019: ldloc.1
L_001a: br.s L_0021
L_001c: call !!0 [mscorlib]System.Activator::CreateInstance<!!T>()
L_0021: stloc.0
L_0022: br.s L_0024
L_0024: ldloc.0
L_0025: ret
}
В случае типа значения он не использует активатор, а просто возвращает значение default(T)
, в противном случае он вызывает метод Activator.CreateInstance
.