当前位置：首页 → 问答吧 → 数组初始化的一个问题

数组初始化的一个问题

时间：2010-07-12

来源：互联网

大家给看看，下面这段C程序中数组初始化合法吗？
我分别用VC9(cl test.c /Za)和GCC(gcc test.c -ansi)编译，前者失败，后者成功了
翻看TCPL，似乎不允许这样初始化数组

#include <stdio.h>
void func(char *str1, char *str2, char *str3)
{
char *strArr[] = {str1, str2, str3}; // 这里！！！！！！
int i = 0;
for (i = 0; i < (sizeof(strArr) / sizeof(strArr[0])); ++i)
{
printf("%s\n", strArr[i]);
}
}
int main()
{
char str1[] = "abcd";
char str2[] = "efg";
char str3[] = "hij";
func(str1, str2, str3);
return 0;
}

复制代码

作者: tyc611 发布时间: 2010-07-12

不知道标准，反正没这么用过

作者: hellioncu 发布时间: 2010-07-12

这样应该是可以的吧，搂主函数内定义的是一个指针数组，在主函数创建3个数组，作为参数传入，数组作为函数参数的时候实际上是指针，所以这里的类型应该没有问题。

作者: peijue 发布时间: 2010-07-12

本帖最后由 egmkang 于 2010-07-12 15:00 编辑

.......

作者: egmkang 发布时间: 2010-07-12

QUOTE:

那个是C99的内容,可变长数组
MS明确不支持C99,不要搞了
egmkang 发表于 2010-07-12 14:39

这跟变长数组无关吧，有3个元素的指针数组

作者: hellioncu 发布时间: 2010-07-12

我也正想请教这个跟变长数组有啥关系， MS的编译器是C＋＋编译器吧，可能对类型要求严格点。声明：我没深入了解。

作者: peijue 发布时间: 2010-07-12

QUOTE:

那个是C99的内容,可变长数组
MS明确不支持C99,不要搞了
egmkang 发表于 2010-07-12 14:39

看GCC文档：

QUOTE:

-ansi
In C mode, this is equivalent to `-std=c90'. In C++ mode, it is equivalent to `-std=c++98'.

作者: tyc611 发布时间: 2010-07-12

看来应该是非法的

QUOTE:

D:\tmp>gcc test.c -ansi -pedantic
test.c: In function `func':
test.c:5: warning: initializer element is not computable at load time
test.c:5: warning: initializer element is not computable at load time
test.c:5: warning: initializer element is not computable at load time

作者: tyc611 发布时间: 2010-07-12

回复 tyc611

不知道你的VC9这个编译器是怎么设置的，不过我的VC6.0可以编译过并正确运行。

这样使用我个人觉得没有问题。

作者: jlccwss 发布时间: 2010-07-12

QUOTE:

这跟变长数组无关吧，有3个元素的指针数组
hellioncu 发表于 2010-07-12 14:47

恩,看错了,好像是没关系

PS:
我的VC 9下面能跑...

作者: egmkang 发布时间: 2010-07-12

你有没有看清楚阿，这样的类型是没有错误的，只是这样提醒你这样做不安全。

作者: peijue 发布时间: 2010-07-12

这么干不如直接用 char *strArr[] 做函数参数。

作者: 没本发布时间: 2010-07-12

QUOTE:

恩,看错了,好像是没关系

PS:
我的VC 9下面能跑...
egmkang 发表于 2010-07-12 14:59

文件后缀.c，加上/Za选项禁用编译器扩展，然后再试试

作者: tyc611 发布时间: 2010-07-12

QUOTE:

这么干不如直接用 char *strArr[] 做函数参数。
没本发表于 2010-07-12 15:04

我只是看见别人的代码里这样用了，感觉很奇怪，自己以前从没这样用过

作者: tyc611 发布时间: 2010-07-12

回复 tyc611

很奇怪么，C/C++的main()你忘记啦？

作者: 没本发布时间: 2010-07-12

QUOTE:

文件后缀.c，加上/Za选项禁用编译器扩展，然后再试试
tyc611 发表于 2010-07-12 15:09

恩,大概知道了
谢谢哈

作者: egmkang 发布时间: 2010-07-12

QUOTE:

回复 tyc611

很奇怪么，C/C++的main()你忘记啦？
没本发表于 2010-07-12 15:14

这里讨论的问题是，{}中的数组初始化表达式没有使用常量表达式，好像C语言里要求常量表达式（不确定）

作者: tyc611 发布时间: 2010-07-12

回复 tyc611

拿微软的C编译器验证C标准，你真幽默。ANSI C没有限制自动变量的初始化不能为任何表达式，仅静态/外部变量受限。

作者: 没本发布时间: 2010-07-12

悲剧了，还真是不可以的……
也不知道有没有写过这种代码……

悲剧之一：

QUOTE:

c89
6.5.7 Initialization
All the expression in an initializer for an object that has static storage duration or in an
initializer list for an object that has aggregate or union type shall be constant expressions.

c89在此处和C++有区别

悲剧之二：

aggregate type也就是array和struct。
也就是说，除了array, struct, union，还有其他类型可以使用initializer。

QUOTE:

The initializer for a scalar shall be a single expression. optionally enclosed in braces.

也就是说，可以这样……

int i = { 1212 };

复制代码

综上， c89那段是说：

int f(void)
{
int i = { 1212 }; /* ok */
int j = { f() } /* ok */
int a[] = { 326 }; /* ok */
int b[] = { f() }; /* error */
return 0;
}
int I = { 1212 }; /* ok */
int J = { f() }; /* error */
int A[] = { 326 }; /* ok */
int B[] = { f() }; /* error */

复制代码

C99取消了一个限制，只限制static storage duration的必须是constexp：

QUOTE:

6.7.8 Initialization
4
All the expressions in an initializer for an object that has static storage duration shall be
constant expressions or string literals.

上面的b在C99中是ok的。

作者: OwnWaterloo 发布时间: 2010-07-12

QUOTE:

回复 tyc611

拿微软的C编译器验证C标准，你真幽默。ANSI C没有限制自动变量的初始化不能为任何表 ...
没本发表于 2010-07-12 16:49

哎，难道你还生活在十年前？

作者: tyc611 发布时间: 2010-07-12

其实大牛们可不可以不要老是纠结于在这些上争论不休，只要给出一个好的实现方案，写出稳定，易读，高效的代码。多谈谈设计方案，软件思想不是更好吗？这样很容易误解我这样的菜鸟的。。

作者: peijue 发布时间: 2010-07-12

QUOTE:

哎，难道你还生活在十年前？
tyc611 发表于 2010-07-12 20:05

你在哪里看到用/Za开关就能生成符合ANSI C标准的代码？

作者: 没本发布时间: 2010-07-12

回复 tyc611

另外，我现在用的是VC++10.0，那个VC++9.0已经被我淘汰掉了，这是不是该说你生活在三年前？

作者: 没本发布时间: 2010-07-12

QUOTE:

你在哪里看到用/Za开关就能生成符合ANSI C标准的代码？
没本发表于 2010-07-12 21:04

我有说/Za开关能生成符合ANSI C标准的代码？前面我只回答了网友/Za禁用编译器扩展，这两者一个意思？
对于编译器实现，一是实现标准，二是做一些有用的扩展。为了验证标准的语言特性，我当然首先需要关闭编译器扩展功能。必要条件与充分条件。。。

话说回来，虽然十年前的VC6对标准支持不好，但已经是过去的事了，VC8开始已经对标准支持相当好了。虽然还是不支持c99，但其对C++现有标准、TR1、C++0x的支持都是很好的。

作者: tyc611 发布时间: 2010-07-12

QUOTE:

回复 tyc611

另外，我现在用的是VC++10.0，那个VC++9.0已经被我淘汰掉了，这是不是该说你生活在 ...
没本发表于 2010-07-12 21:06

呵呵，真不好意思，我一直与时俱进，同样在用VC10

作者: tyc611 发布时间: 2010-07-12

强人！学习路过！

作者: ckf513728912 发布时间: 2010-07-12

回复 tyc611

OwnWaterloo对C标准下的解释我学习了，认为就是如此结论，不再跟贴。
楼主14楼的的发言可能我理解角度有误，回复得不妥请见谅。

作者: 没本发布时间: 2010-07-12

话说回来，虽然十年前的VC6对标准支持不好，但已经是过去的事了，VC8开始已经对标准支持相当好了。虽然还是不支持c99，但其对C++现有标准、 TR1、C++0x的支持都是很好的。
------ 别人说的“拿微软的C编译器验证C标准，你真幽默”，没说“拿微软的C++编译器验证C++标准，你真幽默”，所以那人没说错呀！因为在C语言上，VC10并不比VC6有任何改进，还是只支持老旧的C89

作者: bruceteen 发布时间: 2010-07-13

额，，，最近也碰到这个问题，，，有点类似于动态分配，，，不过还是在栈上的分配，，，gcc可以，个人认为这样分配内存稳定性和抑制性不好，，，最好用动态malloc

作者: raindy1234 发布时间: 2010-07-13