如何在C++中实现可动态增删元素的异构值容器？

当然可以实现这种兼具tuple异构类型存储能力、又支持动态增删元素的容器。核心思路是结合类型擦除和动态数组的特性，以下是具体实现方案：

核心设计要点 #

1. 底层存储：类型擦除的动态数组 #

用std::vector<std::any>作为底层存储（C++17及以上支持std::any），std::any可以存储任意类型的对象，同时std::vector天然支持动态增删和迭代器操作，完美匹配需求。

2. 类型安全的元素访问 #

实现模板方法get<T>(size_t idx)，通过std::any_cast<T>从std::any中提取指定类型的元素。需要处理索引越界和类型不匹配的异常，保证访问安全。

3. 增删与迭代器支持 #

直接复用std::vector的push_back、erase、begin、end等方法，只需做一层封装，让接口符合需求。

4. 异构初始化支持 #

通过模板参数包构造函数，支持像tuple一样传入任意类型的初始化参数，自动存入底层容器。

完整简化示例代码 #

#include <vector>
#include <any>
#include <stdexcept>
#include <utility>
#include <iostream>
#include <string>

class Container {
private:
    std::vector<std::any> m_data;

public:
    // 支持任意类型的参数包初始化
    template<typename... Args>
    Container(Args&&... args) {
        (m_data.emplace_back(std::forward<Args>(args)), ...);
    }

    // 获取指定类型的元素，处理越界和类型不匹配
    template<typename T>
    T get(size_t idx) {
        if (idx >= m_data.size()) {
            throw std::out_of_range("Container index out of bounds");
        }
        try {
            return std::any_cast<T>(m_data[idx]);
        } catch (const std::bad_any_cast&) {
            throw std::runtime_error("Type mismatch in Container::get");
        }
    }

    // 添加任意类型元素
    template<typename T>
    void push_back(T&& val) {
        m_data.emplace_back(std::forward<T>(val));
    }

    // 删除指定迭代器位置的元素
    auto erase(auto pos) {
        return m_data.erase(pos);
    }

    // 迭代器接口
    auto begin() { return m_data.begin(); }
    auto end() { return m_data.end(); }
    auto begin() const { return m_data.begin(); }
    auto end() const { return m_data.end(); }

    // 获取容器大小
    size_t size() const { return m_data.size(); }
};

// 使用示例
int main() {
    Container con { 3, 3.0f, "foobar", std::string("batman") };

    int x = con.get<int>(0);
    std::cout << "x = " << x << std::endl;

    con.push_back(500ull);
    std::cout << "Size after push: " << con.size() << std::endl;

    con.erase(con.begin() + x); // 删除索引3的元素
    std::cout << "Size after erase: " << con.size() << std::endl;

    try {
        std::string s = con.get<std::string>(2);
        std::cout << "Element at index 2: " << s << std::endl;
    } catch (const std::exception& e) {
        std::cerr << "Error: " << e.what() << std::endl;
    }

    return 0;
}

注意事项 #

• 类型安全：和tuple的编译期类型检查不同，get<T>是运行时检查类型匹配，类型不匹配会抛出std::runtime_error，使用时需要确保类型正确。
• 性能开销：std::any会存储类型信息，对于大对象可能涉及堆分配，如果追求极致性能，可以自定义轻量类型擦除类替代std::any。
• 迭代器行为：迭代器的失效规则和std::vector一致，erase操作会使指向被删除元素及之后的迭代器失效。

内容的提问来源于stack exchange，提问作者TwistedBlizzard