c++ - C++ 中的静态多态性

Question

#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);
}

1. 为什么我不能将 print_renderer 的参数更改为 void
print_renderer(const renderer<T> &r) ？ cannot convert 'this' pointer from 'const renderer<open_gl>' to 'renderer<open_gl> &'`

2. 为什么重命名方法时会出现运行时错误 get在 open_gl 来自得到得到1？这不应该触发编译器错误吗？ Error = Stack overflow

**注意我使用的是最新的 MSVC

Answer 1

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);
}

Live demo