blob: fcc1774fcd867264e003fe2a1d700467a65b775c [file] [log] [blame]
Brian Silverman4a2409e2018-08-04 23:24:02 -07001[/
2 Copyright 2007 John Maddock.
3 Distributed under the Boost Software License, Version 1.0.
4 (See accompanying file LICENSE_1_0.txt or copy at
5 http://www.boost.org/LICENSE_1_0.txt).
6]
7
8[section:make_signed make_signed]
9
10 template <class T>
11 struct make_signed
12 {
13 typedef __below type;
14 };
15
16 template <class T> using make_signed_t = typename make_signed<T>::type; // C++11 and above
17
18__type If T is a signed integer type then the same type as T, if T is an
19unsigned integer type then the corresponding signed type.
20Otherwise if T is an enumerated or
21character type (char or wchar_t) then a signed integer type with the same
22width as T.
23
24If T has any cv-qualifiers then these are also present on the result type.
25
26[*Requires:] T must be an integer or enumerated type, and must not be the type
27bool.
28
29__std_ref 3.9.1.
30
31[all_compilers]
32
33__header ` #include <boost/type_traits/make_signed.hpp>` or ` #include <boost/type_traits.hpp>`
34
35[table Examples
36
37[ [Expression] [Result Type]]
38
39[[`make_signed<int>::type`][`int`]]
40
41[[`make_signed<unsigned int const>::type`] [`int const`]]
42
43[[`make_signed<const unsigned long long>::type`] [`const long long`]]
44
45[[`make_signed<my_enum>::type`] [A signed integer type with the same width as the enum.]]
46[[`make_signed<wchar_t>::type`] [A signed integer type with the same width as wchar_t.]]
47
48]
49
50[endsect]
51