如何从基类方法调用派生类方法？C++代码问题求助

首先看你给出的代码片段：

class Graphics { // ... 
public: 
template <typename Type, typename... Types> 
void draw(Type const& object, Types const&... objects) { 
// ... 
addToBatch(object, objects...); 
// ... 
} 
protected: 
template <typename Type, typename... Types>
void addToBatch(Type const& object, Types const&... objects) { 
_addToBatch(object); 
if constexpr (sizeof...(objects) > 0) addToBatch(objects...); 
} 
void _addToBatch(Rect rc, Brush b); 
void _addToBatch(std::pair<Rect, Brush> rcAndBrush) { 
_addToBatch(rcAndBrush.first, rcAndBrush.second); 
} 
void _addToBatch(TextLayout const& tl, Brush b, Point origin); 
// ... etc 
}; 
class SpecializedGraphics : public Graphics { 
// ... 
protected: 
// 此处我想实现用于特殊复杂处理的方法，
// 这些方法将使用基类的_addToBatch方法
void _addToBatch(Entry const& e); 
void _addToBatch(Menu const& menu); 
// etc 
}; 
int main() { 
Rect rcClient; 
Brush brush; 
Entry e; 
Menu menu; 
// etc 
SpecializedGraphics gfx; 
gfx.draw( 
std::make_pair(rcClient, brush), 
e, 
menu, 
// etc 
); 
return 0; 
}

错误原因分析 #

你推测的方向完全正确：基类Graphics的draw模板在编译实例化时，只能看到基类自身定义的_addToBatch重载。派生类SpecializedGraphics新增的_addToBatch(Entry)和_addToBatch(Menu)属于派生类的作用域，基类的模板代码在编译时无法感知到这些重载，因此当你传入Entry或Menu对象时，编译器找不到匹配的函数，直接报错。

复制draw方法到派生类确实能解决问题，但会导致代码重复，完全不符合DRY（Don't Repeat Yourself）原则，下面给你两个更优雅的解决方案：

方案一：使用CRTP（奇异递归模板模式） #

这是最适合你场景的方案，它能让基类在编译时感知到派生类的成员，同时完全复用基类的draw模板逻辑。

修改基类为模板类，将派生类作为模板参数传入：

// 基类改为模板，参数是派生类类型
template <typename Derived>
class Graphics { 
public: 
template <typename Type, typename... Types> 
void draw(Type const& object, Types const&... objects) { 
// ... 
addToBatch(object, objects...); 
// ... 
} 
protected: 
template <typename Type, typename... Types>
void addToBatch(Type const& object, Types const&... objects) { 
// 强制转换为派生类指针，优先调用派生类的_addToBatch
static_cast<Derived*>(this)->_addToBatch(object); 
if constexpr (sizeof...(objects) > 0) addToBatch(objects...); 
} 

// 基类的_addToBatch重载
void _addToBatch(Rect rc, Brush b); 
void _addToBatch(std::pair<Rect, Brush> rcAndBrush) { 
_addToBatch(rcAndBrush.first, rcAndBrush.second); 
} 
void _addToBatch(TextLayout const& tl, Brush b, Point origin); 
// ... etc 
}; 

// 派生类继承时，将自身作为模板参数传给基类
class SpecializedGraphics : public Graphics<SpecializedGraphics> { 
// ... 
protected: 
// 派生类的特殊重载
void _addToBatch(Entry const& e); 
void _addToBatch(Menu const& menu); 
// etc 
}; 

原理说明

• 基类通过static_cast<Derived*>(this)获取派生类对象的指针，调用_addToBatch时，编译器会优先匹配派生类的重载；如果派生类没有对应类型的重载，会自动回退到基类的版本。
• 完全不需要重复编写draw方法，完美复用基类的模板逻辑，同时支持派生类扩展新的绘制类型。

方案二：利用ADL（参数相关查找） #

如果你不想修改基类为模板，可以将_addToBatch改为非成员函数，借助C++的ADL机制让编译器自动查找匹配的重载。

// 将_addToBatch定义为非成员函数，放在统一命名空间
namespace graphics_utils {
void _addToBatch(Rect rc, Brush b);
void _addToBatch(std::pair<Rect, Brush> rcAndBrush) {
    _addToBatch(rcAndBrush.first, rcAndBrush.second);
}
void _addToBatch(TextLayout const& tl, Brush b, Point origin);
}

class Graphics { 
public: 
template <typename Type, typename... Types> 
void draw(Type const& object, Types const&... objects) { 
// ... 
addToBatch(object, objects...); 
// ... 
} 
protected: 
template <typename Type, typename... Types>
void addToBatch(Type const& object, Types const&... objects) { 
// 调用非成员函数，ADL会自动查找匹配的重载
graphics_utils::_addToBatch(object); 
if constexpr (sizeof...(objects) > 0) addToBatch(objects...); 
} 
}; 

// 在同一命名空间（或全局）添加派生类需要的重载
namespace graphics_utils {
void _addToBatch(Entry const& e);
void _addToBatch(Menu const& menu);
}

class SpecializedGraphics : public Graphics { 
// ... 
}; 

原理说明

• ADL机制会根据函数参数的类型，自动查找参数所在命名空间的函数重载。只要Entry和Menu类型与_addToBatch重载在同一命名空间，编译器就能找到正确的函数。
• 这个方案不需要修改基类的继承结构，但需要注意命名空间的一致性，确保ADL能生效。

方案对比 #

• CRTP：更适合类层次结构的扩展，逻辑内聚性强，是面向对象场景下的最优解。
• ADL：更灵活，适合函数式的扩展，但需要额外管理命名空间，适合不希望修改基类结构的场景。

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