c++ - 基于概念的多态性

Question

我一直在阅读 C++ 中基于概念的继承。我附上了所有代码示例。我基本上是在问这是否是这个概念的正确实现？我对此很陌生，所以我只是记下我的想法。欢迎任何评论/批评。

#include "stdafx.h"
#include <memory>
#include <vector>
#include <algorithm>
#include <iostream>

using namespace std;

struct Point{
    int x;
    int y;
};

class graphics_surface{

    class drawable_concept{
    public:
        virtual void draw(Point const& coordinate) {};
        virtual ~drawable_concept() {};
    };

    template<class T>
    class drawable_model : public drawable_concept{
    public:
        drawable_model(T& item) : item_(item){}
        void draw(Point const& coordinate){
            item_.draw(coordinate);
        }
        ~drawable_model(){}
    private:
        T item_;
    };

public:

    template<class T>
    void push_back(T& drawable){
        v_.push_back(shared_ptr<drawable_concept>( new drawable_model<T>(drawable)));
    }

    void draw(Point const& coordinate) {
        for_each(v_.begin(), v_.end(), [&](shared_ptr<drawable_concept>& concept){
            concept->draw(coordinate);
        });
    }

private:
    vector<shared_ptr<drawable_concept>> v_;
};

struct triangle{
    void draw(Point const& p){
        cout << "Triangle: " << p.x << "," << p.y << endl;
    }
};

struct square{
    void draw(Point const& p){
        cout << "Sqaure: " << p.x << "," << p.y << endl;
    }
};


int _tmain(int argc, _TCHAR* argv[])
{

    Point p;
    p.x = 1;
    p.y = 2;

    graphics_surface surface;
    surface.push_back(triangle());

    surface.draw(p);

    return 0;
}

提前致谢。

布莱尔

Answer 1

几点:

• 我看不出有什么好的理由将 drawable_concept 或 drawable_model 放在 graphics_surface 中 - 你只是防止重复使用某些东西可能在其他容器类型中有用...

• 你有一些const问题

  • draw 可能应该是 const(并且函数定义后面不应跟分号 ;-)

  • drawable_model(T& item) 应该通过const 引用获取item

  • push_back(T& drawable) 应该通过const 引用drawable

• 为了异常安全，您应该使用make_shared

• “工厂”功能最好分离成一个单独的函数，而不是埋在 push_back

中