为什么数字10用于引用整数类型0

Why is digits10 for reference to integer type 0?

本文关键字：整数 类型 引用 用于 数字 为什么      更新时间：2023-10-16

以下代码：

#include <iostream>
#include <limits>
#include <cstdint>
int main() 
{
    std::cout << std::numeric_limits<std::uint64_t>::digits10 << "n" 
              << std::numeric_limits<std::uint64_t&>::digits10 << "n";
}

输出

19
0

我希望std::uint64_t&和std::uint64_t的值相同：这种差异有原因吗？

18.3.2.1/2:

应为每种算术类型提供专门知识，包括浮点和整数，包括bool。该成员已特殊化（_S）对于numeric_limits的所有此类专门化都应为真。

所以我们知道，对于这些非引用类型，将存在专门化。然后18.3.2.3/1:

默认的numeric_limits模板应具有所有成员，但是具有0或false值。

我怀疑是这样做的，因为您总是可以在is_specialized上static_assert来强制编译错误，但可能存在一些模板应用程序，其中0将是一个或多个限制的正常默认值。如果您希望能够测试引用，只需通过std::remove_reference运行它。

我不确定将numeric_limits专门用于您自己的类型是否合法。18.3.2.1/4中的标准规定：

非算术标准类型，如复数（26.4.2），不应拥有专业知识。

我个人认为，"该标准不会为非算术标准库类型提供专门化，但专门化用户类型是完全合法的"。你可以很容易地阅读这篇文章，就像完全禁止任何未提供的专业一样。

类型uint64&是一个引用，因此它不是numeric_limits模板应该用于的算术类型之一。

对于定义的算术类型以外的任何其他类型，使用默认定义，其中包含：

static const int  digits10 = 0;

参考：http://www.cplusplus.com/reference/limits/numeric_limits/

std::numeric_limits应专门用于基本算术数据类型（整数和浮点）。任何类型的引用都不属于它们，这就是为什么选择非专用模板，该模板的所有成员都是false（0）。

我希望std:：uint64_t&具有与std:：uint64_t:Is相同的值这种差异有什么原因？

虽然std::uint64_t是算术类型，但std::uint64_t&是复合类型，具有不同的含义。你有几个选择：

  • 请始终通过删除引用、指针或两者来考虑基类型
  • static_assert( is_arithmetic<> )
  • 检查std::numeric_limits<T>::is_specialized
相关文章：