函数作为具有默认值的参数

Function as argument with default value

本文关键字：默认值 参数 函数      更新时间：2023-10-16

我想为二叉树创建类：

struct TreeNode {
explicit TreeNode(int _value) : value(_value) {}
int value = 0;
TreeNode* left = nullptr;
TreeNode* right = nullptr;
};
class BTree {
public:
void Add(int value);
void PrintPostOrder(void (*func)() = print_current);
~BTree();
private:
TreeNode* root = nullptr;    
void print_current();
void delete_node();
};
BTree::~BTree() {
PrintPostOrder(delete_node);
}

我的想法——对于析构函数和打印，我需要进行二进制树遍历。所以我想创建函数Traversal，并在其中使用function作为参数：如果我需要打印CCD_ 2并且对于析构函数CCD_。

这里有错误：

void PrintPostOrder(void (*func)() = print_current);

类型为"void(BTree:：((("的默认参数不兼容参数类型为"void((((">

当参数是函数时，我不知道如何设置参数的默认值

print_current和delete_node是成员函数，因此需要一个成员函数指针：

class BTree {
public:
void PostOrder(void (BTree::*fn)() = &BTree::print_current) {
std::invoke(fn, this);
}
~BTree() {
PostOrder(&BTree::delete_node);
}
private:
void print_current();
void delete_node();
};

为了获得更大的灵活性，您可以将PostOrder作为模板：

struct TreeNode {};
class BTree {
public:
template<class Fn>
void PostOrder(Fn fn) { 
std::invoke(fn);
}
void PostOrder() {
PostOrder([this] { print_current(); });
}
~BTree() {
TreeNode* node;
PostOrder([this, node] { delete_node(node); });
}
private:
void print_current();
void delete_node(TreeNode*);
};

原则上，您可以按照自己的方式为函数设置默认参数。问题是成员函数与自由函数的类型不同。

这是一个自由函数指针void (*func)()，而print_current是类型为void (BTree :: ) ()的成员函数。

要么修复参数类型，要么使用一个自由函数作为默认参数。

另外，不要忘记成员函数与自由函数有根本的不同，因为您需要一个实例来调用它们。

相关文章：