Question

我正在编写一个宏来为包含单个泛型类型的给定结构动态生成像Display和Debug这样的格式化程序。代码如下：

macro_rules! create_formatters {
    ($type_name:ident < $gen_param:ident > ,  $t:path) => {
        impl<$gen_param: $t> $t for $type_name<$gen_param> {
            fn fmt(&self, f: &mut std::fmt::Formatter) -> Result<(), std::fmt::Error> {
                let output = match stringify!($t) {
                    "std::fmt::Display" => format!("{}", self.0),
                    "std::fmt::Debug" => format!("{:?}", self.0),
                    // other formatters will be implemented soon
                };
                write!(f, "Content is: {}", output)
            }
        }
    };
}

宏由create_formatters!(MyStruct<T>, std::fmt::Display);或create_formatters!(MyStruct<T>, std::fmt::Debug);

调用

编译器出现以下错误：

error[E0277]: the trait bound `T: std::fmt::Debug` is not satisfied
  --> <anon>:8:58
   |
8  |                     "std::fmt::Debug" => format!("{:?}", self.0),
   |                                                          ^^^^^^ the trait `std::fmt::Debug` is not implemented for `T`
...
28 | create_formatters!(Swagger<T>, std::fmt::Display);
   | -------------------------------------------------- in this macro invocation
   |
   = help: consider adding a `where T: std::fmt::Debug` bound
   = note: required by `std::fmt::Debug::fmt`

我该如何解决？

Answer 1

为什么会出现此错误？让我们来看看create_formatters!(MyStruct<T>, std::fmt::Display);的扩展：

impl<T: std::fmt::Display> std::fmt::Display for MyStruct<T> {
    fn fmt(&self, f: &mut std::fmt::Formatter) -> Result<(), std::fmt::Error> {
        let output = match "std::fmt::Display" {
            "std::fmt::Display" => format!("{}", self.0),
            "std::fmt::Debug" => format!("{:?}", self.0),
            // other formatters will be implemented soon
        };
        write!(f, "Content is: {}", output)
    }
}

此处，T仅限于Display，但在impl-body中的某处，您使用{:?}格式化程序，其类型为T。是的，{:?}的匹配大小写将永远不会在运行时执行，但编译器在一般情况下无法知道。仍然需要生成每个匹配臂的代码！这显然是不可能的。

如何解决？

最干净的解决方案可能是完全避免使用格式化程序字符串。如果你有一个实现特征的T类型的变量，你可以直接调用特征的方法：

fn fmt(&self, f: &mut fmt::Formatter) -> fmt::Result {
    self.0.fmt(f)
}

在Rust中动态生成格式化程序的宏

1 个答案: