шаблон мета-программирования как специализироваться на коллекции

Question

У меня есть следующий класс шаблона UtlSharedIPCWrapper, который я создал, доступ к определенному пользователю типу, который помещается в память между процессами.

Обычно этот класс используется с помощью простого типа, например:

// construct a FaultReport - default to no faults 
auto faultWrapper = managed_shm.construct< 
    UtlSharedIPCWrapper<uint64_t>>("FaultReport")(0); 

и это работает хорошо, но я недавно имел необходимость использовать повышающий общий сбор карты памяти (boost::interprocess::map) в качестве аргумента шаблона) как в:

using char_allocator = boost::interprocess::managed_shared_memory::allocator<char>::type; 
using shm_string = boost::interprocess::basic_string<char, std::char_traits<char>, char_allocator>; 
using KeyType = shm_string; 
using ValueType = std::pair<const KeyType, shm_string>; 
using ShmemAllocator = boost::interprocess::allocator<ValueType, boost::interprocess::managed_shared_memory::segment_manager>; 
using SharedMemoryMap = boost::interprocess::map<shm_string, shm_string, std::less<KeyType>, ShmemAllocator>; 

... 

// create a new shared memory segment 2K size 
managed_shared_memory managed_shm(open_only, "sharedmemname"); 

//Initialize the shared memory STL-compatible allocator 
ShmemAllocator alloc(managed_shm.get_segment_manager()); 

auto pSharedNVPairs = managed_shm.find<UtlSharedIPCWrapper< 
    SharedMemoryMap>>("NameValuePairs").first; 

мой вопрос, как я могу изменить определение класса шаблона ниже, чтобы передать типы коллекций :: значения в качестве параметров, а не отдельно чтения всей карты в качестве одной операции через pSharedNVPairs->getSharedData() обновление т emporary map и снова записать его в общую память через pSharedNVPairs->setSharedData(*pSharedNVPairs). Я знаю, что это будет отличаться для типов, которые не являются коллекциями, и поэтому нужно будет выполнить некоторую магическую метапрограммирование макета, которая делает выборочное включение, если и т. Д., Но я хотел бы, чтобы в мой класс был добавлен метод, похожий на

// I don't know the correct signature here 
void setSharedDataValue(const T::value_type& rSharedDataValue) { 
    boost::interprocess::scoped_lock<upgradable_mutex_type> lock(mMutex); 
    ... not sure what to do here to update the collection 
} 

template<typename T> 
struct UtlSharedIPCWrapper { 
private: 
    using upgradable_mutex_type = boost::interprocess::interprocess_upgradable_mutex; 

    mutable upgradable_mutex_type mMutex; 
    /*volatile*/ T mSharedData; 
public: 
    // explicit constructor used to initialize directly from existing memory 
    explicit UtlSharedIPCWrapper(const T& rInitialValue) 
     : mSharedData(rInitialValue) 
    {} 

    T getSharedData() const { 
     boost::interprocess::sharable_lock<upgradable_mutex_type> lock(mMutex); 
     return mSharedData; 
    } 

    void setSharedData(const T& rSharedData) { 
     boost::interprocess::scoped_lock<upgradable_mutex_type> lock(mMutex); 
     // update the shared data copy mapped - scoped locked used if exception thrown 
     // a bit like the lock guard we normally use 
     this->mSharedData = rSharedData; 
    } 
}; 

Answer 1

Почему просто не

// I don't know the correct signature here 
void setSharedDataValue(const typename T::value_type& rSharedDataValue)  { 
    boost::interprocess::scoped_lock<upgradable_mutex_type> lock(mMutex); 
    mSharedData.insert(rSharedDataValue); 
}