C++コードのマクロ定義

Question

イム読み取りに関するヘルプが必要な場合、私はこのような定義

#define USE_VAL(X) if (&X-1) {} 

は誰のアイデアを持って発見した、それは何を意味するのでしょうか？

Answer 1

名前に基づいて、「未使用変数」警告を取り除く方法のように見えます。

int function(int i) 
{ 
    USE_VAL(i) 
    return 42; 
} 

これがなければ、あなたはパラメータiは、関数内で使用されていないことを警告するコンパイラを得ることができます：意図された使用は、おそらくこのようなものです。

しかし、コードに未定義の振る舞い（実際の配列の境界を越えるポインタ算術は標準では定義されていません）が導入されているので、これについてはかなり危険な方法です。 は、オブジェクトのアドレスに 1を加算することはできますが、1を減算することはできません。もちろん、- 1の代わりに+ 1を使用すると、コンパイラは「条件は常に真」と警告できます。 ifをオプティマイザが完全に削除してもコードは有効ですが、オプティマイザは「未定義の動作は起こりません」を悪用する傾向があります。

operator&は、関係するタイプで過負荷になる可能性があることは言うまでもありませんが、望ましくない副作用を招く可能性があります。

なvoidにキャストするなどの機能を実装するより良い方法は、あります

#define USE_VAL(X) static_cast<void>(X) 

しかし、私の個人的な好みはこのように、関数定義内のパラメータの名前をコメントアウトすることです。

int function(int /*i*/) 
{ 
    return 42; 
} 

この利点は、実際にパラメータをマクロに渡した後で誤って使用しないようにすることです。

Answer 2

通常、「未使用の戻り値」警告を避けるためです。普通の "キャスト・トゥ・ボイド"イディオムが使用されていない関数のパラメータで正常に機能しても、（一般には__attribute__((warn_unused_result))のマークされた関数）の戻り値を無視すると、特に-pedanticのgccが厳しいので、 "fake if"戻り値で何かをやっていると思ってコンパイラを騙すのによく使われます。

Answer 3

マクロはプリプロセッサディレクティブです。マクロは、使用されている場所であれば、関連するコードに置き換えられます。

USE_VAL（X）の後には、USE_VAL（X）とは何かを説明するスペースがあります。

まず、xのアドレスをとり、1を引きます。 0の場合は何もしないでください。 USE_VAL（X）は、それがあれば（& X-1）に置き換えられます使用されます

{}