C ++ - перебор по кортежу и разрешению типа и постоянных параметров - PullRequest
11 голосов
/ 28 января 2011

В настоящее время я пишу арифметические перегрузки операторов для кортежей. Оператор выполняет итерации по кортежу, чтобы выполнить операцию над каждым его отдельным элементом. Вот определение для оператора + =:

template< typename... Ts, std::size_t I = 0 >
inline typename std::enable_if< I == sizeof... (Ts), std::tuple< Ts... >& >::type operator +=(std::tuple< Ts... >& lhs, const std::tuple< Ts... >& rhs)
{
    return lhs;
}

template< typename... Ts, std::size_t I = 0 >
inline typename std::enable_if< I != sizeof... (Ts), std::tuple< Ts... >& >::type operator +=(std::tuple< Ts... >& lhs, const std::tuple< Ts... >& rhs)
{
    std::get< I >(lhs) += std::get< I >(rhs);
    return operator +=< Ts..., I + 1 >(lhs, rhs);
}

К сожалению, когда я пытаюсь вызвать оператора, GCC 4.6 не может решить, какую перегрузку он должен использовать. Например:

std::tuple< int, int, int, int > a = std::make_tuple(1, 2, 3, 4), b = std::make_tuple(5, 6, 7, 8);
a += b;

Выводит следующую ошибку:

:/Workspace/raster/main.cpp:833:7:   instantiated from here
C:/Workspace/raster/main.cpp:809:45: error: no matching function for call to 'operator+=(std::tuple<int, int, int, int>&, const std::tuple<int, int, int, int>&)'
C:/Workspace/raster/main.cpp:809:45: note: candidates are:
C:/Workspace/raster/main.cpp:800:151: note: template<class ... Ts, unsigned int I> typename std::enable_if<(I == sizeof (Ts ...)), std::tuple<_TElements ...>&>::type operator+=(std::tuple<_TElements ...>&, const std::tuple<_TElements ...>&)
C:/Workspace/raster/main.cpp:806:83: note: template<class ... Ts, unsigned int I> typename std::enable_if<(I != sizeof (Ts ...)), std::tuple<_TElements ...>&>::type operator+=(std::tuple<_TElements ...>&, const std::tuple<_TElements ...>&)

Что странно, поскольку условие std::enable_if должно отклонять несоответствующий вызов. На данный момент у меня есть следующий обходной путь, который фактически был моей предыдущей реализацией. Приведенная выше версия на самом деле является попыткой упрощения.

template< std::size_t I, typename... Ts >
inline typename std::enable_if< I == sizeof... (Ts), std::tuple< Ts... >& >::type assignadd_impl(std::tuple< Ts... >& lhs, const std::tuple< Ts... >& rhs)
{
    return lhs;
}

template< std::size_t I, typename... Ts >
inline typename std::enable_if< I != sizeof... (Ts), std::tuple< Ts... >& >::type assignadd_impl(std::tuple< Ts... >& lhs, const std::tuple< Ts... >& rhs)
{
    std::get< I >(lhs) += std::get< I >(rhs);
    return assignadd_impl< I + 1, Ts... >(lhs, rhs);
}

template< typename... Ts >
inline std::tuple< Ts... >& operator +=(std::tuple< Ts... >& lhs, const std::tuple< Ts... >& rhs)
{
    return assignadd_impl< 0, Ts... >(lhs, rhs);
}

Это компилируется и работает как положено. Почему упрощенная версия отказывается от компиляции? Спасибо.

1 Ответ

5 голосов
/ 29 января 2011

Использование явно заданных аргументов шаблона для шаблона функции или класса требует, чтобы любые пакеты параметров шаблона появлялись в конце общего списка параметров шаблона. Перемещение Ts... в конец списков параметров шаблона и изменение вызовов соответствующим образом заставляет код работать. В разделе 14.8.2.1 из текущего проекта C ++ 0x говорится, что пакеты параметров, которые не находятся в конце списка параметров шаблона, не могут быть выведены из вызова функции (что приводит к сбою исходного кода), но явное указание всех аргументов шаблона для operator+= во всех случаях все еще вызывает ошибку SFINAE. Предыдущий вопрос содержит ссылку на точный текст, запрещающий его; В документации IBM говорится, что это тоже ошибка.

...