std:: make_unsigned
| Type traits | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
|
|||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time rational arithmetic | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
| Compile-time integer sequences | ||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
(C++14)
|
||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||||
|
Definiert im Header
<type_traits>
|
||
|
template
<
class
T
>
struct make_unsigned ; |
(seit C++11) | |
Wenn
T
ein integraler Typ (außer
bool
) oder ein Aufzählungstyp ist, stellt die Spezialisierung den Mitgliedstyp
type
bereit, der dem vorzeichenlosen Ganzzahltyp entspricht, der zu
T
gehört, mit den gleichen CV-Qualifizierern.
Wenn
T
signed oder unsigned
char
,
short
,
int
,
long
,
long
long
ist; wird der entsprechende unsigned Typ aus dieser Liste für
T
bereitgestellt.
Wenn
T
ein Aufzählungstyp oder
char
,
wchar_t
,
char8_t
(seit C++20)
,
char16_t
,
char32_t
ist; wird der vorzeichenlose Ganzzahltyp mit dem kleinsten
Rang
bereitgestellt, der dieselbe
sizeof
-Größe wie
T
hat.
|
Andernfalls ist das Verhalten undefiniert. |
(until C++20) |
|
Andernfalls ist das Programm fehlerhaft. |
(since C++20) |
Wenn das Programm Spezialisierungen für
std::make_unsigned
hinzufügt, ist das Verhalten undefiniert.
Inhaltsverzeichnis |
Mitgliedertypen
| Name | Definition |
type
|
der vorzeichenlose Ganzzahltyp, der
T
entspricht
|
Hilfstypen
|
template
<
class
T
>
using make_unsigned_t = typename make_unsigned < T > :: type ; |
(seit C++14) | |
Beispiel
#include <type_traits> int main() { using uchar_type = std::make_unsigned_t<char>; using uint_type = std::make_unsigned_t<int>; using ulong_type = std::make_unsigned_t<volatile long>; static_assert( std::is_same_v<uchar_type, unsigned char> and std::is_same_v<uint_type, unsigned int> and std::is_same_v<ulong_type, volatile unsigned long> ); }
Siehe auch
|
(C++11)
|
prüft, ob ein Typ ein vorzeichenbehafteter arithmetischer Typ ist
(Klassentemplate) |
|
(C++11)
|
prüft, ob ein Typ ein vorzeichenloser arithmetischer Typ ist
(Klassentemplate) |
|
(C++11)
|
ermittelt den entsprechenden vorzeichenbehafteten Typ für den gegebenen Ganzzahltyp
(Klassentemplate) |