C++14无堆无std环境下，子类继承自动入队的实现难题

希望实现通用代码，让所有继承自类A的子类在构造时自动加入对应队列，无需内存分配，自身成为队列节点。示例如下：

class B : public A { // 构造时自动加入队列
};
class C : public A { // 构造时自动加入队列
};

当前极简实现遇到static头指针phead_的可用性问题，代码如下：

template<typename T>
class Node {
private :
    static T* phead_; // 队列头指针
    T* pNext = nullptr;
    T* pPrev = nullptr;

public:     
    Node(T* AddME) { addToQueue(AddME); } // 将对象加入队列，依赖phead_
};

class A : public Node<A> {
    A() : Node(this) {}
};

核心诉求：确保Node类的static头指针phead_在构造函数运行时已可用，曾尝试通过构造函数传递头指针但担心执行时机问题，也考虑过让队列使用者成为队列成员但并非最优解。环境为无堆、无std库的C++14。

解决方案：利用CRTP+模板static成员特性实现 #

1. 修正CRTP继承与构造逻辑 #

采用**奇异递归模板模式（CRTP）**确保Node类能准确操作子类对象，同时调整访问控制避免非法实例化。

2. 显式初始化模板static成员 #

模板的static成员会在第一次实例化时自动初始化，显式初始化可避免链接错误，且保证构造函数运行时指针已就绪。

3. 实现无堆入队逻辑 #

仅操作对象自身的指针成员，无需额外内存分配，适配无堆环境。

完整代码示例：

template<typename T>
class Node {
private:
    static T* phead_; // 队列头指针
    static T* ptail_; // 维护队尾，优化入队效率
    T* pNext = nullptr;
    T* pPrev = nullptr;

    // 内部入队逻辑
    void addToQueue(T* obj) {
        if (phead_ == nullptr) {
            phead_ = obj;
            ptail_ = obj;
            obj->pNext = nullptr;
            obj->pPrev = nullptr;
        } else {
            // 尾插法入队
            ptail_->pNext = obj;
            obj->pPrev = ptail_;
            obj->pNext = nullptr;
            ptail_ = obj;
        }
    }

protected:
    // 仅允许CRTP子类调用的构造函数
    Node(T* obj) {
        addToQueue(obj);
    }

public:
    // 队列遍历接口
    static T* getHead() { return phead_; }
    static T* getTail() { return ptail_; }

    // 获取节点前后指针
    T* getNext() const { return pNext; }
    T* getPrev() const { return pPrev; }
};

// 显式初始化模板static成员
template<typename T>
T* Node<T>::phead_ = nullptr;

template<typename T>
T* Node<T>::ptail_ = nullptr;

// 基类A，继承Node<A>实现CRTP
class A : public Node<A> {
public:
    A() : Node<A>(this) {}
};

// 子类示例，无需额外代码即可自动入队
class B : public A {};
class C : public A {};

关键说明 #

• CRTP正确性：A继承Node<A>，确保Node中的操作直接作用于A及其子类对象，子类构造时会触发A的构造，进而调用Node的入队逻辑。
• static成员时机：模板static成员phead_/ptail_在第一次实例化Node<A>时（即第一个A或其子类对象构造前）完成初始化，完全满足构造时的可用性要求。
• 无堆适配：所有队列操作仅修改对象自身的指针成员，不涉及new/delete，符合无堆环境限制。
• 访问控制：Node构造函数设为protected，避免直接实例化Node类，确保只有A及其子类能使用队列功能。

补充建议 #

• 若需支持多线程，需为addToQueue添加互斥保护（无std库时可自行实现简单自旋锁）。
• 子类析构时需实现removeFromQueue方法并在A的析构函数中调用，避免队列出现悬垂指针。

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