问题描述：冗余的类别树结构
在构建如电商网站或文档管理系统中的类别树时，我们常常会遇到这样的情况：某些类别节点可能不直接包含任何内容，但它们作为父级，其下属的子类别或更深层的子孙类别却可能包含实际关联的内容。理想情况下，我们希望清理掉那些既没有自身内容，其所有子孙类别也都没有内容的“空”路径，只保留那些最终能导向实际内容的类别路径。
考虑以下PHP数组表示的类别树结构示例：
[uid_of_category]
=> (array)content // 关联内容
=> empty // 可能为空
=> (array)sub_categories // 子类别数组
=> [uid_of_category]
=> (array)content
=> empty
=> (array)sub_categories
=> [uid_of_category]
=> (array)content
=> [...associated content...] // 有内容
=> (array)sub_categories
[uid_of_category]
=> (array)content
=> empty
=> (array)sub_categories
=> [uid_of_category]
=> (array)content
=> [...associated content...]
=> (array)sub_categories
=> [uid_of_category]
=> (array)content
=> empty
=> (array)sub_categories
=> [uid_of_category]
=> (array)content
=> [...associated content...]
=> (array)sub_categories
...我们的目标是：如果一个类别自身没有内容，并且其所有子类别（包括更深层的子孙类别）也都没有内容，那么这个类别及其所有空子孙都应该从树中移除。反之，即使一个类别自身没有内容，但只要它有一个子类别（或子孙类别）包含内容，那么这个类别就应该被保留，因为它构成了通向有效内容的路径。
解决方案：递归双函数策略
解决此类树结构清理问题的最佳方法是利用递归。为了更好地分离职责和提高代码可读性，我们可以采用两个独立的递归函数来协同完成任务：一个函数用于判断某个类别是否“可清理”（即是否应该被移除），另一个函数则负责遍历并执行实际的清理操作。
1. 判断类别可清理性：isCleanable 函数
isCleanable 函数的职责是确定一个给定的类别是否满足被清理（即移除）的条件。它的逻辑是：如果一个类别自身没有内容，并且它的所有子类别（递归地）也都没有内容，那么它就是可清理的。
立即学习“PHP免费学习笔记（深入）”；
/**
* 判断一个类别是否可以被清理（即移除）。
* 一个类别可清理的条件是：自身没有内容，并且其所有子类别（递归地）也都没有内容。
*
* @param array $category 待检查的类别数组
* @return bool 如果类别可清理则返回 true，否则返回 false。
*/
function isCleanable($category)
{
// 如果类别自身包含内容，则它不可清理，因为它是一个有效路径的终点。
if (!empty($category['content'])) {
return false;
}
// 如果类别没有内容，则检查其子类别。
// 遍历所有子类别，如果其中任何一个子类别不可清理（即它或其子孙有内容），
// 那么当前类别也就不应该被清理，因为它是一个通向有效内容的路径。
foreach ($category['sub_categories'] as $subCategory) {
if (!isCleanable($subCategory)) {
return false;
}
}
// 如果类别自身没有内容，且所有子类别（递归地）都可清理（即都为空），
// 那么当前类别就是可清理的。
return true;
}逻辑解析：
- 基线条件： 首先检查当前类别自身的content字段。如果content不为空，这意味着该类别直接关联了内容，因此它不应该被清理，函数立即返回false。
-
递归检查： 如果当前类别自身没有内容，则遍历其sub_categories。对于每一个子类别，递归调用isCleanable函数。
- 如果发现任何一个子类别调用isCleanable后返回false（即该子类别不可清理，因为它或其子孙有内容），那么当前的父类别也必须被保留，因为它构成了通向该有内容子类别的路径。此时，函数返回false。
- 最终判断： 只有当当前类别自身没有内容，并且其所有子类别（递归地）都返回true（表示它们都是可清理的空类别）时，当前类别才被判定为可清理，函数返回true。
2. 执行类别清理：cleanCategories 函数
cleanCategories 函数负责遍历整个类别树，并根据isCleanable函数的判断结果，移除那些符合清理条件的类别。
/**
* 递归清理类别树，移除自身无内容且其所有子孙类别也无内容的类别。
*
* @param array &$categories 待清理的类别数组，通过引用传递以便直接修改。
*/
function cleanCategories(&$categories)
{
// 遍历当前层级的类别
foreach ($categories as $key => &$category) { // 注意：$category 也通过引用传递，以便修改其子类别
// 调用 isCleanable 判断当前类别是否应该被移除
if (isCleanable($category)) {
// 如果可清理，则从数组中移除该类别
unset($categories[$key]);
} else {
// 如果不可清理（即它或其子孙有内容），则递归处理其子类别
// 确保其子类别数组存在且为数组类型，避免对非数组类型进行递归调用
if (isset($category['sub_categories']) && is_array($category['sub_categories'])) {
cleanCategories($category['sub_categories']);
}
}
}
}逻辑解析：
- 传引用： cleanCategories函数接收$categories参数时使用了引用传递（&$categories）。这是至关重要的，因为它允许函数直接修改原始的类别数组，从而实现元素的移除。
- 遍历与判断： 函数遍历当前层级的所有类别。对于每个类别，它首先调用isCleanable函数来判断该类别是否应该被移除。
-
移除或递归：
- 如果isCleanable($category)返回true，表示该类别是可清理的空类别，那么使用unset($categories[$key])将其从数组中移除。
- 如果isCleanable($category)返回false，表示该类别不应被移除（因为它自身有内容或其子孙有内容），那么函数会递归调用cleanCategories($category['sub_categories'])来处理其子类别，确保子类别树也被正确清理。这里增加了对sub_categories存在性和类型检查，以增强健壮性。
使用示例
要使用上述函数清理您的类别树，只需将您的顶级类别数组传递给cleanCategories函数即可：
// 假设 $myCategoryTree 是您原始的类别树数据
$myCategoryTree = [
// ... 您的类别数据，如问题描述中的结构 ...
'category_1' => [
'content' => [], // 空内容
'sub_categories' => [
'sub_cat_1_1' => [
'content' => [], // 空内容
'sub_categories' => []
],
'sub_cat_1_2' => [
'content' => ['item_A', 'item_B'], // 有内容
'sub_categories' => []
]
]
],
'category_2' => [
'content' => [], // 空内容
'sub_categories' => [
'sub_cat_2_1' => [
'content' => [], // 空内容
'sub_categories' => [
'sub_sub_cat_2_1_1' => [
'content' => [], // 空内容
'sub_categories' => []
]
]
]
]
],
'category_3' => [
'content' => ['item_C'], // 有内容
'sub_categories' => []
]
];
echo "清理前：\n";
print_r($myCategoryTree);
cleanCategories($myCategoryTree);
echo "\n清理后：\n";
print_r($myCategoryTree);预期输出分析：
- category_1：自身无内容，但sub_cat_1_2有内容，所以category_1及其sub_cat_1_2会被保留，sub_cat_1_1会被移除。
- category_2：自身无内容，sub_cat_2_1也无内容，sub_sub_cat_2_1_1也无内容。因此，category_2及其所有子孙都将被移除。
- category_3：自身有内容，所以会被保留。
最终的$myCategoryTree将只包含category_1（及其sub_cat_1_2）和category_3。
注意事项与最佳实践
- 传引用 (&) 的重要性： 在cleanCategories函数中，$categories和循环变量$category都使用了引用传递。这是实现原地修改数组的关键。如果没有引用，函数将操作数组的副本，原始数组不会被修改。
- 递归深度： 对于非常深的类别树，需要注意PHP的默认递归深度限制。通常情况下，对于一般的类别树，这不是问题。但如果树的深度可能达到数千层，可能需要调整PHP配置（xdebug.max_nesting_level或memory_limit）或考虑非递归的迭代解决方案。
- 性能考量： 这种双函数递归的方法清晰且易于理解。对于大型数据集，可以探索更优化的方案，例如一次遍历完成判断和清理，但通常这种方案已能满足大部分需求。
- 通用性： 这种递归清理的模式不仅适用于类别树，也可以应用于任何类似的嵌套结构，只要定义好“可清理”的条件即可。
- 数据结构一致性： 确保输入数据结构严格遵循预期的['content' => ..., 'sub_categories' => [...]]格式。否则，可能需要添加额外的错误处理或类型检查。
总结
通过isCleanable和cleanCategories这两个协同工作的递归函数，我们能够高效且清晰地清理复杂的类别树结构。这种方法确保了只有那些真正有内容或通向有内容节点的路径才会被保留，从而优化了数据结构，使其更加精简和符合业务逻辑。理解并熟练运用递归是处理树形或嵌套数据结构的关键技能，它能帮助我们以优雅的方式解决复杂问题。
