Подскажите, пожалуйста, возникает ли в следующем случае неопределенное поведение:
void do_something(const Object& _1,
const Object& _2,
Object& _3)
{
// ...
for (size_t i = 0; i < ...; ++i)
{
const auto value = _1[i] + _2[i];
_3[i] = value;
}
}
int main(int argc, char **argv)
{
Object _1;
Object _2;
do_something(_1, _2, _1);
return 0;
}
С одной стороны, здесь нет нарушения Правила Строгих Псевдонимов
.
Но с другой стороны, внутри функции do_something()
мы меняем состояние внешнего объекта, на который ссылается функция, как на константный.
Мой код ведет себя странно.
Причем, если я сделаю так:
int main(int argc, char **argv)
{
Object _1;
Object _2;
Object _3;
do_something(_1, _2, _3);
return 0;
}
То проблема исчезает.
do_something
меняется состояние объекта_3
, на который функция ссылается как НЕ на константный._1
является константным, то он не может измениться, и можно выполнить некоторые оптимизации... Которые сломают код.__restrict__
, тогда другое дело.