объявление константной структуры

С:

const struct S
{
  uint8_t a;
};

Квалификатор const не имеет смысла и может даже вызвать ошибку компиляции с некоторыми компиляторами C. gcc выдает предупреждение.

Похоже, намерение состоит в том, чтобы объявить тип данных struct S. В этом случае правильный синтаксис:

struct S
{
  uint8_t a;
};

Объявление структуры просто определяет тип данных.

Спецификатор const относится к переменной, а не к типу данных. Таким образом, добавление const перед объявлением структуры должно быть в лучшем случае избыточным.

const struct S
{
  uint8_t a;
};

не является допустимой конструкцией.

Этот

const struct S
{
  uint8_t a;
} x;

может быть действительным, поскольку вы объявляете переменную x, которая теперь равна const, что означает, что она не может измениться.

Квалификатор const применяется к переменным или членам. Чтобы создать экземпляр переменной const, просто укажите const во время создания экземпляра.

Что делает const:

• во время компиляции убедитесь, что для константных переменных выполняется только чтение
• если переменная const создается со значением, которое может быть разрешено во время компиляции, поместите переменную в память программы

Когда const применяется к членам, например:

struct T {
    int const i;
    int j;
};

Вы можете (законно) присвоить значение i только при создании структуры. Вы можете изменить значение const (если память программы находится в ОЗУ, а не в ПЗУ), приведя его к неконстантному типу (const-cast), но этого делать не следует. делать.

Типичное использование const-cast - это когда вы используете библиотеку, которая не указывает константность в объявлениях функций, а ваш код делает это. На данный момент, если вы хотите использовать его, вы должны доверять ему и передавать параметры перед вызовом его функций.

Когда вы объявляете

const var;

затем он выделяет для него некоторое пространство памяти, но

struct var;

это было просто объявление, компилятор не выделяет для него места. поэтому он показывает ошибку, а в структуре const вы не объявляли какую-либо переменную, см. код, поэтому он показывает ошибку.

Бессмысленно использовать ключевое слово const перед struct.

Если вы используете компилятор gcc, он показывает следующее предупреждение:

предупреждение: бесполезный квалификатор типа в пустой декларации [включен по умолчанию]

Это единственное использование, о котором я могу думать:

const struct S {
        int a;
        int b;
} s;

Это объявляет структуру и немедленно создает для нее экземпляр с именем s, и в этот момент a и b в s инициализируются 0 (обратите внимание, что в этот момент s является глобальной переменной в единице перевода, в которой она была объявлена, и могут быть связаны извне).

printf("a = %d\t b = %d\n", s.a, s.b); // a = 0     b = 0

Если вы попытаетесь установить элементы s, вы потерпите неудачу:

s.a = 1; //error: assignment of member ‘a’ in read-only object

Итак, s здесь не очень полезен... если только вы не сделаете что-то вроде:

const struct S {
        int a;
        int b;
} s =  { 1, 2 };

Теперь давайте создадим еще один экземпляр той же структуры (объявление такое же, как и выше):

    struct S other;
    other.a = 1;
    other.b = 2;

    printf("a = %d\t b = %d\n", other.a, other.b); // a = 1     b = 2

Компилятор больше не будет жаловаться, так как other не константа! только s является константой!

Вы можете спросить, что же делают эти const? попробуем изменить s:

s = other; // error: assignment of read-only variable ‘s’

Вот и все. Если вам не нужно, чтобы компилятор выделял память для s в момент объявления, и вам по-прежнему нужно, чтобы экземпляр s был константным, вы просто добавили бы const в момент создания экземпляра struct S (обратите внимание на заглавную букву S!!)

Бонус 1

const struct S {
        int a;
        int b;
};

обратите внимание, что маленького s больше нет. В этот момент GCC предупредит вас, что квалификатор const ничего не делает!!!!

Бонус 2

Если вы хотите, чтобы каждый экземпляр структуры был константным, то есть его члены могут быть инициализированы только в точке определения, которую вы можете сделать (используя typedef):

typedef const struct S {
        int a;
        int b;
} s;

// The wrong way
s thisIsAnS;
thisIsAnS.a = 1; //error: assignment of member ‘a’ in read-only object 

// The correct way
s thisIsAnS = { 1 , 2 }; //compiles fine, but you can not change a or b anymore

Заключение

Для меня это просто синтаксический сахар, который только усложняет код. Но кто я такой, чтобы судить...