Все операции C++ с фиксированной точкой детерминированы?

Question

Я пишу небольшой движок RTS на C++ и хочу использовать синхронизацию с синхронизацией.

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

Как детерминистически (по сравнению с другими компиляторами и процессором) являются типичными операциями с неподписанными целями?

Меня особенно интересует разделение, поскольку это повлечет за собой округление.

Answer 1

Размер основных целых типов зависит от разных платформ. Вы можете избежать этой проблемы, используя uint32_t и аналогичные типы.

Подтвержденное целочисленное переполнение - неопределенное поведение, хотя переполнение корректно определено для неподписанных интегральных типов (вы выполняете арифметический модул 2^N). И все же вы должны следить за этим, потому что модульная арифметика обычно не то, что вы пытались сделать.

Я считаю, что стандарт раз в то время оставался открытым точно, как разделение округлено (хотя я не уверен, что «положительный/положительный» когда-либо оставался открытым). Но я думаю, что это стандартизировано сейчас, и даже если нет, округление до нуля почти универсально.

Но вы можете использовать numeric_limits для проверки. Если полагать this documentation, стандарт гарантирует округление до нуля.