【C++中的const函数】何时与如何正确声明使用C++ const函数（三）

【C++中的const函数】何时与如何正确声明使用C++ const函数（二）https://developer.aliyun.com/article/1467779

7.2 C++17和C++20中的新特性与const函数的关系

C++17引入了inline变量，这使得我们可以在头文件中定义变量，而不必担心多重定义。这与const函数有关，因为inline变量常常与constexpr一起使用，以定义编译时常量。

示例：

inline constexpr int MAX_SIZE = 100;

此外，C++20引入了consteval，它确保函数必须在编译时计算。

示例：

consteval int computeFactorial(int n) {
    return (n <= 1) ? 1 : n * computeFactorial(n - 1);
}

这个computeFactorial函数须在编译时计算，否则会导致编译错误。

7.3 从底层源码讲述原理

当我们谈论const函数时，实际上是在类的成员函数声明中添加了const关键字，告诉编译器这个函数不会修改类的任何成员变量。从底层来看，这意味着这个函数的this指针是一个指向常量的指针，因此不能用来修改成员变量。

示例：

class MyClass {
private:
    int value;
public:
    int getValue() const {
        return value;
    }
};

在这个示例中，getValue函数是一个const函数，因此它不能修改value成员变量。

技术对比

“代码是写给人看的，只是恰好机器也能执行。” - Donald Knuth

“我们不是被我们所知道的东西所困扰，而是被我们认为是真实的东西所困扰。” - Epictetus

在编程中，理解和使用const函数可以帮助我们编写更清晰、更安全的代码。正如Epictetus所说，我们的困扰往往来自于我们的认知，而不是真实的事物。通过深入了解和使用const函数，我们可以更好地理解和控制我们的代码，从而避免潜在的错误和困扰。

8. 结论

8.1 const函数的重要性

在C++编程中，const (常量) 是一个非常有力的工具，它可以帮助我们确保数据的不变性和函数的行为。当我们声明一个函数为const时，我们实际上是在告诉编译器和其他开发者，这个函数不会修改对象的状态。这种明确性可以大大提高代码的可读性和可维护性。

例如，考虑以下类的定义：

class Circle {
private:
    double radius;
public:
    Circle(double r) : radius(r) {}
    double getArea() const {
        return 3.141592653589793 * radius * radius;
    }
};

在上面的示例中，getArea函数被声明为const，这意味着它不会修改Circle对象的任何成员变量。这为开发者提供了一个明确的信号，即这个函数是安全的，可以在任何情况下调用，而不必担心对象的状态被意外修改。

8.2 正确使用const以增强代码的健壮性和可读性

正确使用const关键字可以帮助我们编写更健壮、更可靠的代码。当我们限制函数的能力，使其不能修改对象的状态时，我们实际上是在减少潜在的错误来源。

考虑以下示例：

class Student {
private:
    std::string name;
    int age;
public:
    Student(std::string n, int a) : name(n), age(a) {}
    std::string getName() const {
        return name;
    }
    void setName(std::string newName) {
        name = newName;
    }
};

在上面的示例中，getName函数被声明为const，而setName函数没有。这是因为getName只是返回name的值，而不修改它，而setName则会修改name的值。

此外，当我们查看类的定义时，我们可以清楚地看到哪些函数可能会修改对象的状态，哪些函数不会。这为我们提供了一个清晰的界限，帮助我们更好地理解和维护代码。

8.2.1 深入底层：const的工作原理

在底层，const函数通过禁止修改成员变量来工作。如果我们尝试在const函数中修改成员变量，编译器会报错。这是因为编译器在内部为每个const函数创建了一个不可修改的对象副本。

这种机制确保了const函数的行为始终是确定的，不会受到外部因素的影响。这也是为什么const函数通常比非const函数更快，因为编译器可以进行更多的优化。

8.3 人性与编程：为什么我们需要const

当我们编写代码时，我们的大脑经常会受到各种干扰和分心。我们可能会忘记某个函数的行为，或者在不知情的情况下修改了某个对象的状态。这就是为什么我们需要工具和机制来帮助我们避免这些常见的错误。

const就是这样一个工具。它为我们提供了一个明确的界限，告诉我们哪些函数是安全的，哪些函数可能会带来风险。通过使用const，我们可以减少潜在的错误来源，使我们的代码更加健壮和可靠。

正如著名的心理学家Carl Jung所说：“知道自己的局限性是智慧的开始。”在编程中，const帮助我们认识到我们的局限性，并为我们提供了一种避免常见错误的方法。

8.4 技术对比：const vs mutable vs volatile

通过上表，我们可以更清晰地看到const、mutable和volatile之间的区别和联系。这三个关键字在C++编程中都有其特定的用途，了解它们的工作原理和适当的使用场景是非常重要的。

在我们的编程学习之旅中，理解是我们迈向更高层次的重要一步。然而，掌握新技能、新理念，始终需要时间和坚持。从心理学的角度看，学习往往伴随着不断的试错和调整，这就像是我们的大脑在逐渐优化其解决问题的“算法”。

这就是为什么当我们遇到错误，我们应该将其视为学习和进步的机会，而不仅仅是困扰。通过理解和解决这些问题，我们不仅可以修复当前的代码，更可以提升我们的编程能力，防止在未来的项目中犯相同的错误。

我鼓励大家积极参与进来，不断提升自己的编程技术。无论你是初学者还是有经验的开发者，我希望我的博客能对你的学习之路有所帮助。如果你觉得这篇文章有用，不妨点击收藏，或者留下你的评论分享你的见解和经验，也欢迎你对我博客的内容提出建议和问题。每一次的点赞、评论、分享和关注都是对我的最大支持，也是对我持续分享和创作的动力。