Upozornění kompilátoru (úroveň 2) C4146

unární mínus operátor použitý na nepodepsaný typ, výsledek je stále nepodepsaný

Poznámky

Nepodepsané typy obsahují pouze nezáporné hodnoty. Unární mínus (negace) proto obvykle při použití na nepodepsaný typ nedává smysl. Operand i výsledek jsou nezáporné.

Při vyjádření záporného celočíselného literálu se - před hodnotou parsuje jako operátor unární negace. Kompilátor použije operátor po parsování číselné hodnoty. Pokud se číselná hodnota vejde do rozsahu celočíselného typu bez znaménka, ale ne odpovídající typ celého čísla se znaménkem, kompilátor interpretuje hodnotu jako nepodepsanou.

K tomuto upozornění často dochází, když se pokusíte vyjádřit minimální int hodnotu, -2147483648 nebo minimální long long hodnotu , -9223372036854775808. Tyto hodnoty nelze zapsat jako -2147483648 ani -9223372036854775808ll. Důvodem je to, že kompilátor zpracovává výraz ve dvou fázích: nejprve parsuje číselnou hodnotu a pak použije operátor negace. Když například kompilátor parsuje -2147483648, postupuje takto:

1. Vyhodnotí se číslo 2147483648. Protože je větší než maximální int hodnota 2147483647, ale přesto se vejde do unsigned int, typ 2147483648 je unsigned int.
2. Unární mínus se použije na hodnotu bez znaménka s výsledkem bez znaménka, který se také stane 2147483648.

Nepodepsaný typ výsledku může způsobit neočekávané chování. Pokud je výsledek použit v porovnání, pak se může použít nepodepsané porovnání, například když druhý operand je .int

C4146 se můžete vyhnout použitím INT_MIN nebo LLONG_MIN nebo ekvivalentu jazyka C++, <limits.h>. Tyto hodnoty mají podepsané typy.

Možnost kompilátoru /sdl (Povolit další kontroly zabezpečení) zvýší toto upozornění na chybu.

Příklad

Následující příklad ukazuje neočekávané chování, ke kterému může dojít při generování upozornění C4146 kompilátoru:

// C4146.cpp
// compile with: /W2
#include <iostream>

void check(int i)
{
    if (i > -9223372036854775808ll)   // C4146
        std::cout << i << " is greater than the most negative long long int.\n";
}

int main()
{
    check(-100);
    check(1);
}

V tomto příkladu kompilátor považuje -9223372036854775808ll bez znaménka, i když má literál ll příponu a použije se operátor negace. Aby bylo < porovnání, kompilátor bezobslužně podporuje podepsáno i .unsigned long long int Očekávaný druhý řádek 1 is greater than the most negative long long int, není vytištěn, protože ((unsigned long long int)1) > 9223372036854775808ull je false.

Pokud chcete tento příklad opravit, zahrňte <climits> a změňte -9223372036854775808ll na LLONG_MIN.

Viz také

Unární negační operátor (-)