如何为特定类型专门化模板类方法？

Question

我有这样的代码：

class Bar {
 public:
  void print() {
    std::cout << "bar\n";
  }
};

template<typename T>
class Foo {
 public:
  template <typename std::enable_if<std::is_base_of<T,Bar>::value,T>::type>
  void print() {
    t.print();
  }

 template <typename>
  void print() {
    std::cout << t << std::endl;
  }
 private:
  T t;
};

int main() {
//  Foo<int> foo1;
  Foo<Bar> foo2;
  foo2.print();
}

这段代码的目的是：如果T t是Bar或Bar的子类，则将foo.print（）推导为ulualprint（）{t.print ();}，否则推导为ulualprint（）{std::c

“非类型模板参数的类型不能为'typename std:：enable_if:：value，Bar。”

这段代码有什么问题？




Answer 1

您应该在调用print（）时添加模板参数，因为它本身就是一个模板方法。无论如何，你的设计太复杂了！

使用C 17变得非常简单，您只需要一个Foo

void print() {
  if constexpr(std::is_base_of_v<T,Bar>) // ignores `Foo<int>`
    t.print();
}

演示。

Answer 2

由于您实际上对阉羊感兴趣，因此类型具有成员函数print或定义了运算符

随着即将推出的C20标准，我们得到了一些概念

namespace traits
{
template<typename T>
concept has_print_v = requires(T&& t) { t.print(); };

template<typename T>
concept has_ostream_op_v = requires(T&& t, std::ostream& os) { os << t; };
} // end of namespace traits

使用这样的概念：

template<typename T>
class Foo
{
public:
    void print()
    {
        if constexpr (traits::has_print_v<T>) { t.print(); }
        else if constexpr (traits::has_ostream_op_v<T>) { std::cout << t << "\n"; }
    }
private:
    T t;  
};

Answer 3

>

您应该将print（）的重载设置为函数模板（以使SFINAE工作），否则非模板函数总是首选。

您应该让print（）获取自己的模板类型参数；类型检查不应该直接对类模板参数T执行，函数模板重载解析和SFINAE是对函数模板本身执行的，类模板不涉及。

您可以将std:：enable_if的部分移动到返回类型。

您应该将指定的顺序更改为std::is_base_of（即std::is_base_of

例如

template <typename X = T>
typename std::enable_if<std::is_base_of<Bar, X>::value>::type print() {
  t.print();
}

template <typename X = T>
typename std::enable_if<!std::is_base_of<Bar, X>::value>::type print() {
  std::cout << t << std::endl;
}

居住