100分讨论

zzyjsjcom 2007-09-27 08:07:51

大家说说 c语言的未定义行为？？

...全文

196 12 打赏收藏转发到动态举报

写回复

用AI写文章

12 条回复

切换为时间正序

请发表友善的回复…

发表回复

zzyjsjcom 2007-09-28

打赏
举报

大家到下面这个连接回两贴，给错分了，但没其他人回贴，我结不了贴啊.....
http://community.csdn.net/Expert/TopicView3.asp?id=5776445

星羽 2007-09-27

打赏
举报

未定义行为顾名思义就是标准没有对其作出具体规定的行为。比如“fclose 两次”其行为就是一个未定义行为。

对于未定义行为，标准允许编译器可以任意定义一个具体实现，因此这样的行为其结果不是确定的。比如对于上述未定义行为，其具体实现可以是：fclose函数返回错误码、出现段错误程序终止、或者任何其它可能的实现。

由于未定义行为会使程序出现不确定的运行结果从而达不到程序的预定目的，所以这不是我们所希望出现的。因此，一定不要让未定义行为出现在程序中，这是程序员的一个基本职责。比如，“fclose 两次”这个行为会导致未定义行为，那么在程序中就绝对要避免出现“fclose 两次”这样的错误。

对于程序员来说，导致未定义行为产生的行为（如“fclose 两次”）其实就是标准的禁止事项。如果未定义行为在程序中出现了，说明这个程序违反了标准的规定，是非法程序。

星羽 2007-09-27

打赏
举报

去看看这个文章,为定义东西太多了

http://blog.chinaunix.net/u/17660/showart.php?id=302210

星羽 2007-09-27

打赏
举报

上面

这段代码在运行时会出错，而编译时连警告也没有。一上来我们就会想到是test的问题，一定是类型不匹配。

那么，为什么前后两个test的类型不匹配呢？很简单，从数组到指针的转换是隐式的，但是前提是编译器能够根据上下文判断出需要这种转换。由于C++编译器一次只编译一个源文件，所以，在编译的时候没有足够的信息告诉编译器来进行这种转换，出错是必然的。

既然不匹配，为什么不发出警告呢？因为这是一个未定义的行为！在C++中，编译器没有责任来提示未定义的行为。甚至编译器可能根本认不出未定义的行为。至于链接器的行为，也是如此。

星羽 2007-09-27

打赏
举报

/*******************************************/
/* file foo.cc */

extern char test[] = "helloworld";

/*********************************************/
/* file bar.cc */

#include <iostream>

extern char* test; /* this line will be commented later. */
// extern char test[]; /* this line will be uncommented later. */

int main()
{
std::cout << test << std:: endl;

}

星羽 2007-09-27

打赏
举报

“未定义行为(undefined behavior)”跟“未指定行为(unspecified behavior)”之间的重大区别。前者是对于不正确的，有毛病的程序而言，未定义行为可能是任何行为，轻则出现意料之外的结果，重则程序崩溃（崩溃还算好的，糟的就是错了还一声不吭^_^）。后者则是对于well-formed程序而言，未指定(unspecified)行为的可能性一般是有限的（例如函数参数的求值顺序就是函数参数个数的全排列种），只不过具体的实现不用在文档里说明究竟在它的实现上的特定行为是怎样的。』顺便提一下“由实现定义的行为（implementation defined）”，这一行为跟“unspecified behavior”比较类似，都是针对well-formed程序而言，只不过后者的具体行为需要特定实现注明在文档中，让用户知道。我们一直以为i=(i++)的行为是unspecified，即以为它至少还是well-formed程序，只不过在不同编译器上有不同结果罢了，然后结果却大谬不然，其行为是undefined，可能产生任何结果（从概念上来说，甚至可能导致程序崩溃^_^）。

i = (i++)这种表达式如果i是用户自定义迭代器的话，其行为却又变成了 unspecified，甚至由于这里左端表达式并没有实际的side-effect，所以其结果甚至是定的！这就是说，在build-in operation跟user-defined operator之间某些情况下存在着不易察觉的隐晦差别。

星羽 2007-09-27