Использование класса с конструктором в качестве параметра типа в экземпляре шаблона в c ++

Question

В C ++ (14) у меня есть шаблонный класс с типом T, для которого я хотел бы использовать класс в качестве типа. Класс, который я хочу использовать для типа, требует параметра в своем конструкторе ... так как мне передать этот параметр через создание шаблона?

Мой пример кода (template_hell. cpp):

#include <iostream>

template <typename T>
class my_template
{
public:
  struct Stored_Data_Type
  {
    T data;
    int set_count = 0;
  };

  my_template() : m_data() {};

  T& write()
  {
    m_data.set_count++;
    return m_data.data;
  }

  const T& get() const {return m_data.data;}

private:
  Stored_Data_Type m_data;
};

class a_class
{
public:

  a_class(int init): m_data(init) {};

  void set(const int data) {m_data = data;};

  const int get() const {return m_data;};

private:
  int m_data;
};

class b_class : public a_class
{
public:
  b_class(): a_class{0} {};
};

int main()
{
  //a_class b(1);
  b_class b;
  b.set(2);
  std::cout << "b: " << b.get() << std::endl;

  my_template<int> my_int;
  my_int.write() = 10;
  std::cout << "my_int: " << my_int.get() << std::endl;

  my_template<b_class> my_b;
  my_b.write().set(2);
  std::cout << "my_b: " << my_b.get().get() << std::endl;

  // Compile error here:
  my_template<a_class> my_a;
  my_a.write().set(3);
  std::cout << "my_a: " << my_a.get().get() << std::endl;
}

Все это работает и работает до тех пор, пока я не добавлю экземпляр шаблона my_a. Затем я получаю эту ошибку компиляции:

template_hell.cpp: In instantiation of 'my_template<T>::my_template() [with T = a_class]':
template_hell.cpp:62:24:   required from here
template_hell.cpp:13:26: error: use of deleted function 'my_template<a_class>::Stored_Data_Type::Stored_Data_Type()'
   my_template() : m_data() {};
                          ^
template_hell.cpp:7:10: note: 'my_template<a_class>::Stored_Data_Type::Stored_Data_Type()' is implicitly deleted because the default definition would be ill-formed:
   struct Stored_Data_Type
          ^~~~~~~~~~~~~~~~
template_hell.cpp:7:10: error: no matching function for call to 'a_class::a_class()'
template_hell.cpp:31:3: note: candidate: a_class::a_class(int)
   a_class(int init): m_data(init) {};
   ^~~~~~~
template_hell.cpp:31:3: note:   candidate expects 1 argument, 0 provided
template_hell.cpp:27:7: note: candidate: constexpr a_class::a_class(const a_class&)
 class a_class
       ^~~~~~~
template_hell.cpp:27:7: note:   candidate expects 1 argument, 0 provided
template_hell.cpp:27:7: note: candidate: constexpr a_class::a_class(a_class&&)
template_hell.cpp:27:7: note:   candidate expects 1 argument, 0 provided

Как передать параметр a_class через экземпляр шаблона? Разве это не возможно?

Answer 1

Вы передаете a_class в качестве параметра шаблона в класс шаблона my_template и, поскольку внутри my_template class Stored_Data_Type m_data; есть объект следующего struct

struct Stored_Data_Type {
    a_class data;
    int set_count = 0;
};

m_data элемент по умолчанию создается с

my_template() : m_data() {}

, который пытается вызвать конструктор по умолчанию a_class, который вы не определили.

Поэтому вам просто нужно определить конструктор по умолчанию для вашего a_class класс:

class a_class {
public:
    a_class()
        : m_data{0}
    {}

    // ...
};

Чек живой пример

Answer 2

Вы можете использовать аргументы Variadi c. См. https://en.cppreference.com/w/cpp/language/parameter_pack. Это позволяет нам пересылать любые аргументы в StoredDataType, которые передаются нашим шаблонам my_template class

Variadi c, которые позволяют нам писать классы / методы, которые принимают произвольное количество аргументов в типе -безопасный способ и все логики обработки аргументов c разрешены во время компиляции, а не во время выполнения

#include <iostream>

template <typename T>
class my_template
{
public:
  struct Stored_Data_Type
  {
      template<typename... TArgs>
      Stored_Data_Type(TArgs&&... args) : data(std::forward<TArgs>(args)...)
      {

      }

    T data;
    int set_count = 0;
  };

  template<typename... TArgs>
  my_template(TArgs&&... args) : m_data(std::forward<TArgs>(args)...) {}

  T& write()
  {
    m_data.set_count++;
    return m_data.data;
  }

  const T& get() const {return m_data.data;}

private:
  Stored_Data_Type m_data;
};

class a_class
{
public:

  a_class(int init): m_data(init) {};

  void set(const int data) {m_data = data;};

  const int get() const {return m_data;};

private:
  int m_data;
};

class b_class : public a_class
{
public:
  b_class(): a_class{0} {};
};

int main()
{
  //a_class b(1);
  b_class b;
  b.set(2);
  std::cout << "b: " << b.get() << std::endl;

  my_template<int> my_int;
  my_int.write() = 10;
  std::cout << "my_int: " << my_int.get() << std::endl;

  my_template<b_class> my_b;
  my_b.write().set(2);
  std::cout << "my_b: " << my_b.get().get() << std::endl;

  // Compile error here:
  my_template<a_class> my_a(1);
  std::cout << "my_a: " << my_a.get().get() << std::endl;
}