【C++ 泛型编程 入门篇】深入探索C++的numeric_limits：全面理解数值界限（一）

1. 引言

欢迎来到这次深入探索C++的旅程，在这里，我们会全面的学习和理解numeric_limits（数值界限）这个重要的工具。在这个过程中，我会尽量通过心理学和人性的角度来帮助你理解这些看似复杂的概念，因为我坚信，理解和应用是学习的最好方式。

1.1 简要介绍C++的numeric_limits

numeric_limits是C++标准库中的一个模板类，它的主要目的是为了提供一种方法来查询关于基本数学类型（如int，float，double等）的属性。这些属性包括类型能表示的最大和最小值，以及这些类型的一些特性（比如是否有符号，是否可以表示无穷大等）。它可以帮助我们在编码过程中，更准确地理解和使用各种数据类型的限制和特性。

在我们学习新知识的过程中，我们常常会遇到所谓的“认知负荷”（Cognitive Load，心理学术语），这是指我们在处理新信息时所遇到的困难。熟悉numeric_limits可以帮助我们降低编程中的认知负荷，使我们能更专注于解决问题本身，而不是在数据类型的特性和限制上花费太多精力。

1.2 解释numeric_limits的重要性和应用场景

你可能会问，为什么我需要了解numeric_limits？它有什么用？我可以告诉你的是，numeric_limits在很多场景下都非常有用。举个例子，当你在编写涉及数值计算的代码时，你可能需要知道你使用的数据类型能表示的最大和最小值，以防止溢出。这时，你就需要numeric_limits。再比如，你可能需要处理一些特殊的数值，如无穷大或者Not a Number（NaN，非数值），numeric_limits也能帮助你。

《C++ Primer》（C++入门经典）一书中说过，“理解数据类型的属性和限制，是编程的基本功”，numeric_limits就是这样一个工具，它让这些信息触手可及。

不仅如此，numeric_limits还能帮你写出更健壮、更安全的代码。我们都知道，错误的数值操作可能会导致程序崩溃，或者更糟糕，导致难以预料的行为。通过使用numeric_limits，你可以在编码过程中更好地理解和控制你的数值操作。

如果你是一个嵌入式系统的开发者，你可能对资源使用有严格的限制。在这种情况下，了解你使用的数据类型的确切大小和特性是非常重要的，numeric_limits可以帮助你在这方面做出明智的决策。

因此，掌握numeric_limits是我们每一个C++开发者的必备技能。在接下来的章节中，我会详细地介绍如何使用这个工具，带你深入理解它的各个方面。

2. numeric_limits的基础知识

在我们深入研究numeric_limits的细节之前，让我们先了解一些基础知识。这将帮助我们在后续的学习中减少理解上的困难，因为只有牢固的基础才能构建稳定的大厦。

2.1 定义和包含的头文件

numeric_limits是定义在头文件中的一个模板类。为了使用它，你需要在你的代码中包含这个头文件，如下所示：

#include <limits>

numeric_limits是一个模板类，这意味着你可以为它提供不同的类型参数，然后获取那种类型的特性和限制。比如，如果你想获取int类型的最大值，你可以这样做：

#include <limits>
#include <iostream>
int main() {
    std::cout << "Max int: " << std::numeric_limits<int>::max() << std::endl;
    return 0;
}

这段代码将输出int类型可以表示的最大值。

2.2 numeric_limits模板的通用形式

numeric_limits模板的通用形式如下：

template <class T> class numeric_limits;

其中，T是你想查询的类型。C++标准库为所有内置的数值类型提供了这个模板的特化，这意味着你可以为numeric_limits提供任何基本的数值类型，如int、float、double等等。

在心理学中，有一个名为“模式识别”（Pattern Recognition）的概念，这是我们理解和记忆信息的一种重要方式。当你看到numeric_limits这样的代码，你可以将其识别为一个模式，这个模式告诉你：这是在查询类型T的数值特性和限制。

通过将numeric_limits看作是一个模式，你就能更好地理解和记忆它，这将对你的编程技能有重大的提升。

3. numeric_limits中的常用函数

了解了numeric_limits的基本概念和定义后，让我们深入了解其包含的一些重要函数，以及如何利用这些函数获取基本数学类型的属性。

3.1 min()和max()函数

numeric_limits提供了min()和max()两个函数，可以帮助我们获取一个数据类型可以表示的最小值和最大值。这对于防止数值溢出特别重要。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Min int: " << std::numeric_limits<int>::min() << std::endl;
    std::cout << "Max int: " << std::numeric_limits<int>::max() << std::endl;
}

运行这段代码，你将会看到int类型可以表示的最小值和最大值。你可以将int替换成其他的基本数学类型，如float、double等，来查询它们的最小值和最大值。

3.2 epsilon()函数

epsilon()函数返回的是表示1和大于1的最小浮点数之间的差的值。这对于浮点数的精度控制非常有用。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Float epsilon: " << std::numeric_limits<float>::epsilon() << std::endl;
}

这段代码将输出浮点数的epsilon值，这是浮点数1和大于1的最小浮点数之间的差。

3.3 infinity()函数

infinity()函数用于获取表示正无穷的值。这对于处理一些需要表示无穷大的计算场景非常有用。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Infinity: " << std::numeric_limits<float>::infinity() << std::endl;
}

这段代码将输出浮点数的无穷大值。

3.4 函数使用实例

让我们通过一个实例来理解如何使用这些函数。假设你正在编写一个函数，这个函数需要接受一个整数作为输入，然后返回这个整数的下一个值。你需要确保如果输入的整数已经是可以表示的最大整数，则函数返回0。

#include <limits>
#include <iostream>
int next(int n) {
    if (n == std::numeric_limits<int>::max()) {
        return 0;
    }
    return n + 1;
}
int main() {
    int max_int = std::numeric_limits<int>::max();
    std::cout << "Max int: " << max_int << std::endl;
    std::cout << "Next after max int: " << next(max_int) << std::endl;
}

通过使用numeric_limits::max()，你可以确保你的函数在输入是最大整数时能正确地返回0，而不是出现溢出。

4. numeric_limits中的静态成员

除了上述的函数外，numeric_limits还提供了一系列的静态成员，这些成员可以让我们得到更详细的信息，例如类型的位数、是否有符号等等。接下来我们来详细看看这些静态成员。

4.1 digits

digits是一个静态成员，它表示没有考虑符号的情况下，类型所能表示的最大位数。对于整数类型，这通常是除去符号位的位数；对于浮点类型，这是小数部分的位数。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Digits in int: " << std::numeric_limits<int>::digits << std::endl;
    std::cout << "Digits in float: " << std::numeric_limits<float>::digits << std::endl;
}

4.2 digits10

digits10是一个静态成员，它表示类型所能完整表示的十进制位数。这对于需要精确表示特定位数的十进制数字的场景非常有用。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Digits10 in int: " << std::numeric_limits<int>::digits10 << std::endl;
    std::cout << "Digits10 in float: " << std::numeric_limits<float>::digits10 << std::endl;
}

4.3 max_digits10

max_digits10是一个静态成员，它只对浮点数类型有意义，表示能够在转换为字符串形式后再转回浮点数时还能保持其原值的最大十进制位数。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Max digits10 in double: " << std::numeric_limits<double>::max_digits10 << std::endl;
}

4.4 is_signed

is_signed是一个静态成员，表示类型是否是有符号的。它的值为true表示类型是有符号的，为false表示类型是无符号的。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Is int signed? " << std::numeric_limits<int>::is_signed << std::endl;
    std::cout << "Is unsigned int signed? " << std::numeric_limits<unsigned int>::is_signed << std::endl;
}

4.5 is_integer

is_integer是一个静态成员，表示类型是否是整数类型。它的值为true表示类型是整数类型，为false表示类型不是整数类型。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Is int integer? " << std::numeric_limits<int>::is_integer << std::endl;
    std::cout << "Is double integer? " << std::numeric_limits<double>::is_integer << std::endl;
}

4.6 is_exact

is_exact是一个静态成员，表示类型是否使用精确的表示。它的值为true表示类型使用精确表示，为false表示类型可能使用近似表示。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Is int exact? " << std::numeric_limits<int>::is_exact << std::endl;
    std::cout << "Is float exact? " << std::numeric_limits<float>::is_exact << std::endl;
}

4.7 radix

radix是一个静态成员，表示类型的基数。对于所有二进制的浮点和整数类型，其值为2。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Radix of int: " << std::numeric_limits<int>::radix << std::endl;
    std::cout << "Radix of float: " << std::numeric_limits<float>::radix << std::endl;
}

4.8 has_infinity

has_infinity是一个静态成员，表示类型是否可以表示正无穷。它的值为true表示类型可以表示正无穷，为false表示类型不能表示正无穷。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Can int represent infinity? " << std::numeric_limits<int>::has_infinity << std::endl;
    std::cout << "Can float represent infinity? " << std::numeric_limits<float>::has_infinity << std::endl;
}

4.9 has_quiet_NaN和has_signaling_NaN

has_quiet_NaN和has_signaling_NaN是两个静态成员，表示类型是否可以表示非数值（NaN）。它们的值为true表示类型可以表示非数值（NaN），为false表示类型不能表示非数值（NaN）。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Can int represent NaN? " << std::numeric_limits<int>::has_quiet_NaN << std::endl;
    std::cout << "Can float represent NaN? " << std::numeric_limits<float>::has_quiet_NaN << std::endl;
}

4.10 has_denorm和has_denorm_loss

has_denorm和has_denorm_loss是两个静态成员，表示类型是否可以表示非正规值（denormalized values）。非正规值是一种特殊的浮点数，它用于表示接近于零的非常小的数。

#include <limits>
#include <iostream>
int main() {
    std::cout << "Can int represent denormalized values? " << std::numeric_limits<int>::has_denorm << std::endl;
    std::cout << "Can float represent denormalized values? " << std::numeric_limits<float>::has_denorm << std::endl;
}

以上就是numeric_limits中的一些重要的静态成员，它们可以帮助我们更好地理解和使用基本数学类型。每一个静态成员都有其特定的用途和场景，要充分理解和应用它们，需要我们在实际的编程中多加练习。

5. numeric_limits的特化

理解了numeric_limits如何为基本数学类型提供信息后，接下来我们将探讨如何为自定义类型进行numeric_limits特化。这使得我们能够为自定义类型提供类似于内置类型的信息，使得这些类型能够更好地与C++的算法和库一起工作。

5.1 对不同数据类型的特化

C++标准库已经为所有的基本数学类型提供了numeric_limits的特化，包括所有大小的整数类型、浮点数类型，以及char、bool等类型。这使得我们可以直接使用numeric_limits来查询这些类型的信息。

例如，我们可以使用numeric_limits来获取double类型的最大和最小值：

#include <limits>
#include <iostream>
int main() {
    std::cout << "Min double: " << std::numeric_limits<double>::min() << std::endl;
    std::cout << "Max double: " << std::numeric_limits<double>::max() << std::endl;
    return 0;
}

【C++ 泛型编程 入门篇】深入探索C++的numeric_limits：全面理解数值界限（二）https://developer.aliyun.com/article/1467689