Как [[предположить]] влияет на утверждение? ⇐ C++

[Anonymous]

Атрибут, определенный пользователем [[[Absumes (Expression)]] < /code> < /p>

Указывает, что предполагается, что данное выражение всегда оценивает True в данной точке, чтобы допустить оптимизацию компилятора, основанную на данной информации. поведение. < /p>
Однако на одной странице говорится: < /p>

Один правильный способ их использования - это следить за утверждениями с предположениями: < /p>

Код: Выделить всё

assert(x > 0);     // trigger an assertion when NDEBUG is not defined and x > 0 is false
[[assume(x > 0)]]; // provide optimization opportunities when NDEBUG is defined
< /code>
< /blockquote>
Я смущен этим утверждением. Если ndebug 

не определен, а x> 0 является ложным, условие в предположении было бы ложным, что запускает неопределенное поведение. Это означало бы, что «правильное» использование на самом деле не верно, поэтому я подозреваю, что я что -то здесь не понимаю. Является ли UB, вызванный [[[Предполагается]] не разрешено «травром во времени», как обычно ub?>

Подробнее здесь: https://stackoverflow.com/questions/797 ... -an-assert