具有函数默认参数值的 c++11 可变参数

Question

我有调用模板函数 N 次的包装器：

template <std::uint16_t N, typename F, typename  ... Args>
inline typename std::result_of<F && (Args &&...)>::type retry_n(F && f, Args&& ... ax)
{
    for (auto i = 0; i < N; ++i)
    {
        try
        {
            return std::forward<F>(f)(std::forward<Args>(ax)...);
        }
        catch (const some_except &e){ /*ignore exception for a while*/ }
    }
    throw;//re-raise
}

在我使用默认参数传递函数之前一切正常：

int f(int a, int b, int c = 5);
.... 
retry_n<10>(f, 1, 2); // error C2198: 'bla-bla' : too few arguments for call

如何允许在没有明确说明的情况下使用默认参数？

Answer 1

默认参数不是函数签名的一部分，也不参与模板类型推导。所以每当你将f 传递给retry_n<> 时，F 的类型就被推导出为int(int, int, int)，所以本地的f 就是后一种类型，默认参数现在已经退出进程了。您唯一的解决方案是直接使用要测试的函数而不推断其类型，就像在@Johannes Schaub - litb 的评论中一样，或者，如果您的编译器不支持通用 lambdas (C++14)，请将其包装起来变成带有可变参数模板的函子operator()

struct functor
{
    template<typename... T>
    int operator()(T&&... params)
    {
        return f(std::forward<T>(params)...);
    }  
};

并将其用作

retry_n<10>(functor{}, 1, 2);