问题的答案。
问题的历史
在C++23之前，实现静态多态需要奇异递归模板模式（CRTP）。这种方法迫使派生类从用派生类型本身实例化的基类模板继承。尽管有效，CRTP产生了冗长的代码和复杂的继承层次，难以维护。
问题
核心问题是CRTP基类中的成员函数无法在没有显式模板参数的情况下推导出实际的派生类型。这一限制迫使开发人员手动将this强制转换为派生类型，从而创建了脆弱的代码，当继承链更改时会崩溃。此外，CRTP阻止了轻松重构，使得对不熟悉模板元编程的用户而言，接口变得不直观。
解决方案
C++23引入了显式对象参数（推导this），允许成员函数将this声明为显式参数，具有推导类型。通过编写void func(this auto&& self)，该函数接受任何对象类型，从而通过重载而非继承实现静态多态。这种方法完全消除了CRTP，产生了更简洁的代码，支持开放多态性。
// C++23方法 struct Vector { float x, y; template<typename Self> auto magnitude(this Self&& self) { return std::sqrt(self.x * self.x + self.y * self.y); } }; // 使用不需要继承 Vector v{3.0f, 4.0f}; float len = v.magnitude();
生活中的情况
一个游戏引擎团队需要一个支持CPU和GPU编译路径的数学向量库。该库要求具有通用操作，如magnitude()和normalize()，可以在float、double和half精度类型之间工作，同时保持零开销抽象。
考虑的第一个方法是使用CRTP，创建一个基类VectorBase<Derived, T>。这允许在编译时实现多态，但引入了显著的复杂性。每种新向量类型都需要从基类继承并将其自身作为模板参数传递，导致冗长的代码和在重构期间出现模糊的模板实例化错误。维护变得困难，因为更改基接口需要更新所有派生类。
考虑的第二个方法是使用自由函数和标签调度实现函数重载。这避免了继承，但破坏了图形团队所偏好的面向对象设计。它要求将向量实例作为参数传递，而不是调用方法，这对数学对象来说感觉不自然。此外，它使API表面变得复杂，并使得方法链接变得不可能。
选择的解决方案是C++23的显式对象参数语法。团队重写了向量类，以使用auto&& self参数，从而在没有继承的情况下实现静态多态。这种方法保留了直观的vec.magnitude()语法，支持泛型编程并消除了模板膨胀。
结果是模板相关的编译错误减少了40%，开发人员的生产力得到了提升。代码库变得更容易维护，所有向量类型之间的方法链接无缝工作。团队成功将库部署到CPU和GPU目标，而没有CRTP的复杂性。
候选人常常忽视的内容
为什么当成员函数被声明为const但推导类型不是const限定时，显式对象参数推导会失败？
候选人常常忽视，当使用this auto&& self时，推导类型包含来自表达式的cv限定符。如果在一个const对象上调用一个函数，类型会自动推导为const T&。
但是，如果候选人错误地将参数声明为this T self（按值）在const对象上，它会尝试复制。这可能会触发已删除的复制构造函数或昂贵的深度复制操作。
关键见解是，auto&&遵循引用折叠规则，自动保留常量性。这使得它成为泛型成员函数的首选形式，确保在没有显式限定的情况下的常量正确性。
显式对象参数如何在不引入std::function开销的情况下启用递归lambda模式？
候选人常常忽略显式对象参数允许lambda调用自身而没有std::function类型擦除。通过使用接受自身的显式auto参数来声明lambda，它可以使用该参数递归。
例如，auto factorial = [](this auto&& self, int n) -> int { return n <= 1 ? 1 : n * self(n-1); };创建了一个具有零开销的递归lambda。编译器在编译时知道确切的类型，能够进行全面的内联和优化。
没有这个特性，递归需要std::function，这会引入类型擦除开销并阻止内联。或者，开发人员使用具有复杂语法的固定点组合子，该组合子掩盖了意图。
显式对象参数提供了直接的自我引用，并保留完整的类型。该模式在支持优雅的递归算法的同时保持性能，适用于泛型代码。
为什么使用显式对象参数会阻止传统类层次的形成，同时仍然实现多态行为？
这一微妙的点让许多候选人感到困惑。传统多态依赖于继承和虚函数，通过vtables在基类和派生类之间创建紧密耦合。
显式对象参数使“开放多态”成为可能，即任何提供所需接口的类型都可以使用该函数。不需要从共同的基类继承或使用虚析构函数。
关键区别在于，使用显式对象参数时，多态性在编译时通过重载解析。没有基本类类型进行转换，防止了对象切片并消除了vtable开销。
然而，这也意味着您无法在基本类指针的容器中存储异构对象，而不使用类型擦除。该多态性是严格静态的，提供了性能优势，但与动态多态性相比有不同的架构约束。