Rust: format_args!의 정적 데이터에서 유형이 지워진 fmt fn 포인터를 유추하려면 #[repr(C)] HList를 사용하십시오.

@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 에 대한 절, codegen cruft가 0입니다 !

편집 : @m-ou-se는 내가 처음에 명시적 추론 트릭을 사용한 이유를 상기시켜 주어야 했습니다. 임의 액세스 인수: 실망:
(충분한 const 제네릭 ab 사용으로 D: IndexHList<i, Output = T> 가질 수 있지만 많은 노력이 필요합니다)

문자열 조각과 모든 형식 지정 옵션(있는 경우)을 모두 포함하는 '정적 메타데이터'의 새로운 형식을 사용하여 크기가 두 포인터에 불과한 fmt::Arguments 의 새로운 구현이 있습니다. (따라서 이제 레지스터 쌍에 맞습니다. 정말 좋습니다.) 또한 @eddyb 가 이 문제에서 3년 전에 이미 제안한 것처럼 인수당 스택에 대한 포인터가 두 개 대신 하나만 필요합니다. ^^ (어제 @eddyb가 지적하기 전까지 이 문제를 완전히 놓쳤습니다. ^^')

여전히 남아 있는 것은 format_args!() 를 업데이트하여 이 새로운 유형을 대신 생성하는 것입니다. 그러면 객체 포인터와 함수 포인터(현재 ArgumentV1 함께 있음)를 함수 포인터로 분할하는 문제가 발생합니다. 이제 '정적 메타데이터'로 이동해야 합니다. 이 문제의 제안은 그렇게 하는 좋은 방법인 것 같습니다. 곧 구현하려고 합니다. 퍼포먼스 런이 기대됩니다 :)