c - C 是否提供了一种将外部变量声明为 'read-only' 但将其定义为可写的方法？

Question

我正在使用 GCC C 为嵌入式产品开发硬件抽象库。在库中有一个变量对于链接该库的应用程序应该是只读的，但可以从编译单元中进行修改定义它。

是否有一种标准的、可接受的方法来声明整数(在库头文件中)，允许应用程序读取变量中的值，但如果尝试生成代码则告诉编译器生成错误写回它？ 例如，如果我将一个函数声明为:

extern void foo(int const bar);

...然后允许调用者传递局部变量:

int bar = 0;
foo(bar);

...但是如果函数声明试图写入bar:

void foo(int const bar)
{
    bar = 99;
}

... 然后编译器会适本地报告一个错误:分配只读位置“bar”。

在名称之前放置 const 的语法似乎并没有像它应用于函数参数那样应用于变量，下面的两行似乎实际上是等价的:

extern const int x;
extern int const y;

... 因为将 y 定义为 int y; 会导致错误:'y' 的类型限定符冲突，正如我所期望的那样，如果 x 被定义为 int x ;。

我知道我可以通过声明和定义一个返回值(只能用作右值)的访问器函数来解决这个问题。

我在这里阅读了许多相关问题，但我发现没有一个为 C(相对于 C++ 或 C#)提供明确的答案:

C — Accessing a non-const through const declaration

Mixing extern and const

请有人指出我如何实现它的示例的方向，或者证实我怀疑它在句法上无法实现？

Answer 1

Within the library there is a variable that should be read-only to the application that links the library, but can be modified from within the compilation unit that defines it.

解决方案是使用面向对象的设计，即所谓的私有(private)封装。

模块.h

int module_get_x (void);

模块.c

static int x;

int module_get_x (void)
{
  return x;
}

主.c

#include "module.h"

int main(void)
{
  int value = module_get_x();
}

如果变量在模块内必须是可读写的，那么这是唯一的正确方法。所有其他方式都只是一些意大利面条编程的味道。