Я использую вариационный шаблон, который действует как брандмауэр исключения в интерфейсе между C и С++. Шаблон просто берет функцию, за которой следуют N аргументов и вызывает функцию внутри блока catch try. Это работает отлично, но, к сожалению, одна из функций, которые я хочу назвать, теперь принимает дополнительный аргумент по умолчанию. В результате имя функции не будет разрешено и шаблон не скомпилируется.
Ошибка:
perfect-forward.cpp: В функции
‘void FuncCaller(Func, Args&& ...) [with Func = void (*)(const std::basic_string<char>&, double, const std::vector<int>&), 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)...));
};
};
работает при вызове конструктора cfollowing с двумя или тремя аргументами...
MyClass1( const string& arg1, double d, const vector<int>&v = vector<int>{} )