Способ достижения ленивой оценки в C ++ ⇐ C++

[Anonymous]

Итак, я отвечал на вопрос о ленивой оценке (здесь мой ответ излишне для этого случая, но идея кажется интересной), и это заставило меня задуматься о том, как ленивая оценка может быть сделана в C ++. Я придумал способ, но я не был уверен во всех ловушках в этом. Есть ли другие способы достижения ленивой оценки? Как это можно сделать? Что такое подводные камни, а также этот и другие дизайны? < /P>

Вот моя идея: < /p>

#include
#include
#include
#include

#define LAZY(E) lazy{[&](){ return E; }}

template
class lazy {
private:
typedef std::function thunk_type;
mutable std::shared_ptr thunk_ptr;
public:
lazy(const std::function& x)
: thunk_ptr(
std::make_shared([x](){
return std::make_shared(x());
})) {}
const T& operator()() const {
std::shared_ptr val = (*thunk_ptr)();
*thunk_ptr = [val](){ return val; };
return *val;
}
T& operator()() {
std::shared_ptr val = (*thunk_ptr)();
*thunk_ptr = [val](){ return val; };
return *val;
}
};

void log(const lazy& msg) {
std::cout

Подробнее здесь: https://stackoverflow.com/questions/167 ... ation-in-c