странные предупреждения компилятора о C ++ 11 Тип проверки кода

Question

странные предупреждения компилятора о C ++ 11 Тип проверки кода

Я пишу общий сумматор с проверкой переноса / переполнения и интенсивно использую функции проверки типов в 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 является типом со знаком int, и поэтому is_signed должен иметь значение true, поэтому компилятор должен использовать только то, что в ветви if, и выбрасывать ветку else.
Но, похоже, это не так, поскольку я получаю предупреждение:

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

Указал на эту строку. Но это не то, что я хочу.
Любые идеи, как сказать компилятору делать правильные вещи?

Компилятор: gcc 4.7.2 на x86-64, debian

Спасибо!

0

c++c++11 gcc-warning templates typetraits

Решение

Другие решения

Проблема здесь в том, что компилятор компилирует весь код, даже тот, который станет мертвым кодом, потому что он не знает ничего лучше.

Классическое решение, я считаю, предоставить другой параметр шаблона, который имеет значение по умолчанию std::is_signed<B::get()>::value, а затем специализироваться на этом параметре*. Но так как вы тестируете подпись для двух ваших параметров, это будет сложно.

Другим вариантом может быть просто создать подписанную переменную внутри условия if и использовать ее. Это просто обойдет предупреждение.

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

^{* Xeo напоминает мне, что вы не можете частично специализировать шаблоны функций, поэтому классическим решением на самом деле является диспетчеризация тегов.}

0

Источник

Accepted Answer

Это предупреждение, а не ошибка. Предупреждения предупреждают вас о вещах, которые вы, вероятно, не хотите делать, но которые являются законными. В этом случае вы хотите сделать это, поэтому игнорируйте это. Вы можете использовать прагму, чтобы игнорировать предупреждение, однако я бы рекомендовал документировать, как вы знаете, это безопасно для будущих разработчиков.

Специфичные для GCC прагмы для отключения этого предупреждения:

#pragma GCC diagnostic push
#pragma GCC diagnostic ignored "-Wsign-compare"setCarryFlag = ((MAX_OF(decltype(res)) - _b) < _a);
#pragma GCC diagnostic pop

1