当前位置:  开发笔记 > 编程语言 > 正文

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

如何解决《std::is_base_of用于模板化矢量函数参数》经验,为你挑选了1个好方法。

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

class A {};

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

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

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


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

哪个打印

General case called
General case called
General case called

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

template
std::istream& operator>>(std::istream& is,
    std::vector::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这里的模板有问题吗?



1> Biggy Smith..:

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

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

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

现场演示


@PhilLab更喜欢过载而不是函数特化
推荐阅读
mobiledu2402851323
这个屌丝很懒,什么也没留下!
DevBox开发工具箱 | 专业的在线开发工具网站    京公网安备 11010802040832号  |  京ICP备19059560号-6
Copyright © 1998 - 2020 DevBox.CN. All Rights Reserved devBox.cn 开发工具箱 版权所有