zoukankan      html  css  js  c++  java
  • do {...} while (0) in macros

    If you are a C programmer, you must be familiar with macros. They are powerful and can help you ease your work if used correctly. However, if you don't define macros carefully, they may bite you and drive you crazy. In many C programs, you may see a special macro definition which may seem not so straightforward. Here is one example:
    1
    2
    #define __set_task_state(tsk, state_value) 
    do{ (tsk)->state = (state_value); } while(0)
    There are many this kind of macros which uses do{...}while(0) in Linux kernels and other popular C libraries. What's the use of this macro? Robert Lovefrom Google(previously worked on Linux kernel development) gives us the answer.
    do{...}while(0) is the only construct in C that lets you define macros that always work the same way, so that a semicolon after your macro always has the same effect, regardless of how the macro is used (with particularly emphasis on the issue of nesting the macro in an if without curly-brackets). For example:
    1
    #define foo(x) bar(x); baz(x)
    Later you may call:
    1
    foo(wolf);
    This will be expanded to:
    1
    bar(wolf); baz(wolf);
    This is the expected output. Next let's see if we have:
    1
    2
    if(!feral)
    foo(wolf);
    The expansion may not be what you expect. The expansion may be:
    1
    2
    3
    if(!feral)
    bar(wolf);
    baz(wolf);
    It isn't possible to write multistatement macros that do the right thing in all situations. You can't make macros behave like functions—without do/while(0).
    If we redefine the macro with do{...}while(0), we will see:
    1
    #define foo(x) do { bar(x); baz(x); } while (0)
    Now, this statement is functionally equivalent to the former. The do ensures the logic inside the curly-brackets executes, the while(0) ensures that happens but once. Same as without the loop.For the above if statement, it will be :
    1
    2
    if(!feral)
    do{ bar(wolf); baz(wolf); } while(0);
    Semantically, it's the same as:
    1
    2
    3
    4
    if(!feral) {
    bar(wolf);
    baz(wolf);
    }
    You might rejoin, why not justwrap the macro in curly-brackets? Why also have the do/while(0)logic? For example, we define the macro with curly bracket:
    1
    #define foo(x) { bar(x); baz(x); }
    This is fine for the above if statement, but if we have below statement:
    1
    2
    3
    4
    if(!feral)
    foo(wolf);
    else
    bin(wolf);
    The expanded code will be :
    1
    2
    3
    4
    5
    6
    if(!feral) {
    bar(wolf);
    baz(wolf);
    };
    else
    bin(wolf);
    This is a syntax error.
    In conclusion, macros in Linux and other codebases wrap their logic in do/while(0) because it ensures the macro always behaves the same, regardless of how semicolons and curly-brackets are used in the invoking code.

  • 相关阅读:
    Kafka日志段源码分析
    Kafka日志结构概览
    LDAP统一身份认证解读及实践
    Keycloak集成三方身份提供者的注销流程
    Keycloak会话管理-refreshToken
    Cas校验INVALID_TICKET-not recognized
    如何获取Docker容器的root权限
    OIDC-code to token
    Newrelic集成wildfly报NoClassDefFoundError
    Cookie深入详解
  • 原文地址:https://www.cnblogs.com/pengdonglin137/p/3561717.html
Copyright © 2011-2022 走看看