Здравствуйте.

Хочу сложить в контейнер ссылки на несколько типов данных. Но компилятор ругается на конструкцию std::vector<auto&>.

Как я понял, кортежи (std::tuple) требуют в момент компиляции указать размер списка  и не могут быть расширены динамически в процессе работы программы. Так что нужно решение без кортежей.

Для примера сделал некий шаблон и несколько типов на его основе:


Хочу собрать ссылки на объекты в один vector и распечатать его.


Компилятор ругается, мол нельзя использовать тип auto (даже в виде ссылки) при инициализации vector'a.
1>c:\consoleapplication1\consoleapplication1.cpp(16): error C3539: 'auto &': a template-argument cannot be a type that contains 'auto'

Как быть, чтобы реализовать хотелку?

P.S.
Сборка идет в Visual Studio 2012 SP3 с ключем "Microsoft Visual C++ Compiler Nov 2012 CTP (v120_CTP_Nov2012)"

Это сообщение отредактировал(а) neosapient - 11.11.2013, 20:28

Что такое "расширены динамически"?
Либо делай в tuple 6 указателей, или меньше. Либо делай базовый класс с производными для твоих трёх и вектор для этого базового класса

neosapient, вектор это контейнер для одного типа данных, может использовать полиморфизм и хранить нетипизированный указатель, либо указатель на базвый класс как посоветовал akizelokro...
В C++ есть что-то наподобии ArrayList в C#? Но "упаковки"/"распаковки" нет значит и такой коллекции тоже нет..

neosapient, ты не правильно понимаешь auto. Это не волшебный тип, который принимает всё, что угодно. Это просто указатель на то, что ты не хочешь печатать тип самостоятельно, чтобы компилятор сделал это за тебя. Это просто синтаксический сахар(если не брать в расчёт лямбды). Также, вектор может содержать только однородные данные, поэтому даже если бы auto могло бы вычислять типы на лету, ты бы всё равно не мог бы их хранить в векторе.

Решений твоей проблемы существует великое множество: полиморфизм, boost::any, boost::variant и еще куча разных техник, которые уже придуманы и которые еще нет. Я приведу одну, которую не надо долго писать:


Это сообщение отредактировал(а) vinter - 12.11.2013, 10:22

Всем, спасибо, что принимаете участие в обсуждение.
Я уже склоняюсь к тому, чтобы сделать структуру-обертку надо несколькими типами данных + флаг актуального типа. 

Ситуация в следующем: есть набор критериев, определяющих некую норму и отклонения от нормы.

Была мысль воспользоваться кортежем (std::tuple), но, думаю, она провальна. И всё же поделюсь мыслями: 
Для примера, рассмотрим карточку пациента, который прошел комплексное обследование.
Ему заполнили следующие поля
- пульс
- давление верхнее
- давление нижнее
- единицы сахара в крови
- симулянт (тип bool)
- ещё куча параметров, записанных через типы bool, int, INT64, double, std::string

Я не врач, и я не могу грамотно составить списки правил. Врач будет долго разбираться в программировании.
По этому, я хочу с помощью шаблонов предоставить некий мета-код с которым разберется врач.

Сейчас реализацию проекта вижу примерно так. Есть структура типа pacient
Для каждого параметра написать функтор
struct {
    int operator() (pacient& p)
    { return p.davlenie; }
} puls;

struct {
    double operator() (pacient& p)
    { return p.davlenie; }
} sugar;

struct {
    bool operator() (pacient& p)
    { return p.simulant; }
} simulant;

Сделал обертки над std::less<T>, std::greater<T>, std::equal_to<T>
что то вроде
struct {
  std::less<bool> less_bool;
  std::less<int> less_int;
  std::less<INT64> less_int64;
  std::less<double> less_double;
  std::less<std::string> less_string;
  // операции сравнения
  bool operator () (int a, int b)
  { return less_bool(a,b);}
  // и так далее
  bool operator () (std::string a, std::string b)
  { return less_string(a,b);}
} less;



Meta-код должен получиться примерно такой:
auto rules = std::make_tuple (
  check(puls).is(less).than(60).print("у вас медленный пульс!")
  check(puls).is(greater).than(120).print("у вас быстрый пульс!")
  check(sugar).is(greater).than(10).print("у вас высокий сахар в крови!")
  check(simulant).is(equal).to(true).print("Срочно ректальная тонзиллэктомия!")
);

Создавемые check() объекты будут функторами.
В итоге получил объект rules, который хорошо бы сохранить на всё время жизни программы.
И организовать для проверки функцию check_rules(rules, obj_pacient)
где
check_rules(auto &rules, pacient& men)
{
  rules<1>(men);
  rules<2>(men);
  rules<3>(men);
  rules<4>(men);
...
  rules<N>(men);
}

От меня будет только требоваться добавлять строчки rules<N>(men); с увеличением счетчика

P.S.
Думаю, что до меня уже изобретали такой велосипед. Если Да, то поделитесь статьей - ничего подходящего не нашел.

P.P.S.
Позволит ли компилятор записать?: 
struct A{
  auto value;
  A() : value(std::make_tuple (false, 1, "second")) {}
};

погляди boost::variant

Нет, auto переменная всегда должна быть чем-то инициализирована. Из инициализации, собственно, компилятор и возьмет тип который скрывается за auto.

так тоже нельзя.
Ты знаком с шаблонами? Судя по тому, куда ты пытаешься лепить auto, не очень 

Это сообщение отредактировал(а) vinter - 12.11.2013, 12:57

Изучаю нововведения С++11.