一般化`macro_rules!`匹配

huangapple
go评论83阅读模式
英文:

Generalizing `macro_rules!` matches

问题

我有一个宏，根据提供的参数以稍微不同的方式调用另一个宏。

  1. macro_rules! do_things {
  2. 	($($e:expr),*) => { ... }
  3. }
  5. macro_rules! do_more_things {
  6. 	($($e:expr),* ; $val1:expr, $cond:expr) => {
  7. 		{
  8. 			do_things!($($e),*);
  9. 			if $cond {
  10. 				do_things!(MAGIC_CONST_1 | $val1);
  11. 				call_something($cond);
  12. 			} else {
  13. 				do_things!(MAGIC_CONST_2 | $val1, $cond);
  14. 			}
  15. 		}
  16. 	};
  17. 	($($e:expr),* ; $val1:expr, $val2:expr, $cond:expr) => {
  18. 		{
  19. 			do_things!($($e),*);
  20. 			if $cond {
  21. 				do_things!(MAGIC_CONST_1 | $val1, $val2);
  22. 				call_something($cond);
  23. 			} else {
  24. 				do_things!(MAGIC_CONST_2 | $val1, $val2, $cond);
  25. 			}
  26. 		}
  27. 	};
  28. }

如何泛化以消除两个非常相似的分支？如果有帮助的话，此处的 do_things!(a, b); 相当于 do_things!(a); do_things!(b)。

英文:

I have a macro that calls another macro in a slightly different way based on the arguments provided.

  1. macro_rules! do_things {
  2. 	($($e:expr),*) => { ... }
  3. }
  6. macro_rules! do_more_things {
  7. 	($($e:expr),* ; $val1:expr, $cond:expr) => {
  8. 		{
  9. 			do_things!($($e),*);
  10. 			if $cond {
  11. 				do_things!(MAGIC_CONST_1 | $val1);
  12. 				call_something($cond);
  13. 			} else {
  14. 				do_things!(MAGIC_CONST_2 | $val1, $cond);
  15. 			}
  16. 		}
  17. 	};
  18. 	($($e:expr),* ; $val1:expr, $val2:expr, $cond:expr) => {
  19. 		{
  20. 			do_things!($($e),*);
  21. 			if $cond {
  22. 				do_things!(MAGIC_CONST_1 | $val1, $val2);
  23. 				call_something($cond);
  24. 			} else {
  25. 				do_things!(MAGIC_CONST_2 | $val1, $val2, $cond);
  26. 			}
  27. 		}
  28. 	};
  29. }

How can I generalize it to eliminate two very similar branches?

If it helps, do_things!(a, b); in this case is equivalent to do_things!(a); do_things!(b).

答案1

得分: 1

不可能完全按照这种调用方式实现，但你可以重新排列参数，使条件在所有值之前出现：

  1. macro_rules! do_more_things {
  2.     ($cond:expr, $($e:expr),* ; $val1:expr $(, $val2:expr)? ) => {
  3.         {
  4.             do_things!($($e),*);
  5.             if $cond {
  6.                 do_things!(MAGIC_CONST_1 | $val1 $(, $val2)?);
  7.                 call_something($cond);
  8.             } else {
  9.                 do_things!(MAGIC_CONST_2 | $val1 $(, $val2)?, $cond);
  10.             }
  11.         }
  12.     };
  13. }

或者，你可以像 @BallpointBen 建议的那样，更改条件和值之间的分隔符为某个明显的内容。

英文:

It's not possible with exactly that invocation, but you can either rearrange the arguments so that the condition comes before all the values:

  1. macro_rules! do_more_things {
  2.     ($($e:expr),* ; $cond:expr, $val1:expr $(, $val2:expr)? ) => {
  3.         {
  4.             do_things!($($e),*);
  5.             if $cond {
  6.                 do_things!(MAGIC_CONST_1 | $val1 $(, $val2)?);
  7.                 call_something($cond);
  8.             } else {
  9.                 do_things!(MAGIC_CONST_2 | $val1 $(, $val2)?, $cond);
  10.             }
  11.         }
  12.     };
  13. }

alternatively you can change the separator between the condition and the values to something distinct like @BallpointBen suggests

huangapple
  • 本文由 发表于 2023年7月13日 19:22:27
  • 转载请务必保留本文链接：https://go.coder-hub.com/76678812.html
  • rust
  • rust-macros
匿名

发表评论

匿名网友

:?: :razz: :sad: :evil: :!: :smile: :oops: :grin: :eek: :shock: :???: :cool: :lol: :mad: :twisted: :roll: :wink: :idea: :arrow: :neutral: :cry: :mrgreen:

确定