问题 snprintf错误。 sizeof的参数与destination相同

gcc 4.8在构建时给我一个错误

#include <string.h>
#include <stdio.h>

static inline void toto(char str[3])
{
    snprintf(str, sizeof(str), "XX"); 
}

int main(){
    char str[3]; 
    toto(str);
    return 0;
}

这是gcc错误

错误：'snprintf'调用中'sizeof'的参数与目标的表达式相同;你的意思是提供一个明确的长度？

注意：我使用-Wall -Werror标志将警告转换为错误。

这里有类似的东西在评论中，有人回答了这个问题

“对于固定长度的缓冲区，我通常使用strncpy（dest，src，sizeof（dest））; dest [sizeof（dest）-1] ='\ 0';这保证了NULL终止，并且比snprintf更麻烦，更不用说了很多人都使用snprintf（dest，sizeof（dest），src）;相反，当他们的程序任意崩溃时会非常惊讶。“

但这是错误的： gcc 4.8说

“错误：'strncpy'调用中'sizeof'的参数与目标的表达式相同;你的意思是提供显式长度吗？[-Werror = sizeof-pointer-memaccess]”

在gcc 4.8文档中，他们正在谈论这个问题：他们说：

-Wall的行为已更改，现在包含新警告标志-Wsizeof-pointer-memaccess。这可能会导致代码中的新警告与以前版本的GCC一起干净地编译。

例如，

include string.h

struct A { };

int main(void) 
{
    A obj;
    A* p1 = &obj;
    A p2[10];

    memset(p1, 0, sizeof(p1)); // error
    memset(p1, 0, sizeof(*p1)); // ok, dereferenced
    memset(p2, 0, sizeof(p2)); // ok, array
    return 0;
}

提供以下诊断：警告：'void中'sizeof'的参数 memset（void *，int，size_t）'call是与目标相同的表达式;你是不是要取消引用它？ [-Wsizeof指针-memaccess] memset（p1,0，sizeof（p1））; //错误 ^ 虽然这些警告不会导致编译失败，但通常将-Wall与-Werror结合使用，因此新警告会变成新错误。要修复，要么重写以使用memcpy，要么取消引用有问题的memset调用中的最后一个参数。*

好吧，在他们的例子中，显然代码是错误的，但在我的情况下，使用snprintf / strncpy，我不明白为什么，我认为这是gcc的错误positif错误。对？

谢谢你的帮助

6063

2017-10-05 20:25

起源

奇怪，文档 -Wsizeof-pointer-memaccess 让我觉得如果你写过的话就会发出警告 char *str 在你的第一个例子中，但它不应该警告 char str[3]。 - hobbs

用g ++，我没有得到任何错误。 - PersianGulf

使用gcc 4.8.1，我无法重现警告。当然你在使用 char str[3] 并不是 char *str ？ - P.P.

是的，似乎它可能在某些情况下有效。所以，我更新了我的帖子，并提供了一个不起作用的例子。只需复制代码并运行gcc -Wall -Werror -o test main.c，就会出现错误 - ramone

我也有gcc 4.8.1，我使用debian。（我使用g ++也有这个错误） - ramone

答案:

传递给函数时，数组会衰减为指向第一个元素的指针。那么你有什么

static inline void toto(char str[3]) {..}

不是数组而是指针。

因此，gcc正确警告。

是否在函数参数中指定大小无关紧要：

static inline void toto(char str[3])

和

static inline void toto(char str[])

和

static inline void toto(char *str)

都是等价的。

在这里阅读： 什么是阵列衰变？

2017-10-05 21:10

test.c的：

#include <stdio.h>

void bar(char foo[1000])
{
    printf ("sizeof foo = %d\n", (int)(sizeof foo));
}

int main ()
{
    char foo[1000];
    bar(foo);
}

运行：

bash $ ./test
4
bash $

这就是为什么。

2017-10-05 21:09

在函数定义中，参数声明：

static inline void toto(char str[3])

没有声明 str 作为数组（C没有数组类型的参数）。相反，它完全等同于：

static inline void toto(char *str)

该 3 被悄然忽略了。

所以 sizeof(str) 与字符串可以容纳的字符数无关，它只是a的大小 char* 指针。

这是由一条规则引起的，该规则说明用数组类型声明的参数被“调整”为指针类型。这与在大多数情况下将数组类型的表达式隐式转换（或“衰减”）为指针的规则不同。这两个规则协同工作，使得处理数组的代码看起来像直接处理数组，当它真正使用指向数组元素的指针时。

C数组和指针之间的关系经常令人困惑。我建议阅读第6节 comp.lang.c常见问题;它在解释它方面做得很好。

2017-10-06 01:51

不知道为什么有人会为此投票... +1。 - P.P.

static inline void toto(char str[3])

定义一个可以采用的函数 任何大小的数组。该 3 被忽略了 str 被视为指针（试试 printf("%d\n", sizeof(str))：在我的机器上，它打印8个64位指针的大小）。在这种情况下，编译器实际上是正确的。

Clang在这里给出了一个有用的警告：

test.c:6:25: warning: sizeof on array function parameter will return size of
      'char *' instead of 'char [3]' [-Wsizeof-array-argument]
    snprintf(str, sizeof(str), "XX");

2017-10-05 21:09

问题 snprintf错误。 sizeof的参数与destination相同

答案:

热门问题