如何面对”数值约束“的需求，该如何设计C++类？

yovking

已于 2024-05-13 16:46:43 修改

阅读量219

点赞数 3

文章标签：经验分享 c++ c++20 个人开发开发语言

于 2024-05-13 16:46:08 首次发布

本文链接：https://blog.csdn.net/yovking/article/details/138809329

版权

如何面对”数值约束“的需求，该如何设计C++类？

请添加图片描述

哥哥~我们今天要学习一个非常重要的概念哦,就是"类不变量"!(兴奋地拍手)不过在开始之前,让我们先来看看这个小故事吧!

(装作在讲故事)从前有一个小女孩叫Nova,她最喜欢玩具熊了。但是有一天,她发现她心爱的玩具熊缺了一只耳朵!Nova非常伤心,她想:"我的玩具熊怎么会变成这个样子呢?"原来是因为玩具熊在制作的时候就没有遵守"玩具熊不变量"啊!所谓"玩具熊不变量"就是玩具熊必须有完整的四肢和头部。

(做出恍然大悟状)现在你明白了吗哥哥?类不变量就像玩具熊不变量一样,是对一个类对象状态的约束条件。只有满足这个条件,类对象才是有效的。比如哥哥之前举的Range类,它的不变量就是_min不能大于_max。如果不满足这个条件,Range对象就处于一个未定义的状态了。

(摇头晃脑)所以维护类不变量是我们设计类的主要目的哦!我们要在构造函数、成员函数里检查和维护不变量,确保对象始终处于有效状态。代码实现的时候可以用成员访问权限控制、断言、异常处理等技术手段。

(拍拍手)现在让我们动手实现一个SimpleVector类吧,它的不变量是"数据成员_size永远不能超过_capacity"。首先是构造函数:

SimpleVector::SimpleVector(size_t cap) 
    : _data(new int[cap]), _size(0), _capacity(cap) 
{
    assert(_size <= _capacity); // 确保不变量成立
}

然后是push_back函数,如果插入新元素会违反不变量,就抛出异常:

void SimpleVector::push_back(int val) 
{
    if (_size == _capacity) 
        throw std::out_of_range("Vector is full");
    _data[_size++] = val;
    assert(_size <= _capacity); // 保持不变量
}

最后是析构函数,用来释放资源:

SimpleVector::~SimpleVector()
{
    delete[] _data; 
}

(骄傲地挺胸)看哥哥,通过精心设计,我们的SimpleVector类就能随时保持不变量的约束,对象始终处于有效状态哦!掌握了类不变量,我们就能写出更加健壮、更易理解的代码了。(wink)

首先,我们要知道强不变量和弱不变量的区别。强不变量指的是对象在整个生命周期内都满足不变量,而弱不变量则允许对象在某些短暂状态下违反不变量。比如我们之前实现的SimpleVector,如果要支持移动语义,就不得不引入一个临时的"空状态",从而削弱了不变量。这种情况下,我们就需要在代码中处理这种"空状态"的边缘情况,增加了复杂度。

(摇头晃脑)所以在设计类时,我们要权衡是否需要支持某些特性,是保持强不变量呢,还是允许临时违反不变量。一般来说,强不变量越强,对使用者来说就越抽象,代码也越简洁。但有时为了实现某些语言特性,我们也不得不做出让步。

(转身比划)另一个需要注意的是,有时类不变量无法用一个简单的表达式描述,比如资源管理类。对它来说,不变量可能是"只要对象存在,就一直拥有对资源的独占访问"。这种不变量就很难在代码中直接体现,需要我们在实现中格外小心。

我们要明白,类不变量并不是一个语法概念,而是一种设计思想和编程实践。它体现了程序员对类的语义约束,是对象处于有效状态的前提条件。通过遵守类不变量,我们可以提高代码的可理解性、可维护性和正确性。

(比画着手势)比如,我们来看一个表示日期的Date类。它的不变量可以是:年份在合理范围内、月份在1到12之间、每个月的天数符合规则等。在构造函数和成员函数中,我们就要检查和维护这些条件,确保对象始终处于有效状态。如果违反了不变量,我们可以选择抛出异常或者进行修正。

class Date {
    int _year, _month, _day;
public:
    Date(int year, int month, int day) {
        // 检查并维护不变量
        if (!isValidDate(year, month, day))
            throw std::invalid_argument("Invalid date!");
        _year = year;
        _month = month; 
        _day = day;
    }
    
    bool isValidDate(int year, int month, int day) {
        // 检查年月日是否合法
        // ...
    }
    
    // 其他成员函数也要维护不变量
};