C++ Lambda捕获局部变量报错：无法转换为void(*)(TreeNode*)函数指针

错误原因 #

带捕获的Lambda无法隐式转换为普通函数指针。普通函数指针void (*)(TreeNode *)不携带任何状态，而你使用的Lambda捕获了局部变量totalWordCount和totalWordFrequencies，本质是一个带有成员变量的函数对象，两者类型不兼容，因此编译器报错。

方案一：将inorderTraversal改为模板函数（推荐） #

修改遍历函数为模板，支持任意可调用对象（包括带捕获的Lambda），编译期自动推导类型，性能无损耗：

template<typename VisitFunc>
void AVLTree::inorderTraversal(TreeNode *tNode, VisitFunc visit) {
    if (tNode == nullptr) {
        return;
    }
    inorderTraversal(tNode->left, visit);
    visit(tNode);
    inorderTraversal(tNode->right, visit);
}

原printStandartDeviation中的Lambda代码无需修改，直接即可使用。

方案二：使用std::function包装可调用对象 #

如果不想用模板，可以用std::function统一包装Lambda、函数对象或普通函数，需要包含<functional>头文件：

#include <functional>

void AVLTree::inorderTraversal(TreeNode *tNode, std::function<void(TreeNode*)> visit) {
    if (tNode == nullptr) {
        return;
    }
    inorderTraversal(tNode->left, visit);
    visit(tNode);
    inorderTraversal(tNode->right, visit);
}

原Lambda代码保持不变，std::function会自动处理带捕获的Lambda，缺点是相比模板有轻微的运行时开销。

方案三：C风格回调+上下文指针（无Lambda/模板方案） #

通过额外的void*参数传递状态，手动处理类型转换，适合不依赖STL的场景：

// 修改遍历函数，增加上下文参数
void AVLTree::inorderTraversal(TreeNode *tNode, void (*visit)(TreeNode*, void*), void* context) {
    if (tNode == nullptr) {
        return;
    }
    inorderTraversal(tNode->left, visit, context);
    visit(tNode, context);
    inorderTraversal(tNode->right, visit, context);
}

// 定义统计回调函数
void collectWordStats(AVLTree::TreeNode* tNode, void* context) {
    auto* stats = static_cast<std::pair<int, int>*>(context);
    stats->first++;
    stats->second += tNode->frequency;
}

void AVLTree::printStandartDeviation() {
    std::pair<int, int> stats{0, 0};
    inorderTraversal(root, collectWordStats, &stats);
    int totalWordCount = stats.first;
    int totalWordFrequencies = stats.second;
    // 后续计算标准差逻辑
}

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