忽略函数默认参数

Question

对于这段简化的代码，我收到以下错误：

错误：参数太少而无法运行 std::cout

int g(int a = 2, int b = 1)
{
    return a + b;
}

template<class Func>
void generic(Func f)
{
    std::cout << f();
}

int main()
{
    generic(g);
}

我不知道为什么函数 f 的默认参数没有传递给函数 generic 的原因。它的行为就像 f 没有任何默认参数...

怎么了？

如何正确转发默认参数？

Answer 1

g 可能有默认参数，但是&g 的类型仍然是int(*)(int, int)，这不是可以不带参数调用的类型。在generic 中，我们无法区分——我们已经失去了关于默认参数的上下文。

您可以将 g 包装在 lambda 中以保留上下文：

generic([]{ return g(); });

Answer 2

我认为此代码的错误消息很好地说明了为什么这是不可能的：

int g(int a=0,int b=0){return 0;}

typedef int (*F1)(int);

int main() {
    F1 x = g;
}

error: cannot initialize a variable of type 'F1' (aka 'int (*)(int)') with
an lvalue of type 'int (int, int)': different number of parameters (1 vs 2)
    F1 x = g;
       ^   ~

即使使用默认参数，g 的类型仍然是

int (*) (int,int)

这就是你实例化模板时得到的推论。

如果由于某种原因您不能使用 C++11 或更高版本（即没有 lambda，请参阅 Barry 的回答）并且您不介意一些样板文件，那么您可以使用函数对象：

#include <iostream>

struct g_functor {
    int operator()(int a=0,int b=0){ return a;}
};

template <typename T> void foo(T t) { t(); }

int main() { foo(g_functor()); }

请注意，您必须创建g_functor 的实例才能将其作为参数传递。