关于C ++：正确使用strtol

Correct usage of strtol

下面的程序将字符串转换为long，但根据我的理解，它还会返回错误。我所依赖的事实是，如果strtol成功将字符串转换为long，则strtol的第二个参数应等于NULL。当我用55运行以下应用程序时，我收到以下消息。

1 2	./convertToLong 55 Could not convert 55 to long and leftover string is: 55 as long is 55

如何成功检测strtol中的错误？在我的应用程序中，零是有效值。

码：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16
17
18
19
20
21
22
23
24

#include <stdio.h>
#include <stdlib.h>

static long parseLong(const char * str);

int main(int argc, char ** argv)
{
printf("%s as long is %ld
", argv[1], parseLong(argv[1]));
return 0;
}

static long parseLong(const char * str)
{
long _val = 0;
char * temp;

_val = strtol(str, &temp, 0);

if(temp != '\0')
printf("Could not convert %s to long and leftover string is: %s", str, temp);

return _val;
}

相关讨论

请注意，以下划线开头的名称是为实现保留的；最好避免在代码中使用此类名称。因此，_val应该只是val。

第一次运行strtol()及其关联的错误处理的完整规范非常复杂，令人惊讶的复杂。您做的绝对正确的一件事是使用函数调用strtol()。在代码中"原始"使用它可能是不正确的。

由于该问题同时带有C和C ++标签，因此我将引用C2011标准。您可以在C ++标准中找到适合自己的措辞。

ISO/IEC 9899:2011 §7.22.1.4 The strtol, strtoll, strtoul and strtoull functions

long int strtol(const char * restrict nptr, char ** restrict endptr, int base);

?2 [...] First,
they decompose the input string into three parts: an initial, possibly empty, sequence of
white-space characters (as specified by the isspace function), a subject sequence
resembling an integer represented in some radix determined by the value of base, and a
final string of one or more unrecognized characters, including the terminating null
character of the input string. [...]

?7 If the subject sequence is empty or does not have the expected form, no conversion is
performed; the value of nptr is stored in the object pointed to by endptr, provided
that endptr is not a null pointer.

Returns

?8 The strtol, strtoll, strtoul, and strtoull functions return the converted
value, if any. If no conversion could be performed, zero is returned. If the correct value
is outside the range of representable values, LONG_MIN, LONG_MAX, LLONG_MIN,
LLONG_MAX, ULONG_MAX, or ULLONG_MAX is returned (according to the return type
and sign of the value, if any), and the value of the macro ERANGE is stored in errno.

请记住，没有标准的C库函数曾经将errno设置为0。因此，为了可靠起见，必须在调用strtol()之前将errno设置为零。

因此，您的parseLong()函数可能类似于：

1
2
3
4
5
6
7
8
9
10
11
12
13
14
15
16

static long parseLong(const char *str)
{
errno = 0;
char *temp;
long val = strtol(str, &temp, 0);

if (temp == str || *temp != '\0' ||
((val == LONG_MIN || val == LONG_MAX) && errno == ERANGE))
fprintf(stderr,"Could not convert '%s' to long and leftover string is: '%s'
",
str, temp);
// cerr <<"Could not convert '" << str <<"' to long and leftover string is '"
// << temp <<"'
";
return val;
}

请注意，发生错误时，这将返回0或LONG_MIN或LONG_MAX，这取决于返回的strtol()。如果您的调用代码需要知道转换是否成功，则需要一个不同的函数接口-参见下文。另外，请注意，错误应打印到stderr而不是stdout，并且错误消息应以换行符
终止；如果不是，则不能保证它们及时出现。

现在，在库代码中，您可能不想打印任何内容，并且您的调用代码可能想知道转换是否成功，因此您也可以修改接口。在这种情况下，您可能需要修改函数，以便它返回成功/失败指示：

1
2
3
4
5
6
7
8
9
10
11
12
13

bool parseLong(const char *str, long *val)
{
char *temp;
bool rc = true;
errno = 0;
*val = strtol(str, &temp, 0);

if (temp == str || *temp != '\0' ||
((*val == LONG_MIN || *val == LONG_MAX) && errno == ERANGE))
rc = false;

return rc;
}

您可以这样使用：

1
2
3
4

if (parseLong(str, &value))
…conversion successful…
else
…handle error…

如果需要区分"跟踪垃圾"，"无效数字字符串"，"值太大"和"值太小"(以及"无错误")，则可以使用整数或enum而不是布尔值返回码。如果要允许尾随空格但不允许其他字符，或者不想允许任何前导空格，则需要在函数中做更多的工作。该代码允许八进制，十进制和十六进制；如果要严格使用十进制，则需要将调用中的0到10更改为strtol()。

如果您的函数要伪装成标准库的一部分，则不应将errno永久设置为0，因此您需要包装代码以保留errno：

1
2
3
4
5
6

int saved = errno; // At the start, before errno = 0;

…rest of function…

if (errno == 0) // Before the return
errno = saved;

相关讨论

感谢您的广泛回答！但是，为什么要显式检查" errno == ERANGE"而不是" errno！= 0"？如果用户可以指定自己的转换基础，则也可以将errno设置为EINVAL...。此外，" man strtol"(linux.die.net/man/3/strtol)使用以下代码进行错误检查，并且我确实没有得到这样的原因："如果((errno == ERANGE &&(val == LONG_MAX || val == LONG_MIN))||(errno！= 0 && val == 0)){error}"。为什么这也不是一个简单的" errno！= 0"？
该标准没有提到为base或2 .. 36以外的base值设置errno == EINVAL，但这是合理的做法。通常，对于使用errno而不是从函数返回来检测错误情况，应该谨慎。即使函数成功，库也可以将errno设置为非零值。 (在Solaris上，如果输出不是终端，则在成功执行操作后即可找到errno == ENOTTY。)理论上，strtol()可以将"1"转换为1并将errno设置为非零值，并且这是合法的，但却是变态的(并且是成功的)。
是否有理由无条件检查errno == ERANGE，strtol是否返回LONG_MIN / LONG_MAX？ (由于您在注释中给出的原因，库函数可能会在成功时设置errno。)
@mafso：最初，精疲力竭，懒惰或粗心的主题有所不同。 Ive更新了答案以解决您的正确观点，以及其他其他次要问题(拼写等)。
您的示例中有一个错误。 val是long int *，但是您要检查val == LONG_MIN，它应该是*val == LONG_MIN ...
@Joakim：谢谢！你是对的;第二个示例使用val，其中需要*val。 Ive在严格的警告选项下编译了两个示例的修订版；他们现在可能还可以。
为什么要检查temp == str || *temp != \0？支票temp == str是否已覆盖？ (如果temp指向str，那么除非str是空字符串，否则它不是\0，在这种情况下，转换也将失败……还是我遗漏了什么？
@BmyGuest：两种不同的故障模式。如果temp == str，则字符串中没有任何字符可以识别为long。如果是*temp != \0，则有一个数字，但它没有使用整个字符串-数字后还有其他一些字符。如果给定"19Z"并且Z不是可转换的，您可以自由决定这不是问题。显示的测试假定存在问题(答案中提到了结尾的垃圾)。但有一个很好的问题：了解您使用的内容很重要。
不同意"即使函数成功，库也可以将errno设置为非零值"。 C11 7.5 3对此进行了讨论，但这不适用于strtol()，因为" strtol()的功能描述中没有提供"提供errno的使用"。 if (temp == str || *temp != \0 || errno == ERANGE)就足够了。 IMO if (temp == str || *temp != \0 || errno)更好，因为它捕获了一些ID扩展名。不需要(*val == LONG_MIN || *val == LONG_MAX)。
@chux：该注释以"一般"前缀为准；您说正确，当指定使用errno时它不适用(因此它不适用于strtol())，我没有明确地说。当C标准仅说ERANGE时会变得棘手，但是某些实现可能会设置EINVAL，而当基数无效时。使用无效值调用该函数的未定义行为；您将得到所得到的结果(如果base不是0或2。36，则将输出指针设置为输入指针并返回0并将errno设置为EINVAL都是合理的)。
@JonathanLeffler同意EINVAL，因此建议使用temp == str || *temp != \0 || errno-我认为我们对此表示同意。然而，此评论是关于*val == LONG_MIN || *val == LONG_MAX的需求的，鉴于其他errno可能性，该需求并未得到增强。如果errno == ERANGE为true，则即使*val == LONG_MIN || *val == LONG_MAX在某些独角兽机器上为false，也应将strtol()视为失败。

你快到了。 temp本身不会为null，但是如果整个字符串都已转换，它将指向一个null字符，因此您需要取消引用它：

1	if (*temp != '\0')