类型推论模板功能返回类型

Question

我正在编写一个模板函数，该功能使用std::minus返回向量元素的差异。

目前我有以下代码：

template <typename T>
auto diffs(std::vector<T> &nums)
{
    typedef decltype(std::minus<T>()) diffType;
    std::vector<diffType> differences;
    differences.reserve(nums.size() - 1);
    auto test = std::back_inserter<std::vector<decltype (std::minus<T>())>>;
    std::transform(++begin(nums), end(nums), begin(nums), std::back_inserter(differences), std::minus<T>());
    return differences;
}

并使用

来调用它

void test()
{
    auto values = std::vector<int>{ 1,2,4,6,89,1456 };
    auto differences = diffs(values);
}

当我编译时，我会得到：

binary '=': no operator found which takes a right-hand operand of type 'int' (or there is no acceptable conversion)

我如何声明我的 typedef，以便与我的back_inserter正确使用？

Answer 1

this：

decltype(std::minus<T>())

要求构建minus<T>的默认类型，即minus<T>。您想要的是当您调用它时会发生什么：

decltype(std::minus<T>()(nums[0], nums[0]))

，或者您可以使用类型特征：

std::invoke_result_t<std::minus<T>, T const&, T const&>