1
class any
{
public:
    template<typename T>
    any(const T& t) : held_(new holder<T>(t)){}
    ~any(){ delete held_; }
    template<typename U>
    U cast() const
    {
        if(typeid(U) != held_->type_info())
            throw std::runtime_error("Bad any cast");
        return static_cast<holder<U>* >(held_)->t_;
    }
private:
    struct base_holder
    {
        virtual ~base_holder(){}
        virtual const std::type_info& type_info() const = 0;
    };

    template<typename T> struct holder : base_holder
    {
        holder(const T& t) : t_(t){}
        const std::type_info& type_info() const
        {
            return typeid(t_);
        }
        T t_;
    };
private:
    base_holder* held_;
};

int main() 
{
    any a(2);
    std::cout << a.cast<int>() << std::endl;
    any b(std::string("abcd"));
    try
    {
        std::cout << b.cast<double>() << std::endl;
    }
    catch(const std::exception& e)
    {
        std::cout << e.what() << std::endl;
    }
    return 0;
}

Скажите, будет ли быстрее это творение работать, если вместо механизма typeid, приведенного здесь, использовать std::is_same?

1 ответ 1

1

Использовать std::is_same здесь в принципе нельзя, так как тип хранимого элемента неизвестен на стадии компиляции. Конструкция typeid(var) - конструкция времени выполнения.

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.