Распаковка вариативного шаблона на C++ в кортеж для доступа к параметрам с помощью структурированной привязки. ⇐ C++

[Anonymous]

У меня есть класс с переменными параметрами шаблона, и я пытаюсь написать функцию-член, которая распаковывает параметры в кортеж, чтобы я мог использовать структурированную привязку для доступа к отдельным параметрам.

Код: Выделить всё

#include 
#include 
#include 
#include 
#include 

struct TypeErasedParameter
{
private:
const std::string m_strId;

protected:
TypeErasedParameter(std::string id) : m_strId(id) {}

public:
const std::string & GetId()
{
return m_strId;
}

template 
T& GetValue();
};

template 
struct Parameter : public TypeErasedParameter
{
T parameterValue;

Parameter(const std::string id, T value) : TypeErasedParameter(id), parameterValue(value) {}
};

template 
T& TypeErasedParameter::GetValue()
{
return dynamic_cast
*>(this)->parameterValue;
}

// ParameterPack is basically a container that stores a bunch of TypeErasedParameters
struct ParameterPack
{
std::map m_mapParamsById;

template
ParameterType& GetParameter(const std::string& strParamName)
{
return m_mapParamsById.at(strParamName)->GetValue();
}
};

template 
struct ParameterUnpacker
{
public:
std::vector m_vecIds;

ParameterUnpacker(std::vector vecIds) : m_vecIds(vecIds)   {}

const std::vector& GetIds()
{
return m_vecIds;
}

template
std::tuple UnpackParametersHelper( ParameterPack& parameters, std::index_sequence)
{
const auto& vecIds = GetIds();
// TODO: Return a tuple of the parameters by matching the Ids with the Is order of the parameters
return std::make_tuple< Args& ...>((parameters.GetParameter(vecIds.at(Is))) ...);
}

std::tuple UnpackParameters( ParameterPack& parameters)
{
// parameters contains as many Ids and types as Args...
return UnpackParametersHelper(parameters, std::index_sequence_for{});
}
};

int main(int argc, char* argv[])
{
ParameterPack paramPack;
paramPack.m_mapParamsById["doubleParam"] = std::make_unique("doubleParam", 2.245);
paramPack.m_mapParamsById["intParam"] = std::make_unique("intParam", 5);

ParameterUnpacker unpacker({ "doubleParam" , "intParam" });
auto[doubleparamout, intparamout] = unpacker.UnpackParameters(paramPack);
return 0;
}

Изменить:
При попытке компиляции я получаю следующую ошибку:
"не удалось преобразовать 'std::make_tuple(_Elements&& ...) [with _Elements = {double&, int&}]((* &(& параметры)->ParameterPack::GetParameter((* &(& vecIds)->std::vectorstd::__cxx11::basic_string::at(1 )))))' из 'tuple' в 'tuple'
return std::make_tuple< Args& ...>((parameters.GetParameter(vecIds.at(Is))) ...);"
Спасибо @n. м. может быть искусственный интеллект.
Я добавил более краткий и удобный пример с сообщением об ошибке, см.
http://coliru.stacked-crooked.com/a/e832f7f9c1994d7e
Заранее большое спасибо, дайте мне знать, если вам понадобится дополнительная информация!

Подробнее здесь: https://stackoverflow.com/questions/781 ... he-paramet