如何打印变量的类型？

Question

我有以下几点：

let mut my_number = 32.90;

如何打印my_number的类型？

使用type和type_of不起作用。还有其他方法可以打印号码的类型吗？

Answer 1

有一个不稳定的函数std:：intrinsics:：type_name，可以获取类型的名称，尽管你必须使用每晚构建的Rust（这在稳定的Rust中不太可能工作）。下面是一个例子：

#![feature(core_intrinsics)]

fn print_type_of<T>(_: &T) {
    println!("{}", unsafe { std::intrinsics::type_name::<T>() });
}

fn main() {
    print_type_of(&32.90);          // prints "f64"
    print_type_of(&vec![1, 2, 4]);  // prints "std::vec::Vec<i32>"
    print_type_of(&"foo");          // prints "&str"
}

Answer 2

如果您只想找出变量的类型，并且愿意在编译时这样做，您可以导致错误并让编译器拾取它。

例如，将变量设置为不起作用的类型：

let mut my_number: () = 32.90;
// let () = x; would work too

error[E0308]: mismatched types
 --> src/main.rs:2:29
  |
2 |     let mut my_number: () = 32.90;
  |                             ^^^^^ expected (), found floating-point number
  |
  = note: expected type `()`
             found type `{float}`

或调用无效的方法：

let mut my_number = 32.90;
my_number.what_is_this();

error[E0599]: no method named `what_is_this` found for type `{float}` in the current scope
 --> src/main.rs:3:15
  |
3 |     my_number.what_is_this();
  |               ^^^^^^^^^^^^

或访问无效字段：

let mut my_number = 32.90;
my_number.what_is_this

error[E0610]: `{float}` is a primitive type and therefore doesn't have fields
 --> src/main.rs:3:15
  |
3 |     my_number.what_is_this
  |               ^^^^^^^^^^^^

这些揭示了这种类型，在这种情况下，实际上并没有完全解决。在第一个例子中称为“浮点变量”，在所有三个例子中称为“{float}”；这是一种部分解析的类型，最终可能是f32或f64，具体取决于您如何使用它。“{float}”不是一个合法的类型名称，它是一个占位符，意思是“我不完全确定这是什么”，但它是一个浮点数。对于浮点变量，如果您不约束它，它将默认为f641。（非限定整数文本将默认为i32）

另见：

• 编译器错误消息中的{整数}或{浮点}是什么？

可能仍然有一些方法让编译器感到困惑，以至于它不能在f32和f64之间做出决定；我不确定。它曾经简单到32.90.eq（

Answer 3

您可以使用std:：any:：type_name函数。这不需要每晚编译或外部机箱，结果非常正确：

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

fn main() {
    let s = "Hello";
    let i = 42;

    print_type_of(&s); // &str
    print_type_of(&i); // i32
    print_type_of(&main); // playground::main
    print_type_of(&print_type_of::<i32>); // playground::print_type_of<i32>
    print_type_of(&{ || "Hi!" }); // playground::main::{{closure}}
}

请注意：如留档中所述，此信息只能用于调试目的：

这是用于诊断的。字符串的确切内容和格式没有指定，只是作为类型的最佳描述。

如果希望在不同的编译器版本之间保持类型表示不变，则应该使用一个特征，如PHCR的答案中所示。