c模板实例化适用于int、long等，但不适用于float、double等

Question

我正在做一个小的C项目，为此我创建了一个漂亮且方便的＜code＞std：：ostream＜/code＞包装器，名为＜code＞Logger＜/code＞。

在类内部，我定义了一个模板化的操作符:

template<typename T, typename std::enable_if_t<std::is_arithmetic<T>::value, T> = 0>
friend Logger& operator<<(Logger& logger, const T& logMessage) {
    return logger << std::to_string(logMessage); // there is also an operator overload which takes a std::string& as argument.
}

当模板实例化为整数类型时，如int或long，模板就像一个符咒。因此，声明

someLoggerInstance << 123 << 456ULL << "\n";

它编译得很好。

但是，如果我将语句更改为

someLoggerInstance << 12.3 << "\n";

编译器向我喊道模板无法实例化。

来自编译器的错误消息：

Candidate template ignored: substitution failure [with T = double]: a non-type template parameter cannot have type 'typename std::enable_if_t::value, double>' (aka 'double')

问题出在哪里？

我试图替换< code > STD::is _算术

如果我为类型＜code＞double＜/code＞创建额外的重载

friend Logger& operator<<(Logger& logger, const double& logMessage) {
    return logger << std::to_string(logMessage);
}

问题变得更糟，从那时起，编译器试图在最后传递"\n"，用以下消息惹恼了我：

Candidate function not viable: no known conversion from 'const unsigned char [1]' to 'const double' for 2nd argument

和

Candidate function not viable: no known conversion from 'const unsigned char [1]' to 'const std::string' (aka 'const basic_string, allocator >') for 2nd argument

任何帮助或建议都很好！谢谢！

谢谢你的快速帮助。

现在像这样更改了模板：

template<typename T, typename TEnable = std::enable_if_t<std::is_arithmetic<T>::value && !std::is_same<T, char>::value, T>>
friend Logger& operator<<(Logger& logger, const T& logMessage);

Answer 1

要解决您的第一个问题，另一种SFINAE是使用std：：enable_if_t来允许返回类型的替换失败...

template <typename T>
std::enable_if_t<std::is_arithmetic<T>::value, Logger&>
friend operator<<(Logger& logger, const T& logMessage)
{
    return logger << std::to_string(logMessage);
}

你的第二个问题是因为std::is_arithmetic

Answer 2

当< code>T是double时，这个东西< code>std::enable_if_t

但是非类型模板参数被明确禁止为浮点类型。您的问题的正确最小示例如下：

template<double d> // this is ill-formed
void foo() {}

基本原理是模板是根据非类型参数的确切值进行专门化的。这对于直接相等比较有问题的类型来说是一个问题。

只需将std::enable_if_t解析为有效类型，例如用0初始化的指针或int。

Answer 3

更新模板以使用类型模板参数：

template
<
    typename T
,   typename TEnabled = typename std::enable_if_t<std::is_arithmetic<T>::value, T>
>
friend Logger & operator <<(Logger & logger, const T & logMessage) {
    return logger << std::to_string(logMessage);
}