c++ - cstdint typedef 是否可以绑定(bind)到某些实现特定类型 std::numeric_limits 不是专门用于？

Question

是否有可能，至少在理论上，cstdint typedef 绑定(bind)到某些实现特定类型 std::numeric_limits 不是专门用于？

根据http://www.cplusplus.com/reference/limits/numeric_limits ，让我引述一下，“[std::numeric_limits] 专用于每个基本算术类型，其成员描述类型 T 的属性。此模板不得专用于任何其他类型。”

根据 http://en.cppreference.com/w/cpp/types/numeric_limits ，让我再次引用，“实现可以为特定于实现的类型提供 std::numeric_limits 的特化”。

“可能”，cppreference 说。所以他们不必。

最后，根据 http://www.cplusplus.com/reference/cstdint ，标题中定义的 typedef“是基本整数类型或扩展整数类型的 typedef”。

因此，总而言之 - 似乎 cstdint typedef 可能绑定(bind)到扩展整数类型(无论它们是什么)，它们不是基本整数类型(同样，无论它们是)，因此可能与 std::numeric_limits 不兼容。这是正确的吗？

但是，我链接到的文档在一点上似乎有些不一致。 cplusplus.com 是否禁止 std::numeric_limits 不得专用于任何非基础算术类型，以反对 cppreference 允许 std::numeric_limits 可能专用于特定于实现的类型？当然，除非这些特定于实现的类型实际上是 基本整数类型，在这种情况下，希望 std::numeric_limits 必须专用于所有 cstdint 类型定义。

文档让我很困惑。所以我在这里问我的问题:)

编辑。

根据 http://eel.is/c++draft/cstdint , cstdint 必须绑定(bind)到整数类型。并根据http://eel.is/c++draft/limits.numeric , "应为每种算术类型提供专门化，包括 float 和整数，包括 bool"。 整数类型是算术类型，因此 std::numeric_limits 必须专用于 cstdint typedef 的理解是否正确？

Answer 1

特化，例如 std::numeric_limits<std::int_fast32_t>必须存在。

3.9.1/2:

There are five standard signed integer types: "signed char", "short int", "int", "long int", and "long long int". ... There may also be implementation-defined extended signed integer types. The standard and extended signed integer types are collectively called signed integer types.

3.9.1/3:

For each of the standard signed integer types, there exists a corresponding (but different) standard unsigned integer type.... Likewise, for each of the extended signed integer types there exists a corresponding extended unsigned integer type.... The standard and extended unsigned integer types are collectively called unsigned integer types.

3.9.1/7:

Types bool, char, char16_t, char32_t, wchar_t, and the signed and unsigned integer types are collectively called integral types. A synonym for integral type is integer type.

3.9.1/8:

Integral and floating types are collectively called arithmetic types. Specializations of the standard template std::numeric_limits (18.3) shall specify the maximum and minimum values of each arithmetic type for an implementation.

18.3.2.1/2:

Specializations [of numeric_limits] shall be provided for each arithmetic type, both floating point and integer, including bool.

18.4.1:

namespace std {
  typedef signed_integer_type int8_t;    // optional
  //...
  typedef unsigned_integer_type uint8_t; // optional
  //...
}

因此 <cstdint> 中定义的类型可能是扩展类型，但绝对是整数类型，因此必须具有相应的特化 std::numeric_limits .

此外，所有整数类型都是标准 (3.9) 中使用的“基本”类型，尽管并非所有类型都是标准类型。