有没有办法解决未使用的类型参数?

问题描述

代码:

trait Trait<T> {}

struct Struct<U>;

impl<T, U: Trait<T>> Struct<U> {}

错误:

error[E0207]: the type parameter `T` is not constrained by the impl trait, self type, or predicates
 --> src/main.rs:5:6
  |
5 | impl<T, U: Trait<T>> Struct<U> {}
  |      ^ unconstrained type parameter

似乎RFC 447 禁止这种模式；有没有办法解决这个问题?我认为可以通过将 T 更改为关联类型来解决这个问题，但这会阻止我进行多分派.

It seems that RFC 447 prohibits this pattern; is there any way to work around this? I think it could be solved by changing T to an associated type, but that would prevent me from doing multidispatch.

推荐答案

结构中未使用的类型参数可以使用 PhantomData:

A type parameter that's unused in the struct can use PhantomData:

struct Struct<U> {
    _marker: PhantomData<U>,
}

impl<U> Struct<U> {
    fn example<T>(&self)
    where
        U: Trait<T>,
    {
        // use `T` and `U`
    }
}

这篇关于有没有办法解决未使用的类型参数?的文章就介绍到这了，希望我们推荐的答案对大家有所帮助，也希望大家多多支持！