c++ - MSVC中从_Ty到int警告的转换累积

Question

我将MSVC警告提高到了4级，并且在boost::circular_buffer上使用了累加问题。这段代码:

boost::circular_buffer<unsigned short> shorts;
shorts.resize(10);
unsigned short res = std::accumulate(shorts.begin(), shorts.end(), static_cast<unsigned short>(0));

在累积模板(数字)中出现 possible loss of data警告失败:

// FUNCTION TEMPLATE accumulate
template<class _InIt,
    class _Ty,
    class _Fn>
    _NODISCARD inline _Ty accumulate(const _InIt _First, const _InIt _Last, _Ty _Val, _Fn _Reduce_op)
    {   // return noncommutative and nonassociative reduction of _Val and all in [_First, _Last), using _Reduce_op
    _Adl_verify_range(_First, _Last);
    auto _UFirst = _Get_unwrapped(_First);
    const auto _ULast = _Get_unwrapped(_Last);
    for (; _UFirst != _ULast; ++_UFirst)
        {
        _Val = _Reduce_op(_Val, *_UFirst); // <-- THIS IS WHERE THE WARNING IS
        }

    return (_Val);
    }

任何想法可能有什么问题吗？

Answer 1

25.9.2累积[accumulate] 将std::accumulate的效果定义为acc = std::move(acc) + *i。由于C++由于某种原因不支持对小于int的整数类型进行算术运算，而是在求和之前将+两侧的参数提升为int，因此结果将是int。因此，您在这里收到似乎不可避免的警告。

可能的解决方法是将累加器定义为unsinged int，然后将最终结果转换为所需的类型:

unsigned short res{static_cast< unsigned short >(::std::accumulate(shorts.begin(), shorts.end(), 0u));