0

Я пытаюсь вывести тип поля класса в конструкторе следующим образом:

#include <tuple>

template <size_t k>

struct A {
   int val = k;

   void increment() { val++; }
};

class Container {
   auto data;

public:
   Container() : data(std::make_tuple(A<1>{}, A<2>{}, A<3>{})){ }

   void incrementAll() {
      std::apply([](auto... args){ (args.increment(), ...); }, data);
   }
};

int main() {
    Container c;

    c.incrementAll();
    return 0;
}

при попытке скомпилировать это с помощью GCC 7.2.0 получаю ошибку вида:

error: non-static data member declared with placeholder auto

Инициальзировать поле data как constexpr static нельзя, т.к. кортеж изменяемый.

3
  • В чём проблема указать нужный тип std::tuple? auto в таких случаях язык не позволяет, т.к. может быть несколько мест инициализации члена класса. 2 июл 2019 в 13:22
  • 1
    И? Что там делает auto и зачем оно вам там понадобилось? 2 июл 2019 в 14:02
  • auto чтобы не прописывать std::tuple. Это не тот случай когда тип меняется и логично предположить что должен быть способ это сделать. 2 июл 2019 в 14:25

1 ответ 1

0

Практически, вы пытаетесь определить тип члена data во время выполнения. Но размер типа должен быть известен во время компиляции, потому и во время компиляции должны быть известны типы его членов. Следовательно ваша попытка является ошибкой, тогда как вы смогли бы просто указать его конкретный тип. И, как замечание: метод incrementAll не имеет никаких аргументов и не является шаблонным, поэтому он не может знать какие аргументы принимает лямбда. Так что тут тоже вы изрядно все запутали

11
  • Метод incrementAll может не принимать никаких параметров и не быть шаблонным: (пример) []<typename ...Ts>(Ts&& ...args) { (std::cout << .. << args) << '\n'; }.
    – isnullxbh
    3 июл 2019 в 11:36
  • ваш пример не имеет никакого отношения с тем, что есть в вопросе 3 июл 2019 в 12:00
  • Я сейчас говорю о том, что написали Вы: метод incrementAll не имеет никаких аргументов и не является шаблонным, поэтому он не может знать какие аргументы принимает лямбда. При чем здесь метод incrementAll?
    – isnullxbh
    3 июл 2019 в 12:17
  • насчёт метода incrementAll(): вы знаете более деликатный способ обойти кортеж и вызвать функцию increment? 3 июл 2019 в 14:22
  • @ARHovsepyan, если Вам не сложно - укажите на ошибку в приведенном мною примере. Пример: wandbox.org/permlink/TkDPrJ7pqFJoUvNt
    – isnullxbh
    3 июл 2019 в 17:08

Ваш ответ

Нажимая на кнопку «Отправить ответ», вы соглашаетесь с нашими пользовательским соглашением, политикой конфиденциальности и политикой о куки

Всё ещё ищете ответ? Посмотрите другие вопросы с метками или задайте свой вопрос.