我正在努力通过 Cyclone: A Safe Dialect of C对于 PL 类。该论文的作者解释说,他们添加了一个特殊的“胖”指针来存储边界信息以防止缓冲区溢出。但是他们没有指定对该指针的检查是静态的还是动态的。他们给出的例子似乎暗示程序员必须记住检查数组的大小,以检查它们是否不超过缓冲区。这似乎打开了编程错误的可能性,就像在 C 中一样。我认为 Cyclone 的整个想法是让这样的错误成为不可能。语言有检查吗?它只会让编程错误变得更难吗?
int strlen(const char ?s) {
int i, n;
if (!s) return 0;
n = s.size; //what if the programmer forgets to do this.. or accidentally adds an n++;
for (i = 0; i < n; i++,s++)
if (!*s) return i;
return n;
}
最佳答案
"Fat" pointers support pointer arithmetic with run-time bounds checking.
获取自Wikipedia通过谷歌搜索“胖指针”。
关于c - cyclone 是否对胖指针执行静态或动态检查?,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/13558189/