rust - 是否可以为由所有实现特征的类型组成的任何元组自动实现特征？

Question

假设我有一个

trait Happy {}

我可以为我可能想要的任何结构实现 Happy，例如:

struct Dog;
struct Cat;
struct Alligator;

impl Happy for Dog {}
impl Happy for Cat {}
impl Happy for Alligator {}

现在，我想自动impl 我的Happy 特性，无论元组是由所有实现Happy 特性的类型组成的。直觉上，所有快乐的元组也是快乐的。

有可能做这样的事情吗？例如，我可以简单地将 Happy 的实现扩展到两个 Happy 类型的任何元组:

impl <T, Q> Happy for (T, Q) where T: Happy, Q: Happy {}

因此，编译完美:

fn f(_: impl Happy) {
}

fn main() {
    f((Dog{}, Alligator{}));
}

但是我如何将其推广到任何长度的任何元组呢？就我的理解而言，我们在 Rust 中没有可变参数泛型。有解决方法吗？

Answer 1

we don't have variadic generics in Rust.

正确。

Is there a workaround?

你使用宏:

trait Happy {}

macro_rules! tuple_impls {
    ( $head:ident, $( $tail:ident, )* ) => {
        impl<$head, $( $tail ),*> Happy for ($head, $( $tail ),*)
        where
            $head: Happy,
            $( $tail: Happy ),*
        {
            // interesting delegation here, as needed
        }

        tuple_impls!($( $tail, )*);
    };

    () => {};
}

tuple_impls!(A, B, C, D, E, F, G, H, I, J,);

现在编译:

fn example<T: Happy>() {}

fn call<A: Happy, B: Happy>() {
    example::<(A, B)>();
} 

这通常不被视为大问题，因为长元组基本上不可读，如果确实需要，您总是可以嵌套元组。

另见:

• Automatically implement traits of enclosed type for Rust newtypes (tuple structs with one field)
• How to iterate or map over tuples?