Параметр с не выведенным типом после пакета параметров
Есть другое поведение влязг ++ а такжег ++ для следующей программы:
#include <type_traits>
#include <utility>
template< std::size_t index, typename type >
struct ref { type & value; };
template< std::size_t index, typename type >
type && get(ref< index, type > const & r)
{
return std::forward< type >(r.value);
}
template< typename F, typename ...types, std::size_t ...indices >
decltype(auto) apply_inverse(F & f, types &... values, std::index_sequence< indices... >)
{
struct : ref< indices, types >... {} refs{{values}...};
constexpr std::size_t top = sizeof...(indices) - 1;
return std::forward< F >(f)(get< top - indices >(refs)...);
}
template< typename F, typename ...types >
decltype(auto) apply_inverse(F && f, types &&... values)
{
return apply_inverse< F, types... >(f, values..., std::index_sequence_for< types... >{});
}
#include <iostream>
int main()
{
auto const print = [] (auto const &... value) -> std::ostream & { return (std::cout << ... << value); };
apply_inverse(print, 1, 2, 3) << std::endl;
}
Он просто пытается вернуть переданные аргументы и применяет к ним некоторую функцию.
ЗаG ++ компилируется нормально, но длялязг ++ (даже из транка) выдает следующую ошибку:
ошибка: нет соответствующей функции для вызова 'apply_inverse'
Я думаю, что причина в том, что в верхней перегрузке в прототипе функции есть параметр после пакета параметров. Но типы для всех аргументов в пакете аргументов указаны явно.
Правильно ли для компилятора принимать код?