Question

几天前，我想找到一种atoi的安全替代方法，并找到以下代码作为对this SO问题的答复：

#include <assert.h>
#include <ctype.h>
#include <errno.h>
#include <limits.h>
#include <stdio.h>
#include <stdlib.h>

typedef enum {
    STR2INT_SUCCESS,
    STR2INT_OVERFLOW,
    STR2INT_UNDERFLOW,
    STR2INT_INCONVERTIBLE
} str2int_errno;

str2int_errno str2int(int *out, char *s, int base) {
    char *end;
    if (s[0] == '\0' || isspace(s[0]))
        return STR2INT_INCONVERTIBLE;
    errno = 0;
    long l = strtol(s, &end, base);
    /* Both checks are needed because INT_MAX == LONG_MAX is possible. */
    if (l > INT_MAX || (errno == ERANGE && l == LONG_MAX))
        return STR2INT_OVERFLOW;
    if (l < INT_MIN || (errno == ERANGE && l == LONG_MIN))
        return STR2INT_UNDERFLOW;
    if (*end != '\0')
        return STR2INT_INCONVERTIBLE;
    *out = l;
    return STR2INT_SUCCESS;
}


int main(void) {
  int i;
    /* Lazy to calculate this size properly. */
    char s[256];

    /* Simple case. */
    assert(str2int(&i, "11", 10) == STR2INT_SUCCESS);
    assert(i == 11);
    printf("%i", i);

    /* Negative number . */
    assert(str2int(&i, "-11", 10) == STR2INT_SUCCESS);
    assert(i == -11);
}

Original code source

因为 out 指针被设置为在函数内本地定义的变量，这不是不安全吗？
那不是意味着一旦完成转换并且局部变量超出范围，它就会被覆盖，而我们就不能再依赖该值了吗？

我可能只是想念一些东西，但是目前我不了解这是解决此问题的安全方法。

Answer 1

*out = l;未设置out，而是设置了*out。也就是说，out已经指向了什么，因为它取消引用指针。只要传入有效地址，该函数就会修改非本地对象。

Answer 2

out参数是一个指向i中变量main的指针。当您稍后执行此操作时：

*out = l;

这不会更改out，但会取消引用并更改其指向的变量，即i中的main。因此，当函数返回i时将被修改。

如果out指向str2int中的局部变量，则将出现指针指向无效内存的问题。

这个指针返回安全吗？

2 个答案: