根据该参数的默认值启用模板参数类型的自动扣除

Question

这就是我想要做的事情：

#include <vector>

template <class ContainerType, typename ComparatorType>
void f(
    ContainerType c1,
    ComparatorType comp = 
    [](const typename ContainerType::value_type& l, const typename ContainerType::value_type& r) {return l < r;})
{
}

int main()
{
    std::vector<int> a{1, 2};
    f(a);
    return 0;
}

但它不起作用：could not deduce template argument for 'ComparatorType'。

使用代理函数而不是实际的默认参数值有效，但看起来过于冗长，是不是有更好的方法？更不用说它不一样了，因为现在我不能用我自己的默认比较器替换默认比较器而不更改客户端代码中的函数名称。

#include <vector>

template <class ContainerType, typename ComparatorType>
void f(
    ContainerType c1,
    ComparatorType comp)
{
}

template <class ContainerType>
void f2(ContainerType c)
{
    f(c, [](const typename ContainerType::value_type& l, const typename ContainerType::value_type& r) {return l < r;});
}

int main()
{
    std::vector<int> a{1, 2};
    f2(a);
    return 0;
}

Answer 1

在考虑默认参数之前执行模板推导。此外，lambdas不允许出现在未评估的操作数中。

您可以先将默认函数分配给变量。然后你可以拼出它的类型。例如：

auto default_functor = [](int x){ return x > 0; };

template <typename T, typename F = decltype(default_functor)>
auto function(T x, F f = default_functor)
{
  return f(x);
}

现在您可以像往常一样使用该功能：

bool even(int x)
{
  return x % 2 == 0;
}

struct Odd {
  bool operator()(int x) const
  {
    return x % 2 == 1;
  }
};

void g()
{
  function(1); // use default functor
  function(1, even); // use a free function
  function(1, Odd{}); // use a function object
  function(1, [](int x){ return x < 0; }); // use another lambda
}

您无需明确指定类型。

---

注意：根据@StoryTeller，如果您在标头中使用它，可能会导致ODR违规。在这种情况下，您可以使用命名的仿函数类型：

struct Positive {
    constexpr bool operator(int x) const
    {
        return x > 0;
    }
};

inline constexpr Positive default_functor{};

template <typename T, typename F = decltype(default_functor)>
auto function(T x, F f = default_functor)
{
  return f(x);
}

Answer 2

而不更改客户端代码中的函数名称。

你可以很好地重载函数模板。无需使用其他名称。

template <class ContainerType, typename ComparatorType>
void f(
    ContainerType c1,
    ComparatorType comp)
{
}

template <class ContainerType>
void f(ContainerType c)
{
    f(c, [](const typename ContainerType::value_type& l, const typename ContainerType::value_type& r) {return l < r;});
}

您不能使默认函数参数有助于模板参数推导。这是不允许的，因为它在演绎过程中提出了一些难以解决的问题。