为 SFINAE 测试人员提供默认值零的原因是什么？

Question

我注意到许多 boost 和 libc++/libstdc++ 在类似代码中为 SFINAE 明确提供了一个默认值为零

// libc++ http://llvm.org/svn/llvm-project/libcxx/trunk/include/memory
namespace __has_pointer_type_imp
{
    template <class _Up> static __two __test(...);
    template <class _Up> static char __test(typename _Up::pointer* = 0);
}

template <class _Tp>
struct __has_pointer_type
    : public integral_constant<bool, sizeof(__has_pointer_type_imp::__test<_Tp>(0)) == 1>
{
};

但是，这让我感到困惑，为什么当他们明确地使用 0 进行调用时会出现这种情况。我记得在某处听到这是一种优化（在实例化模板时加速编译器），但我不完全理解如何那行得通。我查看了标准，其中有一个部分简要描述了与模板参数推导相关的默认参数会发生什么。

14.8.2

在模板实参推导过程中的某些点，有必要采用一个使用模板形参的函数类型，并将这些模板形参替换为相应的模板实参。当任何显式指定的模板参数被替换到函数类型中时，这在模板参数推导的开头完成，并且当从默认参数推导或获得的任何模板参数被替换时，在模板参数推导结束时再次完成。

最后一点听起来与我的问题有关

当替换任何从默认参数推导或获得的模板参数时，在模板参数推导结束时再次。

但是，如果必须做更多工作，这听起来与优化相反。有没有人有任何理由为什么 0 必须在那里，没有它它也可以工作，但是 libc++ 中的每个 SFINAE 示例至少似乎都明确地将 0 放在那里，即使他们从未在没有参数的情况下调用该函数。

Answer 1

您提供默认值是因为您希望能够不提供该参数，尽管条件仍处于检查状态！

例子：

template<typename T,
        typename std::enable_if<
                std::is_floating_point_v<T>
                               >::type = 0>
void foo() { std::cout << "1"; }

然后可以在 main 中调用这个函数，只需要一个模板参数！更好的是，甚至不需要命名第二个参数，因为它没有被使用。

在函数foo的输入中给出参数时的类似例子：

template<class T>
void foo(T t,
         typename std::enable_if<
                       std::is_floating_point_v<T>
                  >::type = 0) { std::cout << "2"; }

那么你可以给函数foo提供第二个参数，但你通常不想这样做。