我有一个接受两个参数的函数。第一个形参是int&函数将其设置为某个"返回"值。第二个参数是一个指针,是可选的。如果调用者希望初始化指针,可以传递一个有效的指针,否则默认值为nullptr。
void find_lis(uint32_t& count,
vector<uint32_t>* output = nullptr)
{ }
一切都好。但是,我想让第二个参数成为引用,并允许调用者提供相同的选项,我应该使用什么作为默认值?
void find_lis(uint32_t& count,
vector<uint32_t>& output = ???)
{ }
我尝试了一些东西,但它们会导致编译器错误。但是,下面的代码至少可以编译,但我不确定它是否正确?
void find_lis(uint32_t& count,
vector<uint32_t>& output = *(new vector<uint32_t>()))
{ }
在指针的情况下,通过比较value和nullptr,可以很容易地检查调用者是否传入了第二个形参。然而,在参考案例中,我没有看到任何这样简单的检查。
如果函数的实现不是过于复杂,我建议创建两个重载函数。
void find_lis(uint32_t& count)
{
count = 0; // ???
}
void find_lis(uint32_t& count,
vector<uint32_t>& output)
{
// Proper implementation
}
另一种选择:
void find_lis(uint32_t& count)
{
// I'm guessing this will work. May be not.
static vector<uint32_t> dummy;
find_lis(count, dummy);
}
void find_lis(uint32_t& count,
vector<uint32_t>& output)
{
// Proper implementation
}
更新,回应OP
使用:
void find_lis_private(uint32_t& count,
vector<uint32_t>& output,
bool update)
{
// Proper implementation
}
void find_lis(uint32_t& count)
{
static vector<uint32_t> dummy;
find_lis_private(count, dummy, false);
}
void find_lis(uint32_t& count,
vector<uint32_t>& output)
{
find_lis_private(count, output, true);
}
一个更好的选择是使用:
template <typename UpdateFunction>
void find_lis_private(uint32_t& count,
vector<uint32_t>& output,
UpdateFunction fun)
{
// Proper implementation
// call fun() with the necessary arguments when it's time
// to update.
}
void find_lis(uint32_t& count)
{
static vector<uint32_t> dummy;
find_lis_private(count, dummy, [](args...) {/* Empty function */});
}
void find_lis(uint32_t& count,
vector<uint32_t>& output)
{
find_lis_private(count, output, [=output](args...) {/* Update output */});
}
然后,您不必使用if
/else
块来更新
如果您真的想将临时值绑定到左值引用,您可以使用辅助函数将右值转换为左值:
template <class T>
T& lvalue_cast(T&& t)
{
return t;
}
void find_lis(uint32_t& count,
std::vector<uint32_t>& output = lvalue_cast(std::vector<uint32_t>()))
{
}