Warning: #962-D: use of a type with no linkage to declare a function, О чем предупреждает Кейл? Что ему не нравится? Опции

[Professor Chaos]

Простенький пример проекта из одного main.cpp файла

Код

// Файл main.cpp
// Тип состояния флага события
typedef volatile enum {
  FLAG_STATE_OFF         = 0,    // Флаг события сброшен
  FLAG_STATE_ON            = 1    // Флаг события взведён
} Flag_State_t;

// Получить значение флага события по указателю на него
Flag_State_t GetFlagState (const Flag_State_t *Flag_ptr) {return *Flag_ptr;}

// Установить заданное значение флага события по указателю на него
void SetFlagState (Flag_State_t *Flag_ptr,Flag_State_t NewFlsgState) {
  *Flag_ptr=NewFlsgState;
};

// Глобальные объекты - флаги событий
Flag_State_t MyFlag1, MyFlag2;                        



int main () {    
    
  SetFlagState (&MyFlag1,FLAG_STATE_ON);  // MyFlag1=FLAG_STATE_ON;
  MyFlag2=GetFlagState (&MyFlag1);             // MyFlag2=MyFlag1;
  while(1);
}

Компиляция выдает 2 предупреждения на функции GetFlagState и SetFlagState :

warning: #962-D: use of a type with no linkage to declare a function

Если в объявлении типа Flag_State_t убрать volatile - предупреждения исчезнут.
Вопрос: о чём предупреждает Кейл? Чем ему не нравится volatile в определении типа Flag_State_t ?

Более того, если вызовы функций заменить на непосредственное присваивание значений (строки, что закомментированы), то предупреждений тоже не будет. Т.е. наличие volatile играет роль только при наличии функций, аргументы или возвращаемые значения которых имеют тип, определённый с данным спецификатором.

По логике работы программы volatile необходим, т.к. флаги событий взводятся в функциях обработки прерываний, а сбрасываются и проверяются в основном цикле программы. Без него нельзя, иначе компилятор может некорректно оптимизировать код и программа не будет работать, как ей положено.

[Forger]

Если в объявлении типа Flag_State_t убрать volatile - предупреждения исчезнут.

Все правильно ругается компилятор, ведь typedef volatile можно применить лишь к типам данных: переменные, структуры и классы, а enum к ним не относится.
По сути enum - это что-то вроде #define, "область деятельности" препроцессора, но не самого компилятора как такового. Это если грубо.
По сути volatile - это некое "указание" компилятору что можно делать, а что нет с некоторым объектом данных или объектом указанного типа данных (например: typedef volatile struct).



От себя добавлю: лучше использовать volatile непосредственно при объявлении/создании объекта (переменной), а не вставлять его при объявлении типа данных.
Это позволяет дать возможность компилятору оптимизировать те куски кода, где это действительно нужно, а точнее - только с теми объектами, которые явно указаны, что они volatile.
В противном случае этот typedef с "внедренным" volatile может оказаться в коде там, где volitile окажется даже вредным. Явно это не увидите.

"В довесок": лучше вообще избегать глобальных переменных (поверьте, это вполне реально), тогда и volatile вообще не будет нужен

ps Принято указывать версию компилятора и версию самой среды. Хотя в данном случае это не важно, т.к. речь про неправильное применение компилятора как такового.