Question

template<class _Diff,
        class _Urng>
        class _Rng_from_urng
    {   // wrap a URNG as an RNG
    public:
        explicit _Rng_from_urng(_Urng& _Func)
            : _Ref(_Func), _Bits(CHAR_BIT * sizeof(_Udiff)), _Bmask(_Udiff(-1))
        {   // construct from URNG
            for (; (_Urng::max)() - (_Urng::min)() < _Bmask; _Bmask >>= 1)
                --_Bits;
        }

        _Diff operator()(_Diff _Index)
        {   // adapt _Urng closed range to [0, _Index)
            for (;;)
            {   // try a sample random value
                _Udiff _Ret = 0;    // random bits
                _Udiff _Mask = 0;   // 2^N - 1, _Ret is within [0, _Mask]

                while (_Mask < _Udiff(_Index - 1))
                {   // need more random bits
                    _Ret <<= _Bits - 1; // avoid full shift
                    _Ret <<= 1;
                    _Ret |= _Get_bits();
                    _Mask <<= _Bits - 1;    // avoid full shift
                    _Mask <<= 1;
                    _Mask |= _Bmask;
                }

                // _Ret is [0, _Mask], _Index - 1 <= _Mask, return if unbiased
                if (_Ret / _Index < _Mask / _Index
                    || _Mask % _Index == _Udiff(_Index - 1))
                    return (_Ret % _Index);
            }
        }
    };
}

上面的代码是从stl粘贴的。 “避免全班工作”是什么意思？我认为可以将两个移位合并为单个操作。

_Ret <<= _Bits - 1; // avoid full shift 
_Ret <<= 1;

我将代码更改为：

_Ret<<=_Bits;

这里有什么不同？

Answer 1

[expr.shift]/1

7.6.7移位运算符



移位运算符<<和>>从左到右分组。

shift-表达式：

additive-expression

shift-expression <<加法表达式

shift-expression >>加法表达式

操作数应为整数或无范围枚举类型，并执行整数提升。结果的类型是提升后的左操作数的类型。 如果右操作数为负或大于或等于提升后的左操作数的位长度，则行为不确定。

C ++避免位操作完全移位

1 个答案:

[expr.shift]/1

7.6.7移位运算符