如何在没有 T() 的情况下为泛型类分配内存

Question

我有一个类，我想编写一个通用的排序列表，我们可以将它与该类一起使用：

class A
{
 int n;
 public:
  A(int n):n(n){}
};

这就是我想如何做我的排序列表类

template <class T>
class SortedList
 {
  T* data;
  int size;
  int max_size;
  void expand();
  static const int EXPAND_RATE=2;
  static const int INITIAL_SIZE=10;
public:
SortedList();
};
template <class T>
SortedList<T>::SortedList():data(new T[INITIAL_SIZE]),size(0),max_size(INITIAL_SIZE){}
//                                  ^^^ here we need a T() 

现在的问题是 A 类没有像这样的 c'tor A() 有没有人知道如何在不需要A() 的情况下编写 sortedlist 类？？

PS：有些人建议用T data 和next 做节点，但我看不出我该怎么做，这有什么帮助？因为我们仍然需要T()

编辑：我现在尝试这样做：

template <class T>
class SortedList
 {
  T** data;
// ^^
  int size;
  int max_size;
  void expand();
  static const int EXPAND_RATE=2;
  static const int INITIAL_SIZE=10;
public:
SortedList();
};
template <class T>
SortedList<T>::SortedList():data(new T*[INITIAL_SIZE]),size(0),max_size(INITIAL_SIZE){}

现在我遇到了这个函数的另一个问题：

void SortedList<T>::insert(const T& object)
{
 if(size>=max_size)
 {
     expand();
 }
 int index=0;
 for(int i=0;i<size;i++)
 {
  T item=*data[i];
// when I try to print item nothing goes out
  if(item<object)
//      ^^^ here I get a segmentation fault
  {
    continue;
  }
  index=i;
  break;
 }
 size++;
 for (int i = size-1; i >index; i--)
 {
  data[i]=data[i-1]; 
 }
 T Item(object);
 T* ptr= &Item;
 data[index]=ptr;
 //when I print *data[index] it does get printed perfectly
}

Answer 1

有没有人知道如何在不需要 A() 的情况下编写 sortedlist 类？？

• 选项 1：分别为每个元素分配内存。换句话说，使用基于节点的数据结构，例如链表。

• 选项 2：将内存分配与对象的创建分开。这可以通过使用std::allocator 分配内存和std::construct_at 创建对象来实现（在C++20 之前使用placement-new）。这就是std::vector等动态数组类数据结构的实现方式。

附：手动内存管理具有挑战性。如果您尝试在没有深入研究该主题的情况下这样做，您很可能会编写一个损坏的程序。