混合模板函数重载和继承

Question

以下代码打印：

generic
overload

但我想要的是在这两种情况下都调用了重载或专业化，而不是通用的。我不想将重载与模板专业化混为一谈，它们在一起是因为没有一个能像我预期的那样工作。有没有什么模板魔法可以做到这一点？

#include <iostream>

class Interface {};
class Impl: public Interface {};

class Bar
{
public:
    template<typename T> void foo(T& t) {
        std::cout << "generic\n";
    }
    void foo(Interface& t) {
        std::cout << "overload\n";
    }
};
template<> void Bar::foo<Interface>(Interface& t) {
    std::cout << "specialization\n";
}

int main() {
    Bar bar;
    Impl impl;
    Interface& interface = impl;
    bar.foo(impl);
    bar.foo(interface);
    return 0;
}

Answer 1

使用type_traits 测试参数是否从接口派生的两种方法。

#include <boost/type_traits.hpp>

class Interface {};
class Impl: public Interface {};

class Bar
{
    template <class T> void foo_impl(T& value, boost::false_type)
    {
        std::cout << "generic\n";
    }
    void foo_impl(Interface& value, boost::true_type)
    {
        std::cout << "Interface\n";
    }
public:
    template<typename T> void foo(T& t) {
        foo_impl(t, boost::is_base_of<Interface, T>());
    }

};

或者如果满足条件就禁用模板，只留下非模板作为候选。

#include <boost/utility/enable_if.hpp>
#include <boost/type_traits.hpp>

class Interface {};
class Impl: public Interface {};

class Bar
{
public:
    template<typename T>
    typename boost::disable_if<boost::is_base_of<Interface, T>, void>::type foo(T& t)
    {
        std::cout << "generic\n";
    }

    void foo(Interface&)
    {
        std::cout << "Interface\n";
    }
};

Answer 2

为了使用专用函数，编译器需要将参数从&Impl 转换为&Interface。当它在寻找函数签名匹配时，完全匹配比需要转换的更优先。由于泛型 foo<T> 是完全匹配的，因此它胜过重载和专用函数。

Answer 3

模板定义允许创建函数：

void Bar::foo<Impl>(Impl& t)

这比您定义的带有Interface& 参数的匹配更好。

你必须让超类函数更好地匹配，可能是这样的：

class Bar
{
    struct fallback { fallback(int) {} };
    template<typename T> void foo(T& t, fallback) {
        std::cout << "generic\n";
    }
    void foo(Interface& t, int) {
        std::cout << "overload\n";
    }
public:
    template<typename T> void foo(T& t) {
        foo(t, 0);
    }
};

但似乎并没有真正起作用，请参阅http://ideone.com/IpBAv

所以你需要在通用版本中进行类型测试，寻找Interface 的子类。