正确使用goto语句

是否应该使用goto语句


goto语句也被称为无条件转移语句，它通常与条件语句配合使用来改变程序流向，使得程序转去执行语句标号所标识的语句。

关于是否应该使用goto语句，历史上也争论不休。恐怕国内大部分教授高级编程语言的课堂上，都会主张在结构化程序设计中不使用goto语句， 以免造成程序流程的混乱，使得理解和调试程序都产生困难。历史上支持goto语句有害的人的主要理由是：goto语句会使程序的静态结构和动态结构不一致，从而使程序难以理解且难以查错。并且G·加科皮尼和C·波姆从理论上证明了：任何程序都可以用顺序、分支和重复结构表示出来。这个结论表明，从高级程序语言中去掉goto语句并不影响高级程序语言的编程能力，而且编写的程序的结构更加清晰。

然而伟大的哲学家黑格尔说过：存在即合理。当笔者刚从校园中走出的时候，对于goto语句有害论也深以为然，然后多年之后在自己编写的代码中随处可见goto的身影。如今很多高级编程语言中，似乎是难以看见goto的身影：Java中不提供goto语句，虽然仍然保留goto为关键字，但不支持它的使用；C#中依然支持goto语句，但是一般不建议使用。其实可以很容易发现一点，这些不提倡使用goto语句的语言，大多是有自带的垃圾回收机制，也就是说不需要过多关心资源的释放的问题，因而在程序流程中没有“为资源释放设置统一出口”的需求。然而对于C++语言来说，程序员需要自己管理资源的分配和释放。倘若没有goto语句，那么我们在某个函数资源分配后的每个出错点需要释放资源并返回结果。虽然我们依然可以不使用goto语句完整地写完流程，但是代码将变得又臭又长。譬如我们需要写一个全局函数g_CreateListenSocket用来创建监听套接字，那么如果不使用goto语句，我们的代码将会是这个样子：

#include <stdio.h>
#include <string.h>
#include <unistd.h>
#include <arpa/inet.h>
#include <netinet/in.h>
#include <sys/socket.h>

#define MAX_ACCEPT_BACK_LOG 5

void g_CloseSocket(int &nSockfd)
{
    if ( -1 == nSockfd )
    {
        return;
    }

    struct linger li = { 1, 0 };
    ::setsockopt(nSockfd, SOL_SOCKET, SO_LINGER, (const char *)&li, sizeof(li));
    ::close(nSockfd);
    nSockfd = -1;
}

in_addr_t g_InetAddr(const char *cszIp)
{
    in_addr_t uAddress = INADDR_ANY;

    if ( 0 != cszIp && ‘\0‘ != cszIp[0] )
    {
        if ( INADDR_NONE == (uAddress = ::inet_addr(cszIp)) )
        {
            uAddress = INADDR_ANY;
        }
    }

    return uAddress;
}

int g_CreateListenSocket(const char *cszIp, unsigned uPort)
{
    int nOptVal   = 1;
    int nRetCode  = 0;
    int nSocketfd = -1;
    sockaddr_in saBindAddr;

    // create a tcp socket
    nSocketfd = ::socket(AF_INET, SOCK_STREAM, IPPROTO_IP);
    if ( -1 == nSocketfd )
    {
        return nSocketfd;
    }

    // set address can be reused
    nRetCode = ::setsockopt(nSocketfd, SOL_SOCKET, SO_REUSEADDR, (const char *)&nOptVal, sizeof(nOptVal));
    if ( 0 != nRetCode )
    {                                                                                                    
        g_CloseSocket(nSocketfd);                                                                        
        return nSocketfd;                                                                        
    }                                                                                                     

    // bind address
    saBindAddr.sin_family      = AF_INET;
    saBindAddr.sin_addr.s_addr = g_InetAddr(cszIp);
    saBindAddr.sin_port        = ::htons(uPort);

    nRetCode = ::bind(nSocketfd, (struct sockaddr *)&saBindAddr, sizeof(saBindAddr));
    if ( 0 != nRetCode )
    {
        g_CloseSocket(nSocketfd);
        return nSocketfd;
    }                                                                                                    

    // create a listen socket
    nRetCode = ::listen(nSocketfd, MAX_ACCEPT_BACK_LOG);
    if ( 0 != nRetCode )
    {
        g_CloseSocket(nSocketfd);
        return nSocketfd;
    }                                                                                                    

    return nSocketfd;
}

上面蓝色标记的代码中就包含了出错时候对资源（这里是套接字描述符）进行清理的操作，这里只有单一的资源，所以流程看起来也比较干净。倘若流程中还夹杂着内存分配、打开文件的操作，那么对资源释放操作将变得复杂，不仅代码变得臃肿难看，还不利于对流程的理解。而如果使用了goto语句，那么我们统一为资源释放设定单一出口，那么代码将会是下面这个样子：

int g_CreateListenSocket(const char *cszIp, unsigned uPort)
{
    int nOptVal   = 1;
    int nRetCode  = 0;
    int nSocketfd = -1;
    sockaddr_in saBindAddr;

    // create a tcp socket
    nSocketfd = ::socket(AF_INET, SOCK_STREAM, IPPROTO_IP);
    if ( -1 == nSocketfd )
    {
        goto Exit0;
    }                                                                                                    

    // set address can be reused
    nRetCode = ::setsockopt(nSocketfd, SOL_SOCKET, SO_REUSEADDR, (const char *)&nOptVal, sizeof(nOptVal));
    if ( 0 != nRetCode )
    {
        goto Exit0;
    }                                                                                                     

    // bind address
    saBindAddr.sin_family      = AF_INET;
    saBindAddr.sin_addr.s_addr = g_InetAddr(cszIp);
    saBindAddr.sin_port        = ::htons(uPort);

    nRetCode = ::bind(nSocketfd, (struct sockaddr *)&saBindAddr, sizeof(saBindAddr));
    if ( 0 != nRetCode )
    {
        goto Exit0;
    }                                                                                                    

    // create a listen socket
    nRetCode = ::listen(nSocketfd, MAX_ACCEPT_BACK_LOG);
    if ( 0 != nRetCode )
    {
        goto Exit0;
    }                                                                                                    

    // success here
    return nSocketfd;
Exit0:
    // fail and clean up resources here
    if (-1 != nSocketfd)
    {
        g_CloseSocket(nSocketfd);
    }
    return nSocketfd;
}

其实可以发现，加入goto语句之后，流程反而变得清晰了。一个函数将拥有两个出口：执行成功返回和执行失败返回。每次在流程某处出错后都跳转到固定标号处执行资源释放操作，这样在主体流程中将不再出现与资源释放相关的代码，那么主体流程只需专注于逻辑功能，代码将变得更易于理解和维护。另外一个好处就是不容易忘记释放资源，只需要养成分配完一个资源后立即在资源统一释放处编写资源释放代码的好习惯即可，对于程序员复查自己的代码也带来好处。

使用宏来简化代码量


仔细观察上面的代码，再结合前面所言的goto语句通常与条件语句配合使用来改变程序流向，可以总结规律：我们总是检查某个条件是否成立，如果条件不成立立即goto到指定的函数执行失败入口处，那么我们可以设计宏如下：

#undef  DISABLE_WARNING
#ifdef _MSC_VER                                                         // MS VC++
#define DISABLE_WARNING(code, expression)           \
    __pragma(warning(push))                             __pragma(warning(disable:code)) expression          __pragma(warning(pop))
#else                                                                   // GCC
#define DISABLE_WARNING(code, expression)           \
    expression
#endif // _MSC_VER

#undef  WHILE_FALSE_NO_WARNING
#define WHILE_FALSE_NO_WARNING DISABLE_WARNING(4127, while(false))

#undef  PROCESS_ERROR_Q
#define PROCESS_ERROR_Q(condition)                      do                                                  {                                                       if (!(condition))                                   {                                                       goto Exit0;                                     }                                               } WHILE_FALSE_NO_WARNING

#undef  PROCESS_ERROR
#define PROCESS_ERROR(condition)                        do                                                  {                                                       if (!(condition))                                   {                                                       assert(false);                                      goto Exit0;                                     }                                               } WHILE_FALSE_NO_WARNING

那么我们的g_CreateListenSocket函数将最终简化为如下代码：

int g_CreateListenSocket(const char *cszIp, unsigned uPort)
{
    int nOptVal   = 1;
    int nRetCode  = 0;
    int nSocketfd = -1;
    sockaddr_in saBindAddr;

    // create a tcp socket
    nSocketfd = ::socket(AF_INET, SOCK_STREAM, IPPROTO_IP);
    PROCESS_ERROR(-1 != nSocketfd);                                                                       

    // set address can be reused
    nRetCode = ::setsockopt(nSocketfd, SOL_SOCKET, SO_REUSEADDR, (const char *)&nOptVal, sizeof(nOptVal));
    PROCESS_ERROR(0 == nRetCode);                                                                         

    // bind address
    saBindAddr.sin_family      = AF_INET;
    saBindAddr.sin_addr.s_addr = g_InetAddr(cszIp);
    saBindAddr.sin_port        = ::htons(uPort);

    nRetCode = ::bind(nSocketfd, (struct sockaddr *)&saBindAddr, sizeof(saBindAddr));
    PROCESS_ERROR(0 == nRetCode);                                                                         

    // create a listen socket
    nRetCode = ::listen(nSocketfd, MAX_ACCEPT_BACK_LOG);
    PROCESS_ERROR(0 == nRetCode);                                                                         

    // success here
    return nSocketfd;
Exit0:
    // fail and clean up resources here
    if (-1 != nSocketfd)
    {
        g_CloseSocket(nSocketfd);
    }
    return nSocketfd;
}

测试代码


最后附上上述代码的测试代码：

int main(int argc, char ** argv)
{
    socklen_t nAddrLen        = sizeof(struct sockaddr_in);
    int       nListenSocketfd = -1;
    struct sockaddr_in saRemoteAddr;

    nListenSocketfd = g_CreateListenSocket("", 9999);
    if ( -1 == nListenSocketfd )
    {
        return 0;
    }

    while (true)
    {
        ::memset(&saRemoteAddr, 0, sizeof(saRemoteAddr));
        int nSocketfd = ::accept(nListenSocketfd, (struct sockaddr *)&saRemoteAddr, &nAddrLen);

        ::printf("Accept a new connection from [ip - %s, port - %d]\n",
            ::inet_ntoa(saRemoteAddr.sin_addr),
            ::ntohs(saRemoteAddr.sin_port)
        );

        g_CloseSocket(nSocketfd);
    }

    return 1;
}
时间： 2024-08-29 09:33:12

正确使用goto语句的相关文章

CMD中goto语句会中断for循环特性详解

在这个程序里面由于用到了上篇文章中所说的字符串切割,而用到了Goto强制跳转语句 但是在程序中使用的时候却发现一个错误,当把这个字符切割的代码段如果直接作为非嵌套语句执行正常 但是一旦放到for循环的复合语句中就会发现for循环只执行一次之后for循环就退出了,而且临时变量%%x的值就变成空了 换句话说就是goto跳转和目标地:labe不能同时出现在一个for语句中 例如下示例: for /f %%i in ("abc") do ( :show echo %%i & pause

C语言字符串匹配、goto语句、关机命令使用

1.程序执行修改窗口字体颜色命令: 2.程序执行修改窗口标题命令: 3.程序执行关机倒计时命令: 4.根据提示输入团队名称JYHACK TEAM 根据提示输入团队网址:http://bbs.jyhack.com 5.如果输入正确,则取消关机命令,并打开某一网页.    如果输入错误,那就等着关机吧. ps:当然对于略懂cmd命令的来说很简单,打开cmd,输入shutdown -a命令即可轻易解除. 源码如下: #include<stdio.h> //printf和scanf函数调用 #incl

goto语句

goto语句的使用: #include <iostream> using namespace std; int main() { int i = 1; number: i++; std::cout<<"*"; if(i<10) { goto number; } std::cout<<"\n 程序结束"<<endl; return 0; } 输出: ********* 程序结束 一般不用goto语句,调试困难!因为

编程题：用goto语句实现，求1+2+...+100的结果。

#include<stdio.h> void main() { int n=1,s=0; loop:if(n<=100) { s=s+n; n=n+1; goto loop; } printf("1+2+3+...+100=%d\n",s); } goto语句介绍: 运行结果: 总结:goto语句为无条件转移语句.一般不推荐使用. 编程题:用goto语句实现,求1+2+...+100的结果.,布布扣,bubuko.com

C语言禁术——goto语句

goto语句是一种无条件转移语句,goto 语句的使用格式为:     goto  语句标号;其中标号是一个有效的标识符,这个标识符加上一个":"(冒号)一起出现在函数内某处,执行goto语句后,程序将跳转到该标号处并执行其后的语句. 另外标号必须与goto语句同处于一个函数中,但可以不在一个循环层中.通常goto语句与if条件语句连用,当满足某一条件时,程序跳到标号处运行. goto语句通常不用,主要因为它将使程序层次不清,且不易读,但在多层嵌套退出时,用goto语句则比较合理. 大

通过goto语句学习if...else、switch语句并简单优化

goto语句在C语言中实现的就是无条件跳转,第二章一上来就介绍goto语句就是要通过goto语句来更加清楚直观的了解控制结构. 我理解的goto语句其实跟switch语句有相似之处,都是进行跳转.不同的是goto语句是进行无条件的跳转,执行到这一句的时候直接就跳转了,而switch语句是要进行一个判断之后才能进行跳转.例如: 下面是用switch语句写的一个程序 1 #include <stdio.h> 2 int main(void) 3 { 4 char score; 5 scanf(&q

原来java中也有类似goto语句的标签啊--java label标签

http://blog.sina.com.cn/s/blog_6d5354cd0100xjg7.html —————————————————————————————————————————————————————————————— goto语句的危害: goto语句是在源码级上的跳转,这使其招致了不好的声誉.若一个程序总是从一个地方跳到另一个地方,还有什么办法来控制程序的流程. java中的“goto”: 虽然Java中goto语句只是java的一个保留字,没有起任何作用,但是我今天在使用con

c语言中的goto语句

goto 语句标号;实现无条件跳转 限制:goto和语句标号必须在同一个函数中,可以不在同一个循环层中. #include <stdio.h> int main(void){     int i,sum=0;     i=1; loop:if(i<=100){          sum+=i;          i++;          goto loop;      }      printf("sum=%d\n",sum);     return 0; } 结果

GOTO语句以及GOTO机制的模式实现

goto语句提供了方法内部的任意跳转,它在特殊场景下被应用. 而假设一个对象执行一个方法后,我们期望其余任何对象都可以捕获它,然后自己执行某些操作,那么可以怎么实现呢 class 皇宫 { void 告示天下() { //告示内容 //将告示内容映射到天空上,而天空是天地之间的公共区域,所有天地之间的对象都可以访问它 天空.绘制(); //大声宣布告示已经贴到天空上,所有人都可以看见. 天空.呐喊(); } } class 草民 { //他自己会时刻监视天空的声音,当识别到信息属于某一类有效消息