在C++中使所有类型默认为常数

以开源C++编译器为例,对其进行修改。

我认为最主要的原因是人们认为你试图修改C++。告诉他们你正在创建一种新的语言“c-const”作为一个大学项目。

我个人认为这是一个有趣的想法——你可以从不可变类型中获得各种性能和可读性——只要看看大多数函数式语言。

即使你能做到这一点(我怀疑你没有),也要考虑其他人阅读你的代码。他们不太可能理解所有东西都是常量,因此不太可能理解您的代码。

你是想告诉编译器,还是告诉其他人阅读或使用你的代码?编译器不会因为使用了用户定义的类型而做任何不同的事情 const . 实际上,它所做的只是更改可用于该对象的方法集(用户定义的或隐式的)。反过来,那 可以 允许编译器推断运行时表示的某些优化。

对于 class / struct 类型,您只需使每个成员常量:

class Point {
    // An immutable Point data object
    public:
        Point(int ix, int iy): x(ix), y(iy) { }
        Point(const Point& p): x(p.x), y(p.y) { }

        Point add(const Point& p) const;
        int taxiDistance() const;
        // etc... all const members

        const int x, y; // const can only be init'd at construction time

     private:
        Point& operator=(const Point& p); // never implemented!
}

我建议你不要这样。如果你成功地实现了你的目标,任何人(包括一段时间后的你)在阅读你的代码时都会感到惊讶,并且它的行为与他期望的不同。

请添加const修饰符plain visible for everyone where it's needed.你的代码将更经常地被阅读,然后它将被写!

您可以保留代码标准C++并设计一个额外的类型检查层。

空的可变宏可以作为 施工检查员 . 在某些地方仍然需要显式常量来编译代码。