C# 泛型 new() 約束深度解析：編譯期檢查 vs 執行期 Activator.CreateInstance

IL 對比驗證

// 原始碼
public class Factory where T : new()
{
    public T Create() => new T();
}

// 編譯後 IL (簡化)
.method public hidebysig instance !!T Create() cil managed
{
    .maxstack 1
    L_0000: call !!0 [System.Runtime]System.Activator::CreateInstance<!!T>()
    L_0005: ret
}

// 對比：非泛型 new()
.method public hidebysig instance class MyClass CreateNonGeneric() cil managed
{
    .maxstack 1
    L_0000: newobj instance void MyClass::.ctor()  // 直接呼叫建構函式
    L_0005: ret
}

效能影響

高頻建立優化方案

using System;
using System.Linq.Expressions;

public static class FastActivator where T : new()
{
    // 靜態建構子僅執行一次，編譯 Lambda 為強型別委派
    private static readonly Func Creator = CreateCreator();

    private static Func CreateCreator()
    {
        var newExpr = Expression.New(typeof(T).GetConstructor(Type.EmptyTypes)!);
        return Expression.Lambda>(newExpr).Compile();
    }

    public static T CreateInstance() => Creator();
}

// 使用
var instance = FastActivator.CreateInstance(); // 極快，無反射開銷

new() 約束進階規則

• 僅限公用無參數建構函式：`private`、`protected`、`internal` 或帶參數建構函式皆不符合。
• 結構體預設滿足：`struct` 隱含無參數建構函式 (預設值)，但 `where T : struct` 已包含此語意，無需額外加 `new()`。
• 介面無法約束建構函式：介面不包含建構函式定義。
• 抽象類別不可用：無法實例化，編譯錯誤。
• 多重約束順序：`where T : class, IInterface, new()` (參考型別 → 介面 → 建構函式)。

實務決策指南

結論

where T : new() 是**編譯期語法糖**，提供型別安全保證，但執行期仍透過反射建立實例。理解此機制有助於在效能敏感場合做出正確優化選擇。