将泛型类型限制为int、Guid等指定类型列表有哪些可行实现方案？

C# 原生语法暂不支持直接将泛型约束为指定的离散类型列表，可根据业务场景选择以下变通方案实现编译期校验，完全消除运行时异常：

方案1：直接拆分方法重载（最推荐，适合允许类型较少的场景） #

你当前只需要支持int和Guid两种类型，直接拆分两个重载方法即可，不需要使用泛型，天然在编译期限制入参类型：

// int类型入参重载
public IVehicle<int> GetVehicle(int? vehicleId)
{
    return ApplicationDbContext.VehicleRepo.Single(x => x.VehicleId == vehicleId.Value);
}

// Guid类型入参重载
public IVehicle<Guid> GetVehicle(Guid? vehicleId)
{
    return ApplicationDbContext.ExVehicleRepo.Single(x => x.ExVehicleId == vehicleId.Value);
}

优势：零额外开发成本、无运行时开销、100%编译期校验，不需要修改任何调用方代码（调用逻辑和原来完全一致）。

方案2：自定义Id包装结构体（适合需要统一Id类型的场景） #

定义一个仅允许从int和Guid隐式转换的只读结构体，作为统一的入参类型，其他类型传入时会直接报编译错误：

public readonly struct VehicleId : IEquatable<VehicleId>
{
    public object Value { get; }

    // 私有构造函数，禁止外部直接实例化
    private VehicleId(object value) => Value = value;

    // 仅开放int和Guid的隐式转换
    public static implicit operator VehicleId(int id) => new(id);
    public static implicit operator VehicleId(Guid id) => new(id);

    // 按需实现相等性判断逻辑
    public bool Equals(VehicleId other) => Value.Equals(other.Value);
    public override bool Equals(object? obj) => obj is VehicleId other && Equals(other);
    public override int GetHashCode() => Value.GetHashCode();
    public static bool operator ==(VehicleId left, VehicleId right) => left.Equals(right);
    public static bool operator !=(VehicleId left, VehicleId right) => !left.Equals(right);
}

调整后的方法实现：

public IVehicle GetVehicle(VehicleId? vehicleId)
{
    if (!vehicleId.HasValue) throw new ArgumentNullException(nameof(vehicleId));
    return vehicleId.Value.Value switch
    {
        int vid => ApplicationDbContext.VehicleRepo.Single(x => x.VehicleId == vid),
        Guid vid => ApplicationDbContext.ExVehicleRepo.Single(x => x.ExVehicleId == vid),
        // 该分支永远不会命中，可使用UnreachableException标记
        _ => throw new System.Diagnostics.UnreachableException()
    };
}

优势：统一了Id类型，后续如果新增支持的Id类型，只需要在VehicleId中新增对应隐式转换即可。

方案3：自定义Roslyn分析器（适合多方法、多场景需要同类约束的场景） #

如果一定要保留泛型写法，可以开发自定义Roslyn分析器：

• 定义[AllowedGenericTypesAttribute]特性，接收允许的类型列表作为入参
• 给你的泛型方法标记该特性：[AllowedGenericTypes(typeof(int), typeof(Guid))]
• 编写分析器扫描所有调用该泛型方法的代码，检查泛型参数是否在允许的类型列表中，不符合则直接抛出编译错误
  优势：完全保留原有的泛型写法，不需要修改业务逻辑，可复用在所有需要同类约束的方法上。劣势：需要额外开发分析器，有一定开发成本。

内容的提问来源于stack exchange，提问作者Radek Strugalski