在 C++ 中默认设置所有类型为常量

Question

向编译器指示的最简单、最不唐突的方式是什么，无论是通过编译器选项、#define、typedef 还是模板，每次我说T，我真的是说T const？我不想使用外部预处理器。由于我不使用 mutable 关键字，因此重新调整用途以指示可变状态是可以接受的。

编辑：由于这样做的意图完全是错误的（并且由于我几个小时没有在场澄清），让我解释一下。本质上，我只是想知道哪些系统可用于在编译时操作类型系统。我不在乎这是否会产生非标准的、糟糕的、不可维护的、无用的代码。我不会在生产中使用它。这只是一种好奇心。

到目前为止潜在的（次优）解决方案：

// I presume redefinition of keywords is implementation-defined or illegal.
#define int int const
#define ptr * const
int i(0);
int ptr j(&i);

typedef int const Int;
typedef int const* const Intp;
Int i(0);
Intp j(&i);

template<class T>
struct C { typedef T const type; typedef T const* const ptr; };
C<int>::type i(0);
C<int>::ptr j(&i);

Answer 1

采用开源 C++ 编译器并对其进行修改。

我认为投反对票的主要原因是人们认为您正在尝试修改 C++。相反，告诉他们您正在创建一种名为“C-const”的新语言作为大学项目。

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

Answer 2

您是否试图告诉编译器，或者告诉其他人阅读或使用您的代码？编译器不会仅仅因为使用了用户定义类型 const 就做任何不同的事情。实际上，它所做的只是更改可与该对象一起使用的方法集（用户定义的或隐式的）。反过来，可能允许编译器推断出对运行时表示的一些优化。

对于 class/struct 类型，您可以通过简单地将每个成员设为 const 来向编译器和用户明确这一点：

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!
}

Answer 3

即使您能够做到这一点（我怀疑您做不到），请考虑其他人阅读您的代码。他们不太可能理解一切都是 const，因此也不太可能理解您的代码。

Answer 4

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

空的 MUTABLE 宏可以作为 const 检查器的提示。在某些地方可能仍然需要显式 const 来使代码编译。

Answer 5

我建议反对这一点。如果您设法实现了目标，那么任何人（包括一段时间后的您）都会在阅读您的代码并且其行为与他预期的不同时感到惊讶。

请在需要的地方添加对每个人都可见的 const 修饰符。您的代码将被更频繁地读取，而不是被写入！