异类词典的实现

接着定义了一个模板类 VarTypeDict，它接受一系列模板参数 TParameters。在这个类中，定义了一个静态成员函数 Create()。在这个函数中，首先使用 using namespace NSVarTypeDict; 将 NSVarTypeDict 命名空间中的内容引入到当前作用域中。然后使用模板别名 using type = typename Create::type; 来创建一个类型，该类型是基于参数包 TParameters 的容器类型。最后，使用 return type(); 来创建一个匿名对象并返回。

总的来说，这段代码实现了一个通用的变长参数模板类 VarTypeDict，它能够根据传入的参数类型动态生成对应的容器类型。模板元编程的递归思想和特化版本的定义，使得这个过程能够根据参数包的大小动态展开，实现了通用性和灵活性。

三、Values的主体框架

代码示例：

template <typename...TParameters>
struct VarTypeDict
{
template <typename...TTypes>
struct Values
{
    Values() = default;
 
    Values(std::shared_ptr<void>(&&input)[sizeof...(TTypes)])
    {
        for (size_t i = 0; i < sizeof...(TTypes); ++i)
        {
            m_tuple[i] = std::move(input[i]);
        }
    }
 
public:
    template <typename TTag, typename TVal>
    auto Set(TVal&& val) &&
    {
        using namespace NSMUltiTypeDict;
        constexpr static size_t TagPos = Tag2ID;
 
        using rawVal = std::decay_t;
        rawVal* tmp = new rawVal(std::forward(val));
        m_tuple[TagPos] = std::shared_ptr<void>(tmp,
            [](void* ptr)  {
            rawVal* ntpr = static_cast(ptr);
            delete nptr;
        });
 
        using new_type = NewTupleType, TTypes...>;
        return new_type(std::move(m_tuple));
    }
 
    template <typename TTag>
    auto& Get() const;
 
private:
    std::shared_ptr<void> m_tuple[sizeof...(TTypes)];
    };
);

代码讲解：

以下内容结合原文看！！！

这段代码实现了一个 VarTypeDict 类模板，它包含一个内嵌的 Values 类模板。让我逐步解释一下这段代码的逻辑。

首先定义了一个模板类 VarTypeDict，它接受一系列模板参数 TParameters。

在 VarTypeDict 类模板中定义了一个内嵌的 Values 类模板。Values 类模板接受一系列模板参数 TTypes。该类模板包含以下几个成员函数和数据成员：

1. 构造函数 Values() = default; 默认构造函数。

2. 另一个构造函数 Values(std::shared_ptr(&&input)[sizeof...(TTypes)])，它接受一个大小为 sizeof...(TTypes) 的 std::shared_ptr 数组，将其内容逐个移动构造到 m_tuple 数组中。

3. 成员函数 template auto Set(TVal&& val) && 用于设置特定类型的值。它首先使用 Tag2ID 获取模板参数 TTag 在 TParameters 中的位置，然后创建一个 TVal 类型的对象，并存储为 std::shared_ptr 类型，最后使用 NewTupleType 创建一个新的 Values 类型，并返回该类型的对象。

4. 成员函数 template auto& Get() const; 用于获取特定类型的值。

5. 数据成员 std::shared_ptr m_tuple[sizeof...(TTypes)] 用于存储元组中的值。

值得注意的是，代码中使用了一些未定义的模板类型和函数，比如 NSMUltiTypeDict、Tag2ID、NewTupleType 等，这些部分的定义未在提供的代码片段中。因此，要完整理解这段代码的逻辑，还需要查看这些部分的定义。

综上所述，这段代码实现了一个基于模板的多类型字典，可以动态存储和获取多种类型的值。通过 Values 类模板的成员函数 Set 和 Get，可以实现对值的设置和获取操作。

3.1 Get接口实现以及分析

代码示例：

template <typename TTag>
auto& Get() const
{
    using namespace NSMUltiTypeDict;
    constexpr static size_t TagPos = Tag2ID;
 
    return *static_castdecay_t<typename GetTupleType::type>*>(m_tuple[TagPos].get());
}

Get接口代码逻辑：

1. Get 函数是一个模板成员函数，它接受模板参数 TTag，在编译期使用 Tag2ID 获取模板参数 TTag 在 TParameters 中的位置，存储在 TagPos 中。

2. 接着使用 GetTupleType 获取在 Values 类模板的 Types 参数包中第 TagPos 个类型对应的类型，通过 std::decay_t 去除引用和 cv 限定符。

3. 然后通过 m_tuple[TagPos] 获取对应位置的值，使用 get() 函数获取 std::shared_ptr 指向的原始指针，进行 static_cast 转换，并通过解引用运算符 * 返回对应类型的引用。

总结来说，Get 函数的目的是根据传入的类型标签 TTag，在运行时获取对应类型的值，并返回对应类型的引用。这样就实现了通过类型标签快速获取特定类型的值的功能。

3.1 Tag2ID逻辑分析

NewTupleType逻辑分析请看原文，以下内容结合原文看！！！

template <typename TTag, typename... TParameters>
constexpr size_t Tag2ID()
{
    return Tag2IDImpl0, TParameters...>();
}
 
template <typename TTag, size_t Index, typename TParameter, typename... TParameters>
constexpr size_t Tag2IDImpl()
{
    if constexpr (std::is_same_v) {
        return Index;
    } else {
        return Tag2IDImpl1, TParameters...>();
    }
}
 
template <typename TTag, size_t Index>
constexpr size_t Tag2IDImp()
{
    // 没有找到匹配的类型标签，可能需要抛出错误或返回一个默认值
    return static_cast<size_t>(-1);
}

上述代码使用递归实现了 Tag2ID 函数。首先调用了 Tag2ID 函数模板，并传入类型标签和类型列表作为模板参数。然后，调用了 Tag2IDImpl 函数模板，传入类型标签、当前索引为0以及类型列表作为模板参数。

在 Tag2IDImpl 函数模板中，首先检查当前类型标签（TTag）是否与当前类型参数（TParameter）相同。如果相同，则返回当前索引值作为类型标签在类型列表中的位置。否则，递归调用 Tag2IDImpl 函数模板，并将索引值加1，继续匹配下一个类型参数。

如果遍历完整个类型列表都没有找到匹配的类型标签，那么可能需要采取适当的错误处理，如抛出异常或返回一个默认值。

总之，Tag2ID 函数的目的是根据给定的类型标签和类型列表，返回类型标签在类型列表中的位置。这个位置可以用于进一步操作，如在代码中获取对应位置的值或执行其他相关操作。