Есть ли активные предложения по изменению интегральных правил продвижения?

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

Есть ли какие-либо активные предложения или планы по изменению интегральных правил продвижения на что-то вроде следующего подписанного типа с более высоким рейтингом, который может содержать диапазон значений продвигаемого типа? Я знаю, что это вызывает несоответствие, поскольку unsigned long long нельзя повысить до какого-либо типа с более высоким рейтингом. Это не идеальное решение, но не будет ли оно хотя бы лучше текущей ситуации?


c++ language-lawyer integer-promotion
person Timo    schedule 28.11.2018    source источник
comment
У меня есть соблазн сказать, что это может быть обман stackoverflow.com/questions/52175977/   -  person StoryTeller - Unslander Monica    schedule 28.11.2018
comment
Лично я бы предпочел, чтобы все неявные преобразования были объявлены устаревшими, а затем удалены из языка, однако чего-то подобного точно не произойдет.   -  person user7860670    schedule 28.11.2018
comment
Согласно этому вопрос все еще открыт.   -  person NathanOliver    schedule 28.11.2018
comment
@VTT Как бы это сыграло вместе с минимальным типом, который должен быть int для арифметических операций?   -  person Timo    schedule 28.11.2018
comment
Я думаю, что это атавизм, унаследованный непосредственно от B (или даже от BCPL), который имел только один тип клеток. Я не вижу причин не заставлять арифметические операции возвращать тот же тип, что и операнды, и не иметь подпрограмм для обработки переполнения.   -  person user7860670    schedule 28.11.2018
comment
Обратите внимание, что предложение, на которое ссылается ответ, касается только разрешения перегрузки. Это не изменит никаких правил продвижения.   -  person Pete Becker    schedule 28.11.2018
comment
@VTT обратите внимание, что обоснование правил продвижения в том виде, в каком они есть, можно найти в обосновании C99   -  person Shafik Yaghmour    schedule 28.11.2018