我在使用 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;
}
在使用 GCC（以及 32 位和 64 位 MSVC）的 32 位编译中，程序的输出将是：
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 intandint64_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_tis long int，而不是 a long long int（显然）。
这种情况的修复非常简单：
#if defined(__GNUC__) && (__WORDSIZE == 64)
template <>
bool is_int64<long long int>() { return true; }
#endif
但这是非常骇人听闻的，并且不能很好地扩展（物质的实际功能uint64_t，等）。 所以我的问题是：有没有办法告诉编译器 along long int也是 a int64_t，就像long intis 一样？
我最初的想法是，由于 C/C++ 类型定义的工作方式，这是不可能的。没有办法为编译器指定基本数据类型的类型等效性，因为这是编译器的工作（并且允许这样做可能会破坏很多事情）并且typedef只有一种方式。
我也不太关心在这里得到答案，因为这是一个超级骗局的边缘案例，我不怀疑当示例不是非常人为设计时有人会关心（这是否意味着这应该是社区维基？） .
附加：我使用部分模板专业化而不是更简单的示例的原因，例如：
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 { };
在此示例中，some_type_trait<long int>将是 a 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&)。
我想强调一下，我理解为什么会发生这种情况，但我正在寻找一种不会强迫我到处重复代码的解决方法。