c++ - 在 A 或 B 的任何容器上重载模板成员函数

Question

我有 2 个现有的类 A 和 B。我想实现第三个结构 C，这样 C 实现 operator() ，它将接受 A 的任何容器或使用不同的实现 B 的任何容器. 是否可以使用模板特化来做这样的事情？

Answer 1

enable_if 在很多情况下都非常有用，但在这种情况下我通常更倾向于使用标签调度。在我看来，代码看起来更清晰，行为更可预测，如果您尝试错误地使用它，错误消息会稍微更有意义。

struct C
{
    template <class T>
    void operator()(const T& container) const
    {
        operator()(container, Tag<typename T::value_type>());
    }

private:
    template <class V> struct Tag {};

    template <class T>
    void operator()(const T& container, Tag<A>) const
    {
        std::cout << "A\n";
    }

    template <class T>
    void operator()(const T& container, Tag<B>) const
    {
        std::cout << "B\n";
    }
};

int main()
{
    std::vector<A> a;
    std::list<B> b;
    C c;
    c(a);
    c(b);
}