面试题：C#结构体与枚举类型在泛型编程中的应用与限制

装箱和拆箱开销：
- 结构体是值类型，在泛型中使用时，如果将其当作object类型（例如在某些泛型约束下），会发生装箱和拆箱操作。例如：
```
public static void ProcessBoxing<T>(T value) where T : struct
{
    object boxed = value;
    T unboxed = (T)boxed;
}
```
这里的装箱（object boxed = value;）和拆箱（T unboxed = (T)boxed;）操作会带来性能开销。
默认值初始化：
- 泛型结构体不能使用default(T)来初始化一个默认值，因为default(T)对于结构体可能不是预期的默认值（结构体有自己的默认构造函数初始化规则）。例如：
```
public static T CreateDefault<T>() where T : struct
{
    // 以下代码编译错误
    // T result = default(T);
    // 可使用下面方法代替
    T result = Activator.CreateInstance<T>();
    return result;
}
```

类型兼容性限制：
- 枚举类型在泛型中使用时，由于其本质是基础整数类型（如byte、int等）的特殊表示，泛型约束对枚举的处理较为严格。例如，不能直接将枚举类型约束为实现某个接口（即使枚举基础类型实现了该接口）。假设定义一个接口IComparable：
```
public enum Color { Red, Green, Blue }
// 以下代码编译错误
// public static void CompareEnum<T>(T a, T b) where T : struct, IComparable
// {
//     int result = a.CompareTo(b);
// }
```
虽然int（Color的基础类型）实现了IComparable，但这样的约束对枚举类型Color不适用。

结构体特性优化：
- 使用where T : struct约束优化性能：
  - 当在泛型方法或类型中明确知道类型参数是结构体时，可以使用where T : struct约束。这样编译器可以针对值类型进行优化，避免不必要的装箱和拆箱。例如，实现一个简单的泛型加法方法：
```
public static T Add<T>(T a, T b) where T : struct, IAdditionOperators<T, T, T>
{
    return a + b;
}
```
  这里的where T : struct约束确保类型参数是结构体，并且IAdditionOperators接口约束保证类型支持加法操作，通过这种方式，在处理值类型时可以提高性能。
枚举特性优化：
- 利用枚举的整数值特性：
  - 由于枚举本质上是整数类型，可以利用这一点在泛型代码中进行高效的位运算等操作。例如，定义一个泛型方法来检查枚举值是否包含某个标志：
```
public static bool HasFlag<T>(T value, T flag) where T : struct, Enum
{
    ulong numValue = Convert.ToUInt64(value);
    ulong numFlag = Convert.ToUInt64(flag);
    return (numValue & numFlag) == numFlag;
}
```
  这里通过where T : struct, Enum约束确保类型参数是枚举类型，然后利用枚举底层的整数值进行位运算，实现高效的标志检查。

星途面试题库