种类

内存敏感的语言，如C++和Rust，使用编译时信息来计算数据类型的大小。这些大小用于以提高运行时性能的方式通知对齐、分配和调用约定。此设置中的现代语言支持泛型类型，但到目前为止，这些语言只允许对类型进行参数化，而不允许对类型构造函数进行参数化。在本文中，我将描述如何在任意类型构造上启用参数化，同时仍然保留数据类型大小......