解密有捷径吗

Question

在这个答案中，我编写了C 17代码：

cout << accumulate(cbegin(numbers), cend(numbers), decay_t<decltype(numbers[0])>{});

这收到了一些关于C型联想性质的负面评论，我很遗憾地说，我同意：(

<代码>衰减\t

数字元素的零初始化类型

是否可以保持与数字元素类型的关联，但不能键入30个字符来获取它？

编辑：

我有很多关于累积或从数字[0]中提取类型的包装器的答案。问题是它们需要阅读器导航到辅助位置以读取不亚于初始化代码的解决方案decay_t

我们必须做得更多的唯一原因是：decltype（数字[0]），因为数组下标操作符返回一个引用：

错误：“int”类型的右值表达式转换为“int”类型无效

有趣的是，关于decltype的参数：

如果对象的名称带括号，则将其视为普通左值表达式

然而，decltype（（数字[0]）仍然只是对数字元素的引用。因此，最终，这些答案可能会尽可能地简化初始化：(

Answer 1

我认为你能做的最好的事情就是在某个地方把这个因素考虑进去：

template <class It, class R = std::decay_t<decltype(*std::declval<It>())>>
R accumulate(It first, It last, R init = 0) {
    return std::accumulate(first, last, init);
}

std::cout << accumulate(cbegin(numbers), cend(numbers));

或者更一般地说：

template <class Range, class T =
        std::decay_t<decltype(*adl_begin(std::declval<Range&&>()))>>
T accumulate(Range&& range, T init = 0) {
    return std::accumulate(adl_begin(range), adl_end(range), init);
}

cout << accumulate(numbers);

其中，adl\U begin是adl的一个版本。

当然，从技术上讲，我们仍然有你之前试图避免的所有积垢。。。但至少现在你再也不用看它了？

Answer 2

个人偏好：我发现decay_t、dectype和decval舞蹈非常烦人且难以阅读。

相反，我将通过类型traitvalue\t使用额外级别的间接寻址

template<class It>
using value_t = typename std::iterator_traits<It>::value_type;

template<class It, class R = value_t<It>>
auto accumulate(It first, It last, R init = R{}) { /* as before */ }

Answer 3

虽然我总是选择按照@Barry编写一个辅助函数，但如果数字是一个标准容器，它将导出value_type类型，因此您可以节省一点复杂性：

cout << accumulate(cbegin(numbers), cend(numbers), decltype(numbers)::value_type());

更进一步，我们可以定义这个模板函数：

template<class Container, class ElementType = typename Container::value_type>
constexpr auto element_of(const Container&, ElementType v = 0)
{
    return v;
}

这给了我们：

cout << accumulate(cbegin(numbers), cend(numbers), element_of(numbers, 0));