直積試合

Question

私は（一般的なパラメータと寿命が不足している、すなわち構造体名）不完全タイプの2セットを持っている、と私は組み合わせの可能な各ペアに対して実行いくつかのコードを持っている必要があります：

// these are my types 
struct A<T> { ... } 
struct B<'a, 'b, T> { ... } 
struct C { ... } 

struct X<T> { ... } 
struct Y { ... } 
struct W<'a> { ... } 
struct Z<T, D> { ... } 

// this is the code I need to generate 
match (first_key, second_key) { 
    ("a", "x") => { ... A ... X ... } 
    ("a", "y") => { ... A ... Y ... } 
    ("a", "w") => { ... A ... W ... } 
    ("a", "z") => { ... A ... Z ... } 
    ("b", "x") => { ... B ... X ... } 
    ("b", "y") => { ... B ... Y ... } 
    // ... 
} 

第一セットの構造（A、B、C）及び第二のセット（X、Y、W、Z）上のものは、（お互いに依存して使用される実際の型を場合("a", "x")ため例えば汎用のパラメータを有しますA<X>およびX< A<X>::Color >）。このため、汎用関数などを使って解決策を見つけることができませんでした。

私はこの問題がマクロで簡単に解決できると信じています。以下のようなもの：

macro_rules! my_code { 
    ($first_type:tt), $second_type:tt) => { 
     // ... $first_type ... $second_type ... 
    } 
} 

product_match!((first_key, second_key) { 
    { "a" => A, "b" => B, "c" => C }, 
    { "x" => X, "y" => Y, "w" => W, "z" => Z } 
} => my_code) 

が、私はすでにそれにいくつかの時間のために働いた後product_matchを実装するに失敗しました。繰り返しを入れ子にする簡単な方法は見つけられませんでした。唯一の解決策はマクロを使ってマッチ・ケースのリストをネストされた値のタプルに変換し、それらを繰り返し返すことですが、実装することは非常に困難です。

ビルドスクリプトを使用して大きなコードmatchを生成している可能性もありますが、このソリューションはかなり汚れているようです。

私が逃したこの問題の簡単な解決法はありますか？ product_match!を実装する簡単な方法はありますか？論理を実装するにはどうすればよいですか？

Answer 1

マクロを使用してデカルト積を実装するというあなたの考えが最適です。

私はmatch式をどのようにしたいのかよくわからないので、代わりに関数呼び出しをimplementedにしました。マクロ配管は、しかし、同じでなければなりません。うまくいけば、ここからそれを取ることができます。

macro_rules! cp_inner { 
    ($f: expr, $x: expr, [$($y: expr),*]) => { 
     $($f($x, $y);)* 
    } 
} 

macro_rules! cartesian_product { 
    ($f: expr, [$($x: expr),*], $ys: tt) => { 
     $(cp_inner!($f, $x, $ys);)*; 
    } 
} 

fn print_pair(x: u32, y: &'static str) { 
    println!("({}, {})", x, y); 
} 

pub fn main() { 
    cartesian_product!(print_pair, [1, 2, 3], ["apple", "banana", "cherry"]); 
}