char型のun/signednessを削除する

Question

char、short、longおよびlongの長さのクラステンプレートを特化したいと思います。この特殊化は、整数型の符号付きおよび符号なしバリアントにも有効です。

私はboostライブラリとstd :: tr1/C++ 0xがis_signed/is_unsignedとmake_signed/make_unsigned type_traitsを実装していることを知っています。しかし、どのように署名された仕様をchar型から取り除くことができますか（注：唯一の整数型で、署名されたitype！= itype）？

Answer 1

charの「符号」は実装定義です。負の数を格納する必要はありません。厳密な標準では、 は決して符号付き整数型でも、実装に負の数を格納することができます。それでも、クラステンプレートis_signedは、charの場合はtrueと報告します。これは、負の数値を格納できる場合に便利です。

とにかく、あなたの目的のために使うことができるように、昇進のドキュメントは約make_unsignedについて次のように言います。

Tが符号付き整数型で、Tが符号付き整数型の場合は対応する符号なし型の場合はTと同じ型です。 Tが列挙または文字型（charまたはwchar_t型）であり、そうでない場合、次いでthe sourcemake_unsignedからT

Answer 2

と同じ幅を持つ符号なし整数型は依然としてチャーでも動作すべきです。そうでなければ見つかりましたか？あなたのプラットフォームでcharがunsigned charに相当する場合は、明示的なsigned charタイプにのみ影響します。

Answer 3

かなりマニュアルと起こってほとんどの魔法が、あなたはcharからsigned/unsignedを削除したい場合は、このテンプレートを使用することができます。

template <typename T> 
struct remove_sign_from_char { 
    typedef T type; 
}; 
template <> 
struct remove_sign_from_char<signed char> 
{ 
    typedef char type; 
}; 
template <> 
struct remove_sign_from_char<unsigned char> 
{ 
    typedef char type; 
}; 

int main() { 
    static_assert(std::is_same< char, remove_sign_from_char<unsigned char>::type >::value); 
    static_assert(std::is_same< char, remove_sign_from_char<signed char>::type >::value); 
    static_assert(std::is_same< char, remove_sign_from_char<char>::type >::value); 
    static_assert(std::is_same< int, remove_sign_from_char<int>::type >::value); 
} 

Answer 4

さて、私はかなり格好良い解決策を見つけました：

template<typename itype, typename = void> struct my_typedef; 
/* ----------------------------------------------------------------------------------------------------- */ 

template<> 
struct my_typedef<char> 
{ 
    typedef char   type; 
    typedef signed char signed_type; 
    typedef unsigned char unsigned_type; 
}; /* template<> struct my_typedef<char> */ 
/* ----------------------------------------------------------------------------------------------------- */ 

template<> 
struct my_typedef<short> 
{ 
    typedef short   type; 
    typedef signed short signed_type; 
    typedef unsigned short unsigned_type; 
}; /* template<> struct my_typedef<short> */ 
/* ----------------------------------------------------------------------------------------------------- */ 

template<> 
struct my_typedef<long> 
{ 
    typedef long   type; 
    typedef signed long signed_type; 
    typedef unsigned long unsigned_type; 
}; /* template<> struct my_typedef<long> */ 
/* ----------------------------------------------------------------------------------------------------- */ 

template<> 
struct my_typedef<long long> 
{ 
    typedef long long   type; 
    typedef signed long long signed_type; 
    typedef unsigned long long unsigned_type; 
}; /* template<> struct my_typedef<long long> */ 
/* ----------------------------------------------------------------------------------------------------- */ 

template<> 
struct my_typedef<signed char> 
{ 
    typedef my_typedef<char>::type   type; 
    typedef my_typedef<char>::signed_type signed_type; 
    typedef my_typedef<char>::unsigned_type unsigned_type; 
}; /* template<> struct my_typedef<signed char> */ 
/* ----------------------------------------------------------------------------------------------------- */ 

template<typename itype> 
struct my_typedef<itype, typename std::enable_if<std::is_unsigned<itype>, void>::type> 
{ 
    typedef typename my_typedef<typename std::make_signed<itype>::type>::type type; 
    typedef typename my_typedef<typename std::make_signed<itype>::type>::type signed_type; 
    typedef typename my_typedef<typename std::make_signed<itype>::type>::type unsigned_type; 
}; /* template<typename> struct my_typedef<signed itype> */ 
/* ----------------------------------------------------------------------------------------------------- */