Форум программистов [Powered by Invision Power Board]

Код


-21 >> 0 // = 11111111111111111111111111101011 = -21
-21 >> 1 // = 01111111111111111111111111110101 = 2147483637
-21 >> 2 // = 00111111111111111111111111111010 = 1073741818
-21 >> 3 // = 00011111111111111111111111111101 = 536870909
-21 >> 4 // = 00001111111111111111111111111110 = 268435454
-21 >> 5 // = 00000111111111111111111111111111 = 134217727

Код


(-21>>1)&0x7FFFFFFF

Цитата(djamshud @ 11.8.2010, 13:44)

pilotnet, что еще за арифметический? Двоичный сдвиг это. То, что вы и просите.

Код


int LogicalShiftRight(int number, int bits)
{
    return bits==0?number:LogicalShiftRight(number>>1&0x7FFFFFFF, --bits);
}

//...
LogicalShiftRight(-21, 0); //-21
LogicalShiftRight(-21, 1); //2147483637
LogicalShiftRight(-21, 2); //1073741818

Цитата(UniBomb @ 11.8.2010, 14:15

)

В общем вот что получилось

Код


template<class T> T ror(T val, unsigned int n)
{
        int bits = sizeof(T) * 8/*CHAR_BIT*/;
        n = n % bits;
        val = ( val >> n) | ( val << (bits - n) );
    
        int digit = 1;
        for (unsigned int i = 1; i < n; i++)
                digit = digit | (1 << i);
    
        return ( val & ~( digit << (bits - n) ) );
}

Код

namespace LogicalShift{

    template<typename> struct Unsigned;
    template<> struct Unsigned<char >{ typedef unsigned char  Type; };
    template<> struct Unsigned<short>{ typedef unsigned short Type; };
    template<> struct Unsigned<int  >{ typedef unsigned int   Type; };
    template<> struct Unsigned<long >{ typedef unsigned long  Type; };

    template<typename T>
    inline T right (T arg, std::size_t shift){
        typedef typename Unsigned<T>::Type U;
        return static_cast<T>((static_cast<U>(arg) >> shift));
    }

}

int main () {

    std::cout<<LogicalShift::right(-21, 1)<<"\n";
    std::cout<<LogicalShift::right(-21, 2)<<"\n";
    std::cout<<LogicalShift::right(-21, 3)<<"\n";
    std::cout<<LogicalShift::right(-21, 4)<<"\n";
    std::cout<<LogicalShift::right(-21, 5)<<std::endl;

    return 0;
}

Код

Цитата(Леопольд @ 11.8.2010, 14:56

)

Итерация и, тем более, рекурсия здесь явно ни к чему. Компилятор может сделать это в статике. Результат - одна инструкция в исполняемом файле (без вызова функции)...

Цитата(pilotnet @ 11.8.2010, 11:39

)

template<class T> T ror(T val, unsigned int n)

Код

namespace BitwiseShift{

    enum { byteSize = 8 };

    template<typename T> struct Unsigned {
        typedef T              Type;
    private:
        enum { simpleStaticAssert = T() >> 1 };
    };
    template<> struct Unsigned<char >    { typedef unsigned char  Type; };
    template<> struct Unsigned<short>    { typedef unsigned short Type; };
    template<> struct Unsigned<int  >    { typedef unsigned int   Type; };
    template<> struct Unsigned<long >    { typedef unsigned long  Type; };

    template<typename T>
    inline T lRight (T arg, std::size_t shift){
        typedef typename Unsigned<T>::Type U;
        return static_cast<T>((static_cast<U>(arg) >> shift));
    }

    template<typename T>
    inline T rRight (T arg, std::size_t shift){
        typedef typename Unsigned<T>::Type U;
        U temp = static_cast<U>(arg) >> shift;
        return static_cast<T>(temp | static_cast<U>(arg) << (sizeof(T) * byteSize - shift));
    }

    template<typename T>
    inline T rLeft (T arg, std::size_t shift){
        typedef typename Unsigned<T>::Type U;
        U temp = static_cast<U>(arg) << shift;
        return static_cast<T>(temp | static_cast<U>(arg) >> (sizeof(T) * byteSize - shift));
    }

}

int main () {

    std::cout<<BitwiseShift::lRight(-21, 1)<<"\n";
    std::cout<<BitwiseShift::lRight(-21, 2)<<"\n";
    std::cout<<BitwiseShift::lRight(-21, 3)<<"\n";
    std::cout<<BitwiseShift::lRight(-21, 4)<<"\n";
    std::cout<<BitwiseShift::lRight(-21, 5)<<"\n\n";

    std::cout<<BitwiseShift::rRight(static_cast<unsigned>(-1), 1)<<"\n";
    std::cout<<BitwiseShift::rLeft(-1, 1)<<std::endl;

    return 0;
}

Код