rust - 在编译期间如何在宏中列出给定类型的所有已实现特征？

Question

我正在寻找一种方法来查找在编译期间为给定类型实现的所有特征，以便在宏中使用。

我的用例是我想编写一个宏来创建新类型结构并实现所有内部类型特征，或者至少是其中的一个子集。

Answer 1

你不能。

The Rustc Driver:

[…] the main phases of the compiler are:

1. Parse Input: Initial crate parsing
2. Configure and Expand: Resolve #[cfg] attributes, name resolution, and expand macros
3. Run Analysis Passes: Run trait resolution, typechecking, region checking and other miscellaneous analysis passes on the crate
4. Translate to LLVM: Translate to the in-memory form of LLVM IR and turn it into an executable/object files

(重点是我的)

宏在特征解析完成之前展开，因此在展开宏时，类型信息是未知的。