Есть ли в C11 механизм для обеспечения ожидаемых типов отрицательных целочисленных констант?

Боюсь, вы заметили, что Назначение значения вне диапазона для типа int покрывается следующим: не применяется к

unsigned int n = -0x80000000 // set n to -2^31

n имеет тип unsigned int, а значение 2 ^ 31 не выходит за пределы диапазона для 32 бит unsigned int.

ИЗМЕНИТЬ: так как вы изменили вопрос и сделали n int, то 3 применяется для 32-битных и младших int, а комментарий неверен для больших int типов:

3 В противном случае новый тип подписывается и значение не может быть представлено в нем; либо результат определяется реализацией, либо возникает сигнал, определяемый реализацией.

РЕДАКТИРОВАТЬ: второй фрагмент кода int n = -(long long)0x80000000 // set n to -2^31 верен, поскольку значение -2147483648 подходит для 32-битного int.

Обратите внимание, что правильный способ инициализировать n этим значением (при условии 32-битных целых чисел):

int n = -2147483647 - 1;  // set n to -2^31

Этот вариант используется в стандартных заголовках <limits.h> и <stdint.h>. Он не использует приведение типов, поэтому ответ на ваш последний вопрос: нет, вам действительно не нужно выполнять приведение, чтобы правильно выполнить присвоение диапазона от -2 ^ 31 до 32-битного int.

Если INT_MAX равно 0x7fffffff, то как шестнадцатеричный литерал 0x80000000 имеет тип unsigned int или больше, и применение - к нему безопасно. Это было бы неверно для десятичных литералов. Если бы INT_MAX было больше 0x7fffffff, тогда отрицание уже было бы безопасным как int.

Теперь, когда отредактированный вопрос присваивает результат объекту типа int, преобразование значения вне диапазона в int определяется реализацией. На практике это всегда определяется как то, что вы хотите (модульное сокращение), но это не гарантируется стандартом. Все стандартные гарантии заключаются в том, что реализация должна документировать, как происходит преобразование.

int n = -(long long)0x80000000

вам действительно нужно выполнить приведение, чтобы правильно выполнить назначение в диапазоне, или мне что-то не хватает?

Как насчет: int n = -0x80000000LL;

Нет актерского состава.

Просто сделайте int n = INT_MIN.

Или если вы должны int n = -2147483648 (то же самое, что и при использовании long long).

Смешивание шестнадцатеричных литералов и отрицательных чисел в C обычно является плохой идеей, поскольку шестнадцатеричные литералы предполагают определенный формат подписи.

мы получаем поведение, определяемое реализацией, когда пытаемся присвоить действительное значение int объекту int

Если вас беспокоит поведение, определяемое реализацией, то почему вы используете наивный тип int, а не int32_t?

int имеет размер и формат подписи, определяемый реализацией, что является корнем проблемы. int32_t гарантированно будет 32-битным дополнением до двух.

Относительное поведение подписанных и неподписанных типов в C - это беспорядок, который возник, когда комитет C89 попытался сформулировать правила, которые были бы максимально согласованы с поведением ранее существовавших компиляторов, которые часто несовместимы друг с другом.

На самом деле нет никакого переносимого способа гарантировать, что выражения, содержащие целочисленные константы, будут работать ожидаемым образом, за исключением того, чтобы вручную гарантировать, что они переведены в тип, который гарантированно достаточно большой, чтобы содержать все промежуточные значения; если вам не нужно ничего, кроме 64 бит, достаточно либо long long, либо unsigned long long; значения могут быть принудительно присвоены этим типам с помощью суффикса UL или ULL.