0

キャリー/オーバーフロー チェックを備えた一般的な加算器を作成しており、C++11 の型チェック機能を多用しています。

これは私のコードです:

#include <iostream>
using namespace std;
#define MIN_OF(TYPE) ( (std::is_signed<decltype(res)>::value) ? \
                                (1 << ( ( sizeof(decltype(res)) * 8 ) - 1)) : \
                                0 )

#define MAX_OF(TYPE) (~MIN_OF(TYPE))


#define ABS(x)  (x < 0 ? -x : x)

class Flags
{
public:
    void setSign(bool x)
    {
        cout << boolalpha;
        cout << "setSign: " << x << endl;
    }
    void setOverflow(bool x)
    {
        cout << boolalpha;
        cout << "setOverflow: " << x << endl;
    }
    void setCarry(bool x)
    {
        cout << boolalpha;
        cout << "setCarry: " << x << endl;
    }
    void setZero(bool x)
    {
        cout << boolalpha;
        cout << "setZero: " << x << endl;
    }
};

template <typename TYPE, TYPE def>
class Value
{
public:
static inline TYPE get()
{
    return def;
}
static inline void set(TYPE x)
{
    cout << "value: " << hex << x << endl;
}
};


template <class A, class B, class RES>
struct ADD
{
static void Do(Flags* _flags)
{
    if (std::is_convertible<decltype(A::get()),decltype(RES::get())>::value)
    {
        decltype(A::get()) _a = A::get();
        decltype(B::get()) _b = B::get();

        decltype(RES::get()) res = _a;

        if (_b != 0)
        {
            res = res + _b;

            if (std::is_signed<decltype(res)>::value)
            {
                unsigned char highestbit_a = static_cast<unsigned char>(0x1 & (_a >> (( sizeof(decltype(_a)) * 8 ) - 1)));
                unsigned char highestbit_b = static_cast<unsigned char>(0x1 & (_b >> (( sizeof(decltype(_b)) * 8 ) - 1)));
                unsigned char highestbit_res = static_cast<unsigned char>(0x1 & (res >> (( sizeof(decltype(res)) * 8 ) - 1)));

                _flags->setSign( (res < 0) );
                _flags->setOverflow( ((highestbit_a & highestbit_b) != highestbit_res) );
            }
            else
            {
                _flags->setSign( false );
                _flags->setOverflow( false );
            }

            bool setCarryFlag = false;

            if (std::is_signed<decltype(_b)>::value)
            {
                if(_b < 0)
                {
                    /* as _b is negative, we add _b to lowest_res, if the result
                     *  is greater as _a, _a + _b (with _b as negative number) would
                     * result in an carry out
                     */
                    setCarryFlag = (static_cast<decltype(_a)>(ABS((MIN_OF(decltype(res)) - _b))) > _a);
                }
                else
                {
                    setCarryFlag = (static_cast<decltype(_a)>((MAX_OF(decltype(res)) - _b)) < _a);
                }
            }
            else
            {
                //get difference of one summand to results highest until carry
                /* MARKED LINE: this branch gets wrongly checked */
                setCarryFlag = ((MAX_OF(decltype(res)) - _b) < _a);
            }

            _flags->setCarry( setCarryFlag );
        }
        else
        {
            if (std::is_signed<decltype(res)>::value)
            {
                _flags->setSign( (res < 0) );
            }
        }

        _flags->setZero( (res == 0) );

        //store result
        RES::set(res);
    }
}
};



int main()
{
Flags* f = new Flags();
ADD<Value<unsigned int, 1>, Value<signed int, 6>, Value<unsigned int, 1>>::Do(f);

return 0;
}

問題は「MARKED LINE:」で発生します。通常、_b は signed int の型であり、is_signed が true であるため、コンパイラはこのブランチを使用しないことを理解しています。したがって、コンパイラは if ブランチでのみ whats を使用し、else ブランチを破棄する必要があります。しかし、警告が表示されるため、これを行うようには見えません:

 warning: comparison between signed and unsigned integer expressions [-Wsign-compare]|

この行を指しました。しかし、これは私が望むものではありません。コンパイラに正しいことをするように指示する方法はありますか?

コミラー: x86-64 上の gcc 4.7.2、debian

ありがとう！

4

2 に答える 2

1

これは警告であり、エラーではありません。警告は、おそらくやりたくないが違法であることについて警告するためにあります。この場合はやりたいので無視してください。プラグマを使用して警告を無視することもできますが、将来の開発者にとって安全であることをどのように知っているかを文書化することをお勧めします。

この警告を無効にする GCC 固有のプラグマは次のとおりです。

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wsign-compare"
setCarryFlag = ((MAX_OF(decltype(res)) - _b) < _a);
#pragma GCC diagnostic pop
于 2013-03-12T21:20:56.400 に答える
0

ここでの問題は、コンパイラがすべてのコードをコンパイルしていることです。これは、デッド コードになるものも含めて、それ以上のことを認識していないためです。

古典的な解決策は、デフォルト値が である別のテンプレート パラメータを提供std::is_signed<B::get()>::valueし、そのパラメータ*に特化することだと思います。しかし、2 つのパラメータの署名をテストしているので、複雑になります。

もう 1 つのオプションは、if 条件内に符号付き変数を作成し、それを使用することです。それは単に警告をバイパスします。

if (std::is_signed<decltype(res)>::value) {
    typename std::make_signed<decltype(res)>::type sres = res;
    // now use sres
}

* Xeo によると、関数テンプレートを部分的に特化することはできないため、従来のソリューションは実際にはタグ ディスパッチです。

于 2013-03-12T21:28:36.890 に答える