2

根据 enable_if struct 的定义：

template<bool B, class T = void>
struct enable_if {};

template<class T>
struct enable_if<true, T> { typedef T type; };

我想知道如何

template<class T>
T foo(T t, typename std::enable_if<std::is_integral<T>::value >::type* = 0) 
{
    return t;
}

特别 ：

typename std::enable_if<std::is_integral<T>::value >::type

可以在没有指定类型 T 的情况下调用，以防std::is_integral<T>::valueequal true。在这种情况下，将调用 std::enable_if 的特化，并且在此定义中没有默认模板参数。

是不是因为推导模板参数机制？如果是，为什么为非专业化定义指定默认参数？

4

2 回答 2

2

你的问题有点神秘，但据我了解：

我想知道如何...在没有指定类型 T 的情况下调用

  1. 它不会；只有当用户需要（隐式或显式）具有特定值的实例化时，才会实例化foo和模板。所以总是被指定。enable_ifTT

  2. 默认模板参数仅在“基本”模板定义中出现（即不是特化）。这就是为什么你只在enable_if. 但是，它们会影响所有特化（基本上，如果您实例化enable_if<X>，编译器会看到您没有为基本模板提供参数之一，并尝试将所有特化与参数列表匹配<X, void>）。

顺便说一句，第二个模板参数用于从enable_ifthan中获取不同的类型void：

std:enable_if<1, int>::type f();

只是int f()。

于 2012-11-13T13:40:59.233 回答
1

enable_if模板的目的是从重载集中删除函数模板。就其本身而言，您的示例并不是非常有用，只是它将拒绝实例化具有编译器错误的非整数类型。但是，如果您还编写了第二个重载，例如使用反向条件，那么foo(1)两者foo(1.0)都只会找到一个可行的重载并且没有歧义。

事实上，再想一想：在推导 的参数时foo(1.0)，第一个版本（你写的那个）实际上是错误的，因为没有成员类型::type。但是，这不是硬编译错误，而只是所谓的“替换失败”——这不是错误。它只是从考虑中删除了整个模板。

作为旁注，enable_if在类模板中有一个相关用途，可以帮助消除专业化的歧义，也使用默认参数。它看起来像template <typename T, typename = typename std::enable_if<some_condition>::type> ...

于 2012-11-13T13:37:32.450 回答