我正在写一个通用的DataStructure< T>它保留在磁盘上,我需要编写它,以确保T可以在固定的字节数中序列化.例如,应该接受int和char,但不应该使用string或int [].同样,带有字符串成员的结构是不可接受的,但是带有固定char数组的不安全结构是.

我可以使用reflection和sizeof在初始化程序中编写运行时测试来测试每个成员,但这看起来像是一个可怕的黑客.有没有有效的(相对)安全的方法来做到这一点？

解决方法:

没有办法静态支持只具有固定特定大小的通用参数.约束仅限于接口,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);
}