如何测试迭代器值是否具有整数类型？

Question

在编写 C++ 模板函数时，我必须检查此函数使用的变量类型是否为整数。如果是这种情况，应该会导致编译错误。

template <class IT> void foo( IT first, IT last ) {
    // check here that *first has integral type.
}

我的问题是，这个函数模板参数不是直接使用的类型，而是一个迭代器类型。

不幸的是，我目前处于无法使用 C++11 或 Boost 的环境中，因此我将不得不自己尝试重新发明这个轮子。

我最终通过定义一个指向数组的指针，使用参数数组大小来测试该类型是整数。如果参数类型是非整数，这会产生编译错误。

template <class IT> void foo( IT first, IT last ) {
    int ( * fake_array_ptr )[*first]; // Error: size of array has non-integral type
}

我的问题是：还有其他更显式的方法来测试一个类型是否是整数？

Answer 1

我最终通过定义一个指向数组的指针，使用参数数组大小来测试该类型是整数。如果参数类型是非整数，这会产生编译错误。

这不是便携式的。即使参数类型是整数，它也会产生编译错误，因为数组大小必须是整数常量表达式。它目前可能正在编译，因为您的编译器具有 C99 可变长度数组作为扩展，并且默认启用它。

可移植整数类型的数量是有限的。其中每一个的显式特化是在 C++03 中实现 is_integral 的一种可移植方式。

template <typename T>
struct is_integral { static const bool value = false; };

template <>
struct is_integral<char> { static const bool value = true; };

template <>
struct is_integral<signed char> { static const bool value = true; };

template <>
struct is_integral<unsigned char> { static const bool value = true; };

template <>
struct is_integral<short> { static const bool value = true; };

// and so on

template <>
struct is_integral<unsigned long> { static const bool value = true; };

为了在此 trait 产生 false 时导致编译错误，可以在 C++11 中使用 static_assert 或 BOOST_STATIC_ASSERT。之前有一个关于how to implement BOOST_STATIC_ASSERT on your own的问题。