Dart mixin底层实现是否与对应C++模板继承代码逻辑一致？

结论 #

你给出的C++实现完全对应Dart mixin特性的底层运行逻辑，二者核心设计思路完全一致：

对应点说明 #

• Dart中class C extends B with M0, M1 {}的本质是生成线性化的继承链：C -> M1 -> M0 -> B，mixin按照with后从左到右的顺序依次包装父类，越靠后的mixin在继承链中越靠近子类，和C++代码中C继承自M1<M0<B>>的继承链结构完全匹配。
• Dart中mixin的on B约束，要求该mixin只能被应用到B或B的子类上，和C++模板类中的static_assert(std::is_base_of_v<B, T>)静态校验作用完全一致。
• 二者的成员查找规则也完全匹配：调用C类实例的成员时，优先查找C自身的实现，没有则依次向上查找M1、M0的实现，最终回退到B的实现。

细微差异 #

仅存在非核心的实现细节区别：Dart的mixin本身不允许被直接实例化，上述C++代码没有做这个限制，不过如果有需要可以通过给M0、M1添加protected构造函数的方式对齐这个特性，不影响核心逻辑的一致性。

内容的提问来源于stack exchange，提问作者Oleksa