パススルー（IDまたはNOP）マクロを定義する方法は？

Question

他の言語のコードを移植するときに、likely/unlikelyというマクロをダミーのマクロとして保持したいと考えています。

使用例：書き込みなど正確同じでなければなりません

if expr_nop!(expression) { 
    code; 
} 

...：

if (expression) { 
    code; 
} 

いただきましとして使用することができますさびでは良いフェイルセーフマクロいいえ？

現在、私が持っている：

macro_rules! expr_nop { ($body:expr) => { $body } } 

は、この正しいですかこれは、異なる記述する必要がありますか？

Answer 1

私はあなたのマクロ...

macro_rules! expr_nop { ($body:expr) => { $body } } 

...が正しいと思います。

しかし、1つのことをします。マクロへの引数が実際に式であることを確認します。だからexpr_nop(i32)は、i32が型であり式ではないのでコンパイル時エラーを出すでしょう。そうでなければif expr_nop!(i32) {...}はコンパイル時エラーを返し、そのエラーはより複雑になる可能性があるからです。

エラーはどちらの場合でもコンパイル時に発生しますが、マクロ展開前の（マクロ展開時の）最初のケースで、マクロ展開後の2番目のケースでは、エラーをコードにリンクするのが難しくなることがありますコンパイルしようとしています。