Rust中b"qwe"这类字节字面量的准确类型是什么？

b"qwe"的实际类型是&'static [u8; 3]——即长度固定为3的u8数组的静态引用，而非很多资料里简化描述的切片&[u8]。

为什么TypeId检查不匹配？ #

你的代码里，泛型函数f<T>会自动推导T为&[u8; 3]，而TypeId::of::<&[u8]>()获取的是动态切片的类型ID，两者属于不同类型，所以输出false。当你用as &[u8]显式转换后，T被推导为&[u8]，类型ID自然匹配，输出true。

为什么很多资料说是&[u8]？ #

因为Rust支持解引用强制转换（Deref coercion）：数组引用&[u8; N]可以隐式转换为切片引用&[u8]。在大多数场景下，这种转换自动发生，所以很多资料会简化描述，直接说它的类型是&[u8]，但这是它的“隐式转换后类型”，而非原生类型。

验证代码 #

你可以通过std::any::type_name直接打印类型，更直观地确认：

fn print_type<T>(_: T) {
    println!("{}", std::any::type_name::<T>());
}

print_type(b"qwe");          // 输出：&[u8; 3]
print_type(b"qwe" as &[u8]); // 输出：&[u8]

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