Исходное сообщение
"В компиляторе G++ обеспечена поддержка C++17" Отправлено Аноним, 13-Янв-17 22:56
Статический анализ, который обеспечивается в Rust'е, позволяет проверять код на безопасность, и одновременно, удивительным образом, производить оптимизации, которые в том же c++ произвести не возможно.   Вот пример: > void squareArrayWith100500Items (int* const dest, const int* const source) > { >   for (int i=0; i < 100500; ++i) { >        dest[i] = source[i]*source[i]; >      } >  } C++\C, в отличии от нормальных языков, для данной функции не может провести часть оптимизаций и предрасчётов во время компиляции, не может векторизовать этот цикл, не может распараллелить его. А всё почему? А потому что не уверен перекрываются ли указатели dest и source. В C99 для этого ввели костыль в виде ключевого слова restrict. В языке просто нет понятия динамического массива, который бы более или менее гарантировал отсутствия перекрытий. Они эмулируются через указатели, которые не может нормально оптимизировать компилятор. И весь stl построен на указателях, оптимизация тоже не возможна.