Type-Erasure-Muster für polymorphe Wertsemantik

#include <iostream>
#include <memory>
#include <string>
 
class Printable {
public:
    template <typename T>
    Printable(T val) : concept_(std::make_unique<Model<T>>(std::move(val))) {}
 
    void print() const { concept_->print_impl(); }
 
private:
    struct Concept {
        virtual ~Concept() = default;
        virtual void print_impl() const = 0;
    };
 
    template <typename T>
    struct Model final : Concept {
        Model(T val) : value_(std::move(val)) {}
        void print_impl() const override { std::cout << value_ << '\n'; }
        T value_;
    };
 
    std::unique_ptr<Concept> concept_;
};
 
int main() {
    Printable p1(100);
    Printable p2(std::string("Type Erasure in Action"));
    p1.print();
    p2.print();
}