别名模板和模板类的模板参数自动推导

Question

#include <type_traits>
#include <iostream>

#include <cstdlib>

template< typename first, typename second, typename ...rest >
using fp = first (*)(first const &, second const &, rest const &...); // at least binary function

int
main()
{
    template fp sum = [] (auto const & first, decltype(first) second, auto const &... rest) { return first + sum(second, rest...); };
    //              ^ assignment                                                                                ^ call
    std::cout << sum(1, 2.0, 3.0f) << std::endl;
    return EXIT_SUCCESS;
}

另一个有用的可能示例：（伪代码）

template std::vector v{1, 2, 3};
static_assert(std::is_same< decltype(v), std::vector< int > >{});

Answer 1

不，没有办法做你想做的事。推导表达式结果的方法是使用auto。无法推导函数模板或别名模板的类型。考虑最简单的情况：

std::function<auto> if_this_existed = [](int x, int y) { return x + y; };

您可能期望std::function 。但是std::function 有效。std::function 也是如此。真的没有一件事可以推论。此外，对于泛型lambda，分配特定类型是没有意义的：

std::function<void(???)> print = [](auto x) { std::cout << x; };

lambda可以用任何可打印的类型调用，但是无论我们在？？？中放什么都将限制print只是该类型。所以这也失败了。

auto sum = [] (auto const&... args) {
    return (args + ...);
};