c++ - 具有非模板类型参数的模板函数的重载解析

Question

#include <type_traits>
#include <vector>
#include <iostream>

namespace detail
{
template <typename T, typename U>
constexpr bool is_lvalue_reference_of_type =
    std::is_lvalue_reference<T>::value && std::is_same<std::decay_t<T>, U>::value;

// container is lvalue reference and no filter, echo back parameter
template <typename Container,
          typename = std::enable_if_t<
                is_lvalue_reference_of_type<Container, std::vector<int>>
            >
          >
const std::vector<int>& f(void *, Container && c)
{
    std::cout << "void *\n";
    return c;
}
// filter input and return a copy
template <typename Filter,
          typename = std::enable_if_t<!std::is_same_v<std::decay_t<Filter>, void *>>>
std::vector<int> f(Filter &&, const std::vector<int> &)
{
    std::cout << "Filter \n";
    return {};
}
}


template <typename T = void*>
void g(T && t = nullptr)
{
    const std::vector<int> v;
    detail::f(std::forward<T>(t), v);
}

int main(int, const char * const * const)
{
    g();
    g([](const int) {return true;});
}

当 void* 类型的参数时，有没有一种方法可以自动优先使用第一个模板重载？ , const std::vector<int> & 是否在没有手动排除此组合的第二个重载的情况下通过？我发现手动禁用第二个重载是多余的，因为第一个重载已经将非模板类型的第一个参数指定为 void* 。目标是有一个不过滤并回显输入但仅当它是左值引用(不是绑定(bind)到 const & 的右值)的重载和另一个过滤并返回拷贝的重载。

Answer 1

Is there a way of automatically preferring the first template overload when arguments of type void*, const std::vector & are passed without manually excluding the second overload for this combination?

也许你可以添加第三个未使用的参数，int在第一次过载和long第二，调用f()用0 (int 值)优先于第一个。

下面是一个完整的例子

#include <vector>
#include <iostream>

namespace detail
 {
   template <typename Container>
   std::vector<int> const & f (void *, Container && c, int)
    { std::cout << "void *\n"; return c; }

   template <typename Filter>
   std::vector<int> f (Filter &&, std::vector<int> const &, long)
    { std::cout << "Filter \n"; return {}; }
 }


template <typename T = void*>
void g (T && t = nullptr)
 {
   std::vector<int> const v;
   detail::f(std::forward<T>(t), v, 0);
 }

int main ()
 {
   g();
   g([](int const) { return true; });
 }