Язык C++: длинный тип int и Long и int и int64 значение типа Т

я испытал некоторое странное поведение при использовании черт типа C++ и сузил свою проблему до этой причудливой маленькой проблемы, для которой я дам тонну объяснений, так как я не хочу оставлять ничего открытым для неправильного толкования.

скажем, у вас есть такая программа:

#include <iostream>

#include <cstdint>



template <typename T>

bool is_int64() { return false; }



template <>

bool is_int64<int64_t>() { return true; }



int main()

{

 std::cout << "int:t" << is_int64<int>() << std::endl;

 std::cout << "int64_t:t" << is_int64<int64_t>() << std::endl;

 std::cout << "long int:t" << is_int64<long int>() << std::endl;

 std::cout << "long long int:t" << is_int64<long long int>() << std::endl;



 return 0;

}

как в 32-разрядной компиляции с GCC (и с 32 - и 64-разрядной MSVC), выход программы будет:

int:           0

int64_t:       1

long int:      0

long long int: 1

тем не менее, программа в результате 64-разрядной Компиляция GCC выведет:

int:           0

int64_t:       1

long int:      1

long long int: 0

это любопытно, так как long long int является 64-разрядным целым числом со знаком и во всех отношениях идентичен long int и int64_t типы, так что логично,int64_t,long int и long long int будут эквивалентные типы-сборка, созданная при использовании этих типов, идентична. Один взгляд на stdint.h говорит мне, почему:

# if __WORDSIZE == 64

typedef long int  int64_t;

# else

__extension__

typedef long long int  int64_t;

# endif

в 64-битной компиляции,int64_t и long int, а не long long int (очевидно).

исправление для этой ситуации довольно легко:

#if defined(__GNUC__) && (__WORDSIZE == 64)

template <>

bool is_int64<long long int>() { return true; }

#endif

но это ужасно hackish и не масштабируется хорошо (фактические функции вещества,uint64_t, etc). Итак, мой вопрос: есть ли способ сказать компилятору, что a long long int это также a int64_t, так как long int - это?

мои первоначальные мысли заключаются в том, что это невозможно из-за того, как работают определения типов C/C++. Не существует способа, чтобы указать эквивалентность типов исходных данных типы для компилятора, так как это работа компилятора (и позволяя это может сломать много вещей) и typedef идет только в одну сторону.

я также не слишком озабочен получением ответа здесь, так как это супер-пупер крайний случай, который я не подозреваю, что кто-то когда-либо будет заботиться о том, когда примеры не ужасно придуманы (означает ли это, что это должно быть сообщество wiki?).

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

void go(int64_t) { }



int main()

{

    long long int x = 2;

    go(x);

    return 0;

}

это сказал пример все равно будет компилироваться, так как long long int неявно преобразуется в int64_t.

добавить: единственный ответ, который до сих пор предполагает, что я хочу знать, является ли Тип 64-бит. Я не хотел вводить людей в заблуждение, думая, что я забочусь об этом и, вероятно, должен был предоставить больше примеров того, где эта проблема проявляется.

template <typename T>

struct some_type_trait : boost::false_type { };



template <>

struct some_type_trait<int64_t> : boost::true_type { };

In этот пример,some_type_trait<long int> будет boost::true_type, а some_type_trait<long long int> не будет. Хотя это имеет смысл в идее типов C++, это нежелательно.

другой пример - использование квалификатора типа same_type (что довольно часто используется в концепциях C++0x):

template <typename T>

void same_type(T, T) { }



void foo()

{

    long int x;

    long long int y;

    same_type(x, y);

}

этот пример не компилируется, так как C++ (правильно) видит, что типы различны. g++ не удастся скомпилировать с ошибкой типа: нет соответствующего вызова функции same_type(long int&, long long int&).

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