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

Question

我正在编写一个保留在磁盘上的通用 DataStructure ，并且我需要编写它，以便保证 T 能够以固定字节数进行序列化。例如，应接受 int 和 char，但不应接受 string 或 int[]。同样，具有 string 成员的 struct 是不可接受的，但具有 fixed char 数组的 unsafe struct 是可接受的。

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

Answer 1

没有办法静态支持仅具有固定特定大小的通用参数。约束仅限于接口、引用/结构、基类和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

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

如果这是一个好主意，那就是另一个问题了，我想说这不是一个好主意。在我看来，序列化类型的原始数据通常是一个坏主意。