Rust: 使用 #[repr(C)] HList 来推断 format_args! 的静态数据中类型擦除的 fmt fn 指针。

@rustbot声明

对于推断，我们可以简单地插入一些函数调用来匹配类型，例如推断B我们可以执行fmt::unify_fn_with_data((list.1).0, &b) ，这将使B变成typeof b .

不知道我在想什么，它应该比那容易得多！

struct ArgMetadata<T: ?Sized> {
    // Only `unsafe` because of the later cast we do from `T` to `Opaque`.
    fmt: unsafe fn(&T, &mut Formatter<'_>) -> Result,
    // ... flags, constant string fragments, etc.
}

// TODO: maybe name this something else to emphasize repr(C)?
#[repr(C)]
struct HCons<T, Rest>(T, Rest);

// This would have to be in a "sealed module" to make it impossible to implement on more types.
trait MetadataFor<D> {
    const LEN: usize;
}
impl MetadataFor<()> for () {
    const LEN: usize = 0;
}
impl<'a, T: ?Sized, D, M> MetadataFor<HCons<&'a T, D>> for HCons<ArgMetadata<T>, M>
    where M: MetadataFor<D>
{
    const LEN: usize = M::LEN;
}

impl<'a> Arguments<'a> {
    fn new<M, D>(meta: &'a M, data: &'a D) -> Self
        where M: MetadataFor<D>
    {
        Self {
            meta: unsafe { &*(meta as *const _ as *const [ArgMetadata<Opaque>; M::LEN]) },
            data: unsafe { &*(data as *const _ as *const [&Opaque; M::LEN]) },
        }
    }
}

即我们“并行”构建两个HList ，一个具有完全不变的元数据，另一个具有对运行时数据的引用，然后所有类型推断都可以来自where fmt::Arguments::new上的子句，代码生成为零！

编辑：@m-ou-se 不得不提醒我为什么我首先使用显式推理技巧：随机访问参数：失望：
（也许有足够的 const 泛型ab用法，我们可以有D: IndexHList<i, Output = T>但这需要很多努力）

我有一个fmt::Arguments的新实现，通过使用包含字符串片段和任何格式选项（如果有）的新形式的“静态元数据”，它的大小只有两个指针。 （所以它现在适合一个寄存器对，这真的很好。）它也只需要每个参数堆栈上的一个指针而不是两个，正如三年前@eddyb显然已经在这个问题中建议的那样。 ^^（完全错过了这个问题，直到昨天@eddyb指出。^^'）

剩下的就是更新format_args!()以生成这个新类型，这会遇到拆分对象指针和函数指针（目前在ArgumentV1 ）作为函数指针的问题现在应该进入“静态元数据”。 这个问题中的建议看起来是一个很好的方法。 将尽快实施。 期待性能运行:)