Question

假设有一个具有默认值的函数：

int foo(int x=42);

如果其他人这样叫：

int bar(int x=42) { return foo(x); }
int moo(int x=42) { return bar(x); }

这当然只是一个人为的例子。但是，我有时情况非常相似。该参数仅从最高级别（moo）传递到最低级别，并且仅在实际使用的位置传递。关于这一点的坏处是，当我将foo更改为具有不同于42的默认值时，我将不得不搜索所有调用者并相应地更改默认值。

是否有一些模式/成语可以避免这种情况？

我想到的唯一简单的解决方案是

int bar()      { return foo(); }
int bar(int x) { return foo(x); }

然而，由于我有点懒，而且在实际代码中这会导致相当多的代码重复，我想避免这种情况。

Answer 1

我建议在下面选择以下两个选项之一（正如您在其他答案中看到的那样 - 有更多可能的解决方案）。

重载您的功能
定义常量

因此，选项1如下所示：

int foo(int x=42);
int bar(int x) { return foo(x); }
int moo(int x) { return bar(x); }
int bar() { return foo(); }
int moo() { return bar(); }

而且，选项2会更短一些：

constexpr int FOO_DEFAULT = 42;
int foo(int x=FOO_DEFAULT);
int bar(int x=FOO_DEFAULT) { return foo(x); }
int moo(int x=FOO_DEFAULT) { return bar(x); }

对于具有少量默认值（例如一个默认值）的情况，我使用选项-1，对于具有相当多默认值的情况，我使用选项-2 - 例如foo(int a, int b = 3, std::string c = "wow", float pi = 3.14)

Answer 2

您可以通过以下方式避免重复：

template<typename... T>
  auto bar(T&&... t) { return foo(std::forward<T>(t)...); }

但这不是改进恕我直言。只是停止延迟并定义在没有提供参数时调用foo()的重载。

Answer 3

实用的一般解决方案包括：

使用Optional_类作为参数，例如boost::optional或DIY等效词。
命名默认值（并使用包装函数定义中的名称）。
重载每个包装函数，正如您在问题中所示。
只需重复包装函数定义中的默认值，但这会破坏DRY原则，不要重复。

在comment else-thread中，Tobi提出了一个定义为

的包装器asdf的情况

int asdf(int x=42,int y=42){ return foo(x)+foo(y);}

使用Optional_类：

auto foo( Optional_<int> x)
    -> int
{ return (x.is_empty()? 42 : x.value()); }

auto asdf( Optional_<int> x = {}, Optional_<int> y = {} )
    -> int
{ return foo( x ) + foo( y ); }

使用命名的默认值：

int const foo_default = 42;

auto foo( int x = foo_default )
    -> int
{ return x; }

auto asdf( int x = foo_default, int y = foo_default )
    -> int
{ return foo( x ) + foo( y ); }

使用重载：

auto foo( int x = 42 )
    -> int
{ return x; }

auto asdf()
    -> int
{ return foo() + foo(); }

auto asdf( int x )
    -> int
{ return foo( x ) + foo(); }

auto asdf( int x, int y )
    -> int
{ return foo( x ) + foo( y ); }

值得注意的是，asdf无法轻易定义为转发其参数的函数模板。而且，这样的模板不能容易地在单独的翻译单元中定义，并且不能获取其地址。由于这些原因，我没有在子弹列表中包含这种可能的解决方案：它非常有限，而不是一般的解决方案。

如何处理（深层）嵌套函数调用中的默认值？

3 个答案: