Question

我正在编写一个持久存储在磁盘上的通用DataStructure<T>，我需要编写它，以确保T可以在固定的字节数中进行序列化。例如，应接受int和char，但不应string或int[]。同样，struct成员string是不可接受的，但unsafe struct数组为fixed char。

我可以使用反射和sizeof在初始化程序中编写运行时测试来测试每个成员，但这似乎是一个可怕的黑客攻击。是否有任何有效且（相对）安全的方法来做到这一点？

Answer 1

无法静态支持只具有固定特定大小的通用参数。约束仅限于接口，ref / struct，基类和new。

您可以做的是使用静态工厂方法将泛型的使用限制为适合的已知有限类型集。例如

class DataStructure<T> { 
  private DataStructure(T value) { 
    ...
  }
}
static class DataStructure { 
  public static DataStructure<int> Create(int i) { 
    return new DataStructure<int>(i); 
  }
  public static DataStructure<char> Create(char c) { 
    return new DataStructure<char>(c); 
  }
}

这是有限的，因为它要求您提前列出所有可比类型。如果您想要一个更灵活的解决方案，使用用户定义的类型，您需要实现运行时检查。

public static DataStructure<T> Create<T>(T value) { 
  RuntimeVerification(typeof(T));
  return new DataStructure<T>(value);
}

Answer 2

每个直接或间接仅包含值类型的值类型，但没有引用类型的大小有限。测试的唯一方法是在运行时使用反射。

如果这是一个好主意是一个不同的问题，我会说这不是一个好主意。序列化一个类型的原始数据通常是一个坏主意IMO。

如何确保T可以按固定的字节数进行序列化？

2 个答案: