向部分添加变量是否提供静态性？

Question

基本上我是在问声明是否

unsigned char myBuffer[128] __attribute__((section (".some_section")));

与

相同

static unsigned char myBuffer[128] __attribute__((section (".some_section")));

即我想知道是否将变量声明为放入特定部分将提供不可覆盖的功能，就像 static 声明所做的那样。或者myBuffer 的内存是否分配在其代码范围内，可供其他人（范围外）覆盖？当我稍后回到myBuffer 的代码范围时，它可能根本不包含与以前相同的值？

测试起来并不简单，因为“未定义”行为通常（在简单的代码 sn-p 测试中）表现得非常明确。

编辑： 感谢您的回答和讨论。这里是对意图的澄清。

就我而言，在buf.c 中，我有一个结构ms 和一个uint32_t-array 成员（以及其他成员，但让我们把它们排除在外）。

buf.c

#include <stdio.h>  // and many other includes

typedef struct myStruct {
    uint32_t a[BUFSIZE];
} MyStruct_t;

MyStruct_t ms  __attribute__ ((__section__(".do_not_init_section")));

void startUpCode() {
    // Init all members of struct to some values...
}

void foo(uint32_t* buf, int bufsize) {
    // figure out the right position in array to write to, i.e. find posInStruct. And memcpy...
    memcpy(&ms.a[posInStruct], buf, bufsize)
}

main.c 在while 循环中，main.c 中的所有其他函数都可以在bar.c 中调用foo(...)

我当然希望ms.a 在程序的整个生命周期内只能由bar.c 修改，它就是这样。 （好的，它不受 extern 的保护，因为它不是静态的，但没关系，没有其他文件是 extern-ing ms in bar.c。） 但是我的问题是ms 是否真的受到保护。 ms 的内存是在整个生命周期中专用于 ms 还是只有 static 声明才能处理？

我希望在整个程序生命周期内“记住”所有修改，例如我在开头向数组ms.a[] 写入一些值，然后在bar.c 中退出foo(...)。下一次（在程序中的所有其他函数都完成了它们所做的事情之后），我在bar.c 中对foo(...) 进行了新调用，现在我希望ms.a[] 保持完整并包含与我上次离开它时相同的值.这与其他函数是否显式更改ms 的值无关，更多的是当ms 不在范围内时它们是否隐式碰巧写入ms 的内存，因为超出范围时内存不是专用的！？

如果它与globals 或sections 无关，我会通过声明结构static 来确定问题不会存在。但是我对section-ing 部分有点不确定，它是否真的在内存中保护并保持ms 的值完好无损。

我的天啊，我从来没有编辑过这么多的文字，我希望有人可以编辑并使它更紧凑和聪明。

Answer 1

section 属性仅用于with an initialized definition of a global variable。 IE。在任何情况下都有一个静态存储类。并且它不会添加 static 关键字所做的受限范围功能。所以不，它没有提供“静态”。

Answer 2

static 有两种含义，具体取决于使用的上下文。在块的自动作用域中，static 意味着使变量全局生命，同时保持块嵌套所指示的作用域。在全局文件范围上使用时，意味着不要将范围扩展到定义它的文件之外。无论如何，您指定的属性仅对全局变量有意义，因此在某种意义上它们是static，这意味着它们具有全局生命属性。全局范围（针对文件或编译单元范围）可以由编译器通过使变量全局可访问或不可访问来控制（这意味着变量名称是否进入符号表以进行链接）。如果你这样说：

int main()
{
    static int array[] __attribute__((__section__(".do_not_init_section")));
}

您可能无法从其他模块访问该变量（编译器不会在符号表中发布变量名称），因为编译器仅将本地范围声明为 main。

无论如何，__attribute__ 关键字是 gcc 独有的功能（但我不能保证 CLANG 也实现了它）所以最好的方法是进行一些测试，直到你得到（并且满意）回应。

编辑

如果您认为可以通过将变量放在不同的部分来保护变量免受意外覆盖，那么您就错了。保护是在进程级别实现的，但是任何具有读/写访问权限的部分都可以被覆盖，而与您在代码中访问它的位置无关。代码通常属于一个部分，而它访问的代码通常位于不同的部分中，因此请考虑一下并尝试猜测保护如何区分您是有意还是无意访问变量。