Почему typedef не может использоваться со статическими?

Question

Почему typedef не может использоваться со статическими? Например, приведенный ниже код является ошибкой

typedef static int INT2; 

Какие еще правила должны применяться для использования typedef? Какие еще ключевые слова нельзя использовать с typedef?

Большое спасибо!

Answer 1

ЬурейиЕ не объявляет экземпляра переменных, она объявляет тип (псевдоним типа на самом деле),

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

typedef int int32; 
static int32 foo; 

Answer 2

Ключевое слово static не относится к типу, в зависимости от контекста - это спецификатор хранилища или области видимости и не имеет никакого влияния на тип. Поэтому он не может использоваться как часть определения типа, поэтому он здесь недействителен.

typedef - это определение типа, то есть вы говорите, что «это имя» теперь относится к «этому типу», имя, которое вы даете, должно быть идентификатором, определенным стандартом языка, тип должен быть типом спецификатор, т.е. уже именованный тип, либо базовый тип, либо typedef'd, спецификатор struct, union, class или enum, с возможными классификаторами типов, то есть const или volatile.

Статическое ключевое слово, однако, не изменяет тип, оно говорит что-то об объекте (в общем, не в смысле ООП). это переменная, которая помещается в статическое хранилище, а не тип.

Похоже, вы пытаетесь использовать ЬурейеЕ как макрос, т.е.

#define MYINT static int 

Answer 3

длительность хранения связана с объектами. Объявление typedef создает псевдоним - новое имя для типа. Он не создает объекты. Следовательно, вы не можете использовать спецификатор хранилища с typedef.

Answer 4

Я думаю, что ответы от Wich и Бейли правильно и достаточно, но, чтобы помочь разъяснить тем, что заметил: Когда вы объявляете ЬурейеЕ результирующего типа должны соответствовать везде можно использовать. Что делать, если ЬурейиЕ вы создали появится в следующем коде:

INT2 myfunction() 
{ 
    return 0; 
} 

class MyClass 
{ 
    public: INT2 x; 
}; 

INT2 MyClass::x; 

• Функция возвращение INT2 не имели бы никакого смысла. Конечно, возвращаемое значение не является статическим (его не может быть).
• Объявление члена x в MyClass будет статическим, а также его более поздним определением? Это не только избыточно, но и неверно, потому что вы не используете статическое ключевое слово при определении статического члена - только при его объявлении.

То же самое относится к другим ключевым словам, упомянутым Бейли. Подумайте об этом: единственными ключевыми словами, которые могут объявлять последовательно тип для всех его применений, являются сами примитивные типы и модификаторы типа (const, unsigned и т. Д.).

Answer 5

Как и многие другие люди, static является спецификатором класса хранения, а не типом.Это означает, в частности, что ключевое слово static сообщает компилятору что-то о том, где должна быть размещена переменная, должна ли она отображаться как символ для внешнего связывания или как долго эта переменная должна существовать.

Тип - это интерпретация местоположения памяти. Это описание того, какие данные живут в этом местоположении и связано с набором операций, которые могут выполняться над этими данными.

Таким образом, тип и класс хранения связаны только с тем, что они оба говорят что-то о части данных. Ключевое слово typedef предназначено для создания новых имен для типов.

Что касается случайной аналогии ...

типа, как говорить о конкретной марке и модели автомобиля.

Класс хранения - это как сказать, что автомобиль хранится в частном отапливаемом гараже и используется только на частном ипподроме.

typedef - это прозвище для конкретного марка и модели.

Answer 6

typedef не может использоваться вместе с static как typedef, так и static - классы хранения. Если вы определяете переменную как typedef static int a;, тогда существуют несколько классов хранения для переменной a.

Классы хранения используются для определения области видимости и времени жизни переменных и/или функций. Некоторые примеры static, auto, register, extern, typedef и т.д.