如何定义自定义跨平台 size_t 类型？

Question

std::size_t 通常用于数组索引和循环计数。根据定义，std::size_t 是sizeof 运算符以及sizeof... 运算符和alignof 运算符（C++11 起）的结果的无符号整数类型。它在以下标题中定义：

• <cstddef>
• <cstdio>
• <cstdlib>
• <cstring>
• <ctime>
• <cwchar>

据我了解，这些运算符返回的类型是实现定义的。

我想要定义一个自定义size_t，以避免从我的.cpp 文件中的上述任何标题中提取不必要的内容，因为在我的文件中我只需要std::size_t。

在 C++11 及更高版本中，我认为我可以使用以下别名：

using size_t = decltype(sizeof(1));

但是，我想以可移植/跨平台的方式为 C++11 之前的编译器定义一个 size_t 类型。

那么有没有一种可移植的方式来为 pre-C++11 定义 size_t？

Answer 1

理论上，如果列出size_t 的所有可能（未签名）候选人不打扰您，您可以使用 SFINAE：

template <class T, class N = void, bool = sizeof(T) == sizeof(sizeof(T))>
struct TL { 
    typedef typename N::type type;
};

template <class T, class N>
struct TL<T, N, true> {
    typedef T type;
};

typedef TL<unsigned short,TL<unsigned int, TL<unsigned long, TL<unsigned long long> > > >::type SizeT;

[live demo]

---

编辑：

编译器的解决方法将unsigned long 与unsigned long long 区分开来，尽管他们假设sizeof(unsigned long) == sizeof(unsigned long long)：

template <class U>
U *declptrval(U);

template <class U>
char is_exact(U *);

template <class U>
short is_exact(...);

template <class T, class N = void, bool = sizeof(is_exact<T>(declptrval(sizeof(T))))==sizeof(char)>
struct TL { 
    typedef typename N::type type;
};

template <class T, class N>
struct TL<T, N, true> {
    typedef T type;
};

typedef TL<unsigned short,TL<unsigned int, TL<unsigned long, TL<unsigned long long> > > >::type SizeT;

[live demo]

Answer 2

据我所知，您列出了获取size_t 的仅有的两种跨平台方法：包括来自标准头文件的定义，或 decltype（C++11 起）。但两者都对您明确不可用。

第三个选项是手动移植，即使用预定义的宏来检测环境，并从手动维护的 typedef 列表中选择正确的 typedef。例如，在 GCC 上，您可以使用 __SIZE_TYPE__（但是，请考虑文档中的警告，即不应直接使用宏，并且并非在所有平台上都提供该宏）。在其他编译器上，您会使用其他东西。

Answer 3

不幸的是，“实现定义”包括头文件，而不仅仅是编译器本身。如果你查看[expr.sizeof]，他们似乎建议只使用这个：

#include <cstddef>