如何编写宏为不同大小元组的Cont结构体生成get方法实现？

在Rust中，你可以通过**宏（macro）**自动生成带编号泛型参数的impl块，避免手动编写重复代码。下面是两种可行的实现方式：

方式一：手动指定元组长度的宏 #

先定义基础的Cont结构体，再编写宏生成对应元组长度的get方法实现：

struct Cont<T>(T);

// 定义宏，接受一组带编号的泛型参数（如A0, A1）
macro_rules! impl_cont_get {
    ($($generic:ident),*) => {
        impl<$($generic),*> Cont<($($generic),*)> {
            fn get(&self) -> ($($generic),*) {
                // 对应生成元组每个元素的访问逻辑
                ($(self.0.$generic),*)
            }
        }
    };
}

// 为不同长度的元组生成实现
impl_cont_get!(A0);               // 1元素元组
impl_cont_get!(A0, A1);           // 2元素元组
impl_cont_get!(A0, A1, A2);       // 3元素元组
impl_cont_get!(A0, A1, A2, A3);   // 4元素元组
impl_cont_get!(A0, A1, A2, A3, A4); // 5元素元组

这个宏的核心逻辑：

• 用$($generic:ident),*匹配传入的所有带编号泛型参数（如A0,A1）
• 展开后自动生成对应的泛型impl块，以及get方法里的元组元素访问代码

方式二：递归宏自动生成多长度实现 #

如果需要一次性生成多个长度的元组实现，可以用递归宏简化操作：

struct Cont<T>(T);

macro_rules! impl_cont_get_recursive {
    // 递归终止条件：处理1元素元组
    ($idx:ident) => {
        impl<$idx> Cont<($idx,)> {
            fn get(&self) -> ($idx,) {
                (self.0.0,)
            }
        }
    };
    // 递归逻辑：先处理更短的元组，再添加当前长度的实现
    ($first:ident, $($rest:ident),*) => {
        impl_cont_get_recursive!($($rest),*);
        impl<$first, $($rest),*> Cont<($first, $($rest),*)> {
            fn get(&self) -> ($first, $($rest),*) {
                (self.0.0, $(self.0.$rest),*)
            }
        }
    };
}

// 一次调用生成1到5元素元组的所有实现
impl_cont_get_recursive!(A0, A1, A2, A3, A4);

递归宏会从最短的元组开始，逐步生成更长长度的impl块，无需手动逐个调用宏。

补充说明 #

Rust元组的泛型参数没有数量限制，若需要更长的元组实现，只需在宏调用中添加更多A*格式的参数即可。

内容的提问来源于stack exchange，提问作者Michael Smoliar