类中定义模板类成员编译报错，求正确实现方案

C++标准不允许类的非静态数据成员是模板。你在Example类中声明的template <typename Allocator> BaseExample<T, Allocator>* base;违反了这一规则——类实例的内存布局要求成员类型必须是确定的，模板成员意味着成员类型可以任意变化，这不符合编译器对类内存结构的约束。

根据你“构造函数传入Allocator”的需求，提供三种可行方案：

方案1：将Allocator作为Example的类模板参数 #

如果Allocator的类型在编译时就能确定，直接把它加入Example的模板参数列表，让成员类型固定：

#include <memory>

template <typename T, typename Allocator = std::allocator<T>>
struct BaseExample {
  // 成员定义
};

template <typename T, typename Allocator = std::allocator<T>>
class Example {
  BaseExample<T, Allocator>* base;
public:
  // 构造时初始化base
  Example() : base(new BaseExample<T, Allocator>()) {}
  // 析构时释放内存（建议用智能指针替代裸指针）
  ~Example() { delete base; }
};

int main() {
  Example<int, std::allocator<int>> ex;
  return 0;
}

方案2：用多态类型擦除实现动态指定Allocator #

如果需要在运行时动态传入不同的Allocator，可通过非模板基类实现类型擦除：

#include <memory>

// 定义非模板基类，提供统一接口
template <typename T>
struct BaseExampleBase {
  virtual ~BaseExampleBase() = default;
  // 按需添加业务所需的虚函数
};

template <typename T, typename Allocator = std::allocator<T>>
struct BaseExample : BaseExampleBase<T> {
  // 成员定义，可接收Allocator构造
  explicit BaseExample(Allocator alloc) : alloc_(alloc) {}
private:
  Allocator alloc_;
};

template <typename T>
class Example {
  std::unique_ptr<BaseExampleBase<T>> base;
public:
  // 模板构造函数，接收任意Allocator类型
  template <typename Allocator>
  explicit Example(Allocator alloc) {
    base = std::make_unique<BaseExample<T, Allocator>>(alloc);
  }
};

int main() {
  Example<int> ex(std::allocator<int>());
  return 0;
}

这种方案通过基类指针隐藏具体的BaseExample类型，同时保留多态能力，适合需要动态切换Allocator的场景。

方案3：用std::any存储（简单场景可选） #

如果不需要多态接口，仅需存储不同Allocator的BaseExample实例，可使用std::any实现类型擦除：

#include <memory>
#include <any>

template <typename T, typename Allocator = std::allocator<T>>
struct BaseExample {
  // 成员定义
};

template <typename T>
class Example {
  std::any base;
public:
  template <typename Allocator>
  void init(Allocator alloc) {
    base = std::make_unique<BaseExample<T, Allocator>>(alloc);
  }

  // 访问时需显式指定Allocator类型进行转换
  template <typename Allocator>
  BaseExample<T, Allocator>* get_base() {
    return std::any_cast<std::unique_ptr<BaseExample<T, Allocator>>>(&base)->get();
  }
};

int main() {
  Example<int> ex;
  ex.init(std::allocator<int>());
  return 0;
}

注意：这种方案类型安全性较低，访问时必须准确匹配原始的Allocator类型。

内容的提问来源于stack exchange，提问作者Alex