Концептуальный полиморфизм

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

Заранее благодарен.

Blair

Answer 1

Несколько моментов:

• Я не вижу особых оснований ставить drawable_concept или drawable_model внутри graphics_surface - вы просто предотвратить повторное то, что это потенциально полезным для других типов контейнеров ...

• у вас есть какие-то проблемы const

  • draw, вероятно, следует const (и определение функций не должно сопровождаться точкой с запятой ;-)

  • drawable_model(T& item) должен принимать item от const ссылки

  • push_back(T& drawable) shoudl принять drawable от const ссылки

• вы должны использовать make_shared для безопасности исключения

• функциональность «Фабрика» будет, возможно, будет лучше выделился в отдельную функцию, а не похоронен внутри push_back

Answer 2

Ваши triangle и square классы должны наследовать от graphics_surface::drawable_concept. Читайте перевод информации о virtual method tables.

См. Также wikipage on Concepts in C++.

Answer 3

Ваш подход здесь больше о стирании стилей, чем о программировании на основе концепции. Это расширение идеи, используемой boost :: any. Концепции представляют собой набор ограничений для типа, требуемого шаблоном класса или функции. STL имеет такие понятия, как ForwardIterator и InputIterator. Это ограничения, которые, как ожидается, будут истинны для параметров, переданных, например, для некоторых std-алгоритмов.