我有一个容器template <typename T> class A
,其operator+
需要为许多其他容器,表达式模板和文字类型U
重载。
我目前的策略是定义一个模板函数wrap
,它封装了各个元素的访问方式和定义
template <typename T, typename U>
auto operator+(Wrapped<T>&& lhs, Wrapped<U>&& rhs) -> decltype(...)
{
....
}
然而,以下重载的operator+
含糊不清:
template <typename T, typename U>
auto operator+(const A<T>& lhs, U&& rhs) ->
decltype(wrap(lhs) + wrap(std::forward<U>(rhs)))
{
return wrap(lhs) + wrap(std::forward<U>(rhs));
}
template <typename T, typename U>
auto operator+(T&& lhs, const A<U>& rhs) ->
decltype(wrap(std::forward<T>(lhs)) + wrap(rhs))
{
return wrap(std::forward<T>(lhs)) + wrap(rhs);
}
如何最好地解决歧义?
答案 0 :(得分:2)
你需要提供一个重载模板,它比两个模糊的参数更好:
template<typename T>
auto operator+(const A<T> &lhs, const A<T> &rhs) -> ...;
template<typename T, typename U>
auto operator+(const A<T> &lhs, const A<U> &rhs) -> ...;