Question

首先，我非常喜欢单例懒惰初始化的模式。我以下面的方式使用它来获取具有不同值类型的不同类型的数据（示例被简化）：

class A
{
    template<typename T>
    const T& getData() const
    {
        static T data;
        return data;
    }
}

我知道data变量没有连接到类的任何实例，并且在程序结束之前一直存在。

但我现在想要的是，A类的每个实例都应该以非静态方式保存变量，并且仍然应该具有调用.getData<bool>()或任何其他数据类型的灵活性，而不是需要在类定义中指定每种可能的数据类型。

这可能吗？我没有想出实现它的想法。

我想到了一个容器，比如：

template<A*, typename T>
class DataContainer
{
    T data;
}

有了这个，可以将代码扩展到：

class A
{
    template<typename T>
    const T& getData() const
    {
        static DataContainer<this, T> container;
        return container.data;
    }
}

但那不会编译。

你们中有谁知道如何实现它？

Answer 1

这是一个想法，使用Boost.any：

#include <typeinfo>
#include <type_index>
#include <unordered_map>
#include <boost/any.hpp>

struct ThingGetter
{
    template <typename T>
    T & get()
    {
        auto key = std::type_index(typeid(T));
        auto it = things.find(key);

        if (it == things.end())
        {
            it = things.emplace(key, boost::any(T())).first;
        }

        return boost::any_cast<T&>(*it);
    }

    std::unordered_map<std::type_index, boost::any> things;
};

这个简单版本假定每个类型都可以进行值初始化，如果不存在所请求类型的条目，则创建一个值初始化值。替代实现可以返回一个可能为null并且具有单独插入接口的指针。

用法：

ThingGetter mythings;

mythings.get<bool>() = true;
mythings.get<double>() = 1.5;
return mythings.get<int>();

非静态成员变量创建，如C ++中的静态单例创建

1 个答案: