如何在不收到警告 "Assigning to 'char *' from 'const char *' discards qualifier" 的情况下复制 `strtod` 等的功能?

How to replicate the functionality of `strtod`, etc. without getting the warning "Assigning to 'char *' from 'const char *' discards qualifier"?

有很多关于此特定警告的帖子,但我找不到专门引用像 strtod 和朋友那样的函数签名的帖子。

我有一个函数 int foo(const char *str, char **end),我发现在返回整数之前设置 *end = str 是不可能不遇到上述警告的。我是否遗漏了一些额外的限定词,或者我将不得不“忍受”它?

如果我没记错的话,这实际上是现代 C 标准中的一个大胖子。没有显式转换就不可能实现 strtod 。过去对此进行了大量讨论,并提出了对该语言进行奇怪扩展的激进提议,以便可以“正确”地编写 strtod。但是治本不如治本,所以最后激进的提议没有被采纳,结果写成strtod之类的比较棘手(但也不是不可能)。

在您的实现中,您通常会有一个指针 p 指向您没有解析的第一个字符。由于 p 的初始值是您的输入字符串,即 const char *,因此您的 p 通常也是 const char *。 (这很好,因为您不打算在解析字符串时使用 p 来修改它。)但是当需要设置 endp 时,您只需要使用演员表:

*endp = (char *)p;

像这样“抛弃常量”感觉很糟糕,但这确实是唯一的方法,而且实际上完全合法,正如 Eric P. 在 .

中解释的那样

(另一种可能是*(const char **)endp = p;,但是打字比较多,看起来更粗略,结果严格来说不合法。)

通常规则是像这样的显式强制转换形式不佳。通常建议是找到一种不需要显式转换的方法。虽然一般规则是好的,但这是一个例外,纯粹而简单。基于正在发生的所有其他事情,结论是你需要这里的演员表,如果你试图在没有它的情况下度过难关,你最终不得不在其他地方做更糟糕的事情。

在回答评论中的一个问题时,我们不能让 endp 成为 const char ** 的原因是它给调用者带来了不便。调用者可能正在使用不符合 const 限定的指针。现在,如果来电者有

char *str = "123.456xyz";

然后调用

double d = strtod(str, NULL);

这很好:可以将常规 char * 传递给需要 const char * 的函数。但是如果调用者想取回结束指针,另外声明

char *endp;

然后调用

double d = strtod(str, &endp);

并且如果 strtod 被声明为

double strtod(const char *, const char **);

事实证明这是行不通的。您可以将 char * 传递给需要 const char * 的函数,但是您可以 而不是 char ** 传递给需要 [=] 的函数28=]。为什么你不能的解释相当模糊。 C FAQ list.

中有一种连贯的解释

… there's no way that I have discovered to set *end = str

只需使用*end = (char *) str;。当您使用强制转换显式转换时,编译器不会警告您。此外,这完全由 C 标准定义。

C 2018 6.3.2.3 7 表示指向对象类型的指针(此处 str)可以转换为指向不同对象类型的指针(此处 char *)。如果生成的指针未针对新类型正确对齐,则行为将是未定义的。但是,任何指针都针对 char 正确对齐,所以这很好。该段还告诉我们,当我们将指针转换为字符类型时,结果指向对象的最低寻址字节。这就是我们所做的,转换为指向字符类型的指针。

这些规则并不禁止我们删除强制转换中的 const:允许从 const char *str 转换为 char *。 (一条不同的规则说,如果试图修改用 const 定义的对象,则行为是未定义的,但我们不会那样做。只需在没有 const 的情况下指向它就可以了。)

然后调用者在他们的 end 对象中取回这个指针。它是指向结束解析的字节的有效指针。所以他们可以使用它。如果他们使用未定义 const 的字符串,他们可以使用此 end 指针读取 and/or 写入字符串。如果他们正在使用用 const 定义的字符串,他们可以使用此 end 指针从字符串中读取,他们也可以自由地将其转换为 const char *.