从概念中推导模板参数值

Question

我继续我的c ++ 20概念（ual）jourrney ...我想通过从谓词参数中推论模板参数t来简化以下代码，以便客户端代码不必精确t的类型，如果可以从P1推导。

我想这是可能的，我只是不知道语法：我尝试了各种形式的模板模板 +需要子句，但没有成功的汇编。

有领先吗？

#include<concepts>
#include<utility>
#include<string>

template<class T, std::predicate<T> P1>
struct Foo
{
    P1 _f;
    Foo(P1 &&f): _f(std::forward<P1>(f)) {}
};

template<class T, std::predicate<T> P1>
auto make_foo(P1 &&f)
{
return Foo<T, P1>(std::forward<P1>(f));
}

int main()
{
    auto fun = [](const std::string &s){return s == "toto";};
    // auto my_foo = make_foo(fun); // candidate template ignored: couldn't infer template argument 'T'
    auto my_foo = make_foo<std::string>(fun);
    return 0;
}

Answer 1

std :: function具有良好的 dectuct /a>要获得可呼叫的类型：

// Replacement for `std::function<T(U)>::argument_type`
template<typename T> struct single_function_argument;
template<typename Ret, typename Arg> struct single_function_argument<std::function<Ret(Arg)>> { using type = Arg; };

// Deduction guide
template<class P1>
Foo(P1 &&) -> Foo<typename single_function_argument<decltype(std::function{std::declval<P1>()})>::type, P1>;

template<class P1>
auto make_foo(P1 &&f)
{
    // Use CTAD
    return Foo(std::forward<P1>(f));
}

// Can still specify type manually if you want
template<class T, std::predicate<T> P1>
auto make_foo(P1 &&f)
{
    return Foo<T, P1>(std::forward<P1>(f));
}

int main() {
    auto fun = [](const std::string &s){return s == "toto";};
    auto my_foo1 = Foo(fun);
    auto my_foo2 = make_foo(fun);
}

您必须走这种循环的原因是fun的类型满足所有std :: predicate＆lt; const std ::字符串＆amp;＆gt;，std :: predicate＆lt; const＆car*＆gt;，std :: predicate＆lt; typeimplecity＆lt; typeimplecorlicyConveribletlybletostostring＆gt;，没有独特的方式获得类型的独特方法对于t。通用lambdas []（const auto＆amp; s）{return s ==“ toto”也失败了。 }，因此您需要使用make_foo＆lt; std :: string＆gt;（fun）。