何时在 c++23 中对显式对象参数使用 CRTP？

问：

问题的简短版本

C++23 为我们提供了一种编写 mixin 类的新方法（而不是 CRTP）。在哪些情况下，CRTP 仍是首选？

两种方法的总结

CRTP 是 C++ 中一个强大的习惯用语，它利用模板在运行时自动生成特定于类型的行为。这通常用于创建 mixin 类。

C++23 引入了显式对象参数，允许在非静态成员函数的参数列表中显式引用类名。因此，模板非静态成员函数可以访问派生类，无需将 mixin 专门化于派生类。

下面是一个示例，说明了新旧方法。

// classic CRTP (old approach)
template <typename T>
class MyMixin<T> {
    // ...
    void foo() {
        // Stuff using T...
    }
};

// have to specialize MyMixin over MyType
class MyType : public MyMixin<MyType> {
    // ...
};



// explicit object parameter (C++23 approach)
class MyMixin {
    // ...
    template <typename T>
    void foo(this T* self) {
        // Stuff using T...
    }
};

// better syntax for mixins
class MyType : public MyMixin {
    // ...
};

显然，新方法在派生类中带来了更简洁的语法。例如，它可以让我们避免像这样粗糙的事情：

template<typename x, typename y, typename z, typename w>
class MyWackyContainer : public MyMixin<MyWackyContainer<x,y,z,w>>

因为我们不必为新方法提供模板参数。MyMixin

完整问题

根据本文的摘要（解决了前面提到的问题），

虽然 [添加显式对象参数] 在许多地方已经消除了使用 CRTP 的需要，但仍然存在必须使用此模式表示的情况。

我能想到的 CRTP 和新方法之间的唯一功能区别是，CRTP 允许我们在声明非函数成员和静态成员函数时引用该类型。但是，有没有一种情况是这实际上是有用的呢？

（次要问题：我的理解正确吗？我错过了什么吗？