了解有关 type_traits 的更多信息

Question

设置

我昨天问了一个关于模板方法重载和使用类型特征解决问题的问题。我收到了一些很好的答案，他们引导我找到了解决方案。这个解决方案让我进行了更多阅读。

我登陆了 Fluent CPP 的一个页面——https ://www.fluentcpp.com/2018/05/18/make-sfinae-pretty-2-hidden-beauty-sfinae/，这个页面很有趣，然后我听了博卡拉先生引用了斯蒂芬·杜赫斯特的讲话。这一切都令人着迷。

我现在正试图多了解一点。在昨天的答案中，我得到了这个解决方案：

     template< class Function, class... Args,
              std::enable_if_t<std::is_invocable_v<Function, Args...>, std::nullptr_t> = nullptr>
     explicit MyClass( const std::string & theName, Function&& f, Args&&... args )
        : name(theName)
     {
        runner(f, args...);
     }

替代答案

在阅读了 CPP Fluent 帖子并观看了演讲之后，我得出了最终的解决方案：

   template< class Function, class... Args>
   using IsInvocable = std::enable_if_t < std::is_invocable_v<Function, Args...> >;

    template< class Function, class... Args, typename = IsInvocable<Function, Args...> >
    explicit ThreadHandle( const std::string & name, Function && f, Args &&... args ) {
        startWithName(name, f, args...);
    }

第一点只是将一些语法移到一个公共包含文件中，但总的来说，这更简单。我认为这很干净，几乎不需要解释，即使对于不熟悉使用类型特征的人也是如此。

问题

我想知道的是这个。我收到的所有三个答案都使用了更复杂的形式，enable_if_t如下所示：

std::enable_if_t<std::is_invocable_v<Function, Args...>, std::nullptr_t> = nullptr>

我不确定如果我可以这样做的话他们为什么会这样做：

std::enable_if_t< std::is_invocable_v < Function, Args... > >

有影响吗？或者这只是 C++11 更复杂的问题，而现在 C++ 14 和 17 允许更简单的形式？也许回复的人只是通过向我展示完整的表格来帮助我。

为了增加我的困惑，其中一个答案是这样做的：

std::enable_if_t<!std::is_convertible_v<Function, std::string>, bool> = true>

另一位这样做了：

std::enable_if_t<std::is_invocable_v<Function, Args...>, int> = 0>

我也不太明白这些含义。

任何帮助克服障碍的帮助都会很棒。我想在某些情况下我会想要更复杂的版本，所以更好地理解它会很好。

Answer 1

词汇

// template-head
template<typename T = T{}>
//       ^^^^^^^^^^   ^^^- default template-argument
//           \ type template-parameter

// template-head
template<int i = 0>
//       ^^^^^   ^- default template-argument
//           \ non-type template-parameter  

默认模板参数不是函数模板类型的一部分

默认模板参数不是函数模板类型的一部分，这意味着您不能使用以下方法：

// BAD: trying to define to SFINAE-mutually exclusive overloads.
template<typename T, typename = std::enable_if_t<some_predicate_v<T>>>
void f(T) {}

template<typename T, typename = std::enable_if_t<!some_predicate_v<T>>>
void f(T) {}

因为它们定义了相同的功能；参见例如

• 使用 std::enable_if 作为模板时的默认模板参数。param.：为什么可以使用两个仅在enable_if参数上不同的模板函数？

了解详情。

...而不同类型的非类型模板参数可以用作替代

因此，当您不重载其他相同的函数时，通常使用上述方法，而当您需要区分重载时，则使用其他系列。

// Variation A.
template<typename T,
         // non-type template parameter of type void*,
         // defaulted to nullptr 
         std::enable_if_t<some_predicate_v<T>>* = nullptr>
void f(T) {}

// OK: not the same function.
template<typename T,
         std::enable_if_t<!some_predicate_v<T>>* = nullptr>
void f(T) {}

// Variation B.
template<typename T,
         // non-type template parameter of type bool,
         // defaulted to true or false 
         std::enable_if_t<some_predicate_v<T>, bool> = true>
void f(T) {}

// OK: not the same function.
template<typename T,
         std::enable_if_t<!some_predicate_v<T>, bool> = true>
void f(T) {}

// Variation C.
template<typename T,
         // non-type template parameter of type int,
         // defaulted to 0
         std::enable_if_t<some_predicate_v<T>, int> = 0>
void f(T) {}

// OK not the same function.
template<typename T,
         std::enable_if_t<!some_predicate_v<T>, int> = 0>
void f(T) {}

// Variation D (uncommon/noisy).
template<typename T,
         // non-type template parameter of type std::nullptr_t,
         // defaulted to nullptr
         std::enable_if_t<some_predicate_v<T>, std::nullptr_t> = nullptr>
void f(T) {}

// OK: not the same function.
template<typename T,
         std::enable_if_t<!some_predicate_v<T>, std::nullptr_t> = nullptr>
void f(T) {}

请注意，对于变体 A，我们利用了以下事实：（std::enable_if通过别名_t模板进行别名）的第二个模板参数默认为void。