C是否提供了一种将外部变量声明为"只读"的方法,但是将其定义为可写？

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;.

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

我在这里已经阅读了许多相关的问题,但是我找到的没有一个为C提供了明确的答案(而不是C++或C#):

有人可以指出我如何实现它的一个例子的方向,或者证实我怀疑它在语法上是不可实现的吗？

Answer 1

在库中,有一个变量应该对链接库的应用程序是只读的,但可以在定义它的编译单元中进行修改.

解决方案是使用面向对象的设计,即称为私有封装的东西.

module.h中

int module_get_x (void);

的module.c

static int x;

int module_get_x (void)
{
  return x;
}

main.c中

#include "module.h"

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

如果变量必须在模块内部进行读写,那么这是执行此操作的唯一正确方法.所有其他方式只是意大利面条编程的一些风格.