#include <iostream>
template<typename Impl>
struct renderer{
void get(){
static_cast<Impl*>(this)->get();
}
};
struct open_gl : public renderer<open_gl>{
void get(){
std::cout << "OpenGL" << std::endl;
}
};
struct direct_draw : public renderer<direct_draw>{
void get(){
std::cout << "DX" << std::endl;
}
};
template<typename T>
void print_renderer(renderer<T> r){
r.get();
}
int main() {
auto gl = open_gl();
auto dx = direct_draw();
print_renderer(gl);
print_renderer(dx);
}
为什么我不能将 print_renderer 的参数更改为
void print_renderer(const renderer<T> &r)
?cannot convert 'this' pointer from 'const renderer<open_gl>' to 'renderer<open_gl> &'
`为什么重命名方法时会出现运行时错误
get
在 open_gl 来自 得到得到1?这不应该触发编译器错误吗?Error = Stack overflow
**注意我使用的是最新的 MSVC
最佳答案
1) 因为 get
不是 const
成员函数:它不能 promise 不修改您的 (const) 参数。
您可以将 get
声明为 const
,它可以正常编译:
void get() const { ... }
2) 将调用基本 get
方法,进入无限递归:Stack Overflow。
如果你声明你的函数 override
(它需要是虚拟的),如果它确实没有覆盖基方法,编译器将抛出错误:
void get1() override { ... } // Compiler error
void get() override { ... } // Ok
注意:
标题是“C++ 中的静态多态性”,但我认为您误解了什么是静态多态性:它不(必须)利用继承(就像您所做的那样)。相反,模板编译时鸭子类型将为您静态“解析”函数调用。
也就是说,你不需要相关类型,你根本不需要 renderer
基类,你可以简单地执行以下操作(在这种情况下,重命名为 get1
将导致编译器错误):
#include <iostream>
struct open_gl {
void get(){
std::cout << "OpenGL" << std::endl;
}
};
struct direct_draw {
void get(){
std::cout << "DX" << std::endl;
}
};
template<typename T>
void print_renderer(T r){
r.get();
}
int main() {
auto gl = open_gl();
auto dx = direct_draw();
print_renderer(gl);
print_renderer(dx);
}
关于c++ - C++ 中的静态多态性,我们在Stack Overflow上找到一个类似的问题: https://stackoverflow.com/questions/25559178/