可变参数模板，完美转发到带有默认参数的函数

Question

我一直在使用可变参数模板，它充当 C 和 C++ 之间的接口中的异常防火墙。该模板仅接受一个函数，后跟 N 个参数，并在 try catch 块内调用该函数。这一直工作得很好，不幸的是我现在希望调用的函数之一需要一个额外的默认参数。因此，函数名称未解析，模板无法编译。

错误是：

perfect-forward.cpp: 在函数'void FuncCaller(Func, Args&...) [with Func = void (*)(const std::basic_string&, double, const std::vector&), Args = {const char (&)[7], double}]':
Perfect-forward.cpp:69:41：从这里实例化
Perfect-forward.cpp:46:4：错误：函数参数太少

代码的简化版本如下：

template< class Func, typename ...Args >
void FuncCaller( Func f, Args&&... params )
{
   try
   {
       cout << __func__ << " called\n";
       f(params...);
   }
   catch( std::exception& ex )
   {
       cout << "Caught exception: " << ex.what() << "\n";
   }
}

void Callee( const string& arg1, double d, const vector<int>&v = vector<int>{} )
{
   cout << __func__ << " called\n";
   cout << "\targ1: " << arg1 << "\n";
   cout << "\td: " << d << "\n";
   cout << "\tv: ";
   copy( v.begin(), v.end(), ostream_iterator<int>( cout, " "  ) );
   cout << "\n";
}

int main()
{
   vector<int> v { 1, 2, 3, 4, 5 };

   FuncCaller( Callee, "string", 3.1415, v );
   FuncCaller( Callee, "string", 3.1415 );  **// Fails to compile**

   return 0;
} 

该代码应该工作还是我对编译器的期望过高？

注意：我已经测试了使用具有默认参数的构造函数进行完美转发，并且代码按预期进行编译和工作，

即：

template<typename TypeToConstruct> struct SharedPtrAllocator 
{
    template<typename ...Args> shared_ptr<TypeToConstruct> 
        construct_with_shared_ptr(Args&&... params) {
        return std::shared_ptr<TypeToConstruct>(new TypeToConstruct(std::forward<Args>(params)...));
    };
};

在使用 2 或 3 个参数调用 cfollowing 构造函数时有效...

MyClass1( const string& arg1, double d, const vector<int>&v = vector<int>{} )

Answer 1

我认为没有任何方法可以实现这一目标。默认参数值不是函数签名的一部分。它们只是代码生成的简写，当您按字面调用函数时，编译器会对其进行扩展。同样，std::bind 也不会选择默认参数。