std :: is_base_of用于模板化矢量函数参数

Question

我想提供两个不同的operator>>实现，具体取决于给定类型是否是特殊类型的子类：

class A {};

class B : public A{};
class C {};

template<typename T>
std::istream& operator>>(std::istream& is,
    std::vector<typename std::enable_if<std::is_base_of<A, T>::value>::type>& vec)
{
    std::cout << "Special case called" << std::endl;
    return is;
}

template<typename T>
std::istream& operator>>(std::istream& is,
    std::vector<T>& vec)
{
    std::cout << "General case called" << std::endl;
    return is;
}


void main(int argc, char **argv)
{
    std::vector<A> a;
    std::vector<B> b;
    std::vector<C> c;
    std::stringstream ss("A string");
    ss >> a;
    ss >> b;
    ss >> c;
}

哪个打印

General case called
General case called
General case called

将第二个运算符定义更改为

template<typename T>
std::istream& operator>>(std::istream& is,
    std::vector<typename std::enable_if<!std::is_base_of<A, T>::value>::type>& vec)
{
    std::cout << "General case called" << std::endl;
    return is;
}

不编译因为

error C2678: binary '>>' : no operator found which takes a left-hand operand of type 'std::stringstream'

所以我可能使用std::enable_if错了。 但是什么是正确的？ 这里有模板化的std::vector有问题吗？

Answer 1

我不认为std :: enable_if在这里是最想要的位置，我会把它放在返回类型中以启用SFINAE：

template<typename T>
typename std::enable_if<std::is_base_of<A, T>::value,std::istream>::type& 
operator>>(std::istream& is,std::vector<T>& vec)
{
    std::cout << "Special case called" << std::endl;
    return is;
}

template<typename T>
typename std::enable_if<!std::is_base_of<A, T>::value,std::istream>::type& 
operator>>(std::istream& is,std::vector<T>& vec)
{
    std::cout << "General case called" << std::endl;
    return is;
}

现场演示

Answer 2

@ Biggy的答案正确地证明了一种正确的方法。 这是我发现更具可读性的替代方案（以及一些小的修正和改进）：

template<typename T, typename std::enable_if<std::is_base_of<A, T>{}, int>::type = 0>
std::istream& operator >>(std::istream& is, std::vector<T>& vec) {
    std::cout << "Special case called\n";
    return is;
}

template<typename T, typename std::enable_if<!std::is_base_of<A, T>{}, int>::type = 0>
std::istream& operator >>(std::istream& is, std::vector<T>& vec) {
    std::cout << "General case called\n";
    return is;
}

在线演示

或者更好的是，使用标签调度：

template<typename T>
std::istream& impl(std::istream& is, std::vector<T>& vec, std::true_type) {
    std::cout << "Special case called\n";
    return is;
}

template<typename T>
std::istream& impl(std::istream& is, std::vector<T>& vec, std::false_type) {
    std::cout << "General case called\n";
    return is;
}

template<typename T>
std::istream& operator >>(std::istream& is, std::vector<T>& vec) {
    return impl(is, vec, std::is_base_of<A, T>{});
}

在线演示

在实践中，我发现当条件数量很大时后一种方法可以更加可维护，并且导致更容易破译的错误消息。

至于为什么你的代码不起作用，问题是std::enable_if<std::is_base_of<A, T>::value>::type作为参数类型不是T的可推导上下文，并且有没有其他参数涉及T来辅助扣除。 因此，当您调用T时，您没有明确指定T ，因此运算符根本不适合调用，因为T未知。 当你然后把相同的尝试，SFINAE在其他重载，超载既不可行，你会得到你的错误。 一个宽松的经验法则是：如果您需要typename （与enable_if用法一样），则您不再处于可推断的上下文中。

将enable_if放在返回类型或默认模板参数中是有效的，因为参数类型（特别是好的和简单的std::vector<T>& ）是T可以推导的。