c++ - 为什么我的(重新)实现 strlen 是错误的？

Question

我想出了这个小代码，但所有专业人士都说它很危险，我不应该写这样的代码。谁能在“更多”细节中强调其漏洞？

int strlen(char *s){ 
    return (*s) ? 1 + strlen(s + 1) : 0; 
}

Answer 1

它本身没有漏洞，这是完全正确的代码。当然，这是过早的悲观。除了最短的字符串，它会耗尽堆栈空间，而且由于递归调用，它的性能会很差，但除此之外没关系。

尾调用优化很可能无法处理此类代码。如果你想过着危险的生活并依赖尾调用优化，你应该改写它以使用尾调用:

// note: size_t is an unsigned integertype

int strlen_impl(const char *s, size_t len) {
    if (*s == 0) return len;
    if (len + 1 < len) return len; // protect from overflows
    return strlen_impl(s+1, len+1);
}        

int strlen(const char *s) {
   return strlen_impl(s, 0);
}