[英]SFINAE and std::numeric_limits
我正在尝试编写一个流类,分别处理数字和非数字数据。 有人可以向我解释为什么此代码无法编译吗?
#include <iostream>
#include <cstdlib>
#include <type_traits>
#include <limits>
class Stream
{
public:
Stream() {};
template<typename T, typename std::enable_if_t<std::numeric_limits<T>::is_integer::value>>
Stream& operator<<(const T& val)
{
std::cout << "I am an integer type" << std::endl;
return *this;
};
template<typename T, typename std::enable_if_t<!std::numeric_limits<T>::is_integer::value>>
Stream& operator<<(const T& val)
{
std::cout << "I am not an integer type" << std::endl;
return *this;
};
};
int main()
{
Stream s;
int x = 4;
s << x;
}
因为您在SFINAE上做错了,并且您也错误地使用了特征(没有::value
, is_integer
是一个布尔值)。 特质的错误是微不足道的,SFINAE的问题在于您为operator<<
提供了非类型模板参数,但从未为其提供参数。 您需要指定一个默认参数。
样例代码:
#include <cstdlib>
#include <iostream>
#include <type_traits>
#include <limits>
class Stream
{
public:
Stream() {};
template<typename T, std::enable_if_t<std::numeric_limits<T>::is_integer>* = nullptr>
Stream& operator<<(const T& val)
{
std::cout << "I am an integer type" << std::endl;
return *this;
};
template<typename T, std::enable_if_t<!std::numeric_limits<T>::is_integer>* = nullptr>
Stream& operator<<(const T& val)
{
std::cout << "I am not an integer type" << std::endl;
return *this;
};
};
int main()
{
Stream s;
int x = 4;
s << x;
}
声明:本站的技术帖子网页,遵循CC BY-SA 4.0协议,如果您需要转载,请注明本站网址或者原文地址。任何问题请咨询:yoyou2525@163.com.