C++20 概念是否能够将模板函数固定为模板参数问题？

Question

如果你在 C++20 中尝试一些相对简单的东西，它会以 unhelpful error message spam 内爆。

int main() {
    auto as = std::vector{1,3,24,};
    auto bs = std::vector{1,4,10};
    auto cs = std::vector<float>{};
    std::ranges::transform(as, bs, std::back_inserter(cs), std::max);
    std::ranges::copy(cs, std::ostream_iterator<float>(std::cout, " "));
}

原因是std::max 是模板函数，所以它不起作用。 这可以通过将参数设为 lambda 或制作一个小型辅助函子来轻松解决。

但我想知道是否可以使用 C++ 概念来告诉我们想要什么模板实例化？ 例如，我们修改了一些 requires 语句，如果 functor 参数是模板，那么该 functor 的模板参数必须与容器 value_type 匹配。

我怀疑这是可能的，因为我认为在模板重载解析和约束检查开始之前必须知道函子的确切类型，换句话说，没有从概念到调用站点的信息“反向传播”。

但我不确定所以我决定问一下。

如果你想知道我尝试了什么，这里是我的代码，但它很破碎，我无法编写模板模板参数代码......

但无论如何我希望它能说明这个想法......

template<typename C, typename F>
struct xtransform
{
    xtransform(C& c, F f) : c_(c), f_(f){}
    void operator()(){
    }
    C c_;
    F f_;
};
template<typename C, template<typename> typename F, typename FArg>
requires requires {
    std::is_same_v<typename C::value_type, FArg>;
}
struct xtransform<C, F<FArg>>
{
    xtransform(C& c, F<FArg> f) : c_(c), f_(f){}
    void operator()(C& c, F<FArg> f){
    }
    C c_;
    F<FArg> f_;
};

Answer 1

没有。

std::max 命名一个模板函数。具有不完整模板参数列表的模板函数名称在重载解析期间转换为函数。重载解析需要将函数名转换为指向固定签名的指针，或者使用()s 调用。

概念无济于事。

现在您可以使用旧技巧了；在非推导上下文中使用函数指针的函数重载。当我编写手动滚动的 std 类函数类型时，正是出于这个原因，我添加了 R(*)(Args...) 重载；当存在类型完全匹配的重载时，允许重载解析。

但这不是基于概念的。