अत्याधुनिक अपरिवर्तनीय डेटा संरचनाएँ

• प्रतिरक्षा के वास्तु संबंधी लाभ;
• आरआरबी पेड़ों पर आधारित एक प्रभावी लगातार वेक्टर प्रकार का निर्माण;
• एक साधारण पाठ संपादक के उदाहरण पर वास्तुकला का विश्लेषण।

मूल्य-आधारित वास्तुकला की त्रासदी

const auto v0 = vector<int>{};

const auto v0 = vector<int>{};
const auto v1 = v0.push_back(15);
const auto v2 = v1.push_back(16);
const auto v3 = v2.set(0, 42);

assert(v2.size() == v0.size() + 2);
assert(v3[0] - v1[0] == 27);

एक जादू वेक्टर की तलाश में

vector<int> myiota(vector<int> v, int first, int last)
{
    for (auto i = first; i < last; ++i)
        v = v.push_back(i);
    return v;
}

vector<int> myiota(vector<int> v, int first, int last)
{
    auto t = v.transient();
    for (auto i = first; i < last; ++i)
        t.push_back(i);
    return t.persistent();
}

vector<char> say_hi(vector<char> v)
{
    return v.push_back('h')        
            .push_back('i')        
            .push_back('!');       
}

vector<char> say_hi(vector<char> v)
{
    return v.push_back('h')        ⟵ named value: v
            .push_back('i')        ⟵ r-value value
            .push_back('!');       ⟵ r-value value
}

vector<int> myiota(vector<int> v, int first, int last)
{
    for (auto i = first; i < last; ++i)
        v = std::move(v).push_back(i);
    return v;
}

Ewig

मूल्य-आधारित वास्तुकला पर लौटें

application update(application state, action ev);

void run(const char* fname)
{
    auto term  = terminal{};
    auto state = application{load_buffer(fname), key_map_emacs};
    while (!state.done) {
        draw(state);
        auto act = term.next();
        state = update(state, act);
    }
}

using index = int;

struct coord
{
    index row = {};
    index col = {};
};

using line = immer::flex_vector<char>;
using text = immer::flex_vector<line>;

struct file
{
    immer::box<std::string> name;
    text content;
};

struct snapshot
{
    text content;
    coord cursor;
};
 
struct buffer
{
    file from;
    text content;
    coord cursor;
    coord scroll;
    std::optional<coord> selection_start;
    immer::vector<snapshot> history;
    std::optional<std::size_t> history_pos;
};

struct application
{
    buffer current;
    key_map keys;
    key_seq input;
    immer::vector<text> clipboard;
    immer::vector<message> messages;
};

struct action { key_code key; coord size; };

रद्द करना

buffer record(buffer before, buffer after)
{
    if (before.content != after.content) {
        after.history = after.history.push_back({before.content, before.cursor});
        if (before.history_pos == after.history_pos)
            after.history_pos = std::nullopt;
    }
    return after;
}

buffer undo(buffer buf)
{
    auto idx = buf.history_pos.value_or(buf.history.size());
    if (idx > 0) {
        auto restore = buf.history[--idx];
        buf.content = restore.content;
        buf.cursor = restore.cursor;
        buf.history_pos = idx;
    }
    return buf;
  }

समय यात्रा

संक्षेप में

जुआन प्यूंटे ने C ++ Russia 2019 मास्को सम्मेलन में बात की और डेटा संरचनाओं के बारे में बात की जो आपको दिलचस्प चीजें करने की अनुमति देती हैं। इन संरचनाओं के जादू का एक हिस्सा नकल में निहित है - यह वही है जो एंटोन पोलुखिन और रोमन रूसिया आगामी सम्मेलन में बात करेंगे । साइट पर प्रोग्राम अपडेट का पालन करें ।