如何分别为整数和浮点类型专门化模板函数？答案

【问题标题】：How to specialize a template function for integral and floating types respectively?如何分别为整数和浮点类型专门化模板函数？
【发布时间】：2014-03-25 06:24:52
【问题描述】：

考虑函数template<typename T> void Fun(T t);。如何分别对整数和浮点类型有不同的实现？

我猜构建块是std::enable_if、std::is_integral、std::is_floating_point。但我不能以一种优雅的方式把它们放在一起:-( .

附：我有可用的 C++11。

【问题讨论】：

除了enable_if/SFINAE，您还可以使用tag dispatch。标签调度通常更简单、更直接，但可能需要更多代码。

标签： c++ templates c++11

【解决方案1】：

在cppreference.com 上查看std::enable_if 的示例代码。

编辑：

将上面链接中的代码改编如下：

#include <type_traits>
#include <iostream>


template<class T>
typename std::enable_if<std::is_integral<T>::value>::type foo(T t) 
{
    std::cout << "is integral" << std::endl;
}

template<class T>
typename std::enable_if<std::is_floating_point<T>::value>::type foo(T t) 
{
    std::cout << "is real" << std::endl;
}

int main()
{
    foo(1); 
    foo(1.0);
}

enable_if 的定义是template< bool B, class T = void > struct enable_if;。这为返回值类型提供了以下选项：

template<class T>
typename std::enable_if<std::is_integral<T>::value>::type foo(T t) // void return type

template<class T>
typename std::enable_if<std::is_integral<T>::value, T>::type foo(T t) // return type from template parameter

template<class T>
typename std::enable_if<std::is_integral<T>::value, size_t>::type foo(T t) // fixed return type

【讨论】：

我从那里回来后问了这个问题。刚刚编辑了我的问题。我的函数有修复返回类型。所以 cppreference.com 上的技巧不适用。
@updogliu enable_if实际上有两个模板参数，第二个默认为void。当条件（第一个模板参数）为true 时，std::enable_if<..>::type 产生 second 模板参数（此处为：void）。如果这仍然是个问题，您可以在 foo 的默认附加模板参数上使用 enable_if，例如template<class T, class = typename std::enable_if<..>::type> void foo(T);
在 C++14 中，返回类型可以稍微简化为std::enable_if_t<std::is_integral<T>::value>（即没有前面的typename，最后没有::type - 以添加战略“_t”为代价)。