C ++ - 迭代元組和類型與常量參數的分辨率

Question

我目前正在為元組編寫算術運算符重載。 運算符迭代元組以對其每個元素執行操作。 這是operator + =的定義：

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);
}

這編譯並按預期工作。 為什么簡化版本拒絕編譯？ 謝謝。

Answer 1

對函數或類模板使用顯式指定的模板參數要求任何模板參數包出現在整個模板參數列表的末尾。 將Ts...移動到模板參數列表的末尾並相應地更改調用使代碼工作。 當前C ++ 0x草案的第14.8.2.1節規定，不能從函數調用推導出不在模板參數列表末尾的參數包（這會使原始代碼失敗），但明確指定所有模板在所有情況下， operator+=參數仍會導致SFINAE錯誤。 上一個問題有一個指向禁止它的確切文本的鏈接; IBM的文檔說這也是一個錯誤。