何も含まないさまざまな型の値を返す単一のマクロ関数を提供する方法はありますか？

Question

ロックに失敗した場合に備えて、以下のマクロを作成してミューテックスをロックし、（このマクロが呼び出される関数から）返すようにしました。現在、私は2つのマクロに絞っています - タイプにかかわらず値を返す関数から返るものと、何も返さない関数から返るもの（すなわち、void）です。

（下記）マクロを超えたコードは、単に例示のためのものであり、マクロがで使用される実際の生産コードとはほとんど関係がない。

#define MUTEX_LOCK()\ 
    {\ 
     if (pthread_mutex_lock(&mutex) != 0)\ 
     {\ 
      printf("Failed to lock mutex.\n");\ 
      return;\ 
     }\ 
    } 
#define MUTEX_LOCK_RVAL(err_val)\ 
    {\ 
     if (pthread_mutex_lock(&mutex) != 0)\ 
     {\ 
      printf("Failed to lock mutex.\n");\ 
      return err_val;\ 
     }\ 
    } 

void vfunc() 
{ 
    printf("\nIn vfunc()\n"); 
    MUTEX_LOCK(); 
    printf("\nOut of vfunc()\n"); 
} 

UINT16 uint16func() 
{ 
    printf("\nIn uint16func()\n"); 
    MUTEX_LOCK_RVAL(0); 
    printf("\nOut of uint16func()\n"); 

    return 9; 
} 

CHAR* errstr = "Hoo boy!"; 
CHAR* strfunc() 
{ 
    printf("\nIn strfunc()\n"); 
    MUTEX_LOCK_RVAL(errstr); 
    printf("\nOut of strfunc()\n"); 

    return NULL; 
} 

削減する方法はありますこれらのマクロは、値を返す関数で使用できる単一のマクロに加えて、voidと同様に使用できます。

Answer 1

それはANSI互換性を持たせるために、私はリターンでマクロや他の単純なシンボル定義nullに評価され、nullであることがはっきりと示されています。 すなわち：

#define VOID_RET //This nulls the return value 
#define MUTEX_LOCK(err_val)\ 
    {\ 
     if (pthread_mutex_lock(&mutex) != 0)\ 
     {\ 
      printf("Failed to lock mutex.\n");\ 
      return err_val;\ 
     }\ 
    } 
void *mutex = NULL; 
void vfunc(void) 
{ 
    printf("\nIn vfunc()\n"); 
    MUTEX_LOCK(VOID_RET); 
    printf("\nOut of vfunc()\n"); 
} 
UINT16 uint16func(void) 
{ 
    printf("\nIn uint16func()\n"); 
    MUTEX_LOCK(0); 
    printf("\nOut of uint16func()\n"); 

    return 9; 
} 
CHAR* errstr = "Hoo boy!"; 
CHAR* strfunc(void) 
{ 
    printf("\nIn strfunc()\n"); 
    MUTEX_LOCK(errstr); 
    printf("\nOut of strfunc()\n"); 

    return NULL; 
} 

私はC11とC99の下にこのコードをテストしました。

Answer 2

ドキュメントからわかるように、引数を必要とするマクロ関数に引数をまったく渡す義務がないため、引数を取らないマクロ関数を削除できます。
GNU GCC documentationより：

マクロ引数は空のままにできます。これは プリプロセッサ[...]複数の引数については

---

にエラーではなく、これは興味深いです：

あなたは完全に引数を除外することはできません。マクロが2つの引数をとる場合は、引数リストの最上位にカンマが1つだけある必要があります。与えられたこれらの例では

：

min(, b)  ==> (( ) < (b) ? ( ) : (b)) 
min(a,)  ==> ((a ) < () ? (a ) : ()) 
min(,)   ==> (( ) < () ? ( ) : ()) 
min((,),)  ==> (((,)) < () ? ((,)) : ()) 

Answer 3

私は想像することができる唯一のソリューションはこれです：

#define MUTEX_LOCK(err_val)\ 
{\ 
    {\ 
     if (pthread_mutex_lock(&mutex) != 0)\ 
     {\ 
      printf("Failed to lock mutex.\n");\ 
      return err_val;\ 
     }\ 
    }\ 
} 

int test_int() 
{ 
    MUTEX_LOCK(1); 

    return 0; 
} 

void test_void() 
{ 
    MUTEX_LOCK(;); 

    return; 
}