c – 使用SFINAE启用转换运算符

前端之家收集整理的这篇文章主要介绍了c – 使用SFINAE启用转换运算符前端之家小编觉得挺不错的,现在分享给大家,也给大家做个参考。
我试图使用SFINAE重载运算符T()以在T是基本类型时返回副本,并在T是类时使用const引用.

在下面的示例中使用double时,我无法删除第二个重载(使用std :: is_class).

也就是说,我得到的错误是:

  1. error: no type named type in struct std::enable_if<false,const double&>’
  2. operator typename std::enable_if< std::is_class<T>::value,const T&>::type () const
  3. ^

我究竟做错了什么?

  1. #include <iostream>
  2. #include <type_traits>
  3.  
  4. template<typename T>
  5. struct Foo
  6. {
  7. operator typename std::enable_if<!std::is_class<T>::value,T >::type () const
  8. {
  9. return _val;
  10. }
  11.  
  12. operator typename std::enable_if< std::is_class<T>::value,const T&>::type () const
  13. {
  14. return _val;
  15. }
  16.  
  17. T _val;
  18. };
  19.  
  20. int main()
  21. {
  22. Foo<double> f1;
  23. f1._val = 0.3;
  24.  
  25. double d = f1;
  26. std::cout << d << std::endl;
  27. return 0;
  28. }

解决方法

在您的类成员函数被实例化时已知T,因此不会发生替换,而是SFINAE而不是SFINAE,您会收到一个硬错误.最简单的解决方法是为这些运算符重载引入虚拟模板参数,并将其默认为T,以便仍然可以进行类型推导.
  1. template<typename U = T>
  2. operator typename std::enable_if<!std::is_class<U>::value,U >::type () const
  3. {
  4. return _val;
  5. }
  6.  
  7. template<typename U = T>
  8. operator typename std::enable_if< std::is_class<U>::value,const U&>::type () const
  9. {
  10. return _val;
  11. }

Live demo

猜你在找的C&C++相关文章