C ++如何重载以不同模板对象的迭代器作为参数的函数？

Question

我有两个类似的通用类-MyClass1和MyClass2。 我希望函数“ func”遍历MyClass1和/或MyClass1对象的元素。

但我得到以下错误：

'auto' in return type deduced as 'Group3d<MyClass1<5> >' here but deduced as 'Group2d<MyClass1<5> >' in earlier return statement
        return funcForClass2<T>(start, end);
        ^

我无法弄清楚如何重载此函数，因为类型是在调用它后得出的。

有什么建议吗？

main.cpp中：

int main() {
    list<MyClass1<5>> a = {{0}, {-5}};
    auto res5 = func(a.begin(), a.end());

    list<MyClass2<6>> b = {{0, 3}, {0, -2}};
    auto res6 = func(b.begin(), b.end());
}

utils.h：

template<typename T>
using deref_iter_t = std::remove_reference_t<decltype(*std::declval<T>())>;

template<class Iterator>
auto func(Iterator start, Iterator end) {
    int dim;

    using T = deref_iter_t<Iterator>;

    dim = (start)->getDim();
    if (dim == 2) { // MyClass1 objects
        return funcForClass1<T>(start, end);
    }
    if (dim == 3) { // MyClass2 objects
        return funcForClass2<T>(start, end);
    }
}

Answer 1

假设dim()是constexpr，则可以使用重载解析来实现。 稍微简化示例以显示相关部分：

#include <utility>

struct A {
    static constexpr int x = 1;
};

struct B {
    static constexpr int x = 2;
};

int impl(std::integral_constant<int, 1> ) {
    return {};
}

char* impl(std::integral_constant<int, 2> ) {
    return {};
}


template<class T> auto foo(T t) {
    return impl(std::integral_constant<int, T::x>{});
}

int main() {
    auto f1 = foo(A{});
    auto f2 = foo(B{});
}

Answer 2

将您的函数写为

template<size_t I> 
auto func(
  const typename list<MyClass1<I>>::iterator& begin, 
  const typename list<MyClass1<I>>::iterator& end)
{ 
// do something
}

template<size_t I> 
auto func(
  const typename list<MyClass2<I>>::iterator& begin, 
  const typename list<MyClass2<I>>::iterator& end)
{
// do something else 
}

对于您的deref_iter_t ，您似乎可以使用std::iterator_traits<Iterator>::value_type来代替，无论如何都不再使用。