cstdint typedefs 能否绑定到某些特定于实现的类型 std::numeric_limits 不是专门用于？

Question

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

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

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

"May"，cppreference 说。所以他们不必。

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

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

但是，我链接到的文档在某一点上似乎略有不一致。 cplusplus.com 禁止 std::numeric_limits 不能专用于任何 non-fundamental 算术类型，这与 cppreference 允许 std::numeric_limits 可能专用于 implementation-specific类型？当然，除非这些implementation-specific类型实际上是基本整数类型，其中在这种情况下，希望 std::numeric_limits 必须专用于所有 cstdint 类型定义。

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

编辑。

根据 http://eel.is/c++draft/cstdint , cstdint must bind to integer types. And according to http://eel.is/c++draft/limits.numeric ，“应为每种算术类型提供专业化，浮点和整数，包括 bool”。 整数类型是一种算术类型，因此std::numeric_limits必须专用于cstdint类型定义是否正确？

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) 中使用的意义上，所有整数类型都是 "fundamental"，尽管并非所有都是标准类型。

cstdint typedefs 能否绑定到某些特定于实现的类型 std::numeric_limits 不是专门用于？

Can cstdint typedefs bind to some implementation specific types std::numeric_limits is not specialized for?

c++

numeric-limits

cstdint

c++11