如何实现支持覆盖的多态std::format？

咱们都知道，要想用C++20的format功能处理自定义类型，就得给每个要格式化的类型特化std::formatter模板。这种方法的一大优势是，能以非侵入式的方式给任意类添加格式化支持——完全不用修改类本身的代码。

不过这里就有个棘手的问题了：如果要格式化的是多态类型该怎么办？举个简单的例子，比如我们定义了这些结构体：

struct Fruit {};
struct Apple : Fruit {};
struct Banana : Fruit {};

内容来源于stack exchange