Класс, который содержит список себе

Question

Это то, что я пытаюсь сделать (в моем файле заголовка):

#include <forward_list> 

class Data { 
public: 
     Data(int type, union data value); 
     int which_type(); 
     void set_int(const int& i); 
     void set_list(std::forward_list<Data*>& l); 
     int get_int(); 
     std::forward_list<Data*>* get_list(); 
private: 
     union data actual_data; 
     int type; 
}; 

union data { 
     int i; 
     std::forward_list<Data*> l; 
}; 

Если бы все было работать должным образом, это может создать класс, который может содержать целое число или список, и он будет как можно более безопасным по типу, потому что я бы назвал функцию who_type перед каждым вызовом одной из функций get, а функции get будут генерировать исключение, если объект не является правильным типом.

Однако это невозможно, потому что Data нуждается в union data, а union data нуждается в forward_list<Data*>. Я считаю, что у boost есть то, что я ищу, но есть ли способ сделать это без повышения? Я бы просто использовал стандартную библиотеку, чтобы больше узнать о стандартной библиотеке C++.

Answer 1

Все, что вам нужно, это переслать объявление class Data, а затем объявить union data перед объявлением class Data.

#include <forward_list> 


class Data; 
union data { 
     int i; 
     std::forward_list<Data*> l; 
}; 


class Data { 
public: 
     Data(int type, union data value); 
     int which_type(); 
     void set_int(const int& i); 
     void set_list(std::forward_list<Data*>& l); 
     int get_int(); 
     std::forward_list<Data*>* get_list(); 
private: 
     union data actual_data; 
     int type; 
}; 

Компиляция с g ++ и clang ++ без проблем.

Answer 2

Члены класса могут не быть неполными типами классов (хотя они могут быть указателями или ссылками на такие типы). Поэтому вам нужно определить union data, прежде чем вы сможете объявить его членом в Data. Это просто:

class Data { 
public: 
     Data(int type, union data value); 
     int which_type(); 
     void set_int(const int& i); 
     void set_list(std::forward_list<Data*>& l); 
     int get_int(); 
     std::forward_list<Data*>* get_list(); 
private: 
     union data { 
      int i; 
      std::forward_list<Data*> l; 
     } actual_data; 
     int type; 
}; 

Другим решением является определение союза первых,, так как он не нуждается в Data класс, чтобы быть полным, поскольку он использует только указатель на него.

union data { 
    int i; 
    std::forward_list<class Data*> l; 
}; 

class Data { 
public: 
     Data(int type, union data value); 
     int which_type(); 
     void set_int(const int& i); 
     void set_list(std::forward_list<Data*>& l); 
     int get_int(); 
     std::forward_list<Data*>* get_list(); 
private: 
     data actual_data; 
     int type; 
};