如何在C++中基于栈创建无内存分配的临时树？

这个需求太合理了！咱们完全可以借助C++的临时对象、constexpr特性和std::initializer_list来实现一个不需要动态内存分配的内联树结构，直接上方案和代码：

• 用constexpr节点类存储值和子节点列表，全程不需要堆分配
• 依靠std::initializer_list实现可变数量的子节点，避开模板可变参数的复杂度
• 利用C++临时对象的生命周期特性，让树结构仅在表达式范围内临时存在，完美适配“作为函数参数传入”的场景

#include <initializer_list>
#include <cstdint>

// 通用树节点类，支持constexpr构造和可变子节点
template<typename T>
struct TreeNode {
    const T value;
    const std::initializer_list<TreeNode<T>> children;

    // 两种构造方式：叶子节点（仅值）、非叶子节点（值+子节点列表）
    constexpr TreeNode(T val) : value(val), children({}) {}
    constexpr TreeNode(T val, std::initializer_list<TreeNode<T>> kids)
        : value(val), children(kids) {}
};

// 辅助函数（可选）：简化节点创建的语法，让代码更直观
template<typename T>
constexpr TreeNode<T> node(T val) {
    return TreeNode<T>(val);
}

template<typename T>
constexpr TreeNode<T> node(T val, std::initializer_list<TreeNode<T>> kids) {
    return TreeNode<T>(val, kids);
}

完全贴合你想要的内联语法，比如创建“根节点111包含子节点222和333”的临时树，直接作为函数参数传入：

// 示例：处理树的函数
void process_tree(const TreeNode<int>& tree) {
    // 这里可以写遍历、计算等逻辑，比如递归打印节点值
    // std::cout << tree.value << " ";
    // for (const auto& child : tree.children) {
    //     process_tree(child);
    // }
}

int main() {
    // 方式1：创建临时树直接传入函数，无堆分配，生命周期覆盖函数调用
    process_tree(node(111, {node(222), node(333)}));

    // 方式2：编译期创建常量树，完全在编译阶段确定结构
    constexpr auto static_tree = node(111, {node(222), node(333)});
    process_tree(static_tree);

    return 0;
}

• 零动态内存：所有节点都是栈上临时对象或编译期常量，完全不需要new/malloc，没有内存泄漏风险
• constexpr加持：构造函数是constexpr，意味着树结构可以在编译期生成，甚至能作为模板参数使用（如果有需求的话）
• 可变子节点：std::initializer_list天然支持任意数量的子节点，语法简洁，比模板可变参数更容易理解和维护
• 安全的生命周期：临时树作为函数参数时，C++会自动延长其生命周期到函数调用结束，完全不用担心悬垂引用问题

• 不要将临时树的引用存储到全局变量或生命周期更长的对象中，因为std::initializer_list内部的数组是临时的；但作为函数参数、临时表达式使用完全安全
• 该实现要求所有节点的类型一致，如果需要混合类型，可以考虑结合std::variant扩展节点类
• 建议使用C14及以上标准，C11的constexpr有较多限制，可能无法支持部分场景

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