статические и изменчивые квалификаторы после типа

Эти части на самом деле довольно широко разделены в стандарте. static — это класс хранения, как указано в §7.1.1/1:

storage-class-specifier:
    register
    static
    thread_local
    extern
    mutable

Он используется в определителе decl, как определено в §1.7:

decl-specifier:
    storage-class-specifier
    type-specifier
    function-specifier
    friend
    typedef
    constexpr

decl-specifier-seq:
    decl-specifier attribute-specifier-seqopt
    decl-specifier decl-specifier-seq

Таким образом, это позволяет либо static int, либо int static указать тип. Точно так же вы можете объявить функцию друга как friend int f(); или int friend f();.

const или volatile могут вмешиваться только тогда, когда вы действительно что-то объявляете, поэтому в § 8 они подпадают под «деклараторы». Эта часть грамматики достаточно длинная, мне лень ее форматировать, но она указывает declarator-list на верхнем уровне, затем declarator и (пропустив несколько уровней) опускается до cv-qualifier, что равно const или volatile. По крайней мере, насколько я читал, это в основном позволяет свободно смешивать const или volatile с другими вещами, которые определяют тип.

Да, этот синтаксис в порядке. Первая часть грамматики объявления представляет собой последовательность спецификаторов decl. К ним относятся указания класса хранения, спецификаторы типов, указания функций, friend, typedef и constexpr. Грамматика позволяет им появляться в любом порядке. Однако накладываемые на них семантические правила вводят некоторые ограничения. Например, в объявлении переменной всегда должен быть один спецификатор типа, который не является квалификатором cv (const или volatile). Также никогда не должно быть более одного спецификатора класса хранения (за исключением того, что thread_local может появляться вместе с static или extern).

Обратите внимание, что последовательность спецификаторов decl предшествует любому синтаксису составного типа, такому как указатели, ссылки, массивы и т. д. Например, последовательность спецификаторов decl отмечена в следующих примерах:

static const int *p;
|              |

char volatile static *(&p)[20];
|                  |

Обратите внимание, что volatile является квалификатором cv, таким как const, поэтому причины для разрешения volatile в приведенном вами примере такие же, как и для const. Эти ключевые слова также могут появляться глубже в объявлении (как в int *volatile x;).

По соглашению мы сначала пишем определения класса хранения, затем указываются указания типа и квалификаторы cv, где это уместно. Я предпочитаю писать свои cv-квалификации после спецификаторов типов, которым они соответствуют, так как это более последовательно.

Вы можете прочитать Что такое объявления и деклараторы и как их типы интерпретируются стандартом?.

ну, вот что я думаю. я пытаюсь интерпретировать это.

static int *ptr1;
int* static ptr2;

первый означает, что это указатель, указывающий на статическое целое число. второй означает, что это статическая переменная с типом целочисленного указателя.

Я думаю, что другой способ должен иметь аналогичную интерпретацию.