Rust nightly使用关联常量与const泛型时出现类型不匹配问题

这个报错是当前Rust编译器对关联常量与泛型常量的等价性推导能力不完善导致的：
你为[f32; N]做泛型实现时，self的类型是&[f32; N]，解引用后是长度为N（impl块的泛型常量参数）的f32数组；而返回值要求的是长度为Self::N（Point trait的关联常量）的数组。虽然你手动指定了const N: usize = N，但目前编译器无法自动推导这两个N是完全等价的，因此判定数组长度类型不匹配，触发报错。
而你为固定长度[f32; 3]实现时，关联常量直接写死为字面量3，和数组长度的3完全一致，编译器可以直接识别二者等价，因此不会报错。

方案1：调整trait定义（最推荐，无unsafe） #

直接将维度N从关联常量改为trait的泛型参数，从根源避免等价性推导问题：

#![feature(generic_const_exprs)]

use num::Float;

// 将N提到trait泛型参数中
pub trait Point<const N: usize>: Copy + Clone {
    type T: num::Float;

    fn as_array(&self) -> [Self::T; N];
}

// 对应的距离函数同步调整
fn dist<const N: usize, P>(a: &P, b: &P) -> P::T
where
    P: Point<N>,
{
    let mut dist_sq: P::T = num::zero();
    for i in 0..N {
        let delta = a.as_array()[i] - b.as_array()[i];
        dist_sq = dist_sq + delta * delta;
    }
    dist_sq.sqrt()
}

// 此时为[f32; N]实现完全不需要额外hack
impl<const N: usize> Point<N> for [f32; N] {
    type T = f32;

    fn as_array(&self) -> [Self::T; N] {
        *self
    }
}

该方案完全符合Rust的常规设计逻辑，不需要unsafe代码，也不依赖编译器后续对const泛型推导的优化，长期兼容性最好。

方案2：unsafe转换（适合不想改原有trait定义的场景） #

因为运行时[f32; N]和[f32; Self::N]的内存布局完全一致，可以直接用transmute转换，安全可保证：

use std::mem;

impl<const N: usize> Point for [f32; N] {
    type T = f32;
    const N: usize = N;

    fn as_array(&self) -> [Self::T; Self::N] {
        // 安全保证：Self::N 恒等于 impl 块泛型参数N，两个数组类型内存布局完全一致
        unsafe { mem::transmute(*self) }
    }
}

比你当前用的copy_from_slice方案性能更高，代码也更简洁。

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